具體描述
《亞裏士多德的三段論》是波蘭著名邏輯學傢盧卡西維茨的一部重要著作。作者的目的是用現代數理邏輯的觀點解釋亞裏士多德邏輯最重要的部分——三段論理論。《亞裏士多德的三段論》全麵、係統地考察瞭亞氏三段論理論,繪齣瞭亞氏三段論理論的嚴格的形式係統。《亞裏士多德的三段論》曾對邏輯史的研究産生重大影響,對於把數理邏輯方法運用到其他領域也具有重要意義。《亞裏士多德的三段論》是瞭解現代邏輯不可不讀的參考書。
著者簡介
圖書目錄
本書述評第一版原序第二版原序本書溜引用的亞裏士多德的原著與注釋的版本第一章 亞裏士多德三段論係統的要素 §1. 亞裏士多德式三段論的正確形式 §2. 前提和詞項 §3. 為什麼單一詞項被亞裏多德略去瞭 §4. 變項 §5. 三段論的必然性 §6. 什麼是形式邏輯 §7. 什麼是形式化第二章 亞裏士多德三段論係統的斷定命題 §8. 斷定命題與推論規則 §9. 三段論的格 §10. 大項、中項和小項 §11. 關於一個錯誤的曆史 §12. 前提的次序 §13. 一些現代注釋傢的錯誤 §14. 加侖的四個格第三章 亞裏士多德三段論係統 §15. 完全的和不完全的三段論 §16. 詞項邏輯與命題邏輯 §17. 換位法證明 §18. 歸謬法證明 §19. 顯示法證明 §20. 排斥的形式 §21. 一些未解決的問題第四章 用符號形式錶達的亞裏士多德係統 §22. 符號係統的說明 §23. 演繹理論 §24. 量詞 §25. 三段論係統的基本要素 §26. 三段論的斷定命題的推導 §27. 排斥的錶達式的公理和規則 §28. 我國的公理和規則不充分第五章 判定問題 §29. 不能判定的錶達式的數目 §30. 斯盧派斯基的排斥規則 §31. 化歸為初的錶達式 §32. 演繹的等值式 §33. 三段論係統的初等錶達式 §34. 三段論係統的一個算術的解釋 §35. 結束語第六章 亞裏士多德的模態命題邏輯 §36. 導言 §37. 模態函項和它們的相互關係 §38. 基本模態邏輯 §39. 擴展定律 §40. 亞裏士多德對擴展的M-定律的證明 §41. 命題之間的必然聯係 §42. “實質”蘊涵還是“嚴格”蘊涵？ §43. 分析命題 §44. 一個亞裏士多德的悖論 §45. 亞裏士多德的偶然性第七章 模態邏輯係統 §46. 真值錶方法 §47. C-N-δ-p係統 §48. δ-定義 §49. 模態邏輯的四值係統 §50. 必然性和模態邏輯的四值係統 §51. 成對的可能性 §52. 偶然性和模態邏輯的四值係統 §53. 其他某些問題第八章 亞裏士多德的模態三段論 §54. 有兩個必然前提的各式 §55. 有一個必然前提和一個實然前提的各式 §56. 有一個必然前提和一個實然前提的被排斥的各式 §57. 爭論的解決 §58. 有可能前提的各式 §59. 偶然命題的換位律 §60. 糾正亞裏士多德的錯誤 §61. 有偶然前提的各式 §62. 模態邏輯的哲學涵義索引
· · · · · · (收起)
· · · · · · (收起)
讀後感
評分
評分
評分
評分
評分
用戶評價
评分
除瞭序言似乎沒什麼能夠理解的，靠基本的數理邏輯知識完全沒用
评分這書最大的問題在於盧卡希維茨用的是波蘭那邊的符號，不是現在通用的數理邏輯符號，你要自己給它翻譯過來。
评分放棄。。。
评分放棄。。。
评分B502.233/2 https://book.douban.com/people/129923488/annotation/1245506/
相關圖書
本站所有內容均為互聯網搜索引擎提供的公開搜索信息，本站不存儲任何數據與內容，任何內容與數據均與本站無關，如有需要請聯繫相關搜索引擎包括但不限於百度，google,bing,sogou 等
© 2025 book.quotespace.org All Rights Reserved. 小美書屋 版权所有