关于思合
思合符契，基于零阶逻辑的推理系统
把知识整理成逻辑链
笔记和收藏夹把知识切成孤立的片段：你记住了结论，却想不起它为什么成立。思合（Scixiv）是一个推导工具——每条知识都可以经由明确的推演，从其他知识推导而来。结论连着前提，前提又有自己的来处，知识由此长成一条条可追溯的逻辑链。
为了让每一步推导严谨而可检验，思合建立在零阶逻辑之上：推演只关心观点之间如何相互蕴涵，任何人都可以沿链条逐环节亲自查验。
一条逻辑链
知识 A 与知识 B 经一条推演推导出知识 C，C 又可作为后续推演的前提。链条不断延伸，每一步都有据可查。
知识 A知识 B
推演
知识 C核心概念
知识逻辑链上的独立节点：一句清晰的表述（本质），加上必要的细节说明。
推演把一组观点和推理写在一起，推导出一条知识。推演是连接结论与前提的边。
证明与证否推演有两个方向：既能证明一条知识成立，也能证否——指出前提其实推不出它。
审议社区逐一审议每条推演，验证或存疑。链条是否可靠，取决于每个环节是否经得起共同检验。
开始参与
找到值得推导的知识，为它做一次推演，让每条链条经得起检验。
无需密码：密钥文件即账号。注册时生成专属密钥文件并妥善保存，它是你唯一的登录凭证。