逻辑学直言命题

1、逻辑学直言命题第1页，共172页，2022年，5月20日，12点28分，星期四王大妈上街买东西，看见有个地方围了一群人。凑过去一看，原来是中国高血压日的宣传。王大妈转身就要走，一位年轻的白衣大夫叫住了她，“大妈，让我帮你测测血压好吗？”王大妈连忙挥手说：“我又不胖，算了吧。” 根据以上信息，以下哪项最可能是王大妈的回答所隐含的前提？ A只有患高血压病的人才需要测血压，我不用。 B只有胖人才可能得高血压病，经常测血压。 C虽然测血压是免费的，可给我开药方就要收钱了。 D你们这么忙，还是先给身体比较胖的人们测吧。 E让我当众测血压，多难为情，不好意思。 2022年9月13日逻辑学2 逻辑趣问第2页

2、，共172页，2022年，5月20日，12点28分，星期四 逻 辑 学 命题 判 断2022年9月13日3命题是直陈句的意义，是一种或真或假的思想。判断就是对思维对象有所断定的思维形式。逻辑学第3页，共172页，2022年，5月20日，12点28分，星期四关于判断命题的另一种名称？2022年9月13日4逻辑学第4页，共172页，2022年，5月20日，12点28分，星期四2022年9月13日5逻辑学第5页，共172页，2022年，5月20日，12点28分，星期四判断的概述在某种意义上，这里的判断与命题同义，但实际上却又是不同的2022年9月13日6逻辑学第6页，共172页，2022年，5月20

3、日，12点28分，星期四一.判断的含义判断就是对思维对象有所断定的思维形式。例如： 张A是杀人犯。 张A不是杀人犯。 甲和乙是朋友。2022年9月13日7逻辑学第7页，共172页，2022年，5月20日，12点28分，星期四二.判断的特征1.判断对思维对象有所断定断定某对象具有某种属性或对象间有某种关系，是对于该对象有所肯定；断定某种对象不具有某属性或对象间没有某关系，是对于该对象有所否定。肯定或否定就是判断。如果在思维中没有对象，没有肯定什么，也没有否定什么，就不是判断。2022年9月13日8逻辑学第8页，共172页，2022年，5月20日，12点28分，星期四2.判断有真假判断是一种思维形

4、式，通常使用的关于事实的判断，都可以视其内容与实际是否相符而将其区分为真假。判断所断定的对象情形同实际对象情形可能相符，也可能不相符。相符则为真，用“+”表示，不相符则为假，用“-”表示。例如：李未杀人，在诉讼中判定他杀人就是假判断；判定他没有杀人就是真判断。2022年9月13日9逻辑学第9页，共172页，2022年，5月20日，12点28分，星期四3.判断有内容和形式之分。 形式是正确表达内容的条件。例如：二人以上的犯罪是构成共同犯罪的必要条件，这是正确的。但是如果将其形式变成“只要二人以上的犯罪，才能构成共同犯罪。”这是不正确的判断形式，即使“只要就”的形式是正确的，但是放到以上内容中，就

5、变成了错误的判断形式。2022年9月13日10逻辑学第10页，共172页，2022年，5月20日，12点28分，星期四4.判断的种类判断非模态判断模态判断按照判断中“必然”和“可能”的模态词判断断定的是对象的必然性还是可能性必然判断可能判断2022年9月13日11逻辑学第11页，共172页，2022年，5月20日，12点28分，星期四非模式判断简单判断复合判断根据判断结构的繁简联言判断肢判断之间的不同关系判断对象的性质和对象间的关系选言判断假言判断负判断多重复合判断性质判断关系判断（质和量的不同结合）全称肯定判断全称否定判断特称肯定判断特称否定判断单称肯定判断单称否定判断对称关系判断传递关系判

6、断2022年9月13日12逻辑学第12页，共172页，2022年，5月20日，12点28分，星期四2022年9月13日13 5. 判断与概念的区别概念是用指称对象的，自身没有断定。判断是对概念指称的对象做出断定。逻辑学第13页，共172页，2022年，5月20日，12点28分，星期四 6.判断和语句判断和语句存在着相互联系又有质的差别。1.判断和语句各有不同的本质特点，分属于不同的学科。判断是一种思维形式，运用判断遵守逻辑规律；语句是语言学研究的对象，运用语句应遵守语言规则。2.判断要通过语句表达，但并不是所有语句都表达判断。3.同一判断可以表达不同的语句。 4.同一语句可以表达不同的判断。（

7、实际是包含歧义的句子。在语言表达中，应该避免使用这种句子。 ）5.语句是判断的语言表达形式，判断是语句的思想内容。2022年9月13日14逻辑学第14页，共172页，2022年，5月20日，12点28分，星期四甄别判断1.红灯亮时禁止通行。2.前方路口禁止左转弯。3.请你把门关上。4.什么是哲学？5.难道有不运动的事物吗？6.不运动的事物是没有的。7.五个政法学院的学生在我们法庭实习。8.老师傅一个班修好了两辆吉普车和一辆摩托车。2022年9月13日逻辑学15 1、2是 3、4不是5、6是；但不标准7.8是，但是含有歧义第15页，共172页，2022年，5月20日，12点28分，星期四判断是一

