圖書信息
作 者：（英）丹·克萊恩·沙蒂爾
出版時間：2007-1-1
版 次：1
頁 數：178
字 數：140000
印刷時間：2007-1-1
紙 張：膠版紙
印 次：1
I S B N：9787539628547
包 裝：平裝
內容簡介
邏輯學是西方文化發展的主軸，涉及哲學，科學和法律，因而體系複雜。然而，儘管邏輯學的重要性已被廣泛認可，但由於對專業術語和數學符號的大量使用，因此許多人對邏輯仍然很陌生，正如從未拆封的緘一樣。
別再猶豫了，趕快打開封緘，認識這門重要學科吧！本書按照邏輯學的歷史發展順序，圖文並茂地解釋了邏輯學發展過程中所使用的符號與方法，並以淺顯易懂的方法探討了圍繞此學科而得出的哲學結論。它將帶您領略邏輯對科學方法以及從物理學到心理學等諸多科學的影響，向您展示了為什麼電子計算機和數學科技實際就是套用中的邏輯問題。與此同時，本書也向您揭示了邏輯系統中的異議和局限性，以及邏輯學領域目前的發展情況。
要想深入理解邏輯學法，此書固然不能取代教科書的作用，但是，遙想了解邏輯術語和邏輯觀點，無論您視一般讀者還是學習哲學或理科的學生，本書都是一部難得而又必不可少的讀物。
圖書目錄
譯者序
什麼是邏輯
命題研究
對當關係的邏輯方陣圖
三段論
連線詞邏輯
萊布尼茲定律
歸謬法
新工具論
弗雷格的量詞
語境原則
命題演算
康托爾的集合論
連線詞的效用
羅素悖論
致命的缺陷
表層語法的難題
羅素理論體系
維根斯坦的邏輯圖像
卡納普和維也納學派
容許原則
希爾怕特的證明論
哥德爾的出現
哥德爾的不完全性定理
證明論的相關聯繫
邏輯連線詞
維根斯坦的真值表
發現重言式
數字電子學的邏輯門電路
一台自動販賣機
圖靈和神秘的編碼
歐幾里得的公理方法
萊布尼茲的證明方法
矛盾的濫用
連線詞的規則
語法敏感性
謂詞演算
模型論的符號學
希爾伯特的遞歸模型
有限的規則無限的產物
基本說明
證明論和形式語言
塔爾斯基的真值條件
實踐中的形式符號學
構思一個肥皂劇
人工智慧肥皂劇的程式語言
圖靈的人工智慧秘訣
悖論問題
悖論能夠避免嗎
類型論
塔爾斯基解決說謊者悖論的方
揮之不擊的悻論
哥德爾的不完全性定理
哥德爾定理的價值
“停機問題”
哥德爾證明的極限
芝諾的運動悖論
一道無窮算術題
極限收斂
“一堆”是多少
集台論面臨的挑戰
