逻辑学十五讲

• 完颜白菜

  2021-06-20
  对含认知动词的命题的逻辑特性和推理关系进行研究的逻辑叫做“认知逻辑”，早期的著作有亨迪卡（Jaakko Hintikka)的《知识和信念——两个概念的逻辑导论》(1960),齐硕姆(R. M. Chisholm)的《知道的逻辑》(1963)和雷歇尔N. Rescher)的《哲学逻辑论集》(1968)，它们基本上都只考虑单个的认知主体。
• 多吃青菜少长肉

  2021-06-10
  319.因此，我更赞同下面的“悖论”定义：如果某一理论的公理和推理规则看上去是合理的，但在这个理论中却推出了两个互相矛盾的命题，或者证明了这样一个命题，它表现两个互相矛盾的命题的等价式。那么，我们说这个理论包含一个悖论或者换一种更松散的说法：如果从看起来合理的前提出发，通过看起来有效的逻辑推导，得出了两个自相矛盾的命题或这样两个命题的等价式，则称得出了悖论。
• 多吃青菜少长肉

  2021-06-10
  311.有逻辑学家正确地指出：“应该记住这一点，一个很长的讨论是谬误的最有效的面纱。当诡辩以浓缩的形式呈现于我们面前时，像毒药一样，它立刻会被防备和厌恶。一个谬误若用几句话赤裸裸地加以陈述时，它不会欺骗一个小孩；如果以四开本的书卷稀释”时，则可能会蒙骗半个世界。”
• 多吃青菜少长肉

  2021-06-10
  250.是语言哲学对于意义理论的研究。研究者在最初的观念论、指称论、真值条件论、证实论等等理论之外，逐渐发展出一种使用论。例如，弗雷格早就指出，不要孤立地询问一个词的意义，而要在语句的上下文中去追寻个词的意义。后期维特根斯坦指出，语言的意义在于它的使用。研究表明，要弄清楚语言表达式的真实意义，我们就要弄清楚该语言表达式是由谁说的，对谁说的，在什么情景下说的，说听双方所共有的背景知识，说听双方的交际意图，等等。按照这样的思路，发展出了言语行为理论、会话含义学说、自然语言的语用学等等理论。这些理论哲学味比较浓，与人们的日常语言直觉比较接近.
• 多吃青菜少长肉

  2021-06-10
  229.稍后，冯・赖特还发现，不仅量词和模态词之间存在类似，而且在它们与道义概念“应该”“允许”“禁止”之间，以及与认知概念“证实”“不确定”“证伪”之间，也存在着相应的类似。于是，至少应该有四个独立的逻辑学分支：存在逻辑即量词逻辑、真势逻辑（ alethic logic）、道义逻辑（ deontic logic）和认知逻辑（ epistemic logic）。他于1951年出版《模态逻辑》一书。这本仅90页的小册子包含以下四个基本观点：（1）在模态词和量词之间存在着完全的类似；（2）利用这种类似，可以把适用于部分量词理论的判定程序推广到各种模态逻辑系统中；（3）可以利用分配范式定义模态逻辑中的逻辑真理；（4）探讨模态概念的不同解释，以便建立包括道义、认知、价值论概念在内的一般模态理论。上述观点或做法一再重复出现于码・赖特的哲学逻辑究中，成为他的哲学逻辑工作的一大特.
• 多吃青菜少长肉

  2021-06-10
  207.马里奥邦格（ Mario Bunge）也指出，形式化确实使哲学理论增加了严格性和精确性，但精确性并不能保证正确性，而是使我们易于发现错误并改正它；精确性也不能保证深度和重要性，而是使我们有可能对哲学理论进行合理的检查，以诊断问题和困难的确切来源，同时也为它们的解决提供方法。
• 多吃青菜少长肉

  2021-06-10
  192.之所以如此，是因为使用符号有诸多好处：（1）把原先用具体例子表示的推理改用符号表示之后，能够把人们的注意力从具体例子所表示的具体内容转移到由符号所表示的一般的结构关系上，由此就把思维的普遍性和一般性帯进了思维过程。（2）原先用自然语言要说半天、写半天的句子，一旦用符号以及由符号组成的公式来表示，其结构紧凑，书写方便，大大加快了阅读和思考的速度，提高了思维的效率。（3）由于自然语言中的词项常常多义且歧义，其结构关系也比较松散，给思考造成了很大的干扰和麻烦；而符号的含义单一，其结构关系确定，于是，符号化思维提高了思维的严格性和精确性。由于这些好处的叠加和累计，使用符号还给我们的思维带来了新的契机和新的可能性：原来用日常语言不能表也无法思考的间题，随着新的符号工具的使用，成为可以表述和考的。例如，用古汉语来表述和思考现代数学问题，几乎是不可能的。中国古代数学没有找到一套合适的符号体系，被认为是它后来停滞乃至落后的重要原因之一。
