視讀邏輯學(xué)

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