An Invitation to Formal Reasoning:The Logic of Terms

形式推理:逻辑术语

逻辑学

售   价:
1424.00
发货周期:预计5-7周发货
出  版 社
出版时间
2000年07月28日
装      帧
精装
ISBN
9780754613664
复制
页      码
280
开      本
234x156 mm
语      种
英文
综合评分
暂无评分
我 要 买
- +
库存 30 本
  • 图书详情
  • 目次
  • 买家须知
  • 书评(0)
  • 权威书评(0)
图书简介
An Invitation to Formal Reasoning introduces the discipline of formal logic by means of a powerful new system formulated by Fred Sommers. This system, term logic, is different in a number of ways from the standard system employed in modern logic; most striking is its greater simplicity and naturalness. Borrowing insights from Aristotle’s syllogistic, Scholastic logicians, Leibniz, and the 19th century British algebraists, term logic takes its syntax directly from natural language. Its naturalness is the result of its ability to stay close to the forms of sentences usually found in every day discourse. Written by the founders of the term logic approach, An Invitation to Formal Reasoning is a unique introduction and exploration of this new system, offering numerous exercises and examples throughout the text. Summarizing the standard system of mathematical logic to set term logic in context, and showing how the two systems compare, this book presents an alternative approach to standard modern logic for those studying formal logic, philosophy of language or computer theory.
本书暂无推荐
本书暂无推荐
看了又看
  • 上一个
  • 下一个