Re: [問題] 想請問一下有關哲學系的事
※ 引述《miniblue0828 (喬巴)》之銘言:
: 我對邏輯滿有興趣的 不過不確定到底真正在學什麼
: 有沒有比較具體的說法 因為我要想辦法說服我爸= =
: 想請教一下^^
拿一本邏輯教材的目錄大概就知道啦
緒論
第一章 預備知識
1. 1 集
1. 2 歸納定義和歸納證明
第二章 經典命題邏輯
2. 1 聯結詞
2. 2 命題語言
2. 3 公式的結構
2. 4 語義
2. 5 邏輯推論
2. 6 形式推演
2. 7 析取範式和合取範式
2. 8 聯結符號的完備集
第三章 經典一階邏輯
3. 1 量詞
3. 2 一階語言
3. 3 語義
3. 4 邏輯推論
3. 5 形式推演
3. 6 前束範式
.第四章 可靠性和完備性
4. 1 可滿足性和有效性
4. 2 可靠性
4. 3 極大協調性
4. 4 命題邏輯的完備性
4. 5 一階邏輯的完備性
4. 6 獨立性
第五章 緊致性定理、Lowenheim-Skolem定理、Herbrand定理
5. 1 緊致性定理和Lowenheim-Skolem定理
5. 2 Herbrand定理
第六章 公理推演系統
6. 1 公理推演系統
6. 2 兩種推演系統的關係
第七章 構造性邏輯
7. 1 證明的構造性
7. 2 形式推演
7. 3 語義
7. 4 可靠性
7. 5 完備性
第八章 模態命題邏輯
8. 1 模態命題語言
8. 2 形式推演
8. 3 語義
8. 4 可靠性
8. 5 T的完備性
8. 6 S4和S5的完備性
第九章 模態一階邏輯
9. 1 模態一階語言和形式推演
9. 2 語義
9. 3 可靠性
9. 4 完備性
9. 5 相等符號
雖然邏輯的範圍很廣
不過目前哲學系教的邏輯主要是符號邏輯
換句話說 就是用符號進行邏輯推演。
把邏輯當作一個形式系統。
不過這樣講還是相當模糊、空泛
你可以到書店去翻一下「基本邏輯」或是「數理邏輯」的教材
大概知道在教什麼了
如果懶得到書店
以下google book
1.
http://ppt.cc/6LwF
這本算是很老的書了..
是哲學系的退休教授翻的
2.
是一本相當有名的數理邏輯教材(英文)
http://ppt.cc/-Wwf
哲學系的大一必修-基本邏輯
大概只會介紹命題邏輯和一階邏輯
(大概到這本書的第三章)
不過有老師(楊金穆)會帶到邏輯哲學的東西。
如果要進階一點的東西
比較偏數理邏輯的方向有四大分科:
集合論、模型論、遞歸論、證明論
哲學系有開過集合論和模型論。
你可以到維基百科去查查看這四科在做什麼
這四科都是非常艱澀困難的東西
雖然幾乎每位邏輯學者都會有這四科的知識
但是研究主題通常只能專注在某一科
所以通常你都會看到:
Paul Cohen是集合論家
Tarski是模型論家
誰誰誰是遞歸論家
美國某某大學專做模型論
XX大學專做遞歸論
以上是比較偏向「純邏輯」的方向,比較偏離哲學。
除了哲學家外,數學家與計算機科學家對上面的分科也有貢獻。
做邏輯還有個分支叫邏輯哲學
它探討的問題像是:
什麼是命題?存在問題、述詞和性質、量詞、什麼是真?邏輯推論的語意和語法問題
等等等
比較像是邏輯本身的一些哲學蘊含和基礎
邏輯是分析哲學很重要的工具
心智哲學、真之理論、意義理論都會用到
什麼是分析哲學
請參考
http://mars.pseric.com/archives/135
http://ppt.cc/d!xs
他和你目前在書店看到的尼采、沙特、存在主義
等等著作的風格有著極大的差異
引出第一個連結的第一段:
「
當代分析哲學流行在英美語系國家,故「分析哲學」往往被視為「英美哲學」的同義語。
分析哲學不是一個學派,而是一種運動,分析哲學家們共用相近的方法──語言和邏輯分
析,以切入各種哲學議題──傳統的、新興的、緣於分析方法所產生的新問題。
分析哲學一般公認源自弗列格(G.Frege),弗列格本來是個數學家,他的研究工作主要在
於數理邏輯,他被尊為「現代邏輯之父」和「現代語言哲學之父」、「現代分析哲學的奠
基人」等等。在弗列格時代,心理主義盛行,主張邏輯法則不過是人的心理法則,因此邏
輯法則也應該由對心理學的經驗科學研究來考察,但弗列格反對心理主義,主張邏輯是一
形式化的學科,不能由經驗科學來揭露,邏輯法則一點也不是心理法則,哲學應該建立在
邏輯分析之上。於是開始引發哲學和科學的定位問題。
」
用比較酸的說法(引自第二個連結):
「
分析哲學,通常是由一群無聊的傢伙,針對某些一般社會大眾不關心、頭腦正常的人不在
意的問題,例如「一公尺有多長」、「『現任法國國王是禿頭』為真嗎?」等,不斷地進
行一系列的筆戰、爭論與嘴砲,彼此會接力在一些學術期刊上PO文,囂張一點的直接出書
,並動輒利用一些邏輯符號來嚇唬人。由於強調理性論辯,因此過程相當溫和,雙方通常
都是很有禮貌地在互幹。
」
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 118.169.227.106
※ 編輯: Hseuler 來自: 118.169.227.106 (02/05 13:54)
※ 編輯: Hseuler 來自: 118.169.227.106 (02/05 13:57)
推
02/05 17:20, , 1F
02/05 17:20, 1F
→
02/05 20:24, , 2F
02/05 20:24, 2F
→
02/05 20:24, , 3F
02/05 20:24, 3F
→
02/05 20:24, , 4F
02/05 20:24, 4F
→
02/05 20:25, , 5F
02/05 20:25, 5F
→
02/05 20:25, , 6F
02/05 20:25, 6F
推
02/06 00:51, , 7F
02/06 00:51, 7F
→
02/06 00:52, , 8F
02/06 00:52, 8F
→
02/06 00:52, , 9F
02/06 00:52, 9F
→
02/06 00:53, , 10F
02/06 00:53, 10F
→
02/06 00:54, , 11F
02/06 00:54, 11F
→
02/06 00:54, , 12F
02/06 00:54, 12F
→
02/06 00:55, , 13F
02/06 00:55, 13F
→
02/06 00:55, , 14F
02/06 00:55, 14F
→
02/06 00:56, , 15F
02/06 00:56, 15F
→
02/06 00:57, , 16F
02/06 00:57, 16F
→
02/06 00:58, , 17F
02/06 00:58, 17F
→
02/06 00:59, , 18F
02/06 00:59, 18F
→
02/06 01:00, , 19F
02/06 01:00, 19F
→
02/06 01:00, , 20F
02/06 01:00, 20F
→
02/06 01:01, , 21F
02/06 01:01, 21F
→
02/06 01:01, , 22F
02/06 01:01, 22F
→
02/06 01:02, , 23F
02/06 01:02, 23F
→
02/06 01:02, , 24F
02/06 01:02, 24F
→
02/06 01:03, , 25F
02/06 01:03, 25F
→
02/06 01:04, , 26F
02/06 01:04, 26F
→
02/06 01:04, , 27F
02/06 01:04, 27F
→
02/06 01:05, , 28F
02/06 01:05, 28F
→
02/06 01:05, , 29F
02/06 01:05, 29F
→
02/06 01:06, , 30F
02/06 01:06, 30F
→
02/06 01:07, , 31F
02/06 01:07, 31F
→
02/06 01:08, , 32F
02/06 01:08, 32F
→
02/06 01:09, , 33F
02/06 01:09, 33F
→
02/06 01:10, , 34F
02/06 01:10, 34F
→
02/06 01:10, , 35F
02/06 01:10, 35F
→
02/06 01:11, , 36F
02/06 01:11, 36F
→
02/06 01:12, , 37F
02/06 01:12, 37F
→
02/06 01:13, , 38F
02/06 01:13, 38F
→
02/06 01:14, , 39F
02/06 01:14, 39F
推
02/06 01:15, , 40F
02/06 01:15, 40F
→
02/06 01:15, , 41F
02/06 01:15, 41F
推
02/20 22:40, , 42F
02/20 22:40, 42F
討論串 (同標題文章)