8、种思维形式，运用判断应遵守逻辑规律。而语句是语言学研究的对象，运用语句应该遵守语言规则。2022年9月13日16逻辑学第16页，共172页，2022年，5月20日，12点28分，星期四我是中华人民共和国公民。这是一种判断。是语句中的陈述句表达的。但是语句中的 感叹句“啊！大海！” 祈使句“请您原谅”和疑问句“什么是逻辑？”这些都不是判断。2022年9月13日17逻辑学第17页，共172页，2022年，5月20日，12点28分，星期四1.不同国家、不同民族之间对同一判断的表达为不同个的语言和文字。2.同一语言中，同一判断也可以表达为不同的句型。如“一切事物都是运动的。”可以转化为“没有事物不是运

9、动的。”2022年9月13日18逻辑学第18页，共172页，2022年，5月20日，12点28分，星期四1.由于语词的多义性造成的两种判断。如，老师傅一个班修好了两辆汽车。其中的“一个班”指的是时间持续还是人与数量，不够明确。2.由于语言层次不同造成的两种判断。如，我和班长一起去看望生病的小王的父亲。生病的是小王还是其父亲，不够明确。2022年9月13日19逻辑学第19页，共172页，2022年，5月20日，12点28分，星期四课堂作业一、指出下列判断属于哪种直言判断，并指出主、谓项的周延情况。1.未成年人的父母是未成年人的监护人；2.有的儿女不赡养自己的父母；3.有些财产是个人所得的财产；4

10、.十八周岁以上的公民是成年人；5.十八周岁以上的公民不是未成年人；6.李小芳是非婚生女儿。2022年9月13日逻辑学20第20页，共172页，2022年，5月20日，12点28分，星期四2022年9月13日21逻辑学第21页，共172页，2022年，5月20日，12点28分，星期四符号、语句、命题与判断符号（sign，symbol）符号，亦称指号或记号，是指同一定思想相联系的、可借以传达某种思想的人为安排的物质现象。美国逻辑学家皮尔士（）认为：指号是对于某人来说从某个方面（或性能）代表某个事物的东西。2022年9月13日22逻辑学第22页，共172页，2022年，5月20日，12点28分，星期

11、四语句（sentence）语句，是一组表示事物情况的声音或笔划，是某种语言中的一些语词按一定的语法规则形成的语言单位。（语言学的解释）语句，是语言符号系统中能够直接、独立、明确地传达某种思想的语言形式。（逻辑学的解释）语句的类型通常分为：a直陈句 b疑问句（一般疑问句和反诘句）c祈使句 d虚拟句 e感叹句 232022年9月13日逻辑学第23页，共172页，2022年，5月20日，12点28分，星期四语句的功能主要有：a描述（叙事）功能：b评价功能：c示意功能：d询问功能：e规范功能： 2022年9月13日24逻辑学第24页，共172页，2022年，5月20日，12点28分，星期四陈述（sta

12、tement）陈述：通过语句来描述客观事物情况，表达对某件事情或某种现象的情感和态度的表达式。陈述与语句，有时不作严格区分。例如： 昨天两歧镇发生一起车祸。 那束玫瑰很好看。2022年9月13日25逻辑学第25页，共172页，2022年，5月20日，12点28分，星期四命题（proposition）命题，就是具有真假值的语句，换言之，就是一些或真（true）或假（false）的句子。传统逻辑是二值逻辑，命题的真和假，称为命题的真值（truth value，简称为truth ）。传统逻辑所说的经典命题，必须是具有真、假两种逻辑值的语句。2022年9月13日26逻辑学第26页，共172页，2022

13、年，5月20日，12点28分，星期四命题是由词项组成的，具体的命题包含各种各样的词项。有些词项，如“或者”、“并且”、“如果，则”、“并非”、“所有”、“有”等，常常是不同的具体命 题所共有的。这样的词项称为逻辑常项，它们并不指称任何确定的事物。逻辑常项与其他词项适当地搭配起来,就成为命题；这种搭配的方式或结构,就是命题形式。2022年9月13日27逻辑学第27页，共172页，2022年，5月20日，12点28分，星期四判断（judgment）判断的界定a判断，就是判断主体断定（肯定或否定）了的命题。换言之，判断就是对对象情况有所断定的思维形式。b判断具有两个特征： 一是有所断定（肯定或否定）

14、； 二是具有真值（真的或假的）。2022年9月13日28逻辑学第28页，共172页，2022年，5月20日，12点28分，星期四命题判断命题与判断是两个相互关联的逻辑术语。命题是直陈句的意义，是一种或真或假的思想。推理是由命题组成的。命题的特征在于它有真有假。如实反映事物情况的命题是真的，没有如实反映事物情况的命题是假的。判断是断定者在一定时空条件下对命题的认识，它断言一命题是真的,还是假的。2022年9月13日29逻辑学第29页，共172页，2022年，5月20日，12点28分，星期四判断与命题的关系具有真假值的语句是命题，断定了的命题才是判断。判断总是同认识主体（断定者）相联系的（即“必问

15、出处”），而命题则不涉及认识主体（即“不问来路”）。2022年9月13日30逻辑学第30页，共172页，2022年，5月20日，12点28分，星期四判断与语句的关系a联系：判断是语句的思想内容，语句是判断的表达式。 b区别第一，任何判断都必须借助于语句来表达，但并非所有语句都表达判断；第二，判断和语句不是一一对应的。 只要你敢来，没什么大不了的（某丰乳广告） 重庆人和良种猪配种场（重庆市渝北区人和镇）312022年9月13日逻辑学第31页，共172页，2022年，5月20日，12点28分，星期四语句、命题和判断分别属于三个不同的领域。传统逻辑常把命题看成判断的语言表达，忽略了命题与直陈句的区别

