思维方法：语句逻辑的符号与逻辑语言的翻译 - myweb.PPT

思維方法課程網頁：.tw/~ 第六週： 語句邏輯的符號與邏輯語言的翻譯 一、語句的分類 語句邏輯(sentential logic)：又稱為「命題邏輯」(propositional logic)，它的基本元素是語句(陳述句) 。 語句邏輯只考慮語句和語句之間的關係，而不考慮語句主詞的量。 語句可依「複雜程度」區分為原子語句和複合語句，另外可依「是否有經驗內容」區分為形式語句和實質語句。 一、語句的分類 (一)依複雜程度來區分語句： 1.原子語句：也叫做簡單語句，是語句的最小單位。 例如：「我是人」、 「現在是清晨」、 「這裡是台北」。 2.複合語句：由一個（或一個以上）的原子語句，再加上「語句連接詞」所組成。 例如：「如果我是人，那麼我應該為自己的行為負責」、「現在是清晨而且這裡是台北」。 語句邏輯共有五種語句連接詞。 一、語句的分類 (二)依是否有經驗內容來區分語句： 1.形式語句：沒有經驗內容、純形式化的語句。 例如：p、p ? q、p ? q、p→q、p?q 用小寫英文字母 p, q, r, s, t代表形式語句的原子語句。 2.實質語句：有經驗內容、非純形式化的語句。 例如：「台大在台北」、「玉山是東南亞最高的山」。 用大寫英文字母 A, B,…S, T代表實質語句的原子語句。 依此，論證可分為「形式論證 」和「實質論證 」。 二、日常語言的符號化 五種語句連接詞： 否定連接詞 (negation) ~ 表示：非、沒有、不、不是、不會 並言連接詞(conjunction) ? 表示：和、與、且、而、並且、但是、然而、不過 選言連接詞 (disjunction) ? 表示：或、或者、還是、要嘛…要嘛…、除非…否則… 條件連接詞 (conditional) → 表示：若(如果)…則(那麼)、充分條件、必要條件、只要…、才… 互為條件連接詞 (bi-conditional) ? 表示：若且唯若、等值、恰好如果、充分必要條件 二、日常語言的符號化 (一)否定連接詞： ~ (或 – 、 ? ) 例1：「美國的首都不是臺北」翻成~T 例2：「我不知道張三人在台北」翻成~K 例3： 「我知道張三不是好人」翻成K，而不是~K。 否定連接詞永遠只能放在它要否定的語句前面。 否定連接詞不能用來連接兩個語句。 例如：p ~ q 是錯誤的邏輯表達。 否定連接詞是唯一可直接接在其他語句連接詞後面的。 例如：G ? ~H 否定連接詞否定一個原子語句H 否定連接詞可以用來否定複合語句（但是要加括號）。 例如：~(G ? H) 表示否定G ? H這個複合語句 二、日常語言的符號化 (二)並言(連言)連接詞： ? (或 ∧ ) 例1：「太極拳講究聽勁並且要求盡量不用力」翻成A ? B 例2：「Nike賣球鞋而華碩賣電腦」翻成N ? S 例3：「Nike和Adidas都賣球鞋」翻成N ? A 例4：「小花拿了書，然後跑出去 」翻成B ? R 例5：「台大學生雖然很聰明，但是不用功 」翻成S ? ~H 表達關係的日常語句不可翻成並言，要翻成原子語句。 例如：「張三和李四是朋友」不可翻成C ? L，而是翻成F。 在並言中，連項的前後次序不影響該語句的真假值。 例如：A ? B跟B ? A是邏輯上等值的。 二、日常語言的符號化 (三)(兼容性的)選言連接詞： ? 選言有兼容性的意義，也有排斥性的意義。 1.兼容性選言：例如「你要喝茶還是喝咖啡？」（可同時為真） 2.排斥性選言：例如「你要錢還是要命？」 （只有一個為真） ? 代表兼容性選言，它並不排除兩個選項都成立。 例如：「餐後飲料可以選茶或是咖啡 」翻成T ? C 可以用 ? 來翻譯「除非…否則…」。 例如：「除非你通過考試，否則不能畢業」 你通過考試＝E，你能畢業＝G。這句話翻成E ? ~G 在選言中，選項的前後次序不影響該語句的真假值。 例如：A ? B跟B ? A是邏輯上等值的。 二、日常語言的符號化 排斥性選言： 有些語句中的選言很明顯地是排斥性選言，因為兩個選項不可能同時成立。 例1：「今天是星期四或星期五」 例2：「我現在人在台灣或者我現在人在美國」 排斥性選言就是兼容性選言再加上一個條件：「兩個選項不能同時成立」，即否定兩個選項的並言。 例如：「今天是星期四或者星期五」翻成(A ? B) ? ~ (A ? B) 由於排斥性選言可以透過兼容性選言?來表達，所以不需要多增加一個語句連接詞。 有趣的推理：動物園 張三和李四去動物園玩，看到一個籠子裡關著長頸