113-1 邏輯思考與應用 期中筆記

CH2 概念、定義與劃分

2-1 概念的概述

概念:對事物「共同性」與「普遍性」的掌握

本質屬性:某類「共同具有」且「特有」的屬性(該類之所以為該類的屬性)

關鍵概念/核心概念:「共同」且「普遍」的本質屬性

概念v.s.觀念

概念:邏輯學;認識、認知

觀念:心理學;態度、反應、聯想

概念的內涵與外延

內涵:概念的屬性、質的描述,回答「是什麼」

外延:概念的對象範圍、量的描述,回答「有哪些」

內涵可以決定外延,但外延不能決定內涵

概念的確定與靈活

確定性:概念在同一條件與時代下,被社會群體所共同約定,不會雞同鴨講

靈活性:概念隨著事物發展與人們的對事物的認知深化,不斷改變

概念的種類

虛概念:虛詞,大多為邏輯常項,即形式字

語氣詞

助詞

介詞

量詞

連接詞

實概念:任何事物對象,為邏輯變項

單獨、普遍、空概念:反映對象的外延數量大小

單獨概念:外延只有一個,「個體」概念 ex. 臺灣、月亮

普遍概念:外延至少兩個以上,「類」概念 ex. 樹、眼睛、衣服、國家

空概念:雖有內涵,但其外延在現實世界中並不存在,「空類」概念

相對空概念:尚未實現,但可以想像 ex. 美人魚、外星人

絕對空概念:自相矛盾、絕不可能實現、無法想像 ex. 方的圓、未婚的寡婦

實體、屬性概念:反映實物或者抽象的概念

實體概念:佔據特定時空的具體之物,「實物」概念 ex. 學生、女人、椅子、汽車

肯定、否定概念:反映具有或不具有的概念

集合、非集合概念:反映是否為整個集合體的概念

click to edit

2-2 概念間的外延關係

2-3 定義

CH1 導論

1-2 思維、語言與邏輯

思維的形式結構

邏輯常項:不變,有著確定的意涵 ex. + =

邏輯變項:可變,表示任何具體內容素材,可任意代換 ex. XYZ

命題的形式結構

推理的形式結構

語言

語言的基本構成要素

基本符號

語形規則

語義規則

自然語言與人工語言

自然語言

表意性

指謂性

造成

歧義性

模糊性

依賴語境

交際性

人工語言

一義性

精確性

造成

失去豐富性

消除自然缺陷

簡明性

思維、語言與人生

收集⭢ 處理⭢ 表達

我們控制語言,還是語言控制我們?

語詞和概念決定了人類思想與行為,並以多種形式控制我們的生活與觀念

我們的語言決定我們是誰,我們的語言便是我們的意識

我的語言之界限,就是我的生活之界限

1-3 學習邏輯的意義與方法

意義

提高學習效果

準確表達與論政自我思想

進行有效推理、探求新知

開發智力和提高工作效率

快速揭露謬誤和駁斥詭辯

方法

注意理論和實際的聯繫

勤於思考,多做習題

理解和掌握邏輯學的基本概念和原理

回歸既有的邏輯天賦

理性使我們有特殊的能力,來合理地決定「信」什麼和「做」什麼

1-1 什麼是邏輯學

邏輯的主要含義

客觀事物的規律

某種理論觀點

思維的結構與規則

邏輯學

邏輯:敘事的條理

邏輯學:一門研究思維結構、形式及其規律的學科

研究對象:思維

屬性概念:反映某種屬性,不佔特定具體時空,「抽象」概念

性質概念:反映事物對象本身的性質或特性 ex. 聰明、美麗、價值、顏色

關係概念:反映事物對象和其他對象之間的關聯,需兩個對象以上 ex. 大於、比較、師生、壓迫、認識

肯定概念:具有某種屬性的概念,「正」概念 ex. 正義、邪惡、美麗、成年人、有權、公平

