【傅皓政】臺(tái)大：邏輯

 【傅皓政】臺(tái)大：邏輯

課程介紹

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

講師介紹 傅皓政

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

學(xué)院介紹

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

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

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

[第3集] 命題與論證

[第4集] 命題邏輯語(yǔ)言

[第5集] 語(yǔ)句連接詞

[第6集] 真值表法

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

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

[第9集] 對(duì)象 外延 量化詞

[第10集] 一階邏輯語(yǔ)言

[第11集] 日常語(yǔ)言的翻譯

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

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

[第14集] 常見(jiàn)的謬誤