高级中学选修科目逻辑课程标准.doc

高級中學選修科目邏輯課程標準第一目 標壹、 了解邏輯的基本內容，認識邏輯在日常思考及認知活動上的重要性,使觀念、 思想和事理更爲清楚，推理更爲正確°貳、 熟練基本邏輯的推理技術和方法，並能應用於日常思考中參、 認識語言的基本功能和定義的方法，增進邏輯分析的能力肆、 培養敏銳的邏輯感，並進而發展批判的思考習慣和講理態度伍、 協助學生認識科學方法、科學結構和科學典範第二時間分配第二或第三學年每週授課二節第三教材綱要壹、導論（簡介邏輯的意義及功能）_'論證'前提，與結論㈠基本詞語（term）論證，前提，推論（inference） > 推理（reasoning） > 語句，命題（proposition） > 敘說（statement） °（二） 前提與結論的次序°（三） 結論指示詞與前提指示詞四） 前提的省略與結論的省略二、 論證的圖解三、 論證的辨認四、 含多個論證的段落和含多個段落的單一論證五、 演繹論證和歸納論證六、 真假（truth） > 有效性（validity） > 與健全性（soundness）七、 論證形式【備註】：1•在本單元中，旨在定義演繹論證的有效性和健全性，以及演繹論證 與歸納論證的區別，至於詳細講解可在「肆、歸納法與科學方法」講歸法時進行。

2. 注意論證有效性的定義，它與前提或結論實際真假無關貳、語言一、 語言的使用（一） 語言的三種基本功能（二） 充當多功能的討論（三） 情感字詞（四） 同意和不同意的種類（五） 情感中立的語言【備註】：講解語言的三種基本功能時，要注意語言的「多」功能性二、 謬誤（fallacies）（一） 什麼是謬誤？（二） 種種謬誤1 .訴諸無矢［］（argument from ignorance）2. 訴諸不適當權威（appeal to inappropriate authority）3. 複合問題（complex question）4. 人身攻擊 (argument ad hominem)5. 相似非難(you too) 6 偶例(accident)7.逆偶例(converse accident)&假因(false cause)9. 乞求爭點(begging the question)10. 訴諸暴力(appeal to force)11. 稻草人(straw man)12. 片面辯護(special pleading)13. 輕率推廣(hasty generalization)14. 一語多義 (equivocation)]5.—句多義(ambiguity)16. 強調(accent)17. 合稱 (composition))18. 分稱(division)(%1) 避免謬誤【備註】：1•注意「訴諸無知」中「法庭無罪」原則的解說。

2. 注意「人身攻擊」的例外 > 如對「證人」的攻擊3•注意法庭上律師的「片面辯護」4•謬誤的種類可以斟酌增減 > 說解力求簡明易懂三 ' 定義(%1) 各種爭論與定義(%1) 定義的種類與爭論的解決1 •規糸勺定義 (stipulative definition ) 2•字典定義 (lexical definition )3 •精確定義 (precising definition )4•理論定義 (theoretical definition )5 •誘導定義 (persuasive definition )(%1) 範程(extension)與性含(intension)(%1) 範程定義與性含定義(%1) 種差定義 (definition by genus and difference )【備註】：1 •不必太注意定義的分析，重要的是注意各種定義的特徵和功能2•定義的種類可以斟酌增減，說解力求簡明易懂參、演繹邏輯一、詞句邏輯：語句連詞(%1) 特別符號(symbol)的價値(%1) 簡單(simple)語句與複合(compound)語句(%1) 常詞(constants)與變詞(variables)(%1) 連言(conjunction)(%1) 否言(negation)(%1) 括號(%1) 語句與語句形式(%1) 選言 (disjunction)(%1) 女口言 (conditional)(十)雙如言(biconditional)【備註】:點出自然語文(中文、英文…冲，有的連詞不是真函的(truth-functional)。