否定概念:對象不具有/缺乏某種屬性,「負」概念 ex. 不公不義、不邪惡、不美麗、非成年人、無權、不公平
【注意】
・帶有否定字樣未必是否定概念 ex. 非洲、不丹
・對普遍概念才能具體話 ex. 非台北?
・否定總是相對於某個特定對象範圍而言,由否定和肯定概念所組成的更普遍概念稱為論域 ex. 大學生與非大學生的論域是學生

集合概念:以整體觀之的概念,各組成部分沒有整體的性質 ex. 森林、聯合國、艦隊、叢書、花卉、人類

非集合概念:表達某類事物的共同性,類具有的性質為每個個體所具有 ex. 樹、國家、艦艇、書、花、人

是否為集合概念,是相對於意義上的使用而確定的

有無重合

相容:有重合

不相容:完全沒重合,又稱「全異」或「排斥」關係,
符號 S ≠ P or S ∩ P = ∅

全同關係:完全重合,反映同一類事物,符號 S = P

屬種關係:又稱「真包含」關係,符號 S ⊃ P

種屬關係:又稱「真包含於」關係,符號 S ⊂ P

交叉關係:又稱「部分重合」關係,符號 S ∩ P

矛盾關係:S ≠ P, S + P = M ex. 黑色+非黑色=顏色

反對/對立關係:S ≠ P, S + P < M ex. 黑色+白色<顏色

若論域M變,關係有可能變 ex.
論域是實數,有理數和無理數是矛盾關係
論域是複數,有理數和無理數是反對關係

image

image

概念的限制與概括

限制:屬 ⭢ 種,增加內涵、減少外延,
屬概念+某種內涵=種概念

概括:種 ⭢ 屬,減少內涵、增加外延,
種概念-某種內涵=屬概念

增詞法:加上限制詞 ex. 人 ⭢ 女人 ⭢ 美麗的女人

換詞法:以種概念取代 ex. 動物 ⭢ 人 ⭢ 許庭臻

【注意】
・限制不當:限制只能在屬種之間進行,不能在整體與部分 ex. 人 ⭢ 頭手腳 是分解不是限制
・多餘限制:視實際需要而定,切莫畫蛇添足
・單獨概念不能限制 ex. 孔子 無論怎麼添加、換詞,都是指同一對象

除去限制詞 ex. 故意殺人罪 ⭢ 殺人罪

往上擴大到屬概念詞 ex. 動物 ⭢ 生物、繪畫 ⭢ 藝術

【注意】
・概括不當:同限制不當,只能在屬種間進行
・越級/虛偽概括:應逐級過度到鄰近的屬概念 ex. 警察 ⭢ 公務人員 ✅ 警察 ⭢ 生物 ❌
・最普遍概念不能概括 ex. 存在、對象 沒有更上位的屬,不能概括

定義:澄清概念內涵或外延的方法,又稱界說、界定

形式:Ds = Dp
Ds:被定義項,需要被解釋、說明的概念
Dp:定義項,用來解釋、說明被定義項的概念
=:連結Ds跟Dp

實質定義/內涵定義
方法:種差+鄰近屬概念

  1. 將被定義概念放入最相近且適當的屬中
  2. 找出與同類有所區別的特性,即為種差

性質定義:特有性質 ex. 人是一種能夠製造工具的動物

發生定義:構成、產生、來源或原因 ex. 純水是由2個氫原子和1個氧原子化合而成的化合物

功用定義:功能、效果或特殊用途 ex. 智慧型手機就是有開放作業系統的手機

關係定義:與其他對象之間的特殊關係 ex. 偶數就是能被2整除的整數

click to edit

規則

外延定義

窮舉定義:列舉幾個外延,適用於外延對象數目很多或無限大 ex. 明星就是劉德華、周杰倫、蔡依林等人

實指定義:直接用手指

窮舉定義:將外延一一列出來,僅適用於有限或數量少的情形 ex. 鈍氣是氦氖氬氪氙氡

語詞定義:
指定、規定語詞的意義,並非說明內涵

規定的語詞:對於某創新與詞或符號,人為規定並賦予其確定意義 ex. 成年人(在刑法中)是指年滿18歲的人