16、；传统逻辑也常把判断当作命题，忽略了判断与命题在认识上的区别。2022年9月13日32逻辑学第32页，共172页，2022年，5月20日，12点28分，星期四2022年9月13日逻辑学33第33页，共172页，2022年，5月20日，12点28分，星期四2022年9月13日34逻辑学第34页，共172页，2022年，5月20日，12点28分，星期四命题形式及其分类命题形式：命题的逻辑形式（命题形式），就是命题本身各部份（命题常项与命题变项）之间的联结方式。2022年9月13日35逻辑学第35页，共172页，2022年，5月20日，12点28分，星期四命题形式的分类（1）模态命题与非模态命题：a

17、.模态命题：包括有模态词的命题；b.非模态命题：不包含模态词的命题。【表示事物存在的必然性和可能性的词项，如，必然、可能等。 广义的：表示人的认识的确定性程度的词项，如，应当、允许等】2022年9月13日36逻辑学第36页，共172页，2022年，5月20日，12点28分，星期四命题的不同分类描述命题与评价命题法国哲学家笛卡尔（R. Descartes）最先根据命题的内容及性质不同作这种区分；后来，英国哲学家休谟（D. Hume）对此进行过深入的探讨。2022年9月13日37逻辑学第37页，共172页，2022年，5月20日，12点28分，星期四描述命题（descriptive stateme

18、nt）描述命题，亦称事实判断或实然命题： 就是陈述事物自身情况的命题。它传达的是事物情况就是命题所陈述的那样。描述命题所陈述的可以是已经发生、正在发生或将要发生的事物情况。例如： 外面正在下雨； 那个人已经死亡； 这幢房子即将倒塌。2022年9月13日38逻辑学第38页，共172页，2022年，5月20日，12点28分，星期四评价命题（evaluative statement）评价命题，亦称价值判断或应然命题： 就是陈述对事物情况的某种情感或态度的命题。它传达的是陈述者对事物情况的评价。例如： 下雨令人心烦； 那个人真该死（死得好）； 这幢房子值得留恋。2022年9月13日39逻辑学第39页，

19、共172页，2022年，5月20日，12点28分，星期四实际思维中，还有描述与评价的混合形式。被告作为国家高级干部，无视国家法律，多次收受贿赂，数额特别巨大，手段特别恶劣，情节特别严重。对描述命题的评价，是评价命题而非描述命题；例如：被告说他先后收受了A公司的4次贿赂，这一供词是可信的。对评价命题的描述，是描述命题而非评价命题。例如： 辩护律师说，原告一贯诚实正直、从不说谎。2022年9月13日40逻辑学第40页，共172页，2022年，5月20日，12点28分，星期四描述命题与评价命题的区别一、性质不同描述命题是严格逻辑意义上的命题，即具有真假值的语句；而评价命题则不是严格逻辑意义上的命题，

20、评价命题无所谓真假，只有有妥当与否、合理与否、有效与否的问题。2022年9月13日41逻辑学第41页，共172页，2022年，5月20日，12点28分，星期四二、产生的分歧及解决的方法不同所谓分歧，就是不一致。任何分歧都可归约为两种，即：信念分歧（the disagreement in beliefs）态度分歧（the disagreement in attitudes）信念分歧：由描述命题的不一致所产生的分歧，称为“信念分歧”，就是“包含着某种主要属于信念方面的对立”。信念分歧，是人们关于事实究竟是怎样的分歧。司法实务中关于案件事实的分歧属之。2022年9月13日42逻辑学第42页，共172

21、页，2022年，5月20日，12点28分，星期四信念分歧，有二个特点：第一，相互对立的描述陈述不可能都正确；第二，信念分歧，一般来说不是依赖于论证，而主要是靠对应于事物自身的情况来确定其真假，即这些陈述可以利用证据予以验证（证实或证伪）。从根本上说，描述命题可以被证伪。2022年9月13日43逻辑学第43页，共172页，2022年，5月20日，12点28分，星期四态度分歧：由评价命题的不一致所产生的分歧，“包含着态度上的对立，称为态度上的分歧”。态度上的分歧，就是人们关于“事物应当怎样”的态度上的分歧，亦即价值判断上的分歧。司法实务中对法条理解的分歧属之。2022年9月13日44逻辑学第44页

22、，共172页，2022年，5月20日，12点28分，星期四态度分歧，也有二个特点：第一，相互对立的评价陈述可以共存；第二，态度不能用证据来验证（证伪）。它只能通过论证、探索或者提供能使对方改变评价标准的依据，以达成共识的评价标准。2022年9月13日45逻辑学第45页，共172页，2022年，5月20日，12点28分，星期四三、作用不同描述命题具有叙事功能和信息传达的作用。评价命题可以起到一种暗示、建议和规范的作用。2022年9月13日46逻辑学第46页，共172页，2022年，5月20日，12点28分，星期四分析命题与综合命题德国哲学家康德（Kant ）最先区分分析命题和综合命题。分析命题（

