邏輯學.ppt

邏輯 授課教師：劉愛民 研究室 ：C104 分機 ：1894 邏輯一詞的正名 邏輯──英文譯名 理則學──孫中山譯名 名學──中國傳統名家之學 論理學──日人譯名 邏輯的分類 亞里士多德(Aristotle)傳統邏輯 康德Kant)的超驗邏輯(transcendental logic) 黑格爾(Hegel)的辯證邏輯(speculative logic) 布爾(Boole)的符號邏輯(symbolic logic) 現代數理邏輯──哥代爾(G?del) 亞里士多德傳統邏輯 詞端(term)──主詞(subject)、謂詞(predicate)、繫詞(copula) 判斷(judgement) 三段論式(syllogism) 邏輯聯結符號──聯言(conjunction)、選言(disjunction)、假言(hypothesis) 恆真句、套套邏輯(tautology) 恆假句、矛盾句 (contradiction) 真值表(table of truth) 思想律 思想律(law of thought)：同一律，不矛盾律，排中律 同一律(law of identity) 不矛盾律(law of non-contradiction ) 排中律(law of excluded middle) 矛盾律(law of contradiction )與不矛盾律(law of non-contradiction )的正名問題 根據律(充足理由律) 詭論 古希臘的芝諾詭論(Zeno’s paradox) 《莊子》〈天下篇〉中的惠施詭論 芝諾詭論與惠施詭論的破解之道 「意」「言」之辨──莊子與惠施論魚之樂 芝諾詭論與惠施詭論與微積分的關係 無限大(infinity)與無限小(infinitesimal) 康德純粹理性的二律背反(antinomy) 黑格爾解銷康德二律背反之道 羅素詭論(Russell’s paradox) 羅素詭論的破解之道 哥代爾的不完備性定理(incompleteness theorem)的現代意義 概念 個體概念(individual concept)與類概念(class concept) 虛概念與實概念(real concept) 矛盾(contradictory)與對反(contrary)概念的差異 積極概念與消極概念──「表」與「遮」 共相(universal)與殊相(particular) 以《精神現象學》「感性確定性」的「這一個」(diese)為例，來說明語言之中，所隱含的普遍性格 內涵(intension)與外延(extension) 指謂(denotation)與意涵(connotation) 概念的上下位問題──類(genus)與種(species)的差異問題 論宇(domain of discourse) 存在意涵(existential implication)問題 概念與名言問題──實在論(realism)與唯名論(nominalism) 邏輯蘊涵(implication) 各種岐義解釋 定義(definition) 定義端(definiens)與被定義端(definiendum) 類(genus) 種(species) 種差(specific difference) 性質(property) 偶性(accident) 分類與歸類 分類(division)──從普遍到特殊，因此繫屬於演繹法 歸類(classification) ──從特殊到普遍，因此繫屬於歸納法 量化記號(quantifier) 全稱記號──「對每一」 (for every) 偏稱記號──「存在」(there exists) 全稱命題(universal proposition) 偏稱命題(particular proposition) AEIO四命題 命題形式的分類 屬於「質」(quality)的 屬於「量」(quantity)的 屬於「關係」(relation)的 屬於「程態」(modality)的 「質」的命題 肯定命題(affirmative proposition) 否定命題(negative proposition) 不定命題(indefinite proposition) 「量」的命題 全稱命題(universal proposition) 偏稱命題(particular proposition) 單稱命題(individual proposition) 「關係」命題 定言命題(categorical proposition) 假言命題(hypothetical proposition) 選言命題(disjunctive proposition) 「程態」命題 或然命題(problematic