热门问题
时间线
聊天
视角
逻辑词汇表
来自维基百科，自由的百科全书
Remove ads
本文旨在提供一份尽可能完整的有关逻辑学主题的术语列表，按条目对应的英文词组排序。
 |
A
B
C
- 范畴论——研究范畴、函子和自然变换的数学分支
- 范畴 (数学)
- 范畴论——研究范畴、函子和自然变换的数学分支
- 时间逻辑
- 可判定性
- 经典逻辑
- 组合逻辑——逻辑电路
- 交换律
- 紧致性定理——若可满足一族一阶句子的任意有限条，则可全部满足
- 复杂性类——基于资源的复杂性相关的计算复杂性理论中的一系列问题
- 计算复杂性理论——数学理论
- 函数复合
- 可计算函数
- 计算
- 概念——可被不同方式理解的语意单位，比如心智表征、能力、或抽象物体（哲学）
- 抽象与具体
- 因果关系——原因与结果之间互相依存的关系
- 条件概率——机率论名词
- 条件证明
- 同构关系
- 联结——2024年韩国电视剧
- 后果——原因与结果之间互相依存的关系
- 保守扩展
- 常数函数——常见数学函数
- 构造性逻辑
- 构造性数学
- 构造性证明
- 语境主义
- 偶然性——一件事情在未来既可能发生，也可能不发生的随机状态
- 矛盾——两个或多个命题之间的逻辑不兼容
- 逆命题
- 逆否命题
- 反事实条件
- 共指
- 推论
- 反例
- 柯里悖论
D
E
F
G
H
I
- 幂等性
- 同一性——区别个人的品质
- 恒等函数
- iff——if and only if
- 直接推理
- 命令式
- 不完备定理——定理一个广泛的逻辑系统不能既一致又完整
- 独立——国家领土的一种完全脱离原国家自治的状态
- 个体——具相对独立的结构和明确的物理边界、自主行使功能，能对外部刺激发生反应的生命单元
- 归纳论证
- 推理——从已知或假定为真的前提得出逻辑结论的行为或过程
- 推理规则——把相关领域的专家知识形式化地描述出来，形成系统规则的过程
- 无穷小
- 非形式谬误——广义的谬误，即错误的认识
- 单射函数
- 内部模型
- 实例化——软件开发中对象（类）的具体表现
- 预期解释
- 中间逻辑
- 解释 (逻辑)
- 直觉主义——一种强调直觉或直观在认识中的作用的思潮和学说
- 直觉主义逻辑
- 逆函数——对一个定函数做逆运算的函数
- 对合
- 迭代
J
K
L
- λ演算
- 语言——沟通系统，人类表达意义的主要方式
- 同一律——传统逻辑基本规律之一，即认定每件事物都与其自身相同
- 矛盾律——传统逻辑基本规律之一，即认定相矛盾的命题在同一时间同一意义上不可能同时成立
- 引理 ——用于证明更复杂的定理的定理
- 说谎者悖论
- 线性逻辑
- 文字 (数理逻辑)
- 逻辑——对有效推论的哲学研究
- 逻辑门
- 逻辑蕴含
- 逻辑等价
- 逻辑运算符
- 逻辑真理——这个陈述是真的，并且除了逻辑常数之外，对其组成部分的所有重新解释都是正确的;分析陈述的类型;逻辑真理（包括重言式）是被认为必然是真的真理
- 逻辑原子论——哲学理论
- 逻辑实证主义——以确证主义为核心的西方哲学运动的思想主义
- 逻辑主义
- LP——哲学逻辑有关弗协调理论的的一个分支
M
N
O
P
- 配对函数
- 悖论——一种导致矛盾的命题
- 参数 (数学)——辅助变量或任意常数，用于描述系统或特定函数族中的数学函数
- 皮亚诺算术——公理系统
- 排列——数学概念
- 说服性定义
- 循环论证——论证方式
- 哲学逻辑——各种非经典逻辑分支的统称
- 哲学剃刀——哲学原则
- 多元论
- 波兰记法
- 实证主义——研究方法
- 可能性——数学基本概念
- 可能世界
- 语用学
- 谓词 (逻辑)
- 前提——逻辑学术语
- 概率逻辑——运用数理逻辑和其他数学工具，对概然（不确定）推理进行数量化、公理化和形式化研究的逻辑理论
- 概率论——数学理论
- 性质 (哲学)——客体的特性，表征存在物、事物、现象等并且区分一个存在物与另一个存在物、一物与另一物的主要特征
- 命题——抽象思维的基本形式之一，用陈述语句的真值（真或假）判断对错
- 命题变量
- 命题逻辑——逻辑系统
- 标点符号——书面上用于标明句读和语气的符号
Q
R
S
T
U
V
W
Z
- 芝诺悖论——一个哲学悖论
参见
Wikiwand - on
Seamless Wikipedia browsing. On steroids.
Remove ads