今天回帖回贴，我一向都是谨遵我外公的叮嘱：祸从口出。所以大部分看帖不回贴的多，不过这几天在弄逻辑学，正好看到一个，于是我就讨论了一下，结果居然

================================
该用户发言已被管理员屏蔽
================================

实在不是很明白，聊且记录一下。

原内容是这样的：

你这种不如狗的人（狗不嫌家贫，你呢）

他的逻辑应该是这样的

狗不嫌家贫 你嫌弃家贫，那么你就连狗不如。

OK，先不论 两个大前提是否正确，先假设正确，那么首先大前提 狗不嫌家贫 ，我们也只能根据它得出逆否命题 嫌家贫的不是狗。而不是 不如狗

按照这个逻辑 狗吃屎 你不吃屎，那么你就连狗不如。

其实这个只能推出 你不是狗，而不是你不如狗。

这个就涉及到汉语的一些东西了～～～

重形合的印欧语言是一种非常强调外在逻辑形式的文字，从句法到篇章都强调演绎和推理。有了逻辑的语言就有逻辑的思维，有了逻辑的思维反过来也会有更为逻辑的语言。古希腊哲学家亚里士多德最早提出了形式逻辑的三要素——概念、判断和推理，总结了两种基本的思维方式——归纳法和演绎法，并创立了演绎推理的三段论——大前提、小前提和结论。亚里士多德相信，一切演绎的推论如果加以严格地叙述都是三段论式的。现代西方的自然科学与人文哲学的研究都证实了它们是以“三段论”为基础而衍伸出来的各种领域学科，而逻辑性成了西方思维方式的一大特征。西方思维传统注重分析和实证，在论证和推演中认识事物的本质和规律，以逻辑和理性探索自然规律，认为只有认识自然才能把握自然，因而强调天人对立，区分自我与外物。

汉语是以意合为主的语言，Fowler把汉语描述成流水型环性的语言：“犹如海浪向前推进，浪峰浪谷似分似和，彼此相象，又各不相同；隐含着某些规律，但却过于复杂，难以分析或表述；这些规律规范着波浪与波浪、波浪与大海、词组与词组、词组与语段之间的各种关系”（转引自连淑能，1993:45）。汉语句子以主题为统率进行铺排，“话题-说明”（topic-comment）的结构灵活、形式多样、组合自由,无主句也占了相当大的比重；分句与分句之间、句与句之间少见逻辑关系词。而这种缺乏逻辑论证的句式往往能够更真实地反映生活实际中的辨证关系，如“否极泰来”、“天不变、道亦不变”,逻辑关联词的缺失允许更多可能的理解（既可以是“假设－判断”又可以是“推理－判断”），因而可以表示更为广延的逻辑关系,造成了语意模糊。

由于汉语中缺少逻辑关系表征词，缺乏时态、人称等形态变化，也没有特别显性的词类特征（而英语中有-ness, -ly, en-等词缀可以提供语义信息）,人们对语义的理解往往只能凭借语境及语感来完成。故而中国的传统思维重亲身实践和体悟，轻实证和理论分析。儒、道、佛三家都注重藉灵感和直觉体悟宇宙本体、感悟人生，力求达到“天人合一”,同时多以简约的话语概括思想，往往一语中的,不同于西方一脉相承的、繁复严谨的推演理论体系。

我们说的逻辑通常指的是形式逻辑。两千三百二十年前，一位古希腊老人这样向学生们解释形式逻辑："如果你的钱包在你的口袋里，而你的钱又在你的钱包里，那么，你的钱肯定在你的口袋里。"雅典人都知道，说这话的人一定是亚里士多德。

　　这叫三段论：大前题、小前题和结论。是构成形式逻辑的三要素。

　　可以理解大前提是一个带有普遍意义的规律，小前提说明的是有个特定的事物是大前提的一部分，则结论则一定是这个特定的事物也满足大前提规定的情形

亞里士多德在邏輯學上最重要的工作就是三段論的學說。一個三段論就是一個包括 有大前提﹑小前提和結論三個部分的論證。

里士多德研究了推理，认为推理是通过前提作出必然结论的逻辑形式。直言三段论理论是其中的重要部分。它分为三个格，共14个有效式。因为第一格可以得到AEIO四种结论，而这种三段论的有效性又很明显，无需再加任何说明，所以亚里士多德把第一格各式称之为完善的三段论，第二格、第三格各式不具有这种特眯，需要通过换位和归谬等方法才能把它们化归为第一格，也就是需要通过第一格，才能揭示出它们的有效性，因此他把这两个格的三段论称之为不完善的三段论。

　　亚里士多德的三段论是一个比较完整的演绎推理理论，是一个初级的公理化系统。以他的三段论第一格各个式作为公理，就可以推出其他各格的各个式的有效性。

　　亚里士多德还提出了模态三段论理论。模态三段论是两个前提中至少有一个必然命题或偶然命题，而其他命题是实然命题的三段论。三个格的模态前提的组合共8种：①两个前提都是必然的；②一个是必然的，另一个是实然的；③一个是实然的，另一个是必然的；④两个前提都是偶然的；⑤一个是偶然的，另一个是实然的；⑥一个是实然的，另一个是偶然的；⑦一个是偶然的，另一个是必然的；⑧一个是必然的，另一个是偶然的。亚里士多德分别对三个格的模态三段论作了考察，提出了模态三段论有效性的规则。例如，在第一格中，当大前提是必然的，小前提是实然的，则得到一个必然的结论；当大前提是实然的，小前提是必然的，则得到一个实然的结论。亚里士多德的模态三段论实际上也是一个公理系统，有些内容需进一步研究。

四种命题：在两个命题中，如果第一个命题的条件(或题设)是第二个命题的结论，且第一个命题的结论是第二个命题的条件，那么这两个命题叫做互逆命题；如果把其中一个命题叫做原命题，那么另一个叫做原命题的逆命题.

一个命题的条件和结论分别是另一个命题的条件的否定和结论的否定，这样的两个命题叫做互否命题.把其中一个命题叫做原命题，另一个就叫做原命题的否命题.

一个命题的条件和结论分别是另一个命题的结论的否定和条件的否定，这样的两个命题叫做互为逆否命题.把其中一个命题叫做原命题，另一个就叫做原命题的逆否命题.

充要条件：一般地，如果已知

p ==> q,

那么我们说，p是q的充分条件，q是p的必要条件.

一般地，如果既有p q，又有q p，就记作

p <==> q.

这时，p既是q的充分条件，又是q的必要条件，我们就说p是q的充分必要条件，简称充要条件.

充要条件的判定方法：若p q但q p，则p只是q的充分不必要条件；

若p q，但q p,则p只是q的必要不充分条件；

若p q，且q p，则p只是q的充要条件；

注：必须看两个方向，即p q，q p结果如何?才能下结论.

4.反证法：反证法是“原命题与其逆否命题同真同假”这一理论的具体体现，用反证法证明命题的一般步骤如下：

(1)假设命题的结论不成立，即假设结论的反面成立；

(2)从这个假设出发，经过推理论证，得出矛盾；

(3)由矛盾判定假设不正确，从而肯定命题的结论正确.

历史博文

该日志未加标签。
九月 18, 2005 at 9:45 下午 by yippee 1,057 次
Category: RAN乱