23、analytic proposition）分析命题，亦称先验命题：不需要具有从感觉经验提供的证据就能够判定其真假的命题。例如： 刘是本案凶手，或者，刘不是本案凶手； 铁既是金属又不是金属； 单身汉就是没有结婚的男子。2022年9月13日47逻辑学第47页，共172页，2022年，5月20日，12点28分，星期四综合命题（synthetic proposition）综合命题，亦称经验命题：一个具有正常感觉官能的人，只要根据感觉经验的证据，就能知道其真假的命题。例如： 黄铜比黄金轻； 王是本案嫌疑人； 人高处走，水往低处流。2022年9月13日48逻辑学第48页，共172页，2022年，5月20日

24、，12点28分，星期四实然命题、应然命题与模态命题（1）实然命题：断定事物（过去、现在或将来时态）实际情况的命题，其系词为“是”或“不是”。（2）应然命题：断定事物或事件应当如何的应然状态的命题，其系词为“应当”或“不应当”。（3）模态命题：断定事物必然或可能情况的命题，其系词为“必然”、“不必然”、“可能”、“不可能”等。2022年9月13日49逻辑学第49页，共172页，2022年，5月20日，12点28分，星期四简单命题与复合命题（1）简单命题：以词项（概念）作为直接构成要件的命题。例如：张是作案人（2）复合命题：以命题（语句）作为直接构成要件的命题。例如：如果张是作案人，那么张去过作案

25、现场2022年9月13日50逻辑学第50页，共172页，2022年，5月20日，12点28分，星期四命题形式之间的逻辑关系命题形式间的逻辑关系，就是指任意两个命题形式之间的真假制约关系，逻辑史上通称为（命题形式之间的） “对当关系”（opposition）。2022年9月13日51逻辑学第51页，共172页，2022年，5月20日，12点28分，星期四各种对当关系的涵义及其逻辑特征任意两个命题形式f(x)与f(y)之间可能存在的对当关系，概括起来有以下几种，即：等值关系、矛盾关系、反对关系、下反对关系、蕴涵关系、逆蕴涵关系、独立关系。说明：符号的涵义约定如下： “”表示“真” “” 表示“假”

26、 “”表示“可真可假”（真假不定）2022年9月13日52逻辑学第52页，共172页，2022年，5月20日，12点28分，星期四（1）等值关系（equivalent）f(x)f(y)+-必然同真 必然同假第53页，共172页，2022年，5月20日，12点28分，星期四（2）矛盾关系（contradictor）f(x)f(y)+-+不能同真 不能同假第54页，共172页，2022年，5月20日，12点28分，星期四（3）反对关系（contrary）f(x)f(y)+-+-不能同真 可以同假第55页，共172页，2022年，5月20日，12点28分，星期四（4）下反对关系（sub-contra

27、ry）f(x)f(y)-+-+不能同假 可以同真第56页，共172页，2022年，5月20日，12点28分，星期四（5）蕴涵关系（implication）与逆蕴涵关系（inverse implication）f(x)f(y)+-+可以同真 可以同假若f(x)真f(y)必真， f(x)假f(y)可真可假， 且，若f(y)真f(x)可真可假， f(y)假f(x)必假，则f(x)蕴涵f(y)，亦即f(y)逆蕴涵f(x)蕴涵关系与逆蕴涵关系，传统逻辑通常合称为差等关系（sub-alternate）第57页，共172页，2022年，5月20日，12点28分，星期四逆蕴涵关系，亦称反蕴涵关系。f(x)逆蕴

28、涵f(y)也可表示如下：f(x)f(y)-+-可以同真 可以同假第58页，共172页，2022年，5月20日，12点28分，星期四（6）独立关系（inconnected）亦称不可比关系f(x)f(y)+-+-无规律的真假关系第59页，共172页，2022年，5月20日，12点28分，星期四二、关系命题1.关系命题的定义关系命题（relative proposition）：就是断定对象之间是否具有某种关系的简单命题。其语言表达式是“主-谓式语句”。例如： 张认识李； 有的观众喜欢所有的歌星。第60页，共172页，2022年，5月20日，12点28分，星期四关系命题的逻辑结构逻辑变项：关系者项：表

29、示关系承受者的词项，常用符号a、b、c，或x、y、z表示。逻辑常项：（1）关系项（R）：表示关系的词项。（2）量项（ quantifier，量词）：表示关系者项的外延范围的词项。2022年9月13日61逻辑学第61页，共172页，2022年，5月20日，12点28分，星期四全称量词（universal quantifier）“所有”（）；存在量词（existential quantifier）“有的” （）。若不考虑量词，则关系命题的逻辑形式可表示为：R（a、b、n）或者aRb2022年9月13日62逻辑学第62页，共172页，2022年，5月20日，12点28分，星期四关系的对称性 若R（a

30、、b）真， R（b、a）是否为真的问题（1）对称关系：当R（a、b）真时，若R（b、a）必然真，则R就是对称关系；如：等于、是朋友、交叉关系（2）反对称关系：当R（a、b）真时，若R（b、a）必然假，则R就是反对称关系；如：大于、轻于、真包含关系（3）准对称关系（通称非对称关系）：当R（a、b）真时，若R（b、a）可真可假，则R就是准对称关系。如：认识、帮助、喜欢2022年9月13日63逻辑学第63页，共172页，2022年，5月20日，12点28分，星期四王元泽巧答（北宋）客人问：哪只是獐，哪只是鹿？王元泽：獐旁边的是鹿，鹿旁边的是獐。“在旁边”具有对称关系阿凡提释梦国王梦见一个人把他的牙拔