二、 語句邏輯：真値表(%1) 複合語句的符示(symbolization)(%1) 真値表的構作(%1) 真値表的分析(%1) 套套言(tautology)，矛盾言(contradiction) > 與適真言(contingency)(%1) 套套涵蘊(tautological implication )與套套等彳直(tautological equivalence)(%1) 真値表法：論證形式與論證有效無效的驗證【備註】：注意「套套言(tautology)」一詞的中譯三、 語句邏輯：語句推演(inference)(%1) 論證 ' 論證形式與推演規則(rules of inference)(%1) 涵蘊規則(rules of implication)1. 肯定前件(modus ponens, MP)2. 否定後件(modus tollens, MT)3. 假言三段論(hypothetical syllogism, HS)4. 選言三段論(disjunctive syllogism, DS)5. 建設二難論(constructive dilemma, CD)6. 吸收(absorption, Abs)7. 簡化 (simplification, Simp)&連言 (conjunction, Conj)9. 添加(Addition, Add) 10•實例應用：利用涵蘊規則證明論證有效(%1) 取代規則(rules of replacement)1. 狄摩根(£)e Morgan's Theorems, Dem )2•交換 (Commutation, Com )3•糸吉合 (association, Assoc )4•分配(distribution, Dist)5 •雙否言(double negation, DN)6•質位同換 (Transposition, Trans)7•如言 (conditional, Cond )8 •雙女口言 (biconditional, Bcond )9 •移出(exportation, Exp )10. 重同(Idem potence, Idem)11・實例應用：利用推演規則證明有效四、 語句邏輯：如言證明與間接證明(%1) 女口言證明 (conditional proof )(二澗接證明(indirect proof)(%1) 無效性的證明(%1) 前提不一致的證明(%1) 前提一致的證明(%1) 有效論式與無效論式五、 述詞(predicate)邏輯：個體，性質，量號與量號符示(%1) 個體(individual)與性質(property)(%1) 全稱量號（三） 存在量號（四） 自由變詞（free variables）與約束變詞（bound variables）（五） 量號符示：日常語句的符示【備註】：述詞邏輯只須講一元連詞和簡單主詞即可。

六、 述詞邏輯：量號推演（一） 量號規則1. 全稱傍9化（universal instantiation, UI）2. 全稱推廣 （universal generalization, UG）3. 存在傍J化（existential instantiation, El）4. 存在推廣 （Existential generalization, EG）5 .量化否定（Quantifier Negation, QN）（二） 實例應用（三） 解釋法與無效性的驗證（四） 前提的一致與不一致七、 范恩（Venn）圖解（一） 分子與類，屬於與包含（二） 空類（empty class）與字類（universal class）（三） 交類（intersection） ' 聯類（union）與補類（complement）（四） 語句的范恩圖解（五） 應用范恩圖解驗證論證的有效無效與前提的一致不一致肆、歸納法與科學方法、歸納法(%1) 歸納法與演繹法的區別(%1) 歸納法的種類1 •歸糸內推廣 (inductive generalization )⑴全稱(universal)歸納推廣⑵統計(statistical)歸納推廣2•歸納類化(inductive analogies)⑴全稱歸納類化⑵統計歸納類化3 •歸類假設(abduction )(%1) 歸類論證的強弱二、 彌爾(J.S.Mill)的因果探求法(%1) 共同法 (method of agreement)(%1) 差異法 (method of difference )(%1) 同異倂 同法 (joint method of agreement and difference )(%1) 剩餘法(method of residues)(%1) 共變法(method of concomitant variation )三、 機率與歸納法(%1) 機率的兩種意義1 •相對頻率(relative frequency )2信念的合理程度(rational degree of belief )(%1) 機率的演算(probability calculus) 1 •基本規則—basic rules^2. 否言規貝negation rules'^3. 連言規貝卜conjunction rules'^4. 選言規則 ^disjunction rules'^5. 貝斯定理一Baye's theorem^(%1) 機率與因果關係四、 科學說明與科學定律(_)科學說明的模式1 .演繹說明—deductive explanation^與統計說明―statistical explanation^ 的模式2•科學說明的必備條件3. 對個別事件(individualevents-"的說明與對科學定律的說明(二)科學定律的驗證1 •科學假設與證據之間的關係(1) 觀察或實驗對科學假設之支持(2) 觀察或實驗對科學假設之否證2科學假設與科學定律五、 科學理論(_)科學理論中的抽象槪念1 •抽象槪念在科學理論中的重要性2•抽象槪念與具體現象之間的關係(二)科學理論的變遷1 •科學家如何修改科學理論2•科學家如何放棄科學理論3•科學家如何接受新的科學理論第四實施方法壹、教學要點一、基本邏輯當做一個課程或科目，雖然時常包含演繹邏輯、語言和歸納法 與科學方法三部分，但「邏輯-學的核心通常是指演繹邏輯而已， 語言和歸納法與科學方法這兩部分，乃是在邏輯思考時應先做語言分 析，並應用邏輯來探視科學的基本方法、理論和架構。

二、本科目之教學宜包含演繹邏輯和語言分析的全部，至於歸納法和科學方法部分，則視時間作彈性選擇三、演繹邏輯的教學應「有系統」的進行，這主要。