【正文】 充分條件假言命題負命題推理 相容選言命題負命題推理 不相容選言命題負命題推理 172。p t f f t p 真值： 負命題真，當且僅當原命題假 因此有 雙重否定律： p≡ 172。 （ 2）如果我聰明，我將能通過化學考試。q ? 172。p ） ? 172。q） ? 172。p,172。q 從未有 172。q 從未有 p而 172。p） → q （（ p∨q ） ∧ p） → 172。p,q 真 t ，松未死 172。p,172。 語句 ： 表示事物情況的聲音或筆畫。其中全異關(guān)系包括矛盾關(guān)系和反對關(guān)系。 依據(jù)內(nèi)少外大，通過減少內(nèi)涵， 使得一個外延較小的概念過渡到一個外延較大的概念。 結(jié)構(gòu)： 被劃分的概念＝劃分的母項 劃分后得到的概念＝子項 任意一個屬性＝劃分的根據(jù) 母項和子項間的關(guān)系是屬種關(guān)系。 形式： …… 具有與 …… 相同的意義 ； 特征：有真假。 種差反映對象的特有屬性或本質(zhì)屬性。其結(jié)構(gòu)是： Ds 就是 Dp 屬加種差定義 被定義概念＝種差＋屬 操作時，是先找出被定義概念的屬概念，再在屬的范圍內(nèi)找出被定義概念反映的對象與其他同類對象之間的差別，然后將種差作為定語加在表達屬概念的語詞的前頭，最后用聯(lián)詞和被定義概念組成一個陳述句。 “ 非此即彼 ” 這種關(guān)系正是一個正概念與其負概念的關(guān)系。即兩個概念僅有一部分 分子相同。這就是說， s 概念的外延小， p概念的外延大，所有 s概念的分子都是 p概念的分子，但至少有一個 p概念的分子不是 s概念的分子。 如 “ 魯迅的作品 ” 。 負概念的概括力較強 ， 一切不具有某種屬性的對象都包括在內(nèi) 。 對象的特有屬性是多種多樣的，本質(zhì)屬性也是多方面的。 對象 ： 客觀的事物、現(xiàn)象；人的感覺、表象，思想意識，情感意志等， 總之，一切可以成為人的認識對象的東西。邏輯形式的性質(zhì)主要由邏輯常項決定。這種對思維的反思包括，識別思想的基本要素：目的、問題、信息、假設(shè)、解釋、概念、含意、觀點等，以及使用諸如清晰性、準確性、精確性、相關(guān)性、深度、廣度和邏輯性等等普遍智力規(guī)范和標準評價這些要素的能力。即，用具體內(nèi)容代換變項 S和 P后，即使前提為真，結(jié)論也是可能為假的。一切科學陳述均是概率陳述，科學的邏輯是取值為區(qū)間 0～ 1上的全部實數(shù)的概率邏輯 Topics in Philosophical Logic 邏輯分支一覽表 1傳統(tǒng)邏輯 2經(jīng)典現(xiàn)代邏輯 3非經(jīng)典現(xiàn)代邏輯 1邏輯語法學 2邏輯語義學 3邏輯語用學 a邏輯語言論和 自然語言邏輯 b修辭學分析 c語境蘊涵 d非形式謬誤理論 e邏輯的非古典應用 4邏輯語言學 a結(jié)構(gòu)理論（形態(tài)學） b意義理論 C有效性理論 1算術(shù) 2代數(shù) 3函數(shù)論 4證明論 5概率論邏輯 6集合論 7數(shù)學基礎(chǔ)論 1物理應用 a量子論邏輯 b物理或因果模態(tài)理論 2生物應用 a伍杰方式的發(fā)展 b控制論邏輯 3社會科學應用 a規(guī)范邏輯 b價值邏輯 c法律應用 1倫理應用 a行為邏輯 b義務(wù)邏輯 c命令（祈使）邏輯 d優(yōu)先邏輯和選擇邏輯（效益、價值、對策和決策的邏輯問題） 2形而上學的邏輯應用 a存在性邏輯 b時序邏輯（時態(tài)、變化、過程邏輯） c部分與整體邏輯 d本體學 e構(gòu)造性邏輯（邏輯還原主義等） f（唯名論與唯實論之爭意義下的）本體論邏輯 3認識論應用 a問（答）邏輯 b認識論邏輯（相信、知道、相干） c假設(shè)邏輯（反事實的假設(shè)推理） d信息和信息過程的邏輯 e歸納邏輯 4歸納邏輯 a證實和確證的邏輯 b概率邏輯 邏輯形式 ：具有不同內(nèi)容的思維（命題和推理）所共同具有的 形式 或 結(jié)構(gòu) 操作定義 ： 用抽象字母代換命題或推理中的具體內(nèi)容所得到的東西 邏輯形式 實踐 感性認識 感覺 知覺 表象 理性認識 概念 判斷 推理 思 維 形 式 認識與思維 普通邏輯的研究對象 研究思維的 邏輯形式 及其 基本規(guī)律 以及人們認識現(xiàn)實的簡單的 邏輯方法 思維的特征 ： 間接性、概括性、與語言不可分離 邏輯規(guī)律 ： 同一律、矛盾律、排中律、充足理由律。 揭示了思維的辯 證矛盾。 墨 子 西方邏輯 西方邏輯 學創(chuàng)始人。 后期墨家在邏輯理論方面作出了重要貢獻。 “我思故我在” 薩特 :“存在即是合理” 尼采 :“我是太陽” 海德格爾 :“生命是詩意的棲居” 著名雕塑 《 沉思者 》 課程目的 ： 培養(yǎng)批判性思維習慣； 掌握評估論證的標準和技巧； 提高理解能力和論說水平 計劃學時： 32學時 學習技巧： 課堂理解 多做作業(yè) 留心應用 授課教師： 譚開翠 Email: Tel. 13972521699 邏輯是什么 邏輯簡史與邏輯類型 邏輯的語源學 邏各斯、 Logic、名學、辯學等。整個先秦邏輯思想就是一個以正名為重點，包括名、辭、說、辯在內(nèi)的古代邏輯學說。這些思想，在中國古代邏輯史上占有重要地位。 斯多葛學派于三段論之外，研究 了命題邏輯。 20世紀中葉以來，美國的 作為處理歸納推理的工具。 有效的 ： 當其前提為真，結(jié)論必定為真（或不可能為假）時，一個 推理 形式 是有效的；否則，便是 無效的 。因此，原推理形式無效。每一學科都依賴概念、假設(shè)和理論，做出主張，給出理由和證據(jù)，避免矛盾等等。學習邏輯可以提高批 判性思維能力。非特有屬性是并不為 某對象專有的屬性。 回答： “ 有多少 ” ：概念包括哪些對象 范圍如何 該名稱適用的事物 類 、 分子 、 子類 、 空類 （ 虛概念 ） 注意：內(nèi)涵 ≠ 特有屬性 外延 ≠ 對象 概念內(nèi)涵 、 外延的確定性和變動性 根據(jù)內(nèi)涵與外延的一般特征對概念進行分類。 說到底 ， 三種劃分實際可歸為二種 。 以下以兩個概念關(guān)系為典型進行分析 。 s概念的部分外延與 p概念的全部外延是相同的分子，則 s概念包含p概念。 即所有 s不是 p，所有 p不是 s。由于概念的內(nèi)涵是反映在概念中的對象的特有屬性或本質(zhì)屬性，因此，下定義也就是揭示被定義概念所反映的對象的特有屬性或本質(zhì)屬性。人與其他動物的區(qū)別，或人的特有屬性是什么？找到這個差別，就可以將人和其余的事物相區(qū)別。下定義也有多種屬加種差的方法。 語詞定義 外延定義 窮舉定義 如果一個概念所指的對象數(shù)目很少，或者其種類有限，則可以對它下窮舉的外延定義。 連續(xù)限制 。概括的極限－外延最大的概念?；趯俜N關(guān)系概念外延的反變關(guān)系， 可以對概念進行限制和概括。 例， 有的大學生是男性， 所以，有的男性是大學生。q 真 t 有錯誤 172。p） → q （（ p∨q ） ∧ 172。q∧ 172。p,q 真 t ，不生熱 172。p,q 假 f 18， 無選舉權(quán) 172。p 肯定前件式 有 p必有 q 否定后件式 無 q必無 p P是 q的充分條件 q是 p的必要條件 （（ p ?q） ∧ q） ?p （（ p ?q） ∧ 172。q 因此，兩個有效式相當于 （（ q ?p） ∧ 172。q ） ∧ q ） ? p 充要條件假言推理 根據(jù)前件是后件的充分條件；前件是后件的必要條件 后件是前件的充分條件；后件是前件的必要條件 （（ p ?? q） ∧ p） ?q （（ p ?? q） ∧ 172。q） p??q （ p??q） ≡（ q??p） ≡ （ p?q） ∧ （ 172。 C說 （ 5） 如果我不聰明，我將不能通過物理考試。p 172。q） 否定析取得合取，分配否定到變項 德摩根定律 ． ． 172。（ p??q） ??（ p∧ 172。q∨ 172。s ∴ 172。q 172。p） （ p ?q） ?? （ q? p） 充分條件假言易位推理 必要條件假言易位推理 充要條件假言易位推理 （ p ?? q） ?? （ q ??p ） 兩個以上假言命題作前提 充分條件 （ p?q ） ∧ （ q? r ） ?（ p? r） （ p?q） ∧ （ q? r ） ?（ 172。p ），則該命題假。q）恒真，恒真命題可作為前提使用，因此就有 P ?（ q ∧ 172。q ） （（ p∧ q ） ?r） ? （ 172。r p ∴ 172。邏輯研究 撇開邏輯聯(lián)結(jié)詞在自然語言中的非真值意義，僅從復合命題與支命題之 間的真假制約關(guān)系來考慮邏輯聯(lián)結(jié)詞，這樣，邏輯聯(lián)結(jié)詞就成為 真值聯(lián) 結(jié)詞 ；命題的邏輯形式也就成為 真值形式 。 每一真值形式都是真值函項；真值形式與真值函項的數(shù)目并不一樣多， 真值形式的數(shù)目無限，真值函項數(shù)卻是確定的；不同的真值形式，表 達相同的真值函項；真值函項是對公式中變項的真假組合的真值斷定， 變項組合數(shù) 2n，對每一組合有真假兩種斷定，故真值函項數(shù)為 22n。p） 172。p） 若變項數(shù)為 2，則真值函項總數(shù)是 16，但其真值函項的種類仍是 3類，即 重言式、矛盾式和可滿足式： f1 是重言式， f16 是矛盾式， f2 —f15是可滿 足式 f1 f2 f3 f4 p q f1 f2 f3 f4 f5 f6 f7 f8 f9 f10 f11 f12 f13 f14 f15 f16 t t t t t t t t t t f f f f f f f f t f t t t t f f f f t t t t f f f f f t t t f f t t f f t t f f t t f f f f t f t f t f t f t f t f t f t f f13 f4 的矛盾式 f14 f3 的矛盾式 f15 f2 的矛盾式 f16 f1 的矛盾式 f1 p∧ q ?p 。(172。p∨ q； 172。 172。而且， 可以把紛繁的真值形式加以歸類，因為有多少真值函項，就有多少真值 形式的類，使邏輯研究集中于規(guī)律性的東西上。r ∧ p） ? 172。r ， p∧ q ， 172。r ∧ p ,（ 172。r p∧ q p∧ q?r 172。r ∧ p 172。q p∧ q 172。 原理：一個公式或真或假；否定一個矛盾式，就得到一個重言式；否定一個重言式，就得到一個矛盾式；假設(shè)一個公式為假，如果至少一個變項的賦值 必定 出現(xiàn)矛盾（既賦真，又賦假），則表明原來的假設(shè)是錯誤的，否定假，就得到真，即原公式是重言式。 p 第三步：給變項賦值 (1)