31、光了。丞相释梦：陛下全家将比陛下先死（被宰）阿凡提释梦：陛下将比您所有的家人长寿（赐锦袍）“比先死”具有反对称关系2022年9月13日64逻辑学第64页，共172页，2022年，5月20日，12点28分，星期四关系的传递性： 若R（a、b）真，且R（b、c）也真，R（a、c）是否为真的问题（1）传递关系：当R（a、b）真，且R（b、c）真时，若R（a、c）必然真，则R是传递关系； 如：等于、大于、真包含关系（2）反传递关系 当R（a、b）真，且R（b、c）真时，若R（a、c）必然假，则R就是反传递关系； 如：高2米、矛盾关系（3）准传递关系（通称非传递关系）：当R（a、b）真且R（b、c）真时

32、，若R（a、c）可真可假，则R是准传递关系。 如：认识、是朋友、交叉关系2022年9月13日65逻辑学第65页，共172页，2022年，5月20日，12点28分，星期四兔子汤的汤我们是送您兔子的那位朋友的朋友我们是送您兔子的那位朋友的朋友的朋友这就是我那位朋友送来的兔子的汤的汤“朋友”是非传递关系2022年9月13日66逻辑学第66页，共172页，2022年，5月20日，12点28分，星期四三、直言命题（性质命题）2022年9月13日逻辑学67第67页，共172页，2022年，5月20日，12点28分，星期四1直言命题的定义直言命题（categorical proposition）：通称性质命

33、题，心理学著述中亦称范畴命题，港澳台地区惯称定言命题，就是断定对象是否具有某种性质的简单命题。直言命题的语句表达式，是“主-谓式语句”（直陈句）。2022年9月13日68逻辑学第68页，共172页，2022年，5月20日，12点28分，星期四例如： 所有法官都是懂法律的 有的被告人不是有罪的 那本书不是小王借的 重庆市是长江上游最大的城市2022年9月13日69逻辑学第69页，共172页，2022年，5月20日，12点28分，星期四2.直言命题的逻辑结构逻辑变项（1）主项（subject）：亦称主词，记为 S ，表示被断定对象的词项。（2）谓项（predicate）：亦称谓词或宾词，记为 P

34、，表示主项是否具有的某种性质的词项。2022年9月13日70逻辑学第70页，共172页，2022年，5月20日，12点28分，星期四S P图3-1S P图3-4S P图3-2P S图3-3S P图3-5主项S与谓项P之间的五种外延关系：2022年9月13日71逻辑学第71页，共172页，2022年，5月20日，12点28分，星期四逻辑常项（1）联项（connective）：表示主项与谓项之间联系的词项。有两种形式： a.肯定联项“是”（有时可省略） b.否定联项“不是”（不能省略）例如：这些人都（是）去过作案现场（的）。假冒伪劣产品都不是法律允许产生的。2022年9月13日72逻辑学第72页，

35、共172页，2022年，5月20日，12点28分，星期四（2）量项（quantifier）：表示主项外延范围的词项。有三种形式：a.全称量项“所有”（可以省略）b.特称量项“有的”（不能省略）c.单称量项“这个”或“那个”（若主项为单独概念，则省略不用）例如： （所有）这些人都去过作案现场。 这块黑板是电子白板。 （这条）亚马逊河是世界上第一大河流。2022年9月13日73逻辑学第73页，共172页，2022年，5月20日，12点28分，星期四3.直言命题的基本类型按命题的质（联项）分，有肯定命题和否定命题两种：（1）肯定命题：由肯定联项联结主项和谓项的直言命题。其形式为：（所有/有的/这个）

36、S是P（2）否定命题：由否定联项联结主项和谓项的直言命题。其形式为：（所有/有的/这个）S不是P2022年9月13日74逻辑学第74页，共172页，2022年，5月20日，12点28分，星期四按命题的量（量项）分，有全称命题、特称命题和单称命题三种：（1）全称命题：带有全称量项的的直言命题。其形式为：所有S（是/不是）P（2）特称命题：带有特称量项的直言命题。其形式为：有的S（是/不是）P（3）单称命题：主项为单独概念或者带有单称量项的直言命题。其形式为：这个（那个）S（是/不是）P2022年9月13日75逻辑学第75页，共172页，2022年，5月20日，12点28分，星期四4.六种不同类型

37、的直言命题类 型逻辑形式符号表达式简 符全称肯定命题全称否定命题特称肯定命题特称否定命题单称肯定命题单称否定命题所有 S 是 PSAPA所有 S不 是 PSEPE有的 S 是 PSIPI有的 S不 是 PSOPO这个 S 是 PSFPF这个 S 不是 PSNPN第76页，共172页，2022年，5月20日，12点28分，星期四两点说明：（1）A、E、I、O是古罗马时期的逻辑学家约定的，分别源自下述拉丁文词汇： Affirmo（我肯定）：A、I （第一、二个元音字母） Nego （我否定）：E、O （第一、二个元音字母）（2）关于单称命题，逻辑史上极少研究，也没有符号表达式。为方便起见，借用上述