• 多吃青菜少长肉

  2021-06-10
  185.（1）归纳推理不能得到演绎主义的证成。因为在归纳推理中，存在着两个逻辑的跳跃：一是从实际观察到的有限事例跳到了涉及潜无穷对象的全称结论；二是从过去、现在的经验跳到了对未来的预测。而这两者都没有演绎逻的保证，因为适用于有限的不一定适用于无限，并且将来可能与过去和现在不同。（2）归纳推理的有效性也不能归纳地证明，例如根据归纳法在实践中的成功去证明归纳，这就要用到归纳推理，因此导致无穷倒退或循环论证。（3）归纳推理要以自然齐一律和普遍因果律为基础，而这两者并不具有客观真理性。因为感官最多告诉我们过去一直如此，并没有告诉我们将来仍如此；并且，感官告诉我们的只是现象间的先后关系，而不是因果关系因果律和自然齐一律没有经验的证据，只不过出于人们的习惯性心理联想。因此，休谟说：“习惯是人生的最大指导。”
• 豆友14860663

  2019-09-04
  布劳维尔及其追随者不赞成使用反证法。反证法：为了证明某个东西存在或某个命题成立，先假设它不存在或不成立，由此导致荒谬或矛盾，这就等于证明了它的存在或成立。他们要求，要证明某个数学对象存在，只有两个办法：一是具体给出该数学对象，二是给出找到该数学对象的程序或算法。证明某个命题，要具体给出该命题如何成立的证明。因为在数学上不仅有可以证明为真或假的命题，还有未被证明为真或假的命题，还有不可证明的命题。
• 豆友14860663

  2019-08-30
  形式化方法代表着一种极度精确的思维，在需要精确的地方，我们要尽量精确，这时候形式化方法就有了用武之地。形式化只适于考察一个理论中概念或命题的形式方面和以严格意义上的逻辑方面为内容的那些问题。但精确性并不能保证正确性，而是使我们易于发现错误并改正它；精确性也不能保证深度和重要性，而是使我们有可能对哲学理论进行合理的检查，以诊断问题和困难的确切来源，同时也为它们的解决提供方法。
• 豆友14860663

  2019-08-30
  在形式化系统中，推理的链条在原则上可以无限延伸，因而可以得出无数条新定理，这就可能造成下述结果：原先没有意识到或模糊地意识到的逻辑涵义和逻辑关系现在被明确地、充分地揭示出来了；原先以为没有逻辑关系的，现在被证明是有关系的。或者，原先认为逻辑上一致、相容的，现在可能揭示出其潜在的逻辑矛盾。如此等等。这样一来，科学研究无疑就被大大向前推进了。
• 豆友14860663

  2019-08-06
  定义不能恶性循环，违反这一原则，就会犯“循环定义”的错误。所谓循环，是指在用定义项去刻画、说明被定义项时，定义项本身又需要或依赖于被定义项来说明。
• 豆友14860663

  2019-08-04
  以及量词“所有”和“有些”
• Blue

  2016-10-02
  培根在起诉他犯叛国罪的过程中发挥了重要作用，导致后者被斩首
• 败走恶犬

  2013-08-19
  其中外延大的词项是属词项，外延小的词项是种词项。……有些教科书也许恰恰相反，把外延大的叫做“种词项”，把外延小的叫做“属词项”。
• 殿前不检点

  2013-08-13
  据说，山东省前主席韩复榘有一次…………＂三个纲目＂讲完，韩主席扬长而去。
• 龙野

  2013-05-17
  英国哲学家波普尔说的好，按逻辑上的重言式说话，例如关于明天的天气，说“明天下雨或者不下雨”，永远不对错的，永远不会被证伪，但是与此同时它也没有传达任何新信息。一旦负载了哪怕一点新信息，它就有可能被证伪；而且传达的信息越多，被证伪的机会就越大；但是，假如它一旦被证实，产生的效果也最大，甚至有可能引起科学革命。波普尔指出，爱因斯坦与阿米巴菌的区别不在于一个犯错误另一个没有犯错误，而是在于：爱因斯坦能够会从错误中学习，并且从克服错误中不断前进，而阿米巴菌却往往与错误一起死亡。因此，我们不要怕证伪，不要怕犯错误，而是要善于从错误中学习。
• 阿北

  2016-12-02
  同一律，矛盾律，排中律和充足理由律是逻辑学的基本规律。</原文结束>啥意思？<原文开始>逻辑最早可以追溯到一个希腊词，即“logos”
• 败走恶犬

  2013-08-19
  黑洞，指引力完全崩溃的星体。这个新术语是由普林斯顿大学的约翰·威勒博士在1067年于纽约召开的空间研究组织的一次会议上引进的。
• [已注销]

  2017-10-02
  逻辑学是研究推理和论证的；它撇开推理和论证的具体内容，而专门研究其前提和结论之间的形式结构关系，正是这种结构关系使得我们由真前提只能得到真结论；同一律、矛盾律、排中律和充足理由律是逻辑学的基本规律，它们体现了逻辑学的基本价值追求：追求思维的确定性、一致性、明确性和论证性。