【傅皓政】臺大：邏輯

 【傅皓政】臺大：邏輯

課程介紹

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

講師介紹 傅皓政

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

學(xué)院介紹

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

[第1集] 導(dǎo)論：什么是邏輯1

[第2集] 導(dǎo)論：什么是邏輯2

[第3集] 命題與論證

[第4集] 命題邏輯語言

[第5集] 語句連接詞

[第6集] 真值表法

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

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

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

[第10集] 一階邏輯語言

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

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

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

[第14集] 常見的謬誤