38、两个拉丁文词汇的第一个辅音字母F、N表示。2022年9月13日77逻辑学第77页，共172页，2022年，5月20日，12点28分，星期四A、E、I、O的常见非标准语句表达式（1）“没有（一个）S不是P”句式表达SAP：例如： 没有哪种犯罪行为不是违法行为。 我们班没有一个男同学不是足球迷。（2）“没有（一个）S是P”句式表达SEP：例如： 这些死者没有一个是自然死亡的。 没有什么难题是不可解的。 2022年9月13日78逻辑学第78页，共172页，2022年，5月20日，12点28分，星期四（3）“S中，有P”句式表达SIP：例如： 大学生中，有党员。 在押犯中，有惯犯。（4）特称量项“有的

39、”不规范的情形：（不少）（许多）（多数）（少数）（相当部分）（有一个）S是（不是）P SIP（SOP）第79页，共172页，2022年，5月20日，12点28分，星期四（5）“S不都是P”句式表达SOP：例如： 去过作案现场的不都是作案人。 懂法律的人不都是律师。2022年9月13日80逻辑学第80页，共172页，2022年，5月20日，12点28分，星期四课堂练习：分析下列直言命题的逻辑结构，指出其主、谓、量、联项，并写出其逻辑形式：1无论什么样的困难都不是不可克服的。2甲厂生产的许多产品都是优质产品。3我们班有一位男同学是足球迷。4教学楼下面那块黑板报是甲班的班报。5我们班没有一个同学是追

40、星族。6参加今天讨论的不都是我们班的同学。2022年9月13日81逻辑学第81页，共172页，2022年，5月20日，12点28分，星期四5.直言命题的词项周延性词项周延性的涵义词项周延性（distribution） ：就是指一个直言命题的主（谓）项的外延是否被全部断定的问题。周延的（distributed ）：若在一个直言命题中断定了某一词项的全部外延，它就是周延的；不周延的（undistributed ）：如果在一个直言命题中没有断定某一词项的全部外延，或者，无法确知是否断定了某一词项的全部外延，那么，该词项就是不周延的。2022年9月13日82逻辑学第82页，共172页，2022年，5月

41、20日，12点28分，星期四六种直言命题的主、谓项周延情况（1）全称命题的主项周延，特称命题的主项不周延，单称命题的主项也周延；（2）肯定命题的谓项不周延，否定命题的谓项周延。2022年9月13日83逻辑学第83页，共172页，2022年，5月20日，12点28分，星期四若以“ + ”表示“周延”，“ - ”表示“不周延”，则六种直言命题的词项周延情况如下：S + AP-S + EP +S - IP -S - OP +S + FP -S + NP +第84页，共172页，2022年，5月20日，12点28分，星期四A.E.I.O的主、谓项周延与否可如此判定主项看量项 全称主项周延 特称主项不周

42、延 谓项看联项 肯定谓项不周延 否定谓项周延 A：主周谓不周 E：主谓都周 I：主谓都不周 O：主不周谓周 2022年9月13日85逻辑学第85页，共172页，2022年，5月20日，12点28分，星期四应注意的问题1词项周延与否，惟一地取决于一个直言命题的逻辑形式，与命题的真假无关，与命题所断定的实际情况无关。2词项周延性问题，仅仅与直言命题的主、谓项相关。2022年9月13日86逻辑学第86页，共172页，2022年，5月20日，12点28分，星期四A、E、I、O的真值表 （A、E、I、O的真假值判定）直言命题，本质上就是断定主项S与谓项P之间的外延关系的。因此，一个直言命题的真假值，就取

43、决于它的断定是否符合主项S与谓项P之间事实上的外延关系。2022年9月13日87逻辑学第87页，共172页，2022年，5月20日，12点28分，星期四A、E、I、O的真值表 S P P S S P S P S PSAPSEPSIPSOP+-第88页，共172页，2022年，5月20日，12点28分，星期四课 堂 练 习1若a与b交叉，且b真包含c，则下述命题中必然为真的是（ ）。 所有a是c（aAc） 所有a不是c（aEc） 有的a是c（aIc） 有的a不是c（aOc）2022年9月13日89逻辑学第89页，共172页，2022年，5月20日，12点28分，星期四课 堂 练 习1若a与b交叉

44、，且b真包含c，则下述命题中必然为真的是（ ）。 所有a是c（aAc） 所有a不是c（aEc） 有的a是c（aIc） 有的a不是c（aOc）2022年9月13日90逻辑学第90页，共172页，2022年，5月20日，12点28分，星期四2若a与b交叉，且b真包含于c，则下述命题中必然为真的是（ ）。 所有a是c（aAc） 所有a不是c（aEc） 有的a是c（aIc） 有的a不是c（aOc）2022年9月13日91逻辑学第91页，共172页，2022年，5月20日，12点28分，星期四2若a与b交叉，且b真包含于c，则下述命题中必然为真的是（ ）。 所有a是c（aAc） 所有a不是c（aEc）

45、有的a是c（aIc） 有的a不是c（aOc）2022年9月13日92逻辑学第92页，共172页，2022年，5月20日，12点28分，星期四3若“有的A是B”和“有的A不是B”都真，则A与B之间的关系不可能是（ ）。 全同关系 交叉关系 全异关系 种属关系 属种关系2022年9月13日93逻辑学第93页，共172页，2022年，5月20日，12点28分，星期四3若“有的A是B”和“有的A不是B”都真，则A与B之间的关系不可能是（ ）。 全同关系 交叉关系 全异关系 种属关系 属种关系2022年9月13日94逻辑学第94页，共172页，2022年，5月20日，12点28分，星期四直言命题之间的对