說明的語詞:對多義或艱澀罕用的詞彙,給予說明或解釋的定義 ex. 囹圄就是監獄、馬子就是女朋友

定義兩端必須相等:
定義項與被定義項的外延必須全同相等

定義不能循環:
定義項中不能直接或間接包含被定義項

定義過寬:定義項的外延>被定義項的外延

定義過窄:定義項的外延<被定義項的外延

同語反覆 ex. 邏輯就是研究邏輯的學問

循環定義 ex. 夜者,日之反

定義應用肯定形式:
一般必須用肯定的語句形式和正概念來下定義

定義必須清楚確切:
不能使傭含混模糊、晦澀、比喻來下定義

作用

理解、認識與鞏固知識:定義的綜合作用

消除模稜、澄清歧見、避免誤解:定義的分析與交流作用

影響態度、創造新概念:定義的說服和創造作用

劃分:將一個屬概念分為幾個種概念的邏輯方法

劃分的種類和方法

層次

數量

一次劃分:對母項一次劃分完畢,只包含母項和子項兩個層次 ex. 將星體分為恆星、行星、衛星、彗星

連續劃分:多層子項的劃分 ex. 數分為實數虛數,實數分為有理數無理數,有理數分為整數和分數

二分法:劃分成兩類具有矛盾關係的子項,反映對象有無某種屬性 ex. 學生分為大學生和非大學生

多分法:劃分為三個或以上子項,互為反對關係 ex. 小說依篇幅不同分為微型小說、短篇小說、中篇小說、長篇小說

等級劃分:根據某種標準或個人主觀感受,將母項分為不同等級 ex. 成績等級制

劃分的規則

劃分前後必須相等:各子項外延之總和必須等於母象的外延

劃分根據必須同一:每次劃分必須只用同一個標準 ex. 蘋果

各子項必須互相排斥:各子項外延不能重疊,需皆為全異關係

各子項必須是同一層次:按對象概念的層次層層劃分,不可越級

劃分不全

多出子項

CH3 命題邏輯

3-1 命題和推理概述

推理

垂直思考(深度)v.s. 水平思考(廣度)

種類:根據推理的前提和結論是否有蘊含蘊含關係

或然性推理:前提不蘊含結論,若前提為真,則結論不一定為真;講求「可靠性」,又稱「歸納推理」(個別 ⭢ 一般)

必然性推理:前提蘊含結論,若前提為真,則結論必為真;講求「有效性」,又稱「演繹推理」(一般 ⭢ 個別)

結構:前提+推理連項+結論

定義:由已知命題(前提)推倒到未知命題(結論)的推論過程

語句與命題

語句與命題並非一對一關係,同一語句可對應不同命題,同一命題可由不同語句描述

命題:有真假值的陳述句

命題的形式和種類

廣義模態命題

規範命題

狹義模態命題

非模態命題

複合命題:本身還包含其他命題,其中各命題稱「支命題」,
聯結支命題之詞稱「聯結詞」或「連接詞」,
聯結詞決定命題形式
廣義:有聯結詞即為複合命題

否定命題

假言命題

選言命題

聯言命題

簡單命題:本身不包含其他命題,
又稱「基本命題」、「原子命題」

關係命題

性質命題

任何命題都有真假

任何命題都在描述某些事

語句

行為

語謂行為

語效行為

語旨行為

功能

感嘆句

祈使句

疑問句

陳述句

3-2~4 各個命題及其推理

聯言

選言

假言:有條件的,又稱「條件命題」

充分條件(如果,則)

必要條件(只有,才)

充要條件(若且唯若)

遞進關係

轉折關係

並列關係

相容:一個以上為真

不相容:只有一個為真

有效推理 v.s. 無效推理:合乎邏輯稱為有效,反之為無效

保證只要前提為真,結論必為真

無程度之分,只有完全有效或完全無效

具必然性與普遍性,只取決於推理形式結構,與命題真假無關

