视频选集 逻辑学入门课程 Ch.1-1 導論_什麼是邏輯_ _ 傅皓政(480P)(720P_HD) Ch.1-2 說話與推理_推理的有效性 _ 傅皓政(480P)(720P_HD) Ch.2-1 命題與論證_論證結構 _ 傅皓政(480P)(720P_HD) Ch.2-2 論證的兩個重要概念 _ 傅皓政(480P)(720P_HD) Ch.2-3 語句和命題 _ 傅皓政(480P)(720P_HD) Ch.2-4 命題的判準與論證形式 _ 傅皓政(480P)(720P_HD) Ch.2-5 充分條件與必要條件 _ 傅皓政(480P)(720P_HD) Ch.2-6 有效論證的定義 _ 傅皓政(480P)(720P_HD) Ch.3-1 命題邏輯語言_日常語言的複雜性與歧義 _ 傅皓政(480P)(720P_HD) Ch.3-2 含混性_開放性_與形式語言的必要性 _ 傅皓政(480P)(720P_HD) Ch.3-3 命題邏輯語言 _ 傅皓政(480P)(720P_HD) Ch.3-4 句式結構樹_關於句式的重要觀念 _ 傅皓政(480P)(720P_HD) Ch.4-1 古典邏輯語意學_語意學 _ 傅皓政(480P)(720P_HD) Ch.4-2 古典邏輯語意學預設 _ 傅皓政(480P)(720P_HD) Ch.4-3 連接詞語意 _ 傅皓政(480P)(720P_HD) Ch.4-4 恆真句_矛盾句與偶真句 _ 傅皓政(480P)(720P_HD) Ch.4-5 句式之間的關係 _ 傅皓政(480P)(720P_HD) Ch.4-6 一群句式之間的關係 _ 傅皓政(480P)(720P_HD) Ch.5-1 真值表法_結構_模型 _ 傅皓政(480P)(720P_HD) Ch.5-2 真值表法演算步驟_無效論證與反例結構 _ 傅皓政(480P)(720P_HD) Ch.5-3 無前提或無結論的論證 _ 傅皓政(480P)(720P_HD) Ch.5-4 可決定性與簡易真值表法 _ 傅皓政(480P)(720P_HD) Ch.6-1 函映完備性_具備函映完備性的連接詞集合與謝菲爾線 _ 傅皓政(480P)(720P_HD) Ch.6-2 選言標準式_連言標準式_等值句式的DNF與CNF _ 傅皓政(480P)(720P_HD) Ch.7-1 真值樹法_語法蘊涵關係與兩種證明策略 _ 傅皓政(480P)(720P_HD) Ch.7-2 真值樹的結構與規則_基本類型 _ 傅皓政(480P)(720P_HD) Ch.7-3 真值樹系統規則 _ 傅皓政(480P)(720P_HD) Ch.7-4 有效論證實例 _ 傅皓政(480P)(720P_HD) Ch.7-5 無效論證實例_與一致性的證明 _ 傅皓政(480P)(720P_HD) Ch.8-1 公理系統_結構與公理的取代句式 _ 傅皓政(480P)(720P_HD) Ch.8-2 定理與論證的有效性 _ 傅皓政(480P)(720P_HD) Ch.9-1 自然演繹法_特性與分類_與樹狀自然演繹法規則 _ 傅皓政(480P)(720P_HD) Ch.9-2 樹狀自然演繹法範例 _ 傅皓政(480P)(720P_HD) Ch.9-3 線性自然演繹法等值規則 _ 傅皓政(480P)(720P_HD) Ch.9-4 線性自然演繹法蘊涵規則 _ 傅皓政(480P)(720P_HD) Ch.9-5 線性自然演繹法範例 _ 傅皓政(480P)(720P_HD) Ch.10-1 傳統語詞邏輯_語詞邏輯的起源與句型結構解析 _ 傅皓政(480P)(720P_HD) Ch.10-2 三段論的論證結構_樣態與有效性 _ 傅皓政(480P)(720P_HD) Ch.10-3 三段論範例與文式圖 _ 傅皓政(480P)(720P_HD) Ch.10-4 文式圖範例 _ 傅皓政(480P)(720P_HD) Ch.10-5 作業講解 _ 傅皓政(480P)(720P_HD) Ch.11-1 述詞邏輯語言_必要性與新元素 _ 傅皓政(480P)(720P_HD) Ch.11-2 述詞邏輯語言與句式說明 _ 傅皓政(480P)(720P_HD) Ch.11-3 一元述詞的翻譯_二元關係述詞的重要性質 _ 傅皓政(480P)(720P_HD) Ch.12-1 日常語言與邏輯語言_量詞的翻譯原則 _ 傅皓政(480P)(720P_HD) Ch.12-2 二元述詞的翻譯 _ 傅皓政(480P)(720P_HD) Ch.12-3 常用語詞翻譯 _ 傅皓政(480P)(720P_HD) Ch.12-4 論域 _ 傅皓政(480P)(720P_HD) Ch.12-5 量詞與連接詞 _ 傅皓政(480P)(720P_HD) Ch.12-6 確定描述詞 _ 傅皓政(480P)(720P_HD) Ch.13-1 真值樹法 (述詞邏輯)_推論規則說明 _ 傅皓政(480P)(720P_HD) Ch.13-2 有效論證實例說明 _ 傅皓政(480P)(720P_HD) Ch.13-3 無效論證實例說明_不可決定性 _ 傅皓政(480P)(720P_HD) Ch.13-4 有效論證實例_無效論證實例 _ 傅皓政(480P)(720P_HD) Ch.14-1 自然演繹法 (述詞邏輯)_推論規則_否定規則與個例規則 _ 傅皓政(480P)(720P_HD) Ch.14-2 通稱規則 _ 傅皓政(480P)(720P_HD) Ch.14-3 存在預設 _ 傅皓政(480P)(720P_HD) Ch.14-4 自然演繹法實例(一) _ 傅皓政(480P)(720P_HD) Ch.14-5 自然演繹法實例(二) _ 傅皓政(480P)(720P_HD) Ch.15-1 常見的謬誤_謬誤的分類與形式謬誤 _ 傅皓政(480P)(720P_HD) Ch.15-2 不相干的謬誤 _ 傅皓政(480P)(720P_HD) Ch.15-3 誤導的謬誤 _ 傅皓政(480P)(720P_HD) Ch.15-4 假定的謬誤 _ 傅皓政(480P)(720P_HD)
