哲学与宗教 类型
可以朗读 语音朗读
184千字 字数
2011-06-01 发行日期
展开全部

主编推荐语

本书以符号逻辑解读亚里士多德三段论

内容简介

本书从现代形式逻辑，主要是符号逻辑的观点出发，对古希腊亚里士多德所创的三段论的形式逻辑进行了解释。

目录

  • 版权信息
  • 汉译世界学术名著丛书（分科本）出版说明
  • 本书述评
  • 第一版原序
  • 第二版原序
  • 克拉连顿出版社声明
  • 本书所引用的亚里士多德的原著与注释的版本
  • 第一章 亚里士多德三段论系统的要素
  • §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. 模态逻辑的哲学含义
  • 索引（一）
  • 索引（二）
展开全部

评分及书评

尚无评分
目前还没人评分

出版方

商务印书馆

商务印书馆是中国出版业中历史最悠久的出版机构。1897年创办于上海，1954年迁北京。与北京大学同时被誉为“中国近代文化的双子星”。