2025日本九道在线视频,国产自产对白一区,日本老熟妇兽交

內(nèi)容簡介

　　本書共6卷，大致按年代順序編輯而成。但出于各卷篇幅方面的考試，有時(shí)也打破了這種順序。第1卷收入兩部論著：《威拉德·范·奧曼·蒯因自傳》和《數(shù)理邏輯》第2卷收入兩部論著：《邏輯方法》和《本體論的相對性及其他論文》第3卷收入兩部論著：《集合論及其邏輯》和《邏輯哲學(xué)》第4卷收入三部論著：《從邏輯的觀點(diǎn)看》、《指稱之根》以及《語詞和對象》第5卷收入兩部論著：《悖論的方式及其他論文》和《信念之網(wǎng)》第6卷收入四部論著：《理論和事物》、《一些離奇的想法——一部不連貫的哲學(xué)辭典》、《真之追求》、《從刺激到科學(xué)》以上6卷收入了蒯因的絕大部分邏輯論著和哲學(xué)論著，只有少數(shù)論著未收入。

作者簡介

　　威拉德·范·奧曼·蒯因，美國著名哲學(xué)家、邏輯學(xué)家，美國分析哲學(xué)和新實(shí)用主義的主要代表人物，對邏輯哲學(xué)、語言哲學(xué)和科學(xué)哲學(xué)都很有研究，對20世紀(jì)50年代后美國分析哲學(xué)的轉(zhuǎn)折和新實(shí)用主義的興起發(fā)揮了關(guān)鍵性作用。

圖書目錄

導(dǎo)言
第一章句子
1.合取、析取和否定
2.條件句
3.多重復(fù)合
4.使用和談?wù)?br />5.談?wù)摼渥雍途渥?br />6.準(zhǔn)引語
7.括號與黑點(diǎn)
8.歸約為三個(gè)初始聯(lián)結(jié)詞
9.歸約為一個(gè)初始聯(lián)結(jié)詞
10.重言式
11.某些重言的形式

第二章量化
12.量詞
13.公式
14.約束、自由、閉包
15.量化的公理
16.定理
17.元定理
18.等值代換
19.存在量詞
20.量詞的分配
21.字母變體

第三章項(xiàng)
22.類和分子
23.邏輯公式
24.抽離
25.等同
26.再論抽離
27.摹狀詞和名字

第四章關(guān)于類的進(jìn)一步理論
28.層次
29.更進(jìn)一步的從屬關(guān)系公理
30.等同事代入性
31.變元的代入
32.進(jìn)一步的結(jié)果
33.邏輯積、和、補(bǔ)
34.包含
35.單類

第五章關(guān)系
36.對和關(guān)系
37.關(guān)系的抽離
38.逆、象、關(guān)系積
39.祖先
40.函數(shù)
41.函數(shù)的抽離
42.作為關(guān)系的等同和從屬

第六章數(shù)
43.零、一、后繼
44.自然數(shù)
45.可數(shù)集合
46.有窮的和無窮的
47.關(guān)系的冪
48.算術(shù)和、積、冪
49.普通算術(shù)恒等式
50.比值
51.實(shí)數(shù)
52.進(jìn)一步的擴(kuò)充

第七章句法
53.形式性
54.句法的初始狀態(tài)
55.原句法
56.定義公式和句式
57.定義量化公理
58.定義定理
59.原句法自適用
60.不完全性

附錄
定理與元定理
定義表
定理和元定理表

參考文獻(xiàn)
人名索引
主題詞索引