46、当关系原理直言命题间的对当关系（1）广义：任意两个或多个直言命题之间的真假制约关系。（2）狭义：逻辑变项相同（素材相同）的A、E、I、O之间的真假制约关系。2022年9月13日95逻辑学第95页，共172页，2022年，5月20日，12点28分，星期四A、E、I、O之间的对当关系原理（1）SAP与SEP之间 S P P S S P S P S PSAP+-SEP-+具有反对关系2022年9月13日96逻辑学第96页，共172页，2022年，5月20日，12点28分，星期四（2）SIP与SOP之间 S P P S S P S P S PSIP+-SOP-+具有下反对关系2022年9月13日97逻

47、辑学第97页，共172页，2022年，5月20日，12点28分，星期四（3）SAP与SOP之间 S P P S S P S P S PSAP+-SOP-+具有矛盾关系 SEP与SIP之间也具有矛盾关系2022年9月13日98逻辑学第98页，共172页，2022年，5月20日，12点28分，星期四（4）SAP与SIP之间 S P P S S P S P S PSAP+-SIP+-具有差等关系 SEP与SOP之间也具有差等关系2022年9月13日99逻辑学第99页，共172页，2022年，5月20日，12点28分，星期四（5）逻辑方阵（logical square）通称“直言方阵”SAPSEPSI

48、PSOP反对关系下反对关系差等关系差等关系矛盾 关系矛盾 关系2022年9月13日100逻辑学第100页，共172页，2022年，5月20日，12点28分，星期四矛矛盾盾关系关系反对关系 下反对关系 差等关系差等关系真假假假假假假假假真真真真真真真AEIO矛盾关系：不能同真，不能同假反对关系：不能同真，可以同假 下反对关系：可以同真，不能同假差等关系：可以同真，可以同假 2022年9月13日101逻辑学第101页，共172页，2022年，5月20日，12点28分，星期四SAPSEPSIPSOPA、E、I、O 间的推导关系2022年9月13日102逻辑学第102页，共172页，2022年，5月2

49、0日，12点28分，星期四命题之推导的真假与事实的真假根据对当关系原理，若已知“有的法官是懂法律的”为真，则可知“所有法官都是懂法律的”这一命题为（可真可假 ）。命题推导的真假，亦称逻辑的真假（logical truism）命题事实的真假，亦称经验的真假（physical truism）二者并非一回事。2022年9月13日103逻辑学第103页，共172页，2022年，5月20日，12点28分，星期四关于单称命题之间的对当关系逻辑变项相同的单称肯定命题（SFP）与单称否定命题（SNP）之间具有矛盾关系。主项相同、谓项不同的两个单称肯定命题之间：（1）若谓项是矛盾概念，则二者间具有矛盾关系；（2

50、）若谓项是反对概念，则二者间具有反对关系。2022年9月13日104逻辑学第104页，共172页，2022年，5月20日，12点28分，星期四主项相同、谓项不同的两个单称否定命题之间：（1）若谓项是矛盾概念，则二者间具有矛盾关系“张不是成年人”与“张不是未成年人”（2）若谓项是反对概念，则二者间具有下反对关系 “张不是青年人”与“张不是老年人”2022年9月13日105逻辑学第105页，共172页，2022年，5月20日，12点28分，星期四直言六角（A、E、I、O、F、N间的对当关系）SAPSEPSIPSOPSFPSNP2022年9月13日106逻辑学第106页，共172页，2022年，5月

51、20日，12点28分，星期四直言命题的隐含及其推导命题的预设与命题的隐含命题的预设（presupposition）命题的预设：是一个命题预先设定的东西，是命题得以成立的先决条件，在交际中则表现为交际双方共同接受的东西（背景知识）。预设有语义预设和语用预设之分 。2022年9月13日107逻辑学第107页，共172页，2022年，5月20日，12点28分，星期四语义预设：是一个命题及其否定都要假定的东西，是一个命题为真或为假的前提条件。例如： 那座白色的建筑物是体育馆。 那座白色的建筑物不是体育馆。 这是两个互相否定的命题，二者都预设了：那座建筑物是白色的2022年9月13日108逻辑学第108

52、页，共172页，2022年，5月20日，12点28分，星期四语用预设若话语A只有当命题B为交谈双方所共知时才是恰当的，则A在语用上预设B。语用预设具有如下特征： 共知性 恰当性 可取消性2022年9月13日109逻辑学第109页，共172页，2022年，5月20日，12点28分，星期四问句的预设与复杂问语A问句也有预设例如： “你怎么又迟到了？” 预设着： “你曾经迟到过。”2022年9月13日110逻辑学第110页，共172页，2022年，5月20日，12点28分，星期四复杂问语（many quetions）所谓复杂问语，就是提问者为了达到某种目的而有意隐含某种预设的问语。复杂问语的预设通常

