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.
論域是實數,有理數和無理數是矛盾關係
論域是複數,有理數和無理數是反對關係
概念的限制與概括
限制:屬 ⭢ 種,增加內涵、減少外延,
屬概念+某種內涵=種概念
概括:種 ⭢ 屬,減少內涵、增加外延,
種概念-某種內涵=屬概念
增詞法:加上限制詞 ex. 人 ⭢ 女人 ⭢ 美麗的女人
換詞法:以種概念取代 ex. 動物 ⭢ 人 ⭢ 許庭臻
【注意】
・限制不當:限制只能在屬種之間進行,不能在整體與部分 ex. 人 ⭢ 頭手腳 是分解不是限制
・多餘限制:視實際需要而定,切莫畫蛇添足
・單獨概念不能限制 ex. 孔子 無論怎麼添加、換詞,都是指同一對象
除去限制詞 ex. 故意殺人罪 ⭢ 殺人罪
往上擴大到屬概念詞 ex. 動物 ⭢ 生物、繪畫 ⭢ 藝術
【注意】
・概括不當:同限制不當,只能在屬種間進行
・越級/虛偽概括:應逐級過度到鄰近的屬概念 ex. 警察 ⭢ 公務人員 ✅ 警察 ⭢ 生物 ❌
・最普遍概念不能概括 ex. 存在、對象 沒有更上位的屬,不能概括
定義:澄清概念內涵或外延的方法,又稱界說、界定
形式:Ds = Dp
Ds:被定義項,需要被解釋、說明的概念
Dp:定義項,用來解釋、說明被定義項的概念
=:連結Ds跟Dp
實質定義/內涵定義
方法:種差+鄰近屬概念
- 將被定義概念放入最相近且適當的屬中
- 找出與同類有所區別的特性,即為種差
性質定義:特有性質 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大規則
直接證法
條件證法
歸謬證法