條件、因果、推論、詞義、假設、時序、允若威脅

有p必有q,無q必無p

無p必無q,有q必有p

蘊含怪論 paradox of implication

好的選言命題選項:既排斥又窮盡(矛盾?)

條件又稱前件,結果又稱後件

邏輯真假值正確,在生活經驗中不一定正確

p假,無論q真假,p ⭢ q總是真(假命題蘊含任何命題):前提p已經接受為假,則不管推出什麼q都可以接受
q真,無論p真假,p ⭢ q總是真(真命題被任何命題蘊含):結論q已經是事實,則無論前提p是什麼都可以

有p必有q,無p必無q,反之亦然

假言易位推理:p ⭢ q 等同於 q ⭠ p

假言連鎖推理 hypothetical sorites

否定

否定

雙重否定

複合命題的否定

否定聯言

否定相容相容選言

否定充分條件

否定必要條件

De Morgan

否定不相容選言

否定充要條件

3-5 複合命題及其推理

假言選言:2個假言+1個選言,
又稱兩難推理 dilemma

簡單構成/肯定

簡單破壞/否定

複雜構成/肯定

複雜破壞/否定

2個選項不一定是正確的,在現實中要適時跳脫框架,考慮其他可能

反三段論:p.q推出r,若r不成立且p成立,則q不成立
p1・p2・p3 ⋯⋯ pn ⭢ q
p ( 1,2,3,...,n ) 至少一為假 ⭠ q為假

歸謬式推理:若從一命題p出發,推理出自相矛盾的結論q & ~q,則此命題p必定為假

溯因推理:從已知事實q出發,透過經驗假設 p ⭢ q,倒推回p的結論
*為提高結論可靠度,必須盡可能猜測各種p

CH4 命題邏輯之有效性判定

4-1 演繹邏輯的前提、結論及其推理

有效推理:從前提可以「必然地」得出結論,有「必然性」,結論能夠被確定

普遍性:在任何解釋下都有效,都具有保真性

保真性:有效地把前提的真傳遞到結論也為真

健全的(sound)論證:所有前提為真的有效推理

若所有前提為真,且推理有效,則結論必真
若所有前提為真,且結論為假,則推理無效(反例法)

4-2 重言式及其判定方法

真值連結詞( ~ ,・, ∧ , ∨ , ⊻ , → , ← , ↔︎ ):又稱運算符(operator),為邏輯常項,具有「真值功能完備性」(任何一組都足以描述所有一切可能複合命題)

真值形式( ~p , pq , pq , ... ):由連結詞語與命題變項構成,簡稱「公式」

形構規則

任何pqr等原子命題符號都是合式公式

如果AB是合式公式,則ABABAB也是合式公式

若且唯若符合以上兩條才是合式公式

・~ p 與被否定的命題真假值相反
・p・q 當兩聯言支都真時,才為真,否則為假
・p ∨ q 當兩選言支都假時,才為假,否則為真
・p → q 當前件真而後件假時,才為假,否則為真
・p ↔︎ q 當前後兩件同真貨同假時,才為真,否則為假

真值函數(f(p,q,...)):給定p,q,輸出真假值;一個真值函數可用不同的真值形式表達

特性

真值形式

恆假的:不論命題變元如何賦值,其函數值總是假的

偶真的:不論命題變元如何賦值,其函數值有真也有假

恆真的:不論命題變元如何賦值,其函數值總是真的

矛盾式 contradiction:表示恆假的真值函數的真值形式,亦稱恆假式

偶真式 contingency:表示有真也有假的真值函數的真值形式,亦稱可真式、適真式、偶然式、協調式、可滿足式、未確定式

重言式 tautology:表示恆真的真值函數的真值形式,亦稱恆真式、套套邏輯

重言式與推理有效的判定

演繹大定理

4-3 命題邏輯的有效性判定

判斷重言式的方法

歸謬賦值法:又稱逆真值表法

樹形圖法

真值表法

自然演繹法:又稱形式證明法

18大規則

直接證法

條件證法

歸謬證法