逻辑词汇表
本文旨在提供一份尽可能完整的有关逻辑学主题的术语列表，按条目对应的英文词组排序。
 |
A
[编辑]- 先验与后验
- 溯因推理——从一个观察开始，寻找最简单和最可能的解释的一种逻辑推理形式
- 抽象对象
- 抽象化——泛化的过程
- 人身攻击——带有贬义的意思，要侮辱人的话
- 诉诸无知——逻辑谬误
- 肯定后件
- 分析
- 回指
- 前件
- 反对称关系
- 先验与后验
- 论证——试图说服，或确定，一个论点的真假
- 亚里士多德逻辑
- 元数——函数或运算中自变量或算子的数量
- 逻辑断言
- 结合律
- 不对称
- 自动机
- 自同构
- 公理——看作真实的命题
B
[编辑]- 贝叶斯定理——概率论中的定理
- 循环论证——论证方式
- 偏差 (统计学)
- 逻辑双条件——if and only if
- 双射
- 二元关系——任何一组有序对; （在甲组上）甲的有序元素对的集合，即甲×甲的子集; （在两组甲和乙之间）有序对的集合，其中甲中的第一个元素和乙中的第二个元素
- 布尔代数 (逻辑代数)——代数结构
- 边界案例
- 因明学
C
[编辑]- 范畴论——研究范畴、函子和自然变换的数学分支
- 范畴 (数学)
- 范畴论——研究范畴、函子和自然变换的数学分支
- 时间逻辑
- 可判定性
- 经典逻辑
- 组合逻辑——逻辑电路
- 交换律
- 紧致性定理——若可满足一族一阶句子的任意有限条，则可全部满足
- 复杂性类——基于资源的复杂性相关的计算复杂性理论中的一系列问题
- 计算复杂性理论——数学理论
- 函数复合
- 可计算函数
- 计算
- 概念——可被不同方式理解的语意单位，比如心智表征、能力、或抽象物体（哲学）
- 抽象与具体
- 因果关系——原因与结果之间互相依存的关系
- 条件概率——机率论名词
- 条件证明
- 同构关系
- 联结
- 后果——原因与结果之间互相依存的关系
- 保守扩展
- 常数函数
- 构造性逻辑
- 构造性数学
- 构造性证明
- 语境主义
- 偶然性——一件事情在未来既可能发生，也可能不发生的随机状态
- 结构规则
- 矛盾——两个或多个命题之间的逻辑不兼容
- 逆命题
- 逆否命题
- 反事实条件
- 共指
- 推论
- 反例
- 柯里悖论
D
[编辑]- 决定性问题
- 从言与从实
- 演绎定理
- 定义项
- 定义——揭示概念内涵或外延的确切、简明语句
- 证明
- 指称
- 可数——具有与自然数集的子集相同的势的集合
- 否定前件
- 限定词
- 对角线引理
- 两难
- 弱化
- 析取
- 析取三段论
- 除法——运算
- 论域
- 双重否定
- 对偶——修辞手法
E
[编辑]- 初等等价
- 蕴含
- 等价
- 等价关系——传递的自反对称关系
- 歧义
- 演绎逻辑——逻辑上可以理解为前提的推理方法可以得出逻辑上的某些结论
- 排中律——传统逻辑基本规律之一，即认定对于每个命题，要么其为真，要么其为假
- 存在概括
- 存在量词
- 解释——对事物的现象、过程、状态、道理等进行描述
- 明确定义
- 爆炸原理——理论
- 外延
F
[编辑]- 谬误——广义的谬误指的是错误的认识；狭义的谬误指的是错误的论证
- 可谬论
- 分割谬误
- 有限主义
- 一阶逻辑——使用于数学、哲学、语言学及电脑科学中的一种形式系统
- 不动点
- 形式谬误
- 形式语言——用数学方法，借助标记和符号研究自然语言和人工语言生成和转换机制与规则的语言
- 形式逻辑——对有效推论的哲学研究
- 形式证明
- 逻辑语义学
- 形式系统
- 合式公式
- 框架语义学
- 自由逻辑
- 函数 (数学)——数学二元关系，输入值集合中的每项元素皆能对应唯一一项输出值集合中的元素
- 模糊逻辑
G
[编辑]H
[编辑]I
[编辑]- 幂等性
- 同一性——区别个人的品质
- 恒等函数
- iff——if and only if
- 直接推理
- 命令式
- 不完备定理
- 矛盾——两个或多个命题之间的逻辑不兼容
- 独立——国家领土的一种完全脱离原国家自治的状态
- 个体——具相对独立的结构和明确的物理边界、自主行使功能，能对外部刺激发生反应的生命单元
- 归纳论证
- 推理——从已知或假定为真的前提得出逻辑结论的行为或过程
- 推理规则——把相关领域的专家知识形式化地描述出来，形成系统规则的过程
- 无穷小
- 非形式谬误
- 单射函数
- 内部模型
- 实例化——软件开发中对象（类）的具体表现
- 预期解释
- 中间逻辑
- 解释 (逻辑)
- 直觉主义——一种强调直觉或直观在认识中的作用的思潮和学说
- 直觉主义逻辑
- 有效性——逻辑学术语
- 逆函数——对一个定函数做逆运算的函数
- 对合
- 迭代
J
[编辑]K
[编辑]L
[编辑]- λ演算
- 语言——沟通系统，人类表达意义的主要方式
- 同一律——传统逻辑基本规律之一，即认定每件事物都与其自身相同
- 矛盾律——传统逻辑基本规律之一，即认定相矛盾的命题在同一时间同一意义上不可能同时成立
- 引理 ——用于证明更复杂的定理的定理
- 说谎者悖论
- 线性逻辑
- 文字 (数理逻辑)
- 逻辑——对有效推论的哲学研究
- 逻辑门
- 逻辑蕴含
- 逻辑等价
- 逻辑蕴含
- 逻辑运算符
- 逻辑真理
- 有效性——逻辑学术语
- 逻辑等价
- 逻辑原子论——哲学理论
- 逻辑实证主义——以确证主义为核心的西方哲学运动的思想主义
- 逻辑主义
- LP——哲学逻辑有关弗协调理论的的一个分支
M
[编辑]- 多值逻辑——真值大于2的逻辑运算
- 逻辑双条件——if and only if
- 数学归纳法——一种数学证明方法
- 数学逻辑
- 矩阵——由若干行和列元素排列成的矩形阵列
- 分体论 (逻辑学)
- 元语言
- 元数学
- 元定理
- 元理论
- 极简主义
- 模态逻辑——非古典逻辑的一个分支，研究“必然”“可能”及其相关概念的逻辑性质和涉及这些情态概念的推理
- 模型论——从数理逻辑的角度对数学结构的一类研究
- 模型论——从数理逻辑的角度对数学结构的一类研究
- 一元论
- 单调性——保留或反转给定有序的有序集之间的函数
- 情态
- 多值逻辑——真值大于2的逻辑运算
N
[编辑]- 元数——函数或运算中自变量或算子的数量
- 关系 (数学)
- 自然演绎
- 自然语言
- 自然数——自然数集合中的数字（澄清是否包含零，使用Q28920044或Q28920052）
- 否定——运算
- 新基础
- 非经典逻辑
- 非标准模型
- 正规模态逻辑
- NP完全性——复杂度类别
O
[编辑]P
[编辑]- 配对函数
- 悖论——一种导致矛盾的命题
- 参数 (数学)——辅助变量或任意常数，用于描述系统或特定函数族中的数学函数
- 皮亚诺算术——公理系统
- 排列——数学概念
- 说服性定义
- 循环论证——论证方式
- 哲学逻辑——各种非经典逻辑分支的统称
- 哲学剃刀——哲学原则
- 多元论
- 波兰记法
- 实证主义——研究方法
- 可能性——数学基本概念
- 可能世界
- 语用学
- 谓词 (逻辑)
- 前提——逻辑学术语
- 概率逻辑——运用数理逻辑和其他数学工具，对概然（不确定）推理进行数量化、公理化和形式化研究的逻辑理论
- 概率论——数学理论
- 形式证明
- 性质 (哲学)——客体的特性，表征存在物、事物、现象等并且区分一个存在物与另一个存在物、一物与另一物的主要特征
- 命题——抽象思维的基本形式之一，用陈述语句的真值（真或假）判断对错
- 命题变量
- 命题逻辑——逻辑系统
- 标点符号——书面上用于标明句读和语气的符号
Q
[编辑]- 质量——用来描述物理学中物质的绝对量
- 量化 (数理逻辑)——逻辑运算符，限定论域中满足公式的个体数量
- 数量——中存在财产范围的大小或众多;属性,可以作为一个大小或存在许多
- Q.E.D.
- 引号——标点符号
R
[编辑]- 递归
- 递归定理
- 递归定义
- 递归函数
- 递归关系
- 红鲱鱼
- 归谬法
- 还原主义
- 相干逻辑
- 指称
- 自反关系——集合中每个元素都和自身相关的二元关系
- 反驳——辩论术语
- 关系语义
- 推理规则——把相关领域的专家知识形式化地描述出来，形成系统规则的过程
- 罗素悖论——英国哲学家罗素提出的悖论
S
[编辑]- 模式
- 达纳·斯科特——美国科学家
- 二阶逻辑
- 矛盾——两个或多个命题之间的逻辑不兼容
- 自我引用
- 符号学——主要研究符号的本质、符号的发展变化规律、符号的各种意义以及符号与人类多种活动之间关系的学术领域
- 命题演算——逻辑系统
- 字元集 (数理逻辑)
- 滑坡论证
- 诡辩
- 诡辩术
- 正确性——政府、官员和法律的权威为民众所认可的程度
- 规定性定义
- 陈述 (逻辑)
- 稻草人论证——非正式谬误的类型
- 严格条件
- 结构规则
- 直接推理
- 子语言
- 亚结构逻辑
- 后继函数
- 满射函数
- 三段论
- 对称性——二元关系类型
- 语法
T
[编辑]- 温度悖论
- 三元运算
- 定理——基于既定陈述之上所证明出的陈述
- 理论——沉思和理性的抽像或概括思维，或这种思维的结果
- 三值逻辑
- 波浪号——附加符号
- 容忍
- 拓扑斯
- 全函数——数学二元关系，输入值集合中的每项元素皆能对应唯一一项输出值集合中的元素
- 传递闭包
- 传递关系
- 翻译——把一种语言的文字或话语等资讯转变成另一种语言
- 逆否命题
- 三分律
- 真理——符合事实或现实的东西
- 真值表
- 真值
- 真值链接
- T-模式
- 图灵机——抽象计算模型
- 类型和个例的区别——区分概念与概念的特定实例的对象的区别
- 类型论
U
[编辑]- 一元运算——从操作数产生结果的数学过程; 从零个或多个输入值（称为操作数）到输出值的计算。 操作数的数量是操作的元数
- 一元关系
- 全称量化——逻辑学术语
- 论域
- 可靠性定理——逻辑术语，表示参数有效且其前提是真实的
V
[编辑]W
[编辑]Z
[编辑]- 芝诺悖论——一个哲学悖论
参见
[编辑]| 概论 | ||
|---|---|---|
| 经典逻辑 |  | |
| 原理 | ||
| 规则 | ||
| 人物 | ||
| 著作 | ||
