意志
意志（，又譯：志願）作为一个复杂的哲学概念，它经常被定义成不同的形式。 意志作为内在动力 尼采将意志近似地定义为任意内在动机性的行动（any internally motivated action），但更狭义一些。它更象一种“具有创造力的火花”（creative spark），一种绝对的独立性和顽强性。 另外，如果一个人选择不去偷盗是因为摩西十诫中是这么说的，他是在用自由意志选择遵守；同样如果一个人买某张音乐CD是因为他的朋友推荐，他是…
标签：#逻辑史
共 27 篇文章
音乐宇宙
音乐宇宙又称音乐的普适性或天体音乐（拉丁語：，Musica：音乐的中世纪拉丁文名称），是一种古老的哲学概念，指相关比例在太陽、月亮、行星等运动天体皆遵从音乐的普遍形式。这种音乐并非通常字面意義上的声音，而是谐波、数学的概念。此音乐方面的思想持续吸引著思想家，直到文艺复兴时期，影响遍及各类学者、人文主义者。 历史 Engraving from Renaissance Italy showing Apollo, the Muses, the…
充足理由律
充足理由律 简述为：任何判断必须有（充足）理由。古希腊亚里斯多德的经典逻辑 只明确的描述了矛盾律、同一律、排中律三个基本公理。“充足理由律”是由德国哲学家莱布尼茨提出 , 并由德国哲学家亚瑟·叔本华在1813年发表的博士论文《论充足理由律的四重根》（英文：On the Fourfold Root of the Principle of Sufficient Reason）中进一步阐述。 叔本华还将充足理由律和矛盾律、同一律、排中律并列，…
对立四边形
对立四边形（又称逻辑方阵、四角對當），是传统逻辑（亚里士多德逻辑）中用于直接推理的术语，它图示了四种标准直言命题之间的对立关系。 对于主项"S"和谓项"P"，提供了如下规则: 全称命题不同真（contrariety，又称反对关系），至少有一个必须是假。 矛盾（contradiction）的命题有对立的真值。 全称命题蕴涵（subalternation，又称差等关系）它们的下级特称命题。 特称命题不同假（subcontrariety，又称…
布尔三段论
布尔逻辑原指十九世纪英国数学家乔治·布尔发明的直言三段论逻辑系统，他尝试结合“空集”，就是说不存在的实体的类，比如圆四边形，而不求助于不可确定的真值。 在布尔逻辑中，全称陈述“所有S都是P”和“没有S是P”（在亚里士多德方案中是不同真的），在假定S的集合是空集的时候是可共存的。“所有S都是P”，被解释为意味着：“没有东西既是S又是非P”；“没有S是P”，就是说：“没有东西既是S又是P”。例如，因为没有东西是圆四边形，所以没有东西是圆四边…
多重普遍性问题
多重普遍性问题命名了亚里士多德逻辑在描述特定直觉上有效的推论上的失败。例如，下面在直觉上是正确的： :某些猫被所有老鼠所惧怕 则它在逻辑上推出： :所有老鼠都惧怕至少一只猫 但是在亚里士多德系统中不可能表达这个推论，因为我们需要用亚里士多德的主词-谓词形式表达第一项，确使我们的谓词是"X 被所有老鼠所惧怕"，它把"所有"置于在这个理论中的三段论所不能触及的地方。 当中世纪逻辑学家发现这个问题的时候，他们看到有可能向理论增加进一步的更加复…
弗雷格命题演算
在数理逻辑中弗雷格命题演算是第一个公理化的命题演算。它由弗雷格发明，他还在1879年发明了谓词演算，作为他的二阶谓词逻辑的一部分(尽管查尔斯·桑德斯·皮尔士首次使用了术语“二阶”并独立于 Frege 开发了自己版本的谓词演算)。 它只使用两个逻辑算子: 蕴涵和否定，并且由六个公理和一个推理规则肯定前件构成。 公理 THEN-1: A→(B→A) THEN-2: (A→(B→C))→((A→B)→(A→C)) THEN-3: (A→(B→…