視讀邏輯學(xué)

譯者序
什么是邏輯
命題研究
對(duì)當(dāng)關(guān)系的邏輯方陣圖
三段論
連接詞邏輯
萊布尼茲定律
歸謬法
新工具論
弗雷格的量詞
語(yǔ)境原則
命題演算
康托爾的集合論
連接詞的效用
羅素悖論
致命的缺陷
表層語(yǔ)法的難題
羅素理論體系
維特根斯坦的邏輯圖像
卡納普和維也納學(xué)派
容許原則
希爾怕特的證明論
哥德?tīng)柕某霈F(xiàn)
哥德?tīng)柕牟煌耆远ɡ?
證明論的相關(guān)聯(lián)系
邏輯連接詞
維特根斯坦的真值表
發(fā)現(xiàn)重言式
數(shù)字電子學(xué)的邏輯門(mén)電路
一臺(tái)自動(dòng)販賣(mài)機(jī)
圖靈和神秘的編碼
歐幾里得的公理方法
萊布尼茲的證明方法
矛盾的濫用
連接詞的規(guī)則
語(yǔ)法敏感性
謂詞演算
模型論的符號(hào)學(xué)
希爾伯特的遞歸模型
有限的規(guī)則無(wú)限的產(chǎn)物
基本說(shuō)明
證明論和形式語(yǔ)言
塔爾斯基的真值條件
實(shí)踐中的形式符號(hào)學(xué)
構(gòu)思一個(gè)肥皂劇
人工智能肥皂劇的程序語(yǔ)言
圖靈的人工智能秘訣
悖論問(wèn)題
悖論能夠避免嗎
類(lèi)型論
塔爾斯基解決說(shuō)謊者悖論的方
揮之不擊的悻論
哥德?tīng)柕牟煌耆远ɡ?
哥德?tīng)柖ɡ淼膬r(jià)值
“停機(jī)問(wèn)題”
哥德?tīng)栕C明的極限
芝諾的運(yùn)動(dòng)悖論
一道無(wú)窮算術(shù)題
極限收斂
“一堆”是多少
集臺(tái)論面臨的挑戰(zhàn)
邏輯基礎(chǔ)的削弱
含混言語(yǔ)的虛構(gòu)性質(zhì)
話(huà)語(yǔ)意味著什么
模糊邏輯
模糊堆垛
邏輯能避免悖論嗎
非經(jīng)典邏輯：直覺(jué)主義
魔鬼論證
直覺(jué)主義邏輯
直覺(jué)主義VS．歸謬法
直覺(jué)主義的奇想
舊問(wèn)題的處理
可能的價(jià)值
當(dāng)做數(shù)字的真值
可能與不矛盾
從經(jīng)典邏輯到模糊邏輯
電子儀器的"可能"狀態(tài)
模糊邏輯的搜索引擎
模糊邏輯機(jī)器
量子領(lǐng)域的邏輯
量子邏輯的分配律
量子邏輯是如何發(fā)揮作用的
實(shí)踐獲得的邏輯
邏輯和科學(xué)
哥白尼革命
伽利略的革命
演繹與歸納
歸納推理帶來(lái)的問(wèn)題
體謨岔路(Fork)
推理法則的演繹
概括歸納
規(guī)則還是經(jīng)驗(yàn)預(yù)測(cè)
烏鴉悖論
關(guān)于因果的問(wèn)題
波珀對(duì)亨普爾的響應(yīng)
渡珀的駁斥理論
可行性理論的或然性
奎因的"信念網(wǎng)"
兩絡(luò)的變更
不充分根據(jù)
奎因的相對(duì)主義
法伊爾阿本德對(duì)科學(xué)方法的否定
戴維森對(duì)奎因的回?fù)?
真值的表達(dá)
硬邊線(xiàn)真值VS．相對(duì)主義
認(rèn)知科學(xué)和邏輯
喬姆斯基的普遍語(yǔ)法
名詞范疇和動(dòng)詞范疇
語(yǔ)法的循環(huán)規(guī)則
X一杠桿理論
一種邏輯理論
句法和語(yǔ)義學(xué)的問(wèn)題
復(fù)雜語(yǔ)法結(jié)構(gòu)
“普遍”語(yǔ)法存在的問(wèn)題
用作符號(hào)的大腦模型
神經(jīng)網(wǎng)訓(xùn)練
模式識(shí)別
理性行為模型
實(shí)踐理性
什么是意識(shí)
邏輯學(xué)的地位
維特根斯坦觀點(diǎn)的轉(zhuǎn)變
拓展閱讀
附錄