- 相關(guān)推薦
《形式邏輯》
形式邏輯教學(xué)大綱
課程的性質(zhì)目的和任務(wù)
一、形式邏輯是研究思維的形式及其規(guī)律的科學(xué)。是大學(xué)本（專）科各專業(yè)的專業(yè)基礎(chǔ)課。作為一門思維科學(xué)，它既有認(rèn)識(shí)的作用，又有表達(dá)和論證思想的作用。學(xué)習(xí)形式邏輯對(duì)于自覺(jué)地進(jìn)行思維的邏輯訓(xùn)練，提高邏輯思維能力，增強(qiáng)邏輯論證的力量，具有重要意義。
二、本課程應(yīng)堅(jiān)持理論聯(lián)系實(shí)際的學(xué)習(xí)原則和方法，要準(zhǔn)確地理解和掌握形式邏輯的基本概念、邏輯規(guī)律和邏輯原理，同時(shí)，聯(lián)系學(xué)習(xí)生活實(shí)際，自覺(jué)地運(yùn)用學(xué)過(guò)的邏輯理論和知識(shí)去分析解決實(shí)際活動(dòng)中碰到的各種邏輯問(wèn)題。通過(guò)學(xué)習(xí)本課程，提高邏輯思維能力。
三、就中文系而言，本課程應(yīng)注意同現(xiàn)代漢語(yǔ)、古代漢語(yǔ)、寫(xiě)作等基礎(chǔ)課程相聯(lián)系，從形式邏輯的角度提高學(xué)生運(yùn)用語(yǔ)言的能力。
四、本課程的一些內(nèi)容比較抽象，教學(xué)中應(yīng)注意重點(diǎn)突出、例證生動(dòng)，在保證科學(xué)性的前提下加強(qiáng)趣味性。教材一般都借用了數(shù)理邏輯的語(yǔ)言形式，應(yīng)注意自然語(yǔ)言和形式語(yǔ)言的轉(zhuǎn)換。
五、本課程講授一學(xué)期，約32學(xué)時(shí)。書(shū)面作業(yè)2次。
六、本大綱課程教學(xué)內(nèi)容順序依托華東師大《形式邏輯》教材內(nèi)容順序編排，教學(xué)重點(diǎn)為第二、三、四、五、六、十章，教師在完成大綱基本要求的前提下，根據(jù)課時(shí)多少及學(xué)生接受能力對(duì)教學(xué)內(nèi)容可以適當(dāng)調(diào)整。由于選用教材不同，內(nèi)容編排順序以及個(gè)別內(nèi)容、術(shù)語(yǔ)可能小異，教學(xué)中應(yīng)作適當(dāng)調(diào)整。
課程教學(xué)內(nèi)容
第一章 形式邏輯的對(duì)象和意義
第一節(jié) 了解：形式邏輯的對(duì)象（思維形式及其規(guī)律）和性質(zhì)（全民性、工具性）。
第二節(jié) 理解：學(xué)習(xí)形式邏輯的意義和方法
第二章 概念
第一節(jié) 概念的概述
一、了解：概念是通過(guò)揭示對(duì)象的特性或本質(zhì)來(lái)反映對(duì)象的一種思維形式。 二、了解：概念與語(yǔ)詞的關(guān)系 第二節(jié) 概念的內(nèi)涵和外延 一、了解：概念內(nèi)涵、外延的定義 二、掌握：概念內(nèi)涵與外延的反變關(guān)系 第三節(jié) 概念的種類
一、理解：?jiǎn)为?dú)概念和普遍概念 二、理解：集合概念與非集合概念 三、理解：正概念與負(fù)概念 第四節(jié) 概念外延間的關(guān)系
一、理解：相容關(guān)系（全同、真包含、真包含于、交叉） 二、理解：不相容關(guān)系（全異：矛盾、反對(duì)） 第五節(jié) 掌握：概念的限制和概括 第六節(jié) 掌握：定義及其規(guī)則 第七節(jié) 掌握：劃分及其規(guī)則
第三章 簡(jiǎn)單命題及其推理（上）
第一節(jié) 了解：命題和推理的概述 第二節(jié) 性質(zhì)命題
一、了解：性質(zhì)命題是斷定事物具有（或不具有）某種性質(zhì)的簡(jiǎn)單命題。 二、理解：性質(zhì)命題根據(jù)質(zhì)和量的不同結(jié)合分為六種基本形式。 三、掌握：A、E、I、O四種性質(zhì)命題的項(xiàng)的周延性
四、掌握：主、謂項(xiàng)相同的A、E、I、O四種性質(zhì)命題間的真假關(guān)系 第三節(jié) 性質(zhì)命題的直接推理 一、掌握：運(yùn)用命題變形法的直接推理
二、掌握：依據(jù)“邏輯方陣”的命題間關(guān)系的直接推理
第四章 簡(jiǎn)單命題及其推理（下）
第一節(jié) 三段論
一、理解：三段論及其結(jié)構(gòu)
二、掌握：三段論的公理與規(guī)則 三、掌握：三段論的格與式 四、了解：復(fù)合三段論和省略三段論
五、了解：用凡恩圖解的方法檢驗(yàn)三段論的有效性 第二節(jié) 關(guān)系命題及其推理
一、了解：關(guān)系命題是斷定事物與事物之間關(guān)系的命題。 二、理解：對(duì)稱關(guān)系與傳遞關(guān)系 三、掌握：關(guān)系推理
第五章 復(fù)合命題及其推理（上）
第一節(jié) 掌握：聯(lián)言命題及推理 第二節(jié) 掌握：選言命題及其推理 第三節(jié) 掌握：假言命題及其推理
第六章 復(fù)合命題及其推理（下）
第一節(jié) 負(fù)命題及其推理
一、理解：負(fù)命題是通過(guò)對(duì)原命題斷定情況的否定而作出的命題。 二、了解：負(fù)命題的種類
三、掌握：復(fù)合命題負(fù)命題的等值命題，真值表判定法 四、掌握：負(fù)命題的等值推理 第二節(jié) 二難推理
二難推理是由兩個(gè)假言前提和一個(gè)具有二肢的選言前提聯(lián)合作為前提而構(gòu)成的推理。
了解：二難推理的四種形式。
第三節(jié) 復(fù)合命題的判定方法——真值表方法 一、掌握：判定若干個(gè)復(fù)合命題是否等值或矛盾 二、掌握：判定復(fù)合命題形式是否為重言式 掌握：普通真值表法與歸謬賦值法。
第七章 模態(tài)命題及其推理
第一節(jié) 模態(tài)命題
一、了解：真值模態(tài)命題與規(guī)范模態(tài)命題 二、了解：模態(tài)命題的種類及模態(tài)命題之間的關(guān)系
第二節(jié) 模態(tài)推理
一、了解：模態(tài)推理是由模態(tài)命題構(gòu)成的一種演繹推理。 二、掌握：根據(jù)模態(tài)邏輯方陣進(jìn)行推演的模態(tài)推理 三、了解：模態(tài)三段論 第三節(jié) 規(guī)范命題
一、了解：規(guī)范命題是含有“必須”、“允許”、“禁止”等涉及人的行為規(guī)范的模態(tài)詞的模態(tài)命題。 二、了解：規(guī)范命題的主要種類 三、理解：四種規(guī)范命題之間的對(duì)當(dāng)關(guān)系 第四節(jié) 規(guī)范推理
一、了解：規(guī)范推理是以規(guī)范命題作為前提和結(jié)論的演繹推理。 二、掌握：根據(jù)規(guī)范命題邏輯方陣進(jìn)行推演的規(guī)范推理 三、了解：規(guī)范三段論
第八章 歸納推理
第一節(jié) 歸納推理的概述
第二節(jié) 了解：觀察、試驗(yàn)和一些整理經(jīng)驗(yàn)材料的方法 第三節(jié) 了解：完全歸納推理和不完全歸納推理 第四節(jié) 了解：探求因果聯(lián)系的邏輯方法
第九章 類比推理與假說(shuō)
第一節(jié) 了解：類比推理 第二節(jié) 了解：假說(shuō)
第十章 形式邏輯的基本規(guī)律
第一節(jié) 形式邏輯的基本規(guī)律概述 第二節(jié) 掌握： 同一律 第三節(jié) 掌握： 矛盾律 第四節(jié) 掌握： 排中律
第十一章 證明與反駁
第一節(jié) 證明的概述
第二節(jié) 了解：證明的邏輯原則——充足理由原則 第三節(jié) 了解：證明的種類
第四節(jié) 了解：證明的規(guī)則 第五節(jié) 了解：反駁 第六節(jié) 了解：謬誤
教學(xué)要求及課時(shí)分配
教材及參考書(shū)
建議教材：
普通邏輯 上海人民出版社1993、4第四版 形式邏輯 華東師大出版社1996、4
參考書(shū)：
邏輯學(xué)教程 何向東主編 高教出版社 1999 形式邏輯 金岳霖主編 人民出版社1979、10 邏輯學(xué)新教程 中央財(cái)大
邏輯學(xué) 宋文堅(jiān)主編 人民出版社1998 符號(hào)邏輯基礎(chǔ) 宋文淦 北師大出版社 1993
西方形式邏輯史 宋文堅(jiān) 中國(guó)社會(huì)科學(xué)出版社1991、12、 語(yǔ)法修辭講話 呂叔湘 朱德熙 中國(guó)青年出版社1952、12
古代漢語(yǔ) 王力主編 中華書(shū)局1999、6 古代漢語(yǔ) 許嘉璐主編1992年1版
古代漢語(yǔ) 郭錫良主編1999年版，《古代漢語(yǔ)》高教自考教材 現(xiàn)代漢語(yǔ) 黃伯榮 廖序東主編 甘肅人民出版社1983、6 語(yǔ)義學(xué) 徐烈炯 語(yǔ)文出版社 1995
陳大川 修訂
《形式邏輯》教學(xué)計(jì)劃及講授綱要
樂(lè)山師范學(xué)院 教師教學(xué)工作計(jì)劃
課程名稱 形式邏輯 任課教師 陳大川 授課班級(jí) 05漢本1、2、3、4、5班 上交教研組日期 09、3、5 2008——2009學(xué)年度下期
說(shuō) 明
一、 教學(xué)工作計(jì)劃一般應(yīng)有以下內(nèi)容。
1、教學(xué)目的要求。
2、選用教材名、編者、版本，教師備課主要參考書(shū)節(jié)，介紹給學(xué)生的閱讀參考書(shū)目。
3、改革教學(xué)方法，提高教學(xué)質(zhì)量的具體措施，如： （1） 處理教材，改革教學(xué)方法，培養(yǎng)學(xué)生自學(xué)的基本
考慮。
（2） 作業(yè)方式、作業(yè)量、作業(yè)處理方式。 （3） 成績(jī)考核措施。 （4） 輔導(dǎo)措施。 （5） 除通常的講授課、習(xí)題課、實(shí)驗(yàn)課、討論課外，
打算安排哪些其它的教學(xué)活動(dòng)。 （6） 對(duì)學(xué)生的其它要求。
（以上三項(xiàng)可按學(xué)期編寫(xiě)，也可按課程周期編寫(xiě)） 2、教學(xué)進(jìn)度（此項(xiàng)必須按學(xué)期填入附表，并向?qū)W生公布）。
3、需要提供的教具或其它教學(xué)條件。
二、 安排專人輔導(dǎo)工作，從事實(shí)驗(yàn)室建設(shè)，備課，進(jìn)修的
教師也應(yīng)制訂計(jì)劃，一般應(yīng)寫(xiě)明工作、學(xué)習(xí)的主要任務(wù)、目標(biāo)及落實(shí)措施。
三、 本計(jì)劃一式兩份，一份自存，一份于開(kāi)學(xué)后第一周內(nèi)
交教研組審查、補(bǔ)充修改后于第二周內(nèi)交系。
四、 輔導(dǎo)教師的工作計(jì)劃應(yīng)由主講教師指導(dǎo)編寫(xiě)。
五、 教師工作計(jì)劃執(zhí)行情況每學(xué)期應(yīng)由教研組長(zhǎng)做兩次
檢查記錄。
六、 教師工作計(jì)劃一學(xué)年歸檔一次。
教學(xué)計(jì)劃內(nèi)容：
1、教學(xué)目的要求
（1）形式邏輯是研究思維的形式及其規(guī)律的科學(xué)。作為一門思維科學(xué)，它既有認(rèn)識(shí)的作用，
又有表達(dá)和論證思想的作用。學(xué)習(xí)形式邏輯對(duì)于自覺(jué)地進(jìn)行思維的邏輯訓(xùn)練，提高邏輯思維能力，增強(qiáng)邏輯論證的力量，具有重要意義。 （2）本課程講授一學(xué)期，本期實(shí)際授課時(shí)間為30學(xué)時(shí)。
（3）課程教學(xué)內(nèi)容重點(diǎn)為第二、三、四、五、六、十章，教師在完成大綱基本要求的前提
下，對(duì)教學(xué)內(nèi)容可以適當(dāng)調(diào)整。
２、選用教材、參考書(shū)
教材：形式邏輯 華東師大出版社1996、4 參考書(shū)：
形式邏輯 金岳霖主編 人民出版社1979、10 普通邏輯 上海人民出版社1993、4第四版 邏輯學(xué)新教程 中央財(cái)大
邏輯學(xué)教程 何向東主編 高教出版社 1999 邏輯學(xué) 宋文堅(jiān)主編 人民出版社1998
符號(hào)邏輯基礎(chǔ) 宋文淦 北師大出版社 1993
西方形式邏輯史 宋文堅(jiān) 中國(guó)社會(huì)科學(xué)出版社1991、12、 語(yǔ)法修辭講話 呂叔湘 朱德熙 中國(guó)青年出版社1952、12 古代漢語(yǔ) 王力主編 中華書(shū)局1999、6 古代漢語(yǔ) 許嘉璐主編1992年1版 古代漢語(yǔ) 郭錫良主編1999年版，《古代漢語(yǔ)》高教自考教材 現(xiàn)代漢語(yǔ) 黃伯榮 廖序東主編 甘肅人民出版社1983、6
3、教改措施
（1）本課程應(yīng)堅(jiān)持理論聯(lián)系實(shí)際的學(xué)習(xí)原則和方法，要準(zhǔn)確地理解和掌握形式邏輯的基
本概念、邏輯規(guī)律和邏輯原理，同時(shí)，聯(lián)系學(xué)習(xí)生活實(shí)際，自覺(jué)地運(yùn)用學(xué)過(guò)的邏輯理論和知識(shí)去分析解決實(shí)際活動(dòng)中碰到的各種邏輯問(wèn)題。
（2）本課程應(yīng)注意同現(xiàn)代漢語(yǔ)、古代漢語(yǔ)、寫(xiě)作等基礎(chǔ)課程相聯(lián)系，從形式邏輯的角度
提高學(xué)生運(yùn)用語(yǔ)言的能力。本期擬布置2次學(xué)生獨(dú)立書(shū)面作業(yè)，教師全部批改、評(píng)講。 （3）本課程的一些內(nèi)容比較抽象，教學(xué)中應(yīng)注意重點(diǎn)突出傳統(tǒng)邏輯部分，講述力求例證
生動(dòng)，在保證科學(xué)性的前提下加強(qiáng)趣味性。在引進(jìn)現(xiàn)代邏輯的同時(shí)，注意符號(hào)語(yǔ)言與自然語(yǔ)言的溝通，避免上成純數(shù)學(xué)課，并根據(jù)教時(shí)多少調(diào)整難度。
期末考試考核本期所學(xué)內(nèi)容。平時(shí)作業(yè)及課堂提問(wèn)將作為學(xué)生學(xué)業(yè)成績(jī)的一部分。期末成績(jī)占學(xué)期成績(jī)的30%，平時(shí)成績(jī)占70%。 （4）平時(shí)隨機(jī)輔導(dǎo)與期末復(fù)習(xí)答疑輔導(dǎo)結(jié)合。
教學(xué)進(jìn)度表
教研室審查意見(jiàn)：
教研室主任簽名：
2009 年 月 日
執(zhí)行情況檢查記載
第一次:
教研室主任簽名
2009 年 月 日
第二次
教研室主任簽名
2009 年 月 日
講授綱要
第一章 緒論
教學(xué)要點(diǎn)：
一、邏輯學(xué)研究的對(duì)象：思維的形式及其規(guī)律以及邏輯方法
二、掌握基本概念：自然語(yǔ)言 人工語(yǔ)言 思維形式 邏輯變項(xiàng)和邏輯常項(xiàng) 詞項(xiàng)、命題、推理 演繹推理、歸納推理和類比推理 有效性 思維的基本規(guī)律以及邏輯方法
第一節(jié)邏輯學(xué)的對(duì)象
“邏輯”一詞導(dǎo)源于希臘語(yǔ)，英語(yǔ)logic的譯音。古希臘“愛(ài)菲斯”學(xué)派“邏各斯”（logos）學(xué)說(shuō)，有三個(gè)含義：
laws：“自然之道”，客觀規(guī)律。
Logic：“思維之道”，理性、理念。 Dialogue：語(yǔ)言、言說(shuō)。
（古希臘“愛(ài)菲斯”學(xué)派創(chuàng)始人即Herakleitos，約-540——-480，名言“人不能兩次走進(jìn)同一條河流”。與《禮記·大學(xué)》“湯之盤(pán)銘曰：茍日新，日日新，又日新”意近）
《管錐編》ｐ９３３：“重涉已異舊水，亦喪故我；我是昔人而非昔人，水是此河而非此河�！�
（You could not step into the same rivers,for other waters are ever flowing on to you;Into the same rivers we step and do not step;we are and are not. Heraclitus.Fragmant.41.84.Hippocrates and Heraclitus,”Loeb”.Ⅵ.483.495.）
“邏輯”在現(xiàn)代漢語(yǔ)中有以下含義： 1、客觀事物發(fā)展的規(guī)律
2、某種特殊理論、觀點(diǎn)或看問(wèn)題的方法。 3、人們思維的規(guī)律、規(guī)則。
4、研究思維的規(guī)律、規(guī)則的學(xué)問(wèn)，即邏輯學(xué)。 一、
思維、語(yǔ)言與邏輯
人對(duì)事物的認(rèn)識(shí)分兩個(gè)階段：感性階段（感覺(jué)、知覺(jué)、表象），理性階段（概念、命題、推理）。
理性階段即思維，具概括性、間接性。
思維對(duì)客觀事物概括而間接的反映，是通過(guò)語(yǔ)言實(shí)現(xiàn)的。作為思維類型的概
念、命題、推理也須依靠相應(yīng)的語(yǔ)詞（詞或詞組）、句子（單句或復(fù)句）、句群等語(yǔ)言單位才能表達(dá)、交流。從思維內(nèi)容抽象出來(lái)的詞項(xiàng)、命題、推理等思維形式與語(yǔ)言形式中的語(yǔ)詞、句子、句群大體相對(duì)應(yīng)。
語(yǔ)言可以分為自然語(yǔ)言和人工語(yǔ)言。自然語(yǔ)言的弱點(diǎn)是有歧義性和模糊性。人工語(yǔ)言交際功能不及自然語(yǔ)言，但具有精確性�，F(xiàn)代邏輯更多地運(yùn)用了人工語(yǔ)言。
廣義的邏輯就是研究思維的形式及其規(guī)律以及邏輯方法的科學(xué)。 二、
邏輯學(xué)的對(duì)象
（一）思維形式
1、邏輯學(xué)研究的對(duì)象主要是思維形式。
思維形式就是思維在抽象掉具體內(nèi)容之后所具有的共同結(jié)構(gòu)，也稱為思維的邏輯形式。
例如：
△所有金屬都是導(dǎo)體。
△所有商品都是用于交換的勞動(dòng)產(chǎn)品。
兩命題內(nèi)容迥然有別，但可以抽象出共同的結(jié)構(gòu)：“所有??都是??”，這就是它們的邏輯形式。如果用S表示指稱對(duì)象（金屬、商品）的詞項(xiàng)（subject），用P表示指稱屬性（導(dǎo)體、用于交換的勞動(dòng)產(chǎn)品）的詞項(xiàng)（predicate），用A表示“所有??都是??”，這兩個(gè)命題用人工語(yǔ)言表示就是：“SAP”。 又如：
△所有公民都是遵紀(jì)守法的，（注意：大前提假） 有的人是公民，
所以，有的人是遵紀(jì)守法的。
△所有科學(xué)都是有價(jià)值的， 有的理論是科學(xué)，
所以，有的理論是有價(jià)值的。
兩個(gè)推理具體內(nèi)容不同，但結(jié)構(gòu)形式一樣。都有三個(gè)命題，包含三個(gè)不同詞項(xiàng)，是“直言三段論”。用M（middle term）、P、S分別表示三個(gè)詞項(xiàng)，它們的共同
邏輯形式是：
所有M都是P， 有S是M， 所以，有S是P。
（人工語(yǔ)言表達(dá)是：MAP∧SIM?SIP，I表示“有??是??” ） 再如：
△如果物體生熱，物體就會(huì)膨脹。
△如果要維護(hù)人類的共同利益，就必須注意保護(hù)人類生存的自然環(huán)境。 兩個(gè)命題中思維內(nèi)容不同，但卻有相同的邏輯形式：“如果??，那么??”（人工語(yǔ)言形式是“?”）。用p表示前“??”，用q表示后“??”，則有：“p?q”。
2、思維形式的結(jié)構(gòu)
上述邏輯形式中的“S、M、P”以及“p、q”可以代表不同的思維內(nèi)容，叫做邏輯變項(xiàng)。而“A”（所有??都是??）、“I”（有??是??）、“?”（如果??那么??）則不隨思維內(nèi)容而變化，叫做邏輯常項(xiàng)。任何邏輯形式都是由邏輯變項(xiàng)和邏輯常項(xiàng)兩部分組成。
邏輯常項(xiàng)體現(xiàn)邏輯形式的本質(zhì)特征，是思維的邏輯形式的關(guān)鍵，是區(qū)分不同種類的邏輯形式的唯一依據(jù)。
邏輯學(xué)研究的思維形式有詞項(xiàng)、命題、推理。詞項(xiàng)構(gòu)成命題，命題構(gòu)成推理。推理是形式邏輯研究的主體形式。
3、推理概述
（1）推理是從一個(gè)或多個(gè)已知命題得出一個(gè)新命題的思維過(guò)程。已知的命題叫前提，據(jù)以得出的命題叫結(jié)論。前提和結(jié)論的聯(lián)系方式構(gòu)成推理形式。根據(jù)思維進(jìn)程的方向，推理可以分為演繹推理、歸納推理和類比推理。
思維進(jìn)程從一般到特殊的推理，即從一般性前提得出個(gè)別性的結(jié)論的推理就是演繹推理。思維進(jìn)程從特殊（個(gè)別）到一般的推理，即從個(gè)別性的前提得出一般性的結(jié)論的推理就是歸納推理。思維進(jìn)程方向是從特殊到特殊或從一般到一般的推理，即從個(gè)別性的前提得出個(gè)別性的結(jié)論的推理就是類比推理。
演繹推理前提蘊(yùn)含結(jié)論，是必然性推理。
歸納推理和類比推理前提結(jié)論之間沒(méi)有必然聯(lián)系，是或然性推理。（注意：
歸納推理中的“完全歸納”法前提蘊(yùn)含結(jié)論，是必然推理）
（2）有效性和可靠性
演繹推理是研究推理的有效性的。一個(gè)經(jīng)過(guò)解釋后的邏輯公式，如果沒(méi)有出現(xiàn)前提真而結(jié)論假的情況，則它是有效的。
（注意：形式邏輯研究的推理的有效無(wú)效只針對(duì)推理的形式。一個(gè)推理要保證得到真實(shí)的結(jié)論，不僅要求推理的形式有效，而且要求推理的已知前提真實(shí)，二者缺一不可。邏輯學(xué)對(duì)具體的前提表達(dá)的思想是否真實(shí)并不作出認(rèn)識(shí)論的回答，那是其他具體學(xué)科的任務(wù)。比如前述第一個(gè)三段論的例子，就推理形式來(lái)說(shuō)是有效的，但是大前提假，所以結(jié)論并不見(jiàn)得可靠。再如：
▲天鵝并不都是白的，所以，有天鵝是黑的。
結(jié)論是符合實(shí)際，真的。但是，推理形式卻是錯(cuò)的，無(wú)效的。）
對(duì)歸納推理和類比推理而言，主要研究前提對(duì)結(jié)論的支持強(qiáng)度，可靠性也即從前提得出結(jié)論的概率。
（二）思維的基本規(guī)律以及邏輯方法
1、同一律、矛盾律和排中律 同一律 A?A 矛盾律 ?（A∧?A） 排中律 A∨?A 2、邏輯方法
明確概念的方法：定義、劃分，限制、概括。 穆勒五法，科學(xué)解釋、科學(xué)預(yù)測(cè)、假說(shuō)等。 三、
邏輯的類型
傳統(tǒng)邏輯和現(xiàn)代邏輯 命題邏輯、詞項(xiàng)邏輯
第一節(jié) 邏輯學(xué)的性質(zhì)、作用及體系
一、
邏輯學(xué)的性質(zhì)
“思維的語(yǔ)法”。著眼于思維的形式結(jié)構(gòu)的有效性。（見(jiàn)上節(jié)） 邏輯學(xué)是一門工具、方法性質(zhì)的科學(xué)，具有全民性。
二、 邏輯學(xué)的作用、學(xué)習(xí)方法
1、作用
首先，有助于人們探求新知識(shí)。
△居維葉“穆勒五法”之“求同法”p181“器官相關(guān)律” 馬王堆《老子》佚文：“利不兼，賞不倍，戴角者無(wú)上齒。” 其次，有助于人們準(zhǔn)確地表述和論證思想。 再次，有助于揭露謬誤和駁斥詭辯。 2、學(xué)習(xí)方法
掌握理論體系、對(duì)象語(yǔ)言。理論聯(lián)系實(shí)際，多練多用。 三、
邏輯學(xué)的體系
標(biāo)準(zhǔn)邏輯： 命題邏輯 模型論 遞歸論
基本邏輯量詞邏輯 集合論 證明論
非標(biāo)準(zhǔn)邏輯： 多值邏輯 模態(tài)邏輯 模糊邏輯 直覺(jué)主義邏輯 相干邏輯
元邏輯：邏輯語(yǔ)法學(xué) 邏輯語(yǔ)義學(xué) 邏輯語(yǔ)用學(xué)
應(yīng)用邏輯：認(rèn)識(shí)邏輯 問(wèn)題邏輯 規(guī)范邏輯 時(shí)態(tài)邏輯 量子邏輯 電路分析邏輯
第二節(jié) 邏輯學(xué)的研究方法
一、 二、
形式化方法和非形式化方法 公理化方法和自然演繹法
第三節(jié) 邏輯學(xué)的發(fā)展簡(jiǎn)史
一、 二、
第二章 普通邏輯思維的基本規(guī)律p200
教學(xué)要點(diǎn)：
三個(gè)基本規(guī)律的內(nèi)容、邏輯要求、違反時(shí)的錯(cuò)誤
第一節(jié) 邏輯思維基本規(guī)律概述
邏輯學(xué)的歷史發(fā)展 邏輯學(xué)的現(xiàn)代概況
一、 二、 三、
邏輯思維基本規(guī)律的普遍性 邏輯思維基本規(guī)律的確定性 邏輯思維基本規(guī)律的客觀性
第二節(jié) 同一律
一、
同一律的基本內(nèi)容
在同一思維過(guò)程中，每一思想與其自身是同一的。（詞項(xiàng)表達(dá)同一詞項(xiàng)，命題內(nèi)容確定）
公式表示為：A是A 人工語(yǔ)言： A?A 二、
同一律的邏輯要求和違反它的邏輯錯(cuò)誤
混淆概念或偷換概念 轉(zhuǎn)移論題或偷換論題 三、
同一律的作用
保證思維的確定性
第三節(jié) 矛盾律
一、矛盾律的基本內(nèi)容
在同一思維過(guò)程中，互相否定的思想不能同時(shí)為真，必有一假。 公式表示為：A不是非A 人工語(yǔ)言： ?（A∧?A） 二、矛盾律的邏輯要求和違反它的邏輯錯(cuò)誤 自相矛盾 三、矛盾律的作用
歸謬法
第四節(jié) 排中律
一、排中律的基本內(nèi)容
在同一思維過(guò)程中，互相矛盾的思想不能同時(shí)為假，必有一真。 公式表示為：A或非A 人工語(yǔ)言：A∨?A 二、 排中律的邏輯要求和違反它的邏輯錯(cuò)誤
兩不可 三、排中律的作用
反證法
第五節(jié) 邏輯思維基本規(guī)律之間的關(guān)系p32
一、三條規(guī)律之間的聯(lián)系
都是客觀事物的相對(duì)確定性在思維中的反映。正確的思維是確定的，而確定的思維必須是自身同一的、無(wú)矛盾的和明確的。三條規(guī)律即從這三方面規(guī)定了正確思維的確定性。
二、三條邏輯思維規(guī)律之間的區(qū)別 從不同方面規(guī)定思維的確定性 同一律：自身同一
矛盾律：前后一致，無(wú)矛盾，不能兩可 排中律：明確，不能兩不可 1、適用范圍不同
同一律只涉及一個(gè)思想自身，矛盾律、排中律則涉及兩個(gè)思想之間的真假關(guān)系。 矛盾律和排中律的不同表現(xiàn)在：
第一，基本內(nèi)容側(cè)重點(diǎn)不同。矛盾律規(guī)定不可同真，排中律規(guī)定不可同假。 第二，適用范圍不同。矛盾律適用于矛盾關(guān)系和反對(duì)關(guān)系的思想，排中律適用于
互相矛盾的思想。
第三，邏輯要求不同。矛盾律要求不能“自相矛盾”，排中律要求不能“兩不可”。 第四，作用不同。矛盾律用于以真推假，間接反駁（獨(dú)立證明）；排中律用于以
假推真，間接證明（反證法）。
△Euathlus 與 Protagras 同一律：法庭 合同 矛盾律：付，不付
排中律：就兩人而言，付與不付都否定了。
二難推理簡(jiǎn)單構(gòu)成式：（A?C）∧（B?C）∧（A∨B）? C
此問(wèn)題可另構(gòu)二難推理：如客觀原因不能做律師，這是情勢(shì)變更，應(yīng)廢止合同，同時(shí)給對(duì)方補(bǔ)償；如故意不履行合同，則是涉嫌詐騙，應(yīng)廢止合同，同時(shí)賠償對(duì)方。不論兩種情況中哪一種，都應(yīng)付費(fèi)。
△戰(zhàn)國(guó)策·秦策二：秦宣太后愛(ài)魏丑夫。太后病將死，出令曰：“為我葬，必以魏子為殉�！蔽鹤踊贾Ｓ管菫槲鹤诱f(shuō)太后曰：“以死者為有知乎？”太后曰：“無(wú)知也�！痹唬骸叭籼笾耢`，明知死者之無(wú)知矣，何為空以生所愛(ài)，葬于無(wú)知之死人哉！若死者有知，先王積怒之日久矣，太后救過(guò)不贍，何暇乃私魏丑夫乎？”太后曰：“善�！蹦酥埂�
第三章 復(fù)合命題及其推理
教學(xué)要點(diǎn)： 一、掌握基本概念
命題 真值 真值變?cè)?復(fù)合命題 聯(lián)結(jié)詞 否定詞 合取詞 析取詞 蘊(yùn)涵詞 等值詞 支命題 轄域 真值表
二、否定式、合取式、析取式、蘊(yùn)涵式、等值式的邏輯性質(zhì)，命題形式，真值表 三、否定式、合取式、析取式、蘊(yùn)涵式、等值式的正確推理形式
四、復(fù)合命題的判定 單個(gè)命題：重言式 矛盾式， 幾個(gè)命題：等值，矛盾，可
滿足。判定方法：真值表法 歸謬賦值法
第一節(jié) 命題邏輯概述
一、命題、語(yǔ)句和判斷
1、什么是命題（proposition） 命題是反映事物情況的思想。
真和假是命題最基本的性質(zhì)。邏輯學(xué)把真和假稱為命題的真值。所有真命題都有真值真（truth），所有假命題都有真值假（falsity）。二值原則。 2、命題和語(yǔ)句
首先，任何命題都必須用語(yǔ)句才能表達(dá)出來(lái)。但只有陳述句直接表達(dá)命題。 其次，同一命題可以用不同語(yǔ)句表達(dá)。
△①他們愛(ài)得很深，并且結(jié)婚了。并列復(fù)句
②他們結(jié)婚了，并且愛(ài)得很深。也是并列復(fù)句，但與前句有細(xì)微差異
③他們先愛(ài)得很深，后來(lái)結(jié)婚了。連貫復(fù)句 ④他們不但愛(ài)得很深，并且結(jié)婚了。遞進(jìn)復(fù)句 ⑤他們雖然結(jié)婚了，但仍愛(ài)得很深。轉(zhuǎn)折復(fù)句） 再次，同一語(yǔ)句可以表達(dá)不同的命題。 3、命題和判斷
判斷是被斷定者斷定了的命題。本書(shū)一般只討論命題。
二、復(fù)合命題推理概述
推理是命題之間的一種關(guān)系，推理形式是命題形式之間的關(guān)系。
復(fù)合命題是由若干命題用聯(lián)結(jié)詞結(jié)合而成的命題。構(gòu)成復(fù)合命題的命題，稱為復(fù)合命題的支命題。
（注意：構(gòu)成復(fù)合命題的支命題可以只有一個(gè)，如在負(fù)命題中。復(fù)合命題也可以定義為“含其它命題的命題”）
邏輯學(xué)所說(shuō)的聯(lián)結(jié)詞是對(duì)復(fù)合句中聯(lián)結(jié)詞的邏輯抽象，它們只表達(dá)語(yǔ)句聯(lián)結(jié)詞的邏輯內(nèi)容而舍棄了其它豐富的含義。
比如：邏輯中的合取詞只表示多種情況同時(shí)存在，它舍棄了語(yǔ)言中的遞進(jìn)、連貫、轉(zhuǎn)折等關(guān)系。
邏輯學(xué)只研究聯(lián)結(jié)詞的邏輯性質(zhì)，這種性質(zhì)是由而且只是由支命題的真假與復(fù)合命題的真假之間的聯(lián)系決定的。（支命題的真假?zèng)Q定復(fù)合命題的真假，反之，復(fù)合命題的真假確定后，支命題的真假也就相對(duì)確定了）
支命題的真假與復(fù)合命題的真假之間具有函數(shù)關(guān)系。因此把支命題稱為復(fù)合命題的命題變?cè)话阌眯?xiě)拉丁字母表示。由于邏輯學(xué)中命題變?cè)蝗≌妗⒓俣�，因此也稱為真值變?cè)�。�?fù)合命題也稱為真值形式（真值函項(xiàng)），邏輯聯(lián)結(jié)詞實(shí)質(zhì)上就是在真值（T，F(xiàn)）集合上的不同的真值運(yùn)算。
第二節(jié) 常見(jiàn)的復(fù)合命題及其推理 一、負(fù)命題及其推理p42
1、負(fù)命題是否定一個(gè)命題而形成的復(fù)合命題。
2、負(fù)命題的形式是：并非p 人工語(yǔ)言： ? p（?， “否定詞”，讀為“并非”） 3、負(fù)命題的邏輯性質(zhì)是：它的真假與被否定的命題的真假是相反的。 4、? 的真值表（以列表方式表示復(fù)合命題真值運(yùn)算的表格）：
P與?p既不可同真，也不可同假。這就是邏輯上的矛盾關(guān)系。 根據(jù)?的邏輯性質(zhì)，對(duì)?p再否定可得? ?p，據(jù)真值表，可見(jiàn)與p同。
兩個(gè)命題形式的真值相同，邏輯學(xué)上叫做等值關(guān)系，以? 表示，p與? ? p的關(guān)系表示為：p ? ? ? p
一般以大寫(xiě)拉丁字母A、B、C等表示內(nèi)部更復(fù)雜結(jié)構(gòu)的具體公式，對(duì)任何公式A，有如下等值關(guān)系：A ? ? ? A
5、負(fù)命題的推理
（1）雙重否定引入規(guī)則：A ? ? ? A （? 讀為“重言蘊(yùn)涵”，表示“有效的”推理形式�；貞洝坝行У摹保�
（2）雙重否定消去規(guī)則：? ? A ? A 二、聯(lián)言命題及其推理p44
1、聯(lián)言命題是由命題聯(lián)結(jié)詞“并且”聯(lián)結(jié)若干命題而形成的復(fù)合命題。又稱合取命題。其支命題稱合取支。
2、合取命題的形式是：p并且q。 人工語(yǔ)言：p∧q（∧ 稱為合取詞，讀為“并且”。p、q分別稱為∧的左、右轄域）
3、合取命題的邏輯性質(zhì)是：合取命題為真，它的所有合取支為真，反之，所有合取支為真，該合取命題為真。 4、合取詞∧的真值表：
從表中可以看出，n元真值函數(shù)變?cè)恼嬷到M合共有2?種。P75
（補(bǔ)充：真值表變?cè)嬷抵概山M合順序：為防止遺漏或重復(fù)，一般規(guī)定，對(duì)于一個(gè)n元真值表，其第一行諸變?cè)概蔀門，第一變?cè)扛?n-1行變動(dòng)
一次，第二變?cè)扛?n-2行變動(dòng)一次，??，第ｉ個(gè)變?cè)扛簦?/p>
ｎ－ｉ
行變動(dòng)一
次。最后一個(gè)變?cè)ǖ冢顐�(gè)）每隔１行（２ｎ－ｎ）變動(dòng)一次，） 5、合取式的推理
（1） 合取引入規(guī)則：A，B ? A∧B
（2） 合取消去規(guī)則：A∧B ? A ， A∧B ? B
三、 選言命題及其推理
選言命題是用命題聯(lián)結(jié)詞“或者”、“要么”聯(lián)結(jié)若干命題而形成的復(fù)合命題。又稱析取命題，其支命題稱選言支（析取支）。
根據(jù)選言支是否相容分為相容選言命題和不相容選言命題。
（一）相容選言命題及其推理p46
1、 相容選言命題的形式是：p或者q 人工語(yǔ)言：p∨q
2、相容選言命題的邏輯性質(zhì)是：相容選言命題為真，其選言支至少有一個(gè)為真；反之，選言命題有一個(gè)選言支為真，該選言命題為真。 3、析取詞∨的真值表：
4（1） 析取消去規(guī)則：（A∨B）∧? A ? B， （A∨B）∧? B ? A。 注意：使用析取消去規(guī)則時(shí)，須否定除一個(gè)以外的選言支，才能肯定剩下的那個(gè)選言支。這在選言支是三個(gè)以上時(shí)尤須注意。
（2） 析取引入規(guī)則：A?（A∨B）， B?（A∨B）。 德·摩根律：?（p∧q）? ? p∨? q， ?（p∨q）? ? p∧? q 可以結(jié)合以上三種命題的性質(zhì)、真值表理解。 （二）不相容選言命題及其推理
1、不相容選言命題的形式是：要么p要么q。（二者不可得兼） 為了準(zhǔn)確表示，人工語(yǔ)言是：（p∨q）∧?（p∧q） △魚(yú)，我所欲也，熊掌，亦我所欲也，二者不可得兼。
△公子呂曰：“國(guó)不堪貳，君將若之何？欲與大叔，臣請(qǐng)事之；若弗與，則請(qǐng)除之。無(wú)生
民心。
3、不相容選言命題的邏輯性質(zhì)是：不相容選言命題為真，當(dāng)且僅當(dāng)其選言支有且僅有一個(gè)為真。 4、不相容選言命題的真值表：
5析取消去規(guī)則：（A?B）∧A ? ? B， （A?B）∧B ? ?A。
（A?B）∧?A ? B， （A?B）∧? B ? A。
注意：使用析取消去規(guī)則下兩式（否定肯定式）時(shí)，須否定除一個(gè)以外的選言支，才能肯定剩下的那個(gè)選言支。這在選言支是三個(gè)以上時(shí)尤須注意。
（不相容選言命題使用結(jié)合律時(shí)p49，真值表會(huì)出現(xiàn)不直觀現(xiàn)象（悖論），有人認(rèn)為此式并非二元運(yùn)算。）
歸約率p49，T、F命題常元，分別表示常真命題和常假命題。 四、
假言命題及其推理
假言命題是由“如果，那么”、“只有，才”、“當(dāng)且僅當(dāng)”等聯(lián)結(jié)詞聯(lián)結(jié)兩個(gè)支命題而形成的復(fù)合命題。根據(jù)聯(lián)結(jié)詞的不同，分為充分條件假言命題、必要條件假言命題和充分必要條件假言命題。
假言命題中，由“如果”、“只有”引出的支命題稱為前件，由“那么”、“才”引出的支命題稱為后件。
（一）充分條件假言命題及其推理p50
1、充分條件假言命題的形式是：如果p，那么q。人工語(yǔ)言是：p?q 。?稱為蘊(yùn)涵詞。
2、充分條件假言命題的邏輯性質(zhì)是：除了前件真而后件假時(shí)充分條件假言命題是假的之外，其他情況下，充分條件假言命題都是真的。（此性質(zhì)很重要，不但是判定充分條件假言命題真假的依據(jù)，而且是歸謬法應(yīng)用的依據(jù)）
p?q ??（p∧? q）， p?q ? ? p∨q（蘊(yùn)析律） 3、充分條件假言命題的真值表：
?（p?q）? p∧? q
4、充分條件假言推理p54 （1）蘊(yùn)涵消去規(guī)則：（A?B）∧A ? B （2）否定后件規(guī)則：（A?B）∧? B ? ? A
（二）必要條件假言命題及其推理p50
1、必要條件假言命題的形式是：只有p，才q。人工語(yǔ)言是：p?q 。? 稱為反蘊(yùn)涵詞。
2、必要條件假言命題的邏輯性質(zhì)是：除了前件假而后件真時(shí)必要條件假言命題是假的之外，其他情況下，必要條件假言命題都是真的。
p?q ? ?（? p∧q） 3、必要條件假言命題的真值表：
?（p?q）? ? p∧q 4、必要條件假言推理p54
（1）否定前件規(guī)則：（A?B）∧? A ? ? B （2）肯定后件規(guī)則：（A?B）∧B ? A 由否定前件規(guī)則可知：p?q ? ? p?? q 由肯定后件規(guī)則可知：p?q ? q? p
p53可以進(jìn)行充分條件和必要條件假言命題的轉(zhuǎn)換（從真值表上看兩種命題假的對(duì)應(yīng)，因?yàn)閮煞N命題都只有一種真值指派組合時(shí)假，其余三種都為真）。
（三）充分必要條件假言命題及其推理p53
1、充分必要條件假言命題的形式是： p當(dāng)且僅當(dāng)q。 人工語(yǔ)言是：p?q 。? 稱為等值詞。
2、充分必要條件假言命題的邏輯性質(zhì)是：前件后件同真假時(shí)，充分必要條件假言命題都是真的，前件后件不同真假時(shí)，充分必要條件假言命題是假的。 3、充分必要條件假言命題的真值表：
4、充分必要條件假言推理p55
（1）等值引入規(guī)則：（A?B）∧（B ?A）? A? B （2）等值消去規(guī)則：A?B ? A?B， A? B ? B?A
第三節(jié) 命題邏輯的自然演繹系統(tǒng)（略）
第四節(jié) 命題有效性的判定
一、重言式（莊子·寓言：寓言十九，重言十七，卮言日出。注：世之所重，則十言而七
見(jiàn)信。釋文：謂為人所重者之言也。一說(shuō)，借重先哲之言。不讀chong：反復(fù)言；口吃；疊字。）p73
前述命題邏輯聯(lián)結(jié)詞可以歸結(jié)為5個(gè)：?、∧、∨、?、? 。它們表示的是在真和假域值上的函數(shù)運(yùn)算。由它們構(gòu)成的命題形式，在窮盡變?cè)嬷抵概山M合的情況下，以能否真為標(biāo)準(zhǔn)，可以分為可滿足式和不可滿足式（也稱為恒假式或矛盾式）；在可滿足式中，以是否恒真為標(biāo)準(zhǔn)，可以再分成重言式（永真式）和協(xié)調(diào)式（可假）。
二、具有相同變?cè)亩鄠�(gè)命題的關(guān)系
1、 兩個(gè)以上的命題，窮盡變?cè)恼嬷抵概山M合，每一種組合都令這兩個(gè)以
上的命題真值賦值一致（同真假），則這些命題是等值的。比如：p?q， ?（p∧?q），?p∨q這三個(gè)具有相同變?cè)拿}。
2、 兩個(gè)命題，窮盡變?cè)恼嬷抵概山M合，每一種組合都令這兩個(gè)命題真值
賦值相反（不同真假），則這兩命題是矛盾的。比如：p?q與? p∧q。
（注意：不要混淆矛盾式與兩個(gè)命題是矛盾的）
三、判定方法
1、生成合式公式的結(jié)構(gòu)p58
生成合式公式的轄域最大的聯(lián)結(jié)詞（表示最后一步運(yùn)算）稱為主聯(lián)結(jié)詞，該合式公式p57稱為“某某式”。為簡(jiǎn)化運(yùn)算公式，規(guī)定： （1） 公式最外層的括號(hào)可以省略。
（2） 聯(lián)結(jié)詞的結(jié)合力依以下次序遞減：?、∧、∨、?、? 。
比如：（（（p∨q）∧（?P））?q），主聯(lián)結(jié)詞為?，該式為蘊(yùn)涵式。根據(jù)以上規(guī)則可簡(jiǎn)化為：（p∨q）∧?P?q。剩下的括號(hào)不能省略，否則將先算∧，后算∨。 2、真值表法p76 步驟：
（1） 從表左起列出命題全部變?cè)?/p>
（2） 從小到大（運(yùn)算先后順序）依次列出支命題。最后一欄為該合式公式。 （3） 對(duì)變?cè)髡嬷抵概刹⒏F盡組合。
（4） 根據(jù)真值聯(lián)結(jié)詞的性質(zhì)，從小到大算出支命題及該合式公式的真值賦值。 （5） 根據(jù)真值賦值情況，判定一個(gè)命題是重言式或者矛盾式或者協(xié)調(diào)式。對(duì)照
多個(gè)命題的真值賦值情況，判定多個(gè)命題是否等值，兩個(gè)命題是否矛盾。 3、歸謬賦值法p78（又稱成假指派法）
適用于判定蘊(yùn)涵式或能轉(zhuǎn)換為蘊(yùn)涵式的等值式和析取式。（由于n元真值函數(shù)變?cè)恼嬷到M合共有2?種，當(dāng)變?cè)獢?shù)超過(guò)兩個(gè)時(shí)，真值表會(huì)很繁復(fù)，比如： （p∨q∨r）∧（? q∧? r）?p。所以此法又稱“簡(jiǎn)化真值表法”）
思路為：復(fù)合命題的真值確定后，其支命題的真值也相應(yīng)確定。如一蘊(yùn)涵式A?B為重言式，則其中變?cè)獰o(wú)論有何真值指派，前件A真而后件B假的情況均不可能出現(xiàn)。如果令前件A真后件B假，則變?cè)恼嬷抵概杀厝怀霈F(xiàn)邏輯矛盾（同一變?cè)谕惠喺嬷抵概蓵r(shí)既真又假）。在排除了前件A真而后件B假的情況后，前后件在其他真值指派組合時(shí)該蘊(yùn)涵式都只能是真的，即該蘊(yùn)涵式是重言式。 步驟：
（1）設(shè)假。假定該蘊(yùn)涵式為假（在?下記F，在前件主聯(lián)結(jié)詞下記T，在后件
主聯(lián)結(jié)詞下記F）
（2）計(jì)算。根據(jù)不同真值聯(lián)結(jié)詞的性質(zhì)，從大到小依次算出公式中各部分的真值，直至每個(gè)變?cè)恼嬷担ㄈ缬卸嘤谝环N真值指派，應(yīng)窮盡）。
（3）檢查。是否有至少一個(gè)變?cè)x值既真又假（如有多于一種真值指派，則每一種真值指派都應(yīng)出現(xiàn)矛盾。比如：p?q?? p∧q，當(dāng)p真，q假時(shí)，會(huì)出現(xiàn)矛盾，而其他真值指派則不會(huì)出現(xiàn)矛盾），如是，則該式為重言式。反之，只要有一種真值指派不出現(xiàn)矛盾，則該式不是重言式。 練習(xí)p81
第四章 傳統(tǒng)詞項(xiàng)邏輯
要點(diǎn)：
一、 二、 三、
詞項(xiàng)外延之間的關(guān)系，明確詞項(xiàng)的方法。 直言命題的直接推理。 三段論有效式的證明。
第一節(jié) 傳統(tǒng)詞項(xiàng)邏輯概述
一、簡(jiǎn)單命題
簡(jiǎn)單命題是不包含其他命題的命題，其變項(xiàng)為詞項(xiàng)。（復(fù)合命題的變項(xiàng)是命題） 命題反映的事物情況是具有或不具有某種性質(zhì)，叫做性質(zhì)命題（直言命題）；命題反映的事物情況是事物之間具有或不具有某種關(guān)系，叫做關(guān)系命題。 二、傳統(tǒng)詞項(xiàng)邏輯與現(xiàn)代謂詞邏輯
1、傳統(tǒng)邏輯分析性質(zhì)命題的內(nèi)部結(jié)構(gòu)為主項(xiàng)、謂項(xiàng)、量項(xiàng)和聯(lián)項(xiàng)，根據(jù)量項(xiàng)和聯(lián)項(xiàng)這兩種邏輯常項(xiàng)的不同，把性質(zhì)命題分為不同的種類，然后討論主、謂項(xiàng)這兩種邏輯變項(xiàng)的周延性及相應(yīng)命題的邏輯關(guān)系，構(gòu)建了對(duì)當(dāng)關(guān)系推理、變形推理和三段論推理等理論體系。簡(jiǎn)單直觀，易于掌握。
2、現(xiàn)代邏輯謂詞邏輯，將簡(jiǎn)單命題分析為個(gè)體詞、謂詞和量詞，克服了傳統(tǒng)邏輯的局限。
第二節(jié) 詞項(xiàng)
一、詞項(xiàng)的定義及特征
1、什么是詞項(xiàng)
在傳統(tǒng)邏輯中，凡是能充當(dāng)性質(zhì)命題主項(xiàng)或謂項(xiàng)的詞或詞組，都稱為詞項(xiàng)。 詞項(xiàng)是對(duì)語(yǔ)詞的邏輯抽象，表達(dá)語(yǔ)詞的邏輯內(nèi)容。（詞項(xiàng)舍棄了語(yǔ)詞中的情感、語(yǔ)氣等非邏輯意義，詞項(xiàng)是意義確定了的語(yǔ)詞。） 2、詞項(xiàng)的內(nèi)涵和外延
正如命題具有邏輯特征真、假，詞項(xiàng)的邏輯特征是詞項(xiàng)具有內(nèi)涵和外延。 詞項(xiàng)的外延是詞項(xiàng)指稱的一個(gè)或一類事物，這類事物的每一個(gè)分子都屬于這個(gè)詞項(xiàng)的外延。
詞項(xiàng)的內(nèi)涵就是詞項(xiàng)表達(dá)的概念。概念是反映一類事物特有屬性的思維形態(tài)。（事物的性質(zhì)、與他事物的關(guān)系統(tǒng)稱屬性，一事物區(qū)別于他事物的屬性即其特有屬性）
3、詞項(xiàng)、語(yǔ)詞和概念
任何概念都必須通過(guò)語(yǔ)詞表達(dá)，而有的語(yǔ)詞并不表達(dá)概念（比如虛詞）。 語(yǔ)詞與概念不是一一對(duì)應(yīng)的（一對(duì)一，一對(duì)多，多對(duì)一）。
詞項(xiàng)、語(yǔ)詞和概念分別是邏輯學(xué)、語(yǔ)言學(xué)和哲學(xué)、心理學(xué)研究的對(duì)象。 二、詞項(xiàng)的種類
1、單獨(dú)詞項(xiàng)、普遍詞項(xiàng)和空詞項(xiàng)
分類標(biāo)準(zhǔn)是詞項(xiàng)指稱的事物的外延的數(shù)量。
單獨(dú)詞項(xiàng)也稱個(gè)體詞項(xiàng)，包括專名、摹狀詞和某些名詞。（專名的外延是一個(gè)獨(dú)一無(wú)二的事物；摹狀詞是通過(guò)描述事物的特有屬性來(lái)指稱事物的，其外延是一個(gè)單元集）
普遍詞項(xiàng)是外延不止一個(gè)事物的詞項(xiàng)，其外延是一個(gè)多元集。 空詞項(xiàng)是無(wú)所指稱，沒(méi)有外延的詞項(xiàng)。其外延是空集。 傳統(tǒng)邏輯中討論的詞項(xiàng)都是非空的。 2、集體詞項(xiàng)和非集體詞項(xiàng)
分類標(biāo)準(zhǔn)是詞項(xiàng)指稱的是群體還是群體中的任何個(gè)體
集體詞項(xiàng)是指稱群體的詞項(xiàng)，其外延是以群體（集合）作為元素的集合（集合的集合）。
非集體詞項(xiàng)是指稱群體中任何個(gè)體的詞項(xiàng)，其外延是這些個(gè)體（分子）構(gòu)成
的集合。
以上四種詞項(xiàng)的辨析要注意依托語(yǔ)言環(huán)境。 3、正詞項(xiàng)和負(fù)詞項(xiàng)
分類標(biāo)準(zhǔn)是詞項(xiàng)指稱的是某類事物，還是某類事物以外的事物。 正詞項(xiàng)也稱肯定詞項(xiàng)，其內(nèi)涵為正概念。指稱具有某種特有屬性的事物。 負(fù)詞項(xiàng)也稱否定詞項(xiàng)，其內(nèi)涵為負(fù)概念。指稱具有某種特有屬性的事物以外的事物。從形式上看，負(fù)詞項(xiàng)一般帶有否定詞“不”、“非”、“無(wú)”等。 三、詞項(xiàng)外延間的關(guān)系
歐拉圖（Euler1707-1783，瑞士數(shù)學(xué)家）
設(shè)“S”、“P”表示兩個(gè)詞項(xiàng)，S和P表示它們的外延，兩個(gè)圓分別表示集合S和集合P，圓內(nèi)的每一點(diǎn)表示該集合的元素。
普遍詞項(xiàng)外延間的關(guān)系有且只有以下五種： 1、 全同關(guān)系p22
所有S是P，并且所有P是S。記為：S = P，“S”與“P”全同。
具有全同關(guān)系的兩個(gè)詞項(xiàng)，它們的外延相同而內(nèi)涵不同。 2、 真包含于關(guān)系p24
所有S是P，并且有P不是S。記為：S ? P，“S”真包含于“P”（S是P的真子集）。
全同關(guān)系和真包含于關(guān)系合稱包含關(guān)系，記為：S ? P。 3、 真包含關(guān)系
所有P是S，并且有S不是P。記為：P ? S，“S”真包含“P”。
真包含于關(guān)系和真包含關(guān)系統(tǒng)稱屬種關(guān)系。屬種關(guān)系中，外延較大的詞項(xiàng)稱為屬詞項(xiàng)，外延較小的詞項(xiàng)稱為種詞項(xiàng)。屬種關(guān)系是相對(duì)的。
4、 交叉關(guān)系
有S是P，有S不是P，并且有P不是S。記為：S ∩ P≠?，“S”與“P”有交叉關(guān)系（S與P的交不為空集）。
以上四種關(guān)系統(tǒng)稱為相容關(guān)系。 5、 全異關(guān)系p25
所有S都不是P，記為：S ∩ P = ?，“S”與“P”有全異關(guān)系（S與P的交為空集）。
全異關(guān)系的兩個(gè)詞項(xiàng)，對(duì)于它們共同的屬概念（論域“I”yota ），還可以分為矛盾關(guān)系和反對(duì)關(guān)系，統(tǒng)稱不相容關(guān)系。
矛盾關(guān)系：S ∩ P = ?，且S ∪ P = I。（P為S的補(bǔ)）
△王元澤（雱）數(shù)歲時(shí)，客有以一獐一鹿同籠以問(wèn)雱：“何者是獐？何者為鹿？”雱實(shí)未識(shí)，良久對(duì)曰：“獐邊者是鹿，鹿邊者是獐�！笨痛笃嬷� ——《夢(mèng)溪筆談》
反對(duì)關(guān)系：S ∩ P = ?，且S ∪ P ? I。（S與P的并是I的真子集）
一個(gè)詞項(xiàng)的反對(duì)詞項(xiàng)真包含于其矛盾詞項(xiàng)中。比如“大學(xué)生”的反對(duì)詞項(xiàng)“中學(xué)生”真包含于其矛盾詞項(xiàng)“非大學(xué)生”中。 四、明確詞項(xiàng)的邏輯方法
所謂明確詞項(xiàng)，就是明確普遍詞項(xiàng)的內(nèi)涵和外延，確定它的含義。
1、限制和概括p29
屬種關(guān)系的詞項(xiàng)的內(nèi)涵和外延具有一種反變關(guān)系，一個(gè)詞項(xiàng)的內(nèi)涵越多，外延就越小；外延越大，內(nèi)涵就越少。
增加一個(gè)詞項(xiàng)的內(nèi)涵以縮小其外延，從而過(guò)渡到外延較小的詞項(xiàng)，稱為限制。 減少一個(gè)詞項(xiàng)的內(nèi)涵以擴(kuò)大其外延，從而過(guò)渡到外延較大的詞項(xiàng)，稱為概括。
△《孔子家語(yǔ)》卷二：楚王出游，亡弓。左右請(qǐng)求之。王曰：“止！楚人失弓，
楚人得之，又何求之?”孔子聞之曰：“惜乎其不大也！不曰人遺弓人得之而己，何必楚也�！�
限制和概括可以連續(xù)進(jìn)行，一般地講，限制的極限是單獨(dú)詞項(xiàng)；概括的極限是論域。通過(guò)限制或概括形成的詞項(xiàng)之間的關(guān)系如果不是屬種關(guān)系，那么這種限制或概括就是錯(cuò)誤的。（注意：集體詞項(xiàng)中的部分不具有整體的屬性，與整體不是屬種關(guān)系，檢查方法：S是P？）限制和概括可以通過(guò)增加或減少語(yǔ)詞的辦法進(jìn)行，也可以不。如果增加語(yǔ)詞而詞項(xiàng)外延并未縮小，則只是修飾。
2、劃分p38
（1） 什么是劃分
劃分就是把一個(gè)詞項(xiàng)的外延（集合），按照一定的標(biāo)準(zhǔn)，分為若干小類（真子集）的明確詞項(xiàng)外延的邏輯方法。
被劃分的類（集合）稱為母項(xiàng)，劃分所得的若干小類（真子集）稱為子項(xiàng)，劃分所依據(jù)的屬性稱為劃分的標(biāo)準(zhǔn)。 （2） 劃分的種類
一次劃分，連續(xù)劃分，復(fù)分（按不同標(biāo)準(zhǔn)，把同一母項(xiàng)分為若干子項(xiàng)。注意，不是同一次劃分），二分法。 （3） 劃分的規(guī)則
規(guī)則一：同一次劃分的結(jié)果，子項(xiàng)之間不應(yīng)相容。錯(cuò)誤：子項(xiàng)相容
規(guī)則二：各子項(xiàng)外延之和必須等于母項(xiàng)的外延。錯(cuò)誤：劃分不全，多出子項(xiàng) 規(guī)則三：每次劃分必須使用統(tǒng)一劃分標(biāo)準(zhǔn)。錯(cuò)誤：混淆標(biāo)準(zhǔn)
規(guī)則四：劃分不能越級(jí)。錯(cuò)誤：越級(jí)劃分（與規(guī)則一相關(guān)，子項(xiàng)之間應(yīng)是矛盾或
反對(duì)關(guān)系）
3、定義p32
（1）什么是定義
定義就使用簡(jiǎn)單明確的方式來(lái)揭示詞項(xiàng)所指稱的事物的特有屬性或詞項(xiàng)本身的含義或所指的明確詞項(xiàng)內(nèi)涵的邏輯方法。
被定義項(xiàng)，定義項(xiàng)，定義聯(lián)項(xiàng)（是，就是，當(dāng)且僅當(dāng)，如果??則）。 （2）定義的種類
①內(nèi)涵定義：揭示詞項(xiàng)所指稱的事物的特有屬性或詞項(xiàng)本身的含義的定義。 a實(shí)質(zhì)定義 屬加種差定義 定義規(guī)則：
規(guī)則一：被定義項(xiàng)的外延和定義項(xiàng)的外延必須是全同關(guān)系。錯(cuò)誤：定義過(guò)寬、定義過(guò)窄。p269
規(guī)則二：定義項(xiàng)中不得直接或間接包含被定義項(xiàng)。錯(cuò)誤：同語(yǔ)反復(fù)、循環(huán)定義。 規(guī)則三：定義項(xiàng)中不得有含混的詞語(yǔ)，不能用比喻。 規(guī)則四：除非必要，定義項(xiàng)中不得包含負(fù)詞項(xiàng)。
b操作定義 c語(yǔ)境定義 ②外延定義 實(shí)指定義和列舉定義 ③語(yǔ)詞定義 a說(shuō)明的語(yǔ)詞定義。 b規(guī)定的語(yǔ)詞定義。
第三節(jié) 直言命題概述
一、直言命題的結(jié)構(gòu)p56
直言命題是以主謂式語(yǔ)句表達(dá)的命題。
直言命題是由主項(xiàng)、謂項(xiàng)、量項(xiàng)和聯(lián)項(xiàng)構(gòu)成。量項(xiàng)+主項(xiàng)+聯(lián)項(xiàng)+謂項(xiàng) 聯(lián)項(xiàng)又稱為直言命題的質(zhì)，分為肯定聯(lián)項(xiàng)和否定聯(lián)項(xiàng)。
量項(xiàng)分為單稱量項(xiàng)（主項(xiàng)為單獨(dú)詞項(xiàng)）、全稱量項(xiàng)（斷定普遍詞項(xiàng)主項(xiàng)的全部外延，漢語(yǔ)自然語(yǔ)言中可以省略）和特稱量項(xiàng)（又稱存在量項(xiàng)，斷定普遍詞項(xiàng)主項(xiàng)的至少一個(gè)外延，自然語(yǔ)言最好用“有??”）。 二、直言命題的種類p57
直言命題的量項(xiàng)和聯(lián)項(xiàng)是邏輯常項(xiàng)。S和P稱為詞項(xiàng)變項(xiàng)。 根據(jù)邏輯常項(xiàng)的不同，直言命題分為六種： 1、單稱肯定命題，形式為“這個(gè)S是P”。 2、單稱否定命題，形式為“這個(gè)S不是P”。 3、全稱肯定命題，形式為“SAP”，所有S是P。 4、全稱否定命題，形式為“SEP”，所有S不是P。 5、特稱肯定命題，形式為“SIP”，有S是P。 6、特稱否定命題，形式為“SOP”，有S不是P。
單稱命題傳統(tǒng)歸入全稱命題研究，但性質(zhì)有不同，見(jiàn)對(duì)當(dāng)關(guān)系。 拉丁文affirmo nego
三、直言命題形式的文恩圖表示 略
四、直言命題主、謂項(xiàng)的周延性p62
如果一個(gè)直言命題斷定了主項(xiàng)或謂項(xiàng)的全部外延，則稱其主項(xiàng)或謂項(xiàng)是周延的，否則，就稱為不周延的。
AEIO四種命題主謂項(xiàng)的周延性（重要，三段論、變形推理的基礎(chǔ)�？梢劳小皩�(duì)當(dāng)關(guān)系”圖理解）
全稱命題主項(xiàng)周延，特稱命題主項(xiàng)不周延。否定命題謂項(xiàng)周延，肯定命題謂項(xiàng)不周延。E命題主謂項(xiàng)都周延，I命題主謂項(xiàng)都不周延。(全稱命題主項(xiàng)周延，否定命題謂項(xiàng)周延)
第四節(jié)直言命題的直接推理
一、
直言命題的對(duì)當(dāng)關(guān)系推理p64
素材S、P相同的A、E、I、O四種命題之間的真假制約關(guān)系，邏輯上稱對(duì)當(dāng)關(guān)系。
A與O，E與I之間，不可同真假。（A?? O，E?
?I）
A?? O、?A? O、 O? ?A、? O?A；E??I、?E? I、 I??E、?I? E。 2、 反對(duì)關(guān)系
A與E之間，不可同真，可同假。A?? E 、E?? A。
3、 差等關(guān)系
A與I，E與O之間，A/E真，則I/O真；I/O假，則A/E假。（重言蘊(yùn)含關(guān)系） A?I，? I?? A； E?O，? O? ? E。 4、 下反對(duì)關(guān)系
I與O之間，可同真，不可同假。? I? O，? O? I。 對(duì)當(dāng)矩陣：
二、
直言命題的變形推理p69
1、換質(zhì)法
改變一個(gè)直言命題的`質(zhì)，從而推出另一個(gè)直言命題的推理。 規(guī)則：（1）改變命題的質(zhì)，肯定換否定，否定換肯定。
（2）謂項(xiàng)改為原來(lái)詞項(xiàng)的負(fù)詞項(xiàng)。 換質(zhì)法前提結(jié)論之間總是重言等值關(guān)系。 2、換位法
通過(guò)交換直言命題主謂項(xiàng)的位置，從而推出另一個(gè)直言命題的推理。
規(guī)則：（1）只改變主謂項(xiàng)位置，不改變命題的質(zhì)。
（2）在前提中不周延的項(xiàng)，在結(jié)論中不得周延。（SOP不能換位！） 簡(jiǎn)單換位，前提結(jié)論之間是重言等值關(guān)系。 SEP ? PES，SIP? PIS
限制（量）換位，前提結(jié)論之間是重言蘊(yùn)含關(guān)系。 SAP?PIS 3、換質(zhì)換位法
換質(zhì)法和換位法的結(jié)合。分為先換質(zhì)和先換位（可以換位的前提下）。 換質(zhì)法和換位法還可以同對(duì)當(dāng)關(guān)系推理結(jié)合：
比如：一個(gè)有效的換質(zhì)位推理的結(jié)論是PES，其前提是（ ）。 ①所有S都是非P ②所有S都是P ③所有非S都是P ④所有非S都是非P
第五節(jié) 三段論
一、
三段論的定義p79
1、 三段論是由包含一個(gè)共同項(xiàng)的兩個(gè)直言命題推出一個(gè)直言命題的推理。 2、三段論的推理形式是固定的，表現(xiàn)為：
（1） 任何一個(gè)三段論由而且只由三個(gè)直言命構(gòu)成； （2） 任何一個(gè)三段論由而且只由三個(gè)項(xiàng)構(gòu)成； （3） 每?jī)蓚�(gè)直言命題有而且只有一個(gè)項(xiàng)是相同的。
結(jié)論的主項(xiàng)稱為小項(xiàng)（minor term）S,結(jié)論的謂項(xiàng)稱為大項(xiàng)（major term）P,兩個(gè)前提中包含的那個(gè)共同項(xiàng)稱為中項(xiàng)（middle term）M。包含大項(xiàng)的前提稱為大前提，包含小項(xiàng)的前提稱為小前提。豎式寫(xiě)法大前提在上。 3、三段論的格和式
根據(jù)中項(xiàng)M在前提中的不同位置，三段論分為四個(gè)格：
三段論三個(gè)命題不同的質(zhì)和量的組合稱為三段論的式，如：第一格AAA式。 二、判定三段論式有效性的方法 集合表達(dá)式法，文恩圖法 三、三段論的規(guī)則p80
1、三段論公理：一類對(duì)象的全部是/不是什么，這類對(duì)象的部分也是/不是什么。
，
2、三段論的規(guī)則
。
規(guī)則1：中項(xiàng)在前提中至少周延一次。錯(cuò)誤：中項(xiàng)M不周延。
規(guī)則2：在前提中不周延的項(xiàng)，在結(jié)論中不得周延。錯(cuò)誤：大項(xiàng)P、小項(xiàng)S擴(kuò)大。 規(guī)則3：前提與結(jié)論中否定命題的數(shù)目必須相同。（兩個(gè)否定前提不能得出結(jié)論。
前提之一是否定的，結(jié)論也是否定的；結(jié)論是否定的，前提之一必定是否定的。）錯(cuò)誤：雙否定前提
判定三段論形式是否正確的一般步驟：
第一步：前提和結(jié)論的否定數(shù)是否相同。（簡(jiǎn)記為：否定平衡） 第二步：中項(xiàng)是否至少周延一次。（簡(jiǎn)記為：中項(xiàng)周延） 第三步：是否有大項(xiàng)或小項(xiàng)擴(kuò)大。（簡(jiǎn)記為：結(jié)論不擴(kuò)大） 四、三段論的導(dǎo)出規(guī)則p85
任何有效三段論式都須遵守以下導(dǎo)出規(guī)則：
1、兩個(gè)前提不能都是特稱的。錯(cuò)誤：雙特稱。 2、如果前提之一是特稱的，結(jié)論就是特稱的。 3、如果大前提是特稱的，那么小前提不是否定的。
不同格有效三段論式的導(dǎo)出規(guī)則： 第一格：1、小前提是肯定的；
2、大前提是全稱的。
第二格：1、前提中必有一個(gè)是否定的； 2、大前提是全稱的； 3、結(jié)論是否定的。 第三格：1、小前提是肯定的；
2、結(jié)論是特稱的；
3、至少有一個(gè)前提是全稱的。
第四格：1：如果有一個(gè)前提是否定的，那么大前提是全稱的； 2、如果大前提是肯定的，那么小前提是全稱的； 3、如果小前提是肯定的，那么結(jié)論是特稱的；
4、 前提不能是特稱否定的； 5、結(jié)論不能是全稱肯定的。
練習(xí)p111
第六章 模態(tài)邏輯 第一節(jié) 模態(tài)邏輯概述p145
1、 關(guān)于模態(tài)
所謂模態(tài)是指事物或認(rèn)識(shí)的必然性和可能性等這類性質(zhì)。 狹義模態(tài)可以看作關(guān)于真的性質(zhì)的模態(tài)，即必然真、可能真等等。 2、命題的模態(tài)形式
命題常項(xiàng)：必然，?；可能，?。 模態(tài)對(duì)當(dāng)方陣：
第二節(jié) 規(guī)范模態(tài)邏輯p153
1、規(guī)范模態(tài)邏輯的定義
含道義概念必須、允許、禁止，并把它們作為邏輯常項(xiàng)的命題稱道義命題，又稱規(guī)范命題。 2、類型
必須命題O（ought），允許命題P(permit)、禁止命題F(ferbid)。（因?yàn)椤氨仨歱”等值于“禁止非p”，“必須非p”等值于“禁止p”，故歸結(jié)為四種：Op，Op；Pp，Pp。） 3、對(duì)當(dāng)關(guān)系
習(xí)題
一、填空
1、詞項(xiàng)的主要邏輯特征是有（ ）、（ ）。
2、命題的基本的邏輯特征是，對(duì)思維對(duì)象總是（ ）或（ ）；任何命題都是（ ）。
3、“大學(xué)生”的鄰近屬詞項(xiàng)是（ ），種詞項(xiàng)可以是（ ），矛盾關(guān)系的詞項(xiàng)是（ ），反對(duì)關(guān)系的詞項(xiàng)是（ ）。
4、 “詞項(xiàng)S與P交叉”的邏輯形式人工語(yǔ)言表述是（ ）。
5、“不入虎穴，焉得虎子”中，“入虎穴”是“得虎子”的（ ）條件。
6、“只有通過(guò)考試，才能錄取”，轉(zhuǎn)換為等值的充分條件假言命題是（ ）。
7、直言命題換質(zhì)法要求改變?cè)}的質(zhì)后，謂項(xiàng)改為原來(lái)詞項(xiàng)的（ ）。
8、不能采用換位法推理的直言命題是（ ）。
9、與“并非所有S是P”等值的直言命題是（ ）。
二、單項(xiàng)選擇，從每小題的幾個(gè)備選答案中，選出一個(gè)正確答案，并將其號(hào)碼填入題干的括
號(hào)內(nèi)。
1、思維的邏輯形式之間的區(qū)別，取決于（ ）。
①思維的內(nèi)容 ②邏輯常項(xiàng) ③變項(xiàng) ④語(yǔ)言表達(dá)形式
2、“所有S是P”與“有的S不是P”（ ）。
①邏輯常項(xiàng)相同但變項(xiàng)不同 ②邏輯常項(xiàng)不同但變項(xiàng)相同 ③邏輯常項(xiàng)與變項(xiàng)均相同 ④邏輯常項(xiàng)與變項(xiàng)均不同
3、如果（ ），那么有的a是b，并且有的a不是b。
① a與b全異 ② a與b同一 ③a與b交叉 ④a真包含于b
4、“學(xué)生考試成績(jī)分為優(yōu)、良、中、及格、不及格”和“學(xué)生補(bǔ)考成績(jī)分為及格和不及格”這兩個(gè)命題中，“及格”和“不及格”兩個(gè)詞項(xiàng)之間（ ）。
①都是矛盾關(guān)系 ②都是反對(duì)關(guān)系 ③在前一命題中是矛盾關(guān)系，在后一命題中是反對(duì)關(guān)系 ④在前一命題中是反對(duì)關(guān)系，在后一命題中是矛盾關(guān)系
5、“中國(guó)人是不怕死的，奈何以死懼之”中的“中國(guó)人”這一詞項(xiàng)屬于（ ）。 ①集體詞項(xiàng) ②非集體詞項(xiàng) ③普遍詞項(xiàng) ④負(fù)詞項(xiàng)
6、 如果A是劃分的母項(xiàng)，則根據(jù)劃分規(guī)則，A不可以是（ ）。
①單獨(dú)詞項(xiàng) ②普遍詞項(xiàng) ③正詞項(xiàng) ④負(fù)詞項(xiàng)
7、劃分后各子項(xiàng)外延之和大于母項(xiàng)外延，就會(huì)犯（ ）的錯(cuò)誤。
①劃分不全 ②多出子項(xiàng) ③混淆根據(jù) ④子項(xiàng)相容
8、在S與P可能具有的五種外延關(guān)系中，下列命題形式真假情況為三真二假的是（ ）。 ①SAP ②SEP ③SIP ④SOP
9、一個(gè)有效三段論的大項(xiàng)在前提中周延而在結(jié)論中不周延，該三段論是（ ）。 ①第一格AAA式 ②第二格AEE式 ③第三格AAI式 ④第四格AAI式
10、前提與結(jié)論之間有蘊(yùn)涵關(guān)系的推理叫做（ ）。
①或然性推理 ②演繹推理 ③歸納推理 ④類比推理
11、已知“1班有同學(xué)不是黨員”，可必然推出（ ）。
①1班有同學(xué)是黨員 ②有些黨員是1班同學(xué) ③有些非黨員是1班同學(xué) ④有些非黨員不是1班同學(xué)
12、要使一個(gè)充分條件假言命題取真值真，則須（ ）。
①前件真后件假 ②前件假 ③后件假 ④前件真
13、一個(gè)有效的換質(zhì)位推理的結(jié)論是PES，其前提是（ ）。
①所有S都是非P ②所有S都是P ③所有非S都是P ④所有非S都是非P
14、復(fù)合命題的真假取決于（ ）。
①肢命題的內(nèi)容 ②復(fù)合命題的結(jié)構(gòu) ③肢命題的真假 ④邏輯聯(lián)項(xiàng)
15、如果“假如某甲掌握了兩門外語(yǔ)，那么他精通邏輯”為假，那么（ ）為真。 ①某甲沒(méi)有掌握兩門外語(yǔ)，但精通邏輯 ②某甲掌握了兩門外語(yǔ)，但不精通邏輯 ③某甲掌握了兩門外語(yǔ)，并且精通邏輯 ④某甲沒(méi)有掌握兩門外語(yǔ)，也不精通邏輯
16、以“A并且B”和“非B或者C”為前提進(jìn)行演繹推理，可以得出的結(jié)論是（ ）。 ①A并且非B ②B并且非C ③B并且C ④A并且非C
17、以下命題形式中與“如果p那么q”具有等值關(guān)系的是（ ）。 ①p并且q ②非p，并且q ③p或者q ④非p，或者q
18、“如果張廷是1班學(xué)生，那么張廷不是2班學(xué)生”與“張廷不是1班學(xué)生，又不是2班學(xué)生”這兩個(gè)命題在真假值方面（ ）。
①可同真，可同假 ②可同真，不同假 ③不同真，可同假 ④不同真，不同假
19、以下命題形式中與“p或者q”相矛盾的是（ ）。
①非p或者非q ②如果非p，那么q ③非p并且非q ④只有p才q
20、根據(jù)形式邏輯基本規(guī)律的（ ），如果SIP為真，則SEP為假。 ①同一律 ②矛盾律 ③排中律
21、以下公式為矛盾式的是（ ）。
①p∨q←→q∨p ②（p→q）→（q→p） ③（p→q）→?p∧q ④p∧（q∧?q）
三、多項(xiàng)選擇，在每小題的幾個(gè)備選答案中，選出若干正確答案，并將其號(hào)碼分別填在題干的括號(hào)內(nèi)，多選、少選、錯(cuò)選均無(wú)分。
1、 當(dāng)命題“小張、小李都考了滿分”假時(shí)，小張、小李的情況可能是 （ ）。 ①小張、小李都考了滿分 ②小張考了滿分，小李沒(méi)有 ③小李考了滿分，小張沒(méi)有
④小張、小李都沒(méi)有考滿分
2、a、“凡S都是P→凡P都不是S”， b、“有P不是S→有S不是非P”這兩個(gè)推理（ ）。 ①都有效 ②都無(wú)效 ③a有效，b無(wú)效 ④a無(wú)效，b有效 ⑤并非都有效 ⑥并非都無(wú)效
3、以“所有A不是B，所有B都是C”為前提推理，其正確結(jié)論是（ ）。 ①所有A是C ②并非所有C是A ③有A不是C ④有C不是A ⑤所有A不是C
4、當(dāng)“只有他來(lái)了我才走”真時(shí)，二人的情況可能是（ ）。
①他來(lái)了并且我走 ②他來(lái)了并且我沒(méi)有走 ③他沒(méi)有來(lái)我還是走了 ④他沒(méi)有來(lái)我也沒(méi)走
5、當(dāng)p←→q假時(shí)，p、q的真假情況是（ ）。
①p真q真 ②p真q假 ③p假q真 ④p假q假
6、“A真包含B，A與C交叉”，則B與C的外延關(guān)系可能是（ ）。 ①全同 ②真包含于 ③真包含 ④交叉 ⑤全異
7、當(dāng)“今天可能下雨”假時(shí)，以下必定真的是（ ）。
①今天可能不下雨 ②今天必然下雨 ③今天必然不下雨 ④并非今天必然下雨
8、當(dāng)“并非所有S都是P”時(shí)，S與P的外延可能有的關(guān)系是（ ）。 ①全同 ②真包含于 ③真包含 ④交叉 ⑤全異
9、以“(p→q)→(p∨q)”為一個(gè)前提，再加上（ ）作另一個(gè)前提，可必然推出“?（p→q）”。
①p→q ②?（p∨q） ③?p∧?q ④p←q ⑤?p∨q
10、已知“如果甲會(huì)游泳，那么乙會(huì)武術(shù)”為假，則（ ）為真。
①甲或乙會(huì)游泳 ②甲或乙不會(huì)武術(shù) ③甲會(huì)游泳并且乙會(huì)武術(shù) ④甲不會(huì)游泳并且乙不會(huì)武術(shù) ⑤只有甲會(huì)游泳，乙才會(huì)武術(shù)
四、判斷以下有無(wú)邏輯錯(cuò)誤（無(wú)錯(cuò)在題號(hào)前括號(hào)內(nèi)打∨，有錯(cuò)的打×）如有錯(cuò)簡(jiǎn)要說(shuō)明原因。 （ ）1、天文學(xué)就是研究我們地球所在的太陽(yáng)系的科學(xué)。
（ ）2、句子可以分為單句、復(fù)句、陳述句、感嘆句、祈使句、疑問(wèn)句。
（ ）3、“樂(lè)山師院”可以概括為“高等院校”，限制為“樂(lè)山師院中文系”。 （ ）4、“本班有同學(xué)過(guò)了英語(yǔ)四級(jí)”，所以，“本班有同學(xué)沒(méi)有過(guò)英語(yǔ)四級(jí)”。 （ ）5、海豚不是魚(yú)，海獅不是海豚，所以，海獅不是魚(yú)。
五、Euler圖解（p109六題p110九題）
1、“所有A不是B”，“有C是B”并且“有B不是C”。 用Euler圖表示詞項(xiàng)A、B、C的外
延可能有的各種關(guān)系。
2、中國(guó)是個(gè)亞洲國(guó)家，正在努力成為發(fā)達(dá)國(guó)家。用Euler圖表示下劃線詞項(xiàng)間的關(guān)系。
六、證明題
運(yùn)用三段論的一般規(guī)則證明：p87-88一至四格的特殊規(guī)則。P109八題。
七、用真值表法解題（可以用“歸謬賦值法”）
1、“非p或者q”與“如果p那么q ”在邏輯形式上是否等值？
2、 以下公式是否“重言式”？
①（q→r）→(p∨q→p∨r)
②（A→（A→B））→（A→B）
③（p→q）→?p∧q
④（A→（B∨C））→（A→B）∧（A→C）
八、下列推理是否正確（1-4），為什么？
1、或者“全班同學(xué)都過(guò)了英語(yǔ)四級(jí)”為假，或者“全班同學(xué)都沒(méi)有過(guò)英語(yǔ)四級(jí)”為假；“全班同學(xué)都沒(méi)有過(guò)英語(yǔ)四級(jí)”為假，所以，“全班同學(xué)都過(guò)了英語(yǔ)四級(jí)”為真。
2、如果“并非所有天鵝都是白色的”真，那么“有天鵝是黑色的”必然真。
3、“有S是P”，“有S不是P”，“有P不是S”一真二假，所以，“S與P全同”。
4、編號(hào)為1、2、3的三個(gè)運(yùn)動(dòng)員分獲了比賽的一、二、三名，巧合的是，他們的名次與號(hào)碼都不一致。得第一的運(yùn)動(dòng)員首先發(fā)現(xiàn)這個(gè)巧合，接著2號(hào)運(yùn)動(dòng)員也發(fā)現(xiàn)了。所以，1號(hào)運(yùn)動(dòng)員得了第二。
5、鮑西婭將自己的肖像藏在金、銀、鉛三只匣子中的一只里面。金匣上寫(xiě)著：“肖像放在此匣中�！便y匣上寫(xiě)著：“肖像不在金匣中�！便U匣上寫(xiě)著：“肖像不在此匣中�！彼暶鳎骸叭幌蛔由蠈�(xiě)的只有一句是真話。”請(qǐng)問(wèn)：肖像在那只匣子里？為什么？
6、已知：① 如果甲、乙都參加運(yùn)動(dòng)會(huì)，則丙不參加運(yùn)動(dòng)會(huì)。
② 只有乙參加運(yùn)動(dòng)會(huì)，丁才參加運(yùn)動(dòng)會(huì)。
③ 甲、丙都參加了運(yùn)動(dòng)會(huì)。
問(wèn)：乙、丁是否參加了運(yùn)動(dòng)會(huì)？為什么？
7、A、B、C、D爭(zhēng)乒乓單打冠軍，以下三種說(shuō)法，有且僅有一種正確。問(wèn)：誰(shuí)得冠軍？寫(xiě)出推導(dǎo)過(guò)程。
① 冠軍或是A或是B。
② 如果冠軍不是C，那么也不是D。
③ 冠軍不是A。
8、設(shè)下面三句話只有一句假，問(wèn)：甲班班長(zhǎng)是否懂計(jì)算機(jī)？
①甲班所有學(xué)生都懂計(jì)算機(jī)。
②甲班小李懂計(jì)算機(jī)。
③甲班所有學(xué)生都不懂計(jì)算機(jī)。
9、A、B、C三人分別在看書(shū)、練聽(tīng)力和寫(xiě)信，已知：如果A不在練聽(tīng)力，那么C就在寫(xiě)信；C并非在寫(xiě)信。問(wèn)：A、B、C三人各在干什么？寫(xiě)出推理過(guò)程。
【《形式邏輯》】相關(guān)文章：
修辭論辯與非形式邏輯07-08
非形式邏輯的核心概念:論證10-06
非形式邏輯或論證邏輯:論證圖解07-27
非形式邏輯的概念及其義理09-01
形式邏輯課程實(shí)習(xí)報(bào)告 -實(shí)習(xí)報(bào)告01-01
數(shù)理邏輯不能取代形式邏輯07-08
形式邏輯課程實(shí)習(xí)報(bào)告范文 -管理資料01-01
淺析非形式邏輯與批判性思維專欄論文06-09