視讀邏輯學

定　價：￥16.80

作　者：	（英）丹·克萊恩、（英）沙羅恩·沙蒂爾、（英）比爾·梅布林著；許蘭、田德蓓譯
出版社：	安徽文藝出版社
叢編項：
標　簽：	邏輯學原理

購買這本書可以去

ISBN：	9787539628547	出版時間：	2007-01-01	包裝：	平裝
開本：	32	頁數(shù)：	178	字數(shù)：

內容簡介

　　邏輯學是西方文化發(fā)展的主軸，涉及哲學，科學和法律，因而體系復雜。然而，盡管邏輯學的重要性已被廣泛認可，但由于對專業(yè)術語和數(shù)學符號的大量使用，因此許多人對邏輯仍然很陌生，正如從未拆封的緘一樣。別再猶豫了，趕快打開封緘，認識這門重要學科吧！本書按照邏輯學的歷史發(fā)展順序，圖文并茂地解釋了邏輯學發(fā)展過程中所使用的符號與方法，并以淺顯易懂的方法探討了圍繞此學科而得出的哲學結論。它將帶您領略邏輯對科學方法以及從物理學到心理學等諸多科學的影響，向您展示了為什么電子計算機和數(shù)學科技實際就是應用中的邏輯問題。與此同時，本書也向您揭示了邏輯系統(tǒng)中的異議和局限性，以及邏輯學領域目前的發(fā)展情況。要想深入理解邏輯學法，此書固然不能取代教科書的作用，但是，遙想了解邏輯術語和邏輯觀點，無論您視一般讀者還是學習哲學或理科的學生，本書都是一部難得而又必不可少的讀物。

作者簡介

暫缺《視讀邏輯學》作者簡介

圖書目錄

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