【正文】 原理：一個(gè)公式或真或假；否定一個(gè)矛盾式，就得到一個(gè)重言式；否定一個(gè)重言式，就得到一個(gè)矛盾式；假設(shè)一個(gè)公式為假，如果至少一個(gè)變項(xiàng)的賦值 必定 出現(xiàn)矛盾（既賦真，又賦假），則表明原來的假設(shè)是錯(cuò)誤的，否定假，就得到真，即原公式是重言式。r ∧ p 172。r ∧ p ,（ 172。r ∧ p） ? 172。 172。(172。p） 172。邏輯研究 撇開邏輯聯(lián)結(jié)詞在自然語言中的非真值意義，僅從復(fù)合命題與支命題之 間的真假制約關(guān)系來考慮邏輯聯(lián)結(jié)詞，這樣，邏輯聯(lián)結(jié)詞就成為 真值聯(lián) 結(jié)詞 ；命題的邏輯形式也就成為 真值形式 。q ） （（ p∧ q ） ?r） ? （ 172。p ），則該命題假。q 172。q∨ 172。q） 否定析取得合取，分配否定到變項(xiàng) 德摩根定律 ． ． 172。 C說 （ 5） 如果我不聰明，我將不能通過物理考試。q ） ∧ q ） ? p 充要條件假言推理 根據(jù)前件是后件的充分條件；前件是后件的必要條件 后件是前件的充分條件；后件是前件的必要條件 （（ p ?? q） ∧ p） ?q （（ p ?? q） ∧ 172。p 肯定前件式 有 p必有 q 否定后件式 無 q必?zé)o p P是 q的充分條件 q是 p的必要條件 （（ p ?q） ∧ q） ?p （（ p ?q） ∧ 172。p,q 真 t ，不生熱 172。p） → q （（ p∨q ） ∧ 172。 例， 有的大學(xué)生是男性， 所以，有的男性是大學(xué)生。概括的極限－外延最大的概念。 語詞定義 外延定義 窮舉定義 如果一個(gè)概念所指的對(duì)象數(shù)目很少，或者其種類有限，則可以對(duì)它下窮舉的外延定義。人與其他動(dòng)物的區(qū)別，或人的特有屬性是什么？找到這個(gè)差別，就可以將人和其余的事物相區(qū)別。 即所有 s不是 p，所有 p不是 s。 以下以兩個(gè)概念關(guān)系為典型進(jìn)行分析 。 回答： “ 有多少 ” ：概念包括哪些對(duì)象 范圍如何 該名稱適用的事物 類 、 分子 、 子類 、 空類 （ 虛概念 ） 注意：內(nèi)涵 ≠ 特有屬性 外延 ≠ 對(duì)象 概念內(nèi)涵 、 外延的確定性和變動(dòng)性 根據(jù)內(nèi)涵與外延的一般特征對(duì)概念進(jìn)行分類。學(xué)習(xí)邏輯可以提高批 判性思維能力。因此，原推理形式無效。 20世紀(jì)中葉以來，美國的 作為處理歸納推理的工具。這些思想，在中國古代邏輯史上占有重要地位。 “我思故我在” 薩特 :“存在即是合理” 尼采 :“我是太陽” 海德格爾 :“生命是詩意的棲居” 著名雕塑 《 沉思者 》 課程目的 ： 培養(yǎng)批判性思維習(xí)慣； 掌握評(píng)估論證的標(biāo)準(zhǔn)和技巧； 提高理解能力和論說水平 計(jì)劃學(xué)時(shí)： 32學(xué)時(shí) 學(xué)習(xí)技巧： 課堂理解 多做作業(yè) 留心應(yīng)用 授課教師： 譚開翠 Email: Tel. 13972521699 邏輯是什么 邏輯簡(jiǎn)史與邏輯類型 邏輯的語源學(xué) 邏各斯、 Logic、名學(xué)、辯學(xué)等。 墨 子 西方邏輯 西方邏輯 學(xué)創(chuàng)始人。一切科學(xué)陳述均是概率陳述，科學(xué)的邏輯是取值為區(qū)間 0～ 1上的全部實(shí)數(shù)的概率邏輯 Topics in Philosophical Logic 邏輯分支一覽表 1傳統(tǒng)邏輯 2經(jīng)典現(xiàn)代邏輯 3非經(jīng)典現(xiàn)代邏輯 1邏輯語法學(xué) 2邏輯語義學(xué) 3邏輯語用學(xué) a邏輯語言論和 自然語言邏輯 b修辭學(xué)分析 c語境蘊(yùn)涵 d非形式謬誤理論 e邏輯的非古典應(yīng)用 4邏輯語言學(xué) a結(jié)構(gòu)理論（形態(tài)學(xué)） b意義理論 C有效性理論 1算術(shù) 2代數(shù) 3函數(shù)論 4證明論 5概率論邏輯 6集合論 7數(shù)學(xué)基礎(chǔ)論 1物理應(yīng)用 a量子論邏輯 b物理或因果模態(tài)理論 2生物應(yīng)用 a伍杰方式的發(fā)展 b控制論邏輯 3社會(huì)科學(xué)應(yīng)用 a規(guī)范邏輯 b價(jià)值邏輯 c法律應(yīng)用 1倫理應(yīng)用 a行為邏輯 b義務(wù)邏輯 c命令（祈使）邏輯 d優(yōu)先邏輯和選擇邏輯（效益、價(jià)值、對(duì)策和決策的邏輯問題） 2形而上學(xué)的邏輯應(yīng)用 a存在性邏輯 b時(shí)序邏輯（時(shí)態(tài)、變化、過程邏輯） c部分與整體邏輯 d本體學(xué) e構(gòu)造性邏輯（邏輯還原主義等） f（唯名論與唯實(shí)論之爭(zhēng)意義下的）本體論邏輯 3認(rèn)識(shí)論應(yīng)用 a問（答）邏輯 b認(rèn)識(shí)論邏輯（相信、知道、相干） c假設(shè)邏輯（反事實(shí)的假設(shè)推理） d信息和信息過程的邏輯 e歸納邏輯 4歸納邏輯 a證實(shí)和確證的邏輯 b概率邏輯 邏輯形式 ：具有不同內(nèi)容的思維（命題和推理）所共同具有的 形式 或 結(jié)構(gòu) 操作定義 ： 用抽象字母代換命題或推理中的具體內(nèi)容所得到的東西 邏輯形式 實(shí)踐 感性認(rèn)識(shí) 感覺 知覺 表象 理性認(rèn)識(shí) 概念 判斷 推理 思 維 形 式 認(rèn)識(shí)與思維 普通邏輯的研究對(duì)象 研究思維的 邏輯形式 及其 基本規(guī)律 以及人們認(rèn)識(shí)現(xiàn)實(shí)的簡(jiǎn)單的 邏輯方法 思維的特征 ： 間接性、概括性、與語言不可分離 邏輯規(guī)律 ： 同一律、矛盾律、排中律、充足理由律。這種對(duì)思維的反思包括，識(shí)別思想的基本要素：目的、問題、信息、假設(shè)、解釋、概念、含意、觀點(diǎn)等，以及使用諸如清晰性、準(zhǔn)確性、精確性、相關(guān)性、深度、廣度和邏輯性等等普遍智力規(guī)范和標(biāo)準(zhǔn)評(píng)價(jià)這些要素的能力。 對(duì)象 ： 客觀的事物、現(xiàn)象；人的感覺、表象，思想意識(shí)，情感意志等， 總之，一切可以成為人的認(rèn)識(shí)對(duì)象的東西。 負(fù)概念的概括力較強(qiáng) ， 一切不具有某種屬性的對(duì)象都包括在內(nèi) 。這就是說， s 概念的外延小， p概念的外延大，所有 s概念的分子都是 p概念的分子，但至少有一個(gè) p概念的分子不是 s概念的分子。 “ 非此即彼 ” 這種關(guān)系正是一個(gè)正概念與其負(fù)概念的關(guān)系。 種差反映對(duì)象的特有屬性或本質(zhì)屬性。 結(jié)構(gòu)： 被劃分的概念＝劃分的母項(xiàng) 劃分后得到的概念＝子項(xiàng) 任意一個(gè)屬性＝劃分的根據(jù) 母項(xiàng)和子項(xiàng)間的關(guān)系是屬種關(guān)系。其中全異關(guān)系包括矛盾關(guān)系和反對(duì)關(guān)系。p,172。p） → q （（ p∨q ） ∧ p） → 172。q 從未有 172。q） ? 172。q ? 172。p t f f t p 真值： 負(fù)命題真，當(dāng)且僅當(dāng)原命題假 因此有 雙重否定律： p≡ 172。q ） 必要條件假言命題負(fù)命題推理 充要條件假言命題負(fù)命題推理 172。p或 172。p∧ 172。q），而 （ q ∧ 172。 （ p∧ q ） ?? （ 172。A、 A∧B 、 A∨ B、 A?B、 A??B也是命題形式 （ ⅲ ）只有符合 (ⅰ) 、 (ⅱ) 的才是命題形式 5種基本真值形式 172。p 172。q 等 f4 p ∨ (q ∧ 172。真值函項(xiàng)有 3類，那么，表達(dá)真值函項(xiàng)的真值形式也有 3類：重言式（永真式）、矛盾式（永假式）和可滿足式（可真可假式）。r ∧ p和 172。q ）的真值表作法 第一步：分解公式，畫表 3個(gè)變項(xiàng)，其真假組合共有 23＝ 8種可能 因此有 8行；變項(xiàng)有 3個(gè)，整個(gè)公式可分解為 7部分，共有 10列。 此總公式下每一行均為真，故該蘊(yùn)涵式為重言式，即一個(gè)有效推理形式。 q） ? 172。q p ∨ 172。q (p∧ q ） ?r） ? （ 172。q ， 最后是總公式 （（ p∧ q ） ?r） ? （ 172。如，什么是 合取式？回答是，每一支命題為真， 則它為真的 那種真值形 式，這正是 合取式的真 值表反映的 情況。p)； q∧ （ p∨ 172。q) ∨ (172。 f1 永真式（重言式） f4 永假式（矛盾式） f2 f3 可滿足式（可真可假） 永真式表達(dá)邏輯規(guī)律，永假式的否定也是永真式，邏輯主要研究重言式 p∨ 172。r ∧ p） ? 172。q） ∴ 172。p?172。q∧ 172。（ 172。（ p∧ q ） ?? （ 172。 三個(gè)人中，只有一個(gè)聰明人。p ? 172。q 假 f ，但被 2整除 172。p， q 172。q 假 f 選言命題及其推理 相容選言命題 定義 ： 選言支可同真 結(jié)構(gòu)： p或 q p∨q （ ∨ 為相容析取） 自然語句 ： 或，或；可能，也可能；也許，也許 例 “此報(bào)告或材料不可靠，或計(jì)算有錯(cuò)誤” 定義 ： 選言支不同真 結(jié)構(gòu) ： 選言支（可能情況） 聯(lián)結(jié)詞（不能同時(shí)存在） 要么 p，要么 q p∨q∨r （ ∨ 為不相容析?。? 自然語句 ： 不是，就是；或，或，二者不可兼得等 p q p∨q t t t f f t f f f t t f 真值： 至少有一存在，但不能同時(shí)存在即至少且至多 有一存在，也即唯一支真 唯一支真， ∨ 真 p∨ q的真值表 情況組合 符號(hào) 命題真假 ， 松死 p, q 假 f ， 松未死 p,172。特征：有真假＝真值 判斷 ： 被斷定了的命題?！? 長城”－“萬里長城”。但語詞定義卻是揭示語詞所表達(dá)的意義的定義，即一個(gè)語詞本身的意義，而不是語詞所表達(dá)的概念的意義。 它由三部分組成：被定義項(xiàng)（ Ds ）、定義項(xiàng)（ Dp）和聯(lián)項(xiàng)。 我們可以說：所有 p都是 s，有的 s是 p， 有的 s不是 p。 “ 分名 ” 的用法 ， 就是普遍概念 。 本質(zhì)屬性： 特有屬性中根本性的、基礎(chǔ)性的，決定其他特有屬性的那些 特有屬性。任何邏輯形式都包括邏輯常項(xiàng)和邏輯 變項(xiàng)。這實(shí)例叫該形式的反例。 《 新工具 》針對(duì)亞氏的演繹邏輯而提出歸納和訴諸自然和經(jīng)驗(yàn)。 《 墨經(jīng) 》 之 《 小取 》 ，是中國古典邏輯的一個(gè) 名家代表人物 綱要，比較集中完整地討論了邏輯的基本內(nèi)容。邏輯使人嚴(yán)謹(jǐn)。 批判了形式邏輯，研究了辯證思維，構(gòu)造了辯證邏輯的體系 。換言之，你構(gòu)造不出一個(gè)實(shí)例，使得具有這一形式的推理擁有真的前提和假的結(jié)論。 學(xué)習(xí)邏輯的方法 重點(diǎn)是理解；作業(yè)是手段；文本分析是關(guān)鍵 本章概要 ： 邏輯是研究思維的邏輯形式及其基本規(guī)律以及 簡(jiǎn)單邏輯方法的科學(xué)。特有屬性反映為初級(jí)概念，此時(shí)把握的還是對(duì) 象的偶然的性質(zhì)，如 “ 人 ” 的 初級(jí)概念 、 “ 金 ” 的初級(jí)概念。 所謂 “ 總名 ” 的用法 ， 在一定語境中就是單獨(dú)概念 。也叫 s對(duì) p 的 “ 屬種關(guān)系 ” 。 作為名詞的 “ 定義 ” ：陳述一個(gè)概念內(nèi)涵的語句。 真實(shí)定義或?qū)嵸|(zhì)定義揭示概念的內(nèi)涵，也即對(duì)象的特有屬性或本質(zhì)屬性。注意限制性語詞是限定即增加內(nèi)涵，還是僅起描述作用。 重點(diǎn)：概念間關(guān)系；概念的定義與劃分 難點(diǎn)：集合概念 概 述 命題 ： 通過語句反映事物情況的思維形式。p,172。p） → （ q∨r ） 但否定其一，不能肯定剩余的每一個(gè)，只能肯定剩余的析取式 ． ． ． ． ． ． ． 否定肯定式 根據(jù)至少有一支