【傅皓政】臺大：邏輯

 【傅皓政】臺大：邏輯

課程介紹

本課程是以學習初階邏輯 (First-order Logic) 為目標。初階邏輯包括語句邏輯 (propositional logic) 和述詞邏輯 (predicate logic)，語句邏輯是以語句為單位所建構的邏輯，而述詞邏輯是更深入地分析語句的結構而建構的邏輯。由于處理的對象的差異，述詞邏輯顯然需要更多的考慮，然而也因此會有更強大的解釋力。在本課程中，教師將讓學生認識到初階邏輯的語言、各種處理語言的系統(tǒng)及如何演算。

講師介紹 傅皓政

職業(yè)：文化大學哲學系助理教授，臺灣大學哲學博士，研究領域：知識論、科學哲學與方法論、語言哲學

學院介紹

國立臺灣大學，簡稱臺大，前身為日據(jù)時期之臺北帝國大學，是一所創(chuàng)立于臺灣地區(qū)的全科性公立綜合大學，亦為全臺灣規(guī)模最大的研究型大學。2008年被英國《泰晤士高等教育》評為全世界前200名的大學，位列第124名。

[第1集] 導論：什么是邏輯1

[第2集] 導論：什么是邏輯2

[第3集] 命題與論證

[第4集] 命題邏輯語言

[第5集] 語句連接詞

[第6集] 真值表法

[第7集] 真值樹系統(tǒng)

[第8集] 自然演繹法系統(tǒng)

[第9集] 對象 外延 量化詞

[第10集] 一階邏輯語言

[第11集] 日常語言的翻譯

[第12集] 真值樹系統(tǒng)

[第13集] 自然演繹法系統(tǒng)

[第14集] 常見的謬誤