xxxfreesexmoves-haodiaocao这里只有精品视频-欧美性受黑人性爽-欧美性受xxxxxx黑人xyx性爽|www.jsyyzsb.com

　　奎因是20世紀(jì)世界著名的邏輯學(xué)家與哲學(xué)家。本書是對(duì)奎因邏輯哲學(xué)思想的初探�？蛑铝τ跒檫壿嫷陌l(fā)展注入哲學(xué)的動(dòng)機(jī)，把邏輯與集合論和其他科學(xué)區(qū)分開來，確立了邏輯的范圍。本書分別在句子邏輯、量化邏輯和模態(tài)邏輯等方面討論了奎因的邏輯思想，進(jìn)而以邏輯一元論來描述奎因的邏輯觀�？虻倪壿嬘^基本上是通過對(duì)一階邏輯的特征描述建立起來的。在邏輯常項(xiàng)和邏輯系統(tǒng)兩個(gè)問題上，本書探討了奎因邏輯哲學(xué)的延伸問題�？虿]有觸及塔爾斯基的邏輯常項(xiàng)問題，也沒有探討什么是邏輯系統(tǒng)的問題，而是以語義學(xué)為核心進(jìn)行論述的，這與他的哲學(xué)動(dòng)機(jī)有密切的關(guān)系。

第1章 導(dǎo)論 1
1.1 奎因生平簡介 1
1.2 奎因的邏輯研究 3
1.3 什么是邏輯哲學(xué) 6
1.4 奎因的邏輯哲學(xué) 9
第2章 句子邏輯 12
2.1 真之載體 12
2.2 真值函數(shù) 19
2.3 句子邏輯演算 29
2.4 多值邏輯 34
2.5 直覺主義句子邏輯 45
2.6 邏輯與經(jīng)驗(yàn) 57
第3章 量化邏輯 61
3.1 傳統(tǒng)詞項(xiàng)邏輯 62
3.2 單稱句子的邏輯形式 68
3.3 量詞 82
3.4 量化與本體論 86
3.5 其他量化 91
第4章 模態(tài)邏輯 95
4.1 信念句子 96
4.2 模態(tài)的三個(gè)層次 102
4.3 可能世界語義學(xué) 106
4.4 弗雷格式信念邏輯 111
4.5 量化模態(tài)邏輯 120
第5章 邏輯一元論 129
5.1 邏輯真句子 129
5.2 奎因的邏輯觀 133
5.3 一階邏輯與集合論 138
5.4 邏輯的變異 140
5.5 邏輯的擴(kuò)張 144
第6章 邏輯常項(xiàng) 154
6.1 邏輯常項(xiàng)問題 155
6.2 塔爾斯基標(biāo)準(zhǔn)的應(yīng)用問題 158
6.3 修正費(fèi)弗曼標(biāo)準(zhǔn) 162
6.4 模態(tài)常項(xiàng) 165
6.5 動(dòng)態(tài)認(rèn)知邏輯 168
第7章 邏輯系統(tǒng) 173
7.1 邏輯系統(tǒng)的概念 174
7.2 代數(shù)語義與證明論語義 179
7.3 抽象邏輯的觀念 183
參考文獻(xiàn) 185