從零個或多個輸入值（稱為操作數）到輸出值的計算。 操作數的數量是操作的元數 一元关系 全称量化——邏輯學術語 可靠性定理——邏輯術語，表示參數有效且其前提是真實的 有效性——逻辑学术语 估值 排中律——传统逻辑基本规律之一，即认定对于每个命题，要么其为真，要么其为假 否定为失败 wff 芝诺悖论——一个哲学悖论 逻辑符号表 哲学词汇表...

coding——使用AI輔助的編程風格 视觉处理单元——視覺處理器 弱人工智能——form of artificial intelligence 词嵌入——自然语言处理领域中以实值向量形式对词的含义进行编码的文本分析 XGBoost 机器人学术语表 计算机科学术语表 逻辑词汇表 概率与统计词汇表...

多值逻辑 三值逻辑 模糊逻辑 概率逻辑 亚结构逻辑（子结构逻辑） 线性逻辑 相干逻辑 非单调逻辑 缺省逻辑 自动认识逻辑 可废止逻辑 模态逻辑 真势模态逻辑 认识逻辑 道义逻辑 时间逻辑（时态逻辑） 动态逻辑 可证明性逻辑 可解释性逻辑 哲学逻辑 次协调逻辑（弗协调逻辑） 自由逻辑 辩证法（辩证逻辑）...

邏輯真理是逻辑学的一个基础概念，它指的是无须借助于感性经验，仅依靠一定的逻辑推理即可判定其必然为真的真理。逻辑真理虽不直接与经验相联系，但这并不意味着它与经验徹底无关。 所有的哲学逻辑 以及逻辑推论都可以被看作是对逻辑真理的阐述。 逻辑真理通常被认为是必然的真理。这意味着它们在任何情境下都不可能不是...

ratiocinator），很能让人想起符号逻辑，可以被看作使这种计算成为可行的一种方式。但他们的工作鲜为人知，后继无人。 数理逻辑的概念在十九世纪中期出现了，它是两个古老的学科：数学和哲学逻辑的交汇。 数理逻辑被称之为符号逻辑或形式逻辑或者逻辑代数。“数理逻辑”的名称是由皮亚诺首先给出，数理逻辑在本质上依然是亚里士多德的逻辑...

逻辑学的研究停止了。后来，印度的逻辑学随佛教传入中国。 现在所使用的逻辑学直接来源于古希腊逻辑学。亚里斯多德等人确立了完整的形式逻辑、三段论等逻辑学基本理论。中世纪欧洲的哲学家和伊斯兰哲学家对逻辑学也做出了贡献。 在现代，逻辑学发展巨大，传统的形式逻辑被数学化重新描述为数理逻辑，也产生了非形式逻辑。...

在数理逻辑中，谓词逻辑（英語：predicate logic）是符号形式系统的通用术语，比如一阶逻辑，二阶逻辑、多类逻辑或无穷逻辑等等。 A. G. Hamilton (1978). Logic for Mathematicians. Cambridge, England: Cambridge University...

充分必要條件，簡稱充要條件，是逻辑学中用于描述两个陈述之间的条件关系或包含关系的术语。 在逻辑学中： 当命题「若P則Q」为真时，P称为Q的充分条件，Q称为P的必要条件。 因此： 当命题「若P則Q」與「若Q則P」皆为真时，P是Q的充分必要条件，同时，Q也是P的充分必要条件。...

推理（inference）是「使用理智從某些前提（已知）導出結論」的思維過程。 以下三種推理是屬於哲學、邏輯、心理學和人工智能等學門所感興趣的領域。 邏輯推理有三種主要的方式： 演繹推理（deductive reasoning），给出正確的前提，就必然推出結論（结论不能为假，悖論除外）。演繹推理無法...

模糊逻辑是处理部分真实概念的布林運算扩展。经典逻辑坚持所有事物（陈述）都可以用二元项（0或1，黑或白，是或否）来表达，而模糊逻辑用真实度替代了布尔真值。这些陈述表示实际上接近于日常人们的问题和語意陈述，因为“真实”和结果在多数时候是部分（非二元）的和/或不精确的（不准确的，不清晰的，模糊的）。...