53、是虚假的，且一般是回答者不能接受或不愿接受的，问者想诱使对方对复杂问语的回答，以达到让对方承认（接受）这一预设的目的。例如： 你还打你的父亲吗？ 杀人的刀子你丢哪了？2022年9月13日111逻辑学第111页，共172页，2022年，5月20日，12点28分，星期四命题的隐含（implicature）命题的隐含：命题中包含的而未明白地陈述出来的与该命题相一致或等值的陈述。 例如：嫌疑人：该讲的我都讲了。预审员：还有你觉得不该讲的么？ 2022年9月13日112逻辑学第112页，共172页，2022年，5月20日，12点28分，星期四推导直言命题隐含的方法推导直言命题隐含的逻辑方法，传统逻辑通称

54、为直言直接推理（categorical immediate reasoning），简称直接推理。这样的推导方法，主要包括根据对当关系进行的推导和根据命题变形进行的推导。根据命题变形进行的推导，有换质法、换位法和戾换法。2022年9月13日113逻辑学第113页，共172页，2022年，5月20日，12点28分，星期四换质法（obversion）（1）定义（方法）：换质法：通过改变一个直言命题的质（联项）从而推导出另一个直言命题的方法。（2）规则（逻辑要求）：第一、新命题的谓项必须是原命题谓项的矛盾概念；第二、换质不换量。2022年9月13日114逻辑学第114页，共172页，2022年，5月2

55、0日，12点28分，星期四（3）有效的推导公式 SAP SEP SIP SOP“”表示“可以推出”“ ” 表示“可以逆推” SFP SNP2022年9月13日115逻辑学第115页，共172页，2022年，5月20日，12点28分，星期四狗和海螺（外国寓言故事）有一条狗偶尔吃了一只鸡蛋，感到味道鲜美，慢慢地它就吃上瘾。久而久之，它得出了经验：所有鸡蛋都是圆的。有一天，它看到一个圆圆的海螺，以为是鸡蛋，一口吞了下去（因为它推出所有圆的都是鸡蛋）。不久肚子疼痛。2022年9月13日116逻辑学第116页，共172页，2022年，5月20日，12点28分，星期四换位法（conversion）换位法：

56、通过改变一个直言命题主、谓项的位置从而推导出另一直言命题的方法。规则（逻辑要求）：第一、原命题中不周延的词项在新命题中不得周延；第二、换位不换质。2022年9月13日117逻辑学第117页，共172页，2022年，5月20日，12点28分，星期四（3）有效的推导公式 SAP SEP SIP SOP SAP-+-+SAP不能简单换位 只能限量换位 简单换位 SOP不能换位2022年9月13日118逻辑学第118页，共172页，2022年，5月20日，12点28分，星期四戾（l ）换法（inversion）戾换法：不断交替使用换质法和换位法由一个直言命题推导出一串直言命题的方法。戾换法分为换质位法

57、（先换质后换位）和换位质法（先换位后换质）两种。规则（逻辑要求）：第一，分别遵守换质和换位的规则；第二，相邻两个步骤不得运用同一种方法。2022年9月13日119逻辑学第119页，共172页，2022年，5月20日，12点28分，星期四某公请客该来的不来不该走的走了我又没说他该来的（是）不来的 该来的不是来的 来的不是该来的 来的是不该来的2022年9月13日120逻辑学第120页，共172页，2022年，5月20日，12点28分，星期四（3）有效的推导公式 SAPa换质位法（先换质后换位） SEP2022年9月13日121逻辑学第121页，共172页，2022年，5月20日，12点28分，星

58、期四 SIP SOP2022年9月13日122逻辑学第122页，共172页，2022年，5月20日，12点28分，星期四 SAPb换位质法（先换位后换质） SEP SIP SOP 不能换位质2022年9月13日123逻辑学第123页，共172页，2022年，5月20日，12点28分，星期四课堂练习1根据直言命题的相关知识，由 可必然推出（ ）。2022年9月13日124逻辑学第124页，共172页，2022年，5月20日，12点28分，星期四课堂练习2下列命题中，为“参加这次会议的代表都是先进工作者”所隐含的是（ ）。 不是参加这次会议的代表都不是先进工作者 先进工作者都是参加这次会议的代表

59、参加这次会议的代表中，有先进工作者 有的非先进工作者是参加这次会议的代表 2022年9月13日125逻辑学第125页，共172页，2022年，5月20日，12点28分，星期四特称量项“有的”的逻辑涵义特称量项“有的”与日常用语中“有的”之区别：日常用语中的“有的” “仅仅有一些”（通俗地说，就是“下要保底，上要封顶”）特称量项“有的” df. 至少（存在）有一个 （通俗地说，就是“下要保底，上不封顶”）返回幻灯片 642022年9月13日126逻辑学第126页，共172页，2022年，5月20日，12点28分，星期四2022年9月13日127逻辑学第127页，共172页，2022年，5月20日

60、，12点28分，星期四性质判断的含义性质判断是直接断定对象物具有或不具有某种性质的判断。是简单判断的一种，因为对对象物性质的断定简单明了，又叫直言判断。例如：所有犯罪行为都具有社会危害性。广州是沿海城市。2022年9月13日128逻辑学第128页，共172页，2022年，5月20日，12点28分，星期四性质判断的构成任何性质判断都是由主项、谓项、量项、联项四部分构成的。1.主项：在性质判断中表示事物的概念，或反映被断定对象的概念。用字母S表示。 如“所有犯罪行为”和“广州”都是各判断的主项。2022年9月13日129逻辑学第129页，共172页，2022年，5月20日，12点28分，星期四2.