典籍资料库 / 汉语辞书（社区数据）
现代逻辑
数理逻辑和应用数理逻辑而形成的逻辑系统。其基本特点是形式化，就是用一套特制的表意符号去表示概念、判断、推理，获得它们的形式结构，从而把对概念、判断、推理的研究转化为对形式系统中符号的研究。
有方法，也有出处
为人文好奇心，寻一条新路
冷门的工具，
深处的文脉。
从古籍异文到山川故地，从一字古音到人物关系。
汇集小众而有用的专业工具，为每一次发现留下出处。
专门的研究用途贯通的内部关联51 个站内免费工具
古籍有异，版本有源。
山河有迹，古今可寻。小众方法，值得被看见
探索人文工具库 …
藏在专业领域里的好工具，从这里找到。
编辑精选 12 件，先从这里探索专门用途 · 收录有据
正在整理工具目录…
让发现，走到成果里
找到方法以后，从手边的一份材料开始。
典籍与研习
读一段原文，把所学连起来。
检索诗词、辞书与经典，带入工具观察，再用练习与复习巩固。
文脉联动画布
每一条线索，都能回到原文。
把人物、地点和文字放在一起。让工具带来发现，让证据支撑理解。
文脉工具目录
发现你的下一件研究工具
从材料、问题或方法出发。每个条目都说明用途、独特之处与使用门槛。
正在载入目录…
“特色材料 / 专门方法”是收录线索，不代表统计热度。所有操作留在本站；每个方法参照页均关联已实现模块，并说明功能范围。
TASK TEMPLATES
从一个小问题开始
每个模板都有示例材料、默认参数和“容易误读的地方”。
YOUR WORKSPACE
已保存项目
项目保存在本机数据目录，随时可以继续。
OPEN HUMANITIES LIBRARY
诗文、史事与考点
在站内检索可核对的开放资料，把一段原文送入工具，再用练习和复习巩固。
把知识变成练习
从当前结果生成回忆卡；错题会保存在本机，下一次可继续复习。
RESEARCH METHODS
工具与收录方法
从材料到方法，把阅读、分析与学习接在一起。
▤
TEXT LAB
文本证据分析台
从材料里找出值得继续追问的线索。
✦
结果会出现在这里
先填入材料，或点击右上角的“载入示例”。
⌘ 每份结果都带有方法说明和复核提示
本机工作台等待输入