索尔·阿伦·克里普克（英語：Saul Aaron Kripke，/ˈkrɪpki/，音“克里普基”，1940年11月13日—2022年9月15日），美国逻辑学家和哲学家，模态逻辑语义学创始人之一，指称因果-历史论（英语：Causal-historical theory of reference）首倡者之一。...

经典逻辑（英語：Classical logic），也被稱為標準邏輯（standard logic），标识已经被最深入的研究和最广泛的使用的一类演绎推理逻辑。经典逻辑是19和20世纪的创新，它比亚里士多德的词项逻辑具有更广泛的应用，并且能够将亚里士多德的传统逻辑表述为一个特例。经典逻辑...

逻辑就是针对以上这些批评，从形式逻辑的自身发展中产生的。回顾非形式逻辑的发展历史，早在古希腊，亚里士多德就研究了辩证推理、谬误传统、论证的社会功能等我们所理解的非形式逻辑的要素。亚里士多德是非形式逻辑的历史先驱。 1978年，在加拿大温莎大学举行的“首届国际非形式逻辑研讨会”被看成标志着非形式逻辑...

前兩組康德稱為數學的二律背反，錯誤的發生，在其邏輯上設定了並不獨立有相互關連的概念為相斥；後兩組稱為動力的二律背反，錯誤的發生，在於命題將不相干的概念設定為相斥的概念。康德認為二律背反提供了一個可以好好檢討人類理性邏輯與知性經驗關係的出發點。 正命題： 宇宙在時間上有起點，在空間中也有限制。...

在逻辑中，真值（truth value），又稱逻辑值（logical value），是指示一个陈述在什么程度上是真的。在計算機編程上多稱做布林值、布爾值、布林數。 在经典逻辑中，唯一可能的真值是真和假。但在其他逻辑中其他真值也是可能的：模糊逻辑和其他形式的多值逻辑使用比简单的真和假更多的真值。...

传统逻辑，也叫做词项逻辑，是关于亚里士多德（公元前384年—前322年）所开创的传统逻辑学的宽松的术语，并有幸的没有经历广泛的改变，直到十九世纪末出现了谓词逻辑。 有时很难理解在弗雷格和罗素之前的哲学，原因是对他们之前的所有哲学家们所共识的术语和观念没有基本的掌握。本文提供对传统系统的基本介绍，和对进一步阅读的建议。...

“美学词汇与伦理学词汇的使用方式是完全相同的。‘美丽’、‘丑陋’就像伦理学词汇那样，并非用来制造关于事实的陈述，而只是来表达特定的情感并且唤起特定的反应。” 对于从感官经验知识得来的知识，逻辑实证主义不能给出一个满意的描绘。这同过去的激进经验主义面临的问题是一样的。 逻辑...

逻辑的书的主要主题。 哲学逻辑被理解为包含并专注于非经典逻辑，尽管该术语还有其他含义。 非经典逻辑是对传统的经典逻辑的扩展和替代, 其介绍可见于 约翰·P·伯吉斯（英语：John P. Burgess） 的《哲学逻辑》。 该著作描述非经典逻辑的五个中心分支（时间逻辑、模态逻辑、条件逻辑、相干逻辑...

现代的逻辑学，或者说形式逻辑、数理逻辑等，其目的是设计出来一套形式语言系统，并对其作出语义解释。这样的形式语言系统是一个个抽象的封闭体系，但是可以应用于很多的不同领域，比如说法律、计算机等等领域对逻辑学的应用。 一个逻辑系统通常由三个部分组成，即词汇部分、句法部分和基于模型论的语义部分。 所谓的词汇...

证明论是数理逻辑的一个分支，它将数学证明表达为形式化的数学客体，从而通过数学技术来简化对他们的分析。证明通常用归纳式地定义的数据结构来表达，例如链表，盒链表，或者树，它们根据逻辑系统的公理和推理规则构造。因此，证明论本质上是语法逻辑，和本质上是语义学的模型论形相反。和模型论，公理化集合论，以及递归论...

