逻辑形式
在逻辑中，逻辑形式（）是一个陈述在形式系统中的精确定义语义版本。非正式地说，逻辑形式试图将一个可能有歧义的陈述为一个在形式系统中具有精确、无歧义的逻辑解释的陈述。在一个理想的形式语言中，逻辑形式的含义可以仅从语法唯一确定。 逻辑形式的概念由伯特兰·罗素在1914年引入，作为他哲学逻辑计划的一部分。罗素写道：「对逻辑形式的某种知识，尽管对大多数人而言并不明确，但涉及对所有话语的理解。哲学逻辑的任务就是将这种知识从其具体的外壳中提取出来，使…
标签：#逻辑
共 12 篇文章
逻辑史
逻辑史，又稱理則史，指逻辑学的发展史。 在古埃及和巴比伦都发现逻辑学的萌芽。但现在所使用的逻辑学产生于古希腊时期。与此同时，印度和中国也独立地发展了逻辑学。 中国古代逻辑学代表为墨家逻辑，晚期的墨家中一批人已经开始研究形式逻辑。不过中国的逻辑学并未形成体系。可惜的是，汉朝以后，实行“罢黜百家、独尊儒术、外儒内法”，逻辑学的研究停止了。后来，印度的逻辑学随佛教传入中国。 现在所使用的逻辑学直接来源于古希腊逻辑学。亚里斯多德等人确立了完整的…
周延 (哲學概念)
如果一个命题述及一个词项所指称的类的所有成员，那么该词项在这个命题中周延（distribute）。在陈述如“所有A不是B就是C”中，A周延，而B、C不周延，因为有的B和C不是A。在陈述如“某些D是E”中，D和E不周延，因为没有提及余下的（不是E的D和不是D的E）。 在直言命题中，词项的周延取决于量词： 在全称肯定的“所有S都是P”命题中，主项周延。 在全称否定的“所有S都不是P”命题中，主项和谓项都周延。 在特称肯定的“有些S是P”命题…
自指
是自指的一个符号。]] 自指（）是一种概念，涉及对自身或自身的属性、特征、行为进行指称。自指现象可以出现在语言、逻辑、数学、哲学、计算机程序设计、二阶控制论、语言学及幽默等多个领域。 在自然语言或形式语言中，自指是指句子、思想或公式直接或间接地提及自身。具体表达方式可以是直接自指、通过中介句子或公式、或通过某种编码实现。自指语句有时会导致悖论，例如说谎者悖论，也可能具有递归特性。 在哲学中，自指亦指代主体谈论或提及自身的能力，即能够用第…
非形式逻辑
非形式逻辑（），泛指能够用于分析、评估和改进出现于人际交流、政治辩论、以及报纸、电视、等大众媒体之中的非形式论证理论。 简介 非形式逻辑 沒有任何一種形式語言可以捕捉到自然語言語義間所有的微細差別, 但其典型特征是不如形式逻辑善于做严密分析。 非形式逻辑的研究範圍包括分析错误的论证来辨别谬论，分析和辨别类似的推理策略等活动。比如， 研究谬论在理解和评估论证中应扮演什么角色。 1978年，在加拿大温莎大学举行的“首届国际非形式逻辑研讨会”…
恶魔的证明
恶魔的证明（）是指法律所要求的、却无法完成的证明。在古代，与恶魔的证明相对的是神圣的证明（probatio divina）。 类似的命题 夜间倍增：假设所有人晚上睡着，所有事物的尺寸大小扩大一倍，包括一切测量仪器等。这一现象发生了却无法被证明。 桶中之腦：当你睡着时，你的大脑被技艺高超的医生与科学家取下，放入一缸营养液中，大脑连接这电极，模拟信号传入大脑，比如你想掐自己一下时，便有相应的信号传入大脑。你无法否认实际情况不是这样的。 亨普…
数学原理
[[Image:Principia Mathematica 54-43.png|thumb|right|500px|✸54.43: “从这个命题可推导出——假设算术加法已被定义——1 + 1 = 2。”卷I，第1版，[http://quod.lib.umich.edu/cgi/t/text/pageviewer-idx?c=umhistmath&cc=umhistmath&idno=aat3201.0001.001&frm=frames…
二分法
二分法指的是将一个整体事物分割成两部分。也即是说，这两部分必须是互補事件，即所有事物必须属于雙方中的一方，且互斥，即没有事物可以同时属于雙方。 用法与事例 邏輯上的假兩難推理 心理學上的二分法 *二元論 参考文献
二值原理
在逻辑中，二值原理（）是指，對於任何命题 P，只能有一個真值：命題P只能是真，或假，其中之一。滿足這個原則的邏輯推論，稱為二值邏輯（，bivalent logic）。 在经典逻辑中，二值原理等价于说没有命题非真非假。非真非假的命题 P 是不可判定的。在直觉逻辑中，命题 P 的真值有时不能判定(就是说 P 不能被证明或反驳)。在这种情况下，P 简单的不能有真值。其他逻辑，比如多值逻辑，可以指派给 P 一个中间的真值。 不要混淆于排中律和无…
逻辑或非
]] 在布尔逻辑运算中，逻辑或非（NOR）的结果是逻辑或的反面。也就是说，p NOR q真，当且仅当p与q都假时才成立。 逻辑或非是对于命题之间的运算，两个参数均假时结果才真；反之，两个参数中至少有一个为真时，结构就为假。 真值表 逻辑或非的真值表如下： 韦恩图 逻辑或非的韦恩图如下： 一种表示p NOR q的方法是\overline{p \lor q}，其中符号\lor是逻辑或的符号。 性质 逻辑或非拥有一独特的性质，即其他所有逻辑运…
DPLL算法
DPLL（Davis-Putnam-Logemann-Loveland）算法，是一種完備的、以回溯為基礎的算法，用於解決在合取範式（CNF）中命題邏輯的布爾可滿足性問題；也就是解決CNF-SAT问题。 它在1962年由馬丁·戴維斯、希拉里·普特南、喬治·洛吉曼和多納·洛夫蘭德共同提出，作为早期戴維斯-普特南算法的一种改进。戴維斯-普特南算法是戴維斯与普特南在1960年发展的一种算法。 DPLL是一种高效的程序，并且经过40多年还是最有效…
下反对关系
下反对关系也称“小反对关系”。“逻辑方阵”中特称肯定判断和特称否定判断间的真假关系。即两者不能同假，但可同真。 运用 由一个判断的假，可以推出另一个判断的真。由“有些金属不能导电”的假，可以推出“有些金属能导电”的真，因为两者不能同假。但由一个判断的真，并不能推出另一个判断的假。如：由“有些金属是固体”的真，并不能推出“有些金属不是固体”的假，因为两者可以同真。下反对关系可用于命题分类，可通过否命题真假判断再进行原命题的判断，从而只需逻…