被歸類為非古典邏輯的系統包括： 次协调逻辑 相干逻辑 时间逻辑 双面真理说 可计算性逻辑 多值逻辑 模糊逻辑 直觉主义逻辑 线性逻辑 模态逻辑 逻辑 哲学逻辑 经典逻辑 形式逻辑 非形式逻辑 悖论 Logic, Non-Classical, encyclopedia...

斯多葛派逻辑（英語：Stoic logic）是由古希腊的斯多葛学派哲学家发展的命题逻辑系统。它是古典世界两大逻辑系统之一，主要由公元前3世纪斯多葛学派的第三任院长克律西波斯建立。克律西波斯的逻辑与亚里士多德的词项逻辑不同，因为它基于对命题的分析而不是词项的分析。斯多葛逻辑...

也稱為系、系理）指能够“简单明了地”从前述命题推出的论断，推论往往在定理后出現。如果命题B能够被简单明了的从命题A推导出，则稱B为A的推论。 推论、定理、命題等术语的使用区别往往是比较主观的，因为“简单明了”的定义本来就与作者及上下文相关。当然，推论一般被认为不如定理重要。 逻辑 推理 各種數學敘述...

次协调逻辑（英語：Paraconsistent logic）是尝试处理矛盾的逻辑。是不瑣碎的（non-trivial）逻辑，它允许矛盾。更加特殊的，它允许断言一个陈述和它的否定，而不导致谬论。在经典逻辑中，从矛盾中可以推导出任何东西；这叫做ex contradictione...

苏格拉底确立了这段话的重要性：“寻找证据，仔细研究推理和假设，分析基本概念，不仅要注意说了什么，而且也要注意做了什么”。苏格拉底在提问方式中强调，需要思考清晰和逻辑的一致性。他问人们问题，以揭示他们的非理性思维或缺乏可靠的知识。苏格拉底证明，拥有权威并不能确保准确的知识。他确立了质疑信仰的方法，密切检验假设，依...

可能世界（英語：Possible world）的概念被用来在哲学和逻辑中，表达模态断言。在哲学中，术语“模态”覆盖了如“可能性”“必然性”“偶然性”这类观念。谈论可能世界在当代哲学讨论中是非常普遍的（特别是在英语世界中），尽管有着巨大的争议。 那些使用可能世界概念的人认为“实际”世界是很多可能世界中...

逻辑SHIOQ (D)的语法形式。 描述逻辑根据其表达能力的程度不同，形成不同的逻辑子语言。绝大多数的描述逻辑类型都可以被看成对应着一阶逻辑的一个可判定性的片段（fragment），即每个描述逻辑中的命题都可以在有限时间内完成证明或证否。只有极少数的描述逻辑类型被认为是不可判定的。 一个描述逻辑...

逻辑学家，致力于哲学的大众化、普及化。曾在三一学院、剑桥大学担任哲学教授，他写了许多著作，其中包括经典著作《西方哲學史》。 在數學哲學上採取弗雷格的邏輯主義立場，認為數學可以化約到邏輯，哲學可以像邏輯一樣形式系統化，主張逻辑原子論。...

逻辑兴起期间，传统逻辑的拥护者（被视为亚里士多德逻辑的传人）和新的数理逻辑倾向于将彼此视为在逻辑概念上不相容的对手。最近的学术研究经常将数理逻辑技术应用到亚里士多德的理论中，（在许多人看来）揭示了亚里士多德与现代逻辑学家之间在方法和兴趣上的许多相似之处。 逻辑 经典逻辑 非经典逻辑 亚里斯多德...

大多數的邏輯悖論是由正確的命題與前提，以及一系列正確的推理，得出的與假設相矛盾之結果。悖論常使人類發現追求真理的過程或是語言、知識中存在的盲點，進而使人類省思、修改。例如：羅素悖論，以簡明的形式撼動了數學與邏輯的大廈。也例如連鎖悖論，讓人類發現語言中的含糊性質。本條目是一個關於悖論的列表： （以下悖論條目部分為真實性悖論和謬誤悖論）...

演绎和溯因区别在于推理中使用“ a {\displaystyle a} 蕴涵 b {\displaystyle b} ”这种规则的方向（与归纳的比较请参见逻辑推理）: （以下b=结果）。（a=原因） 演绎：允许推导 b {\displaystyle b} 作为 a {\displaystyle a}...