Traditional Logic, Modern Logic and Natural Language
| 详细信息 | 推荐本文 | |
- 作者：Wilfrid Hodges
- 关键词：Traditional logic ; Formalising ; Top syntactic level ; Natural logic
- 刊名：Journal of Philosophical Logic
- 出版时间：December, 2009
- 出版年：2009
- 期刊代码：23_00223611
- 类别：law
- 卷：38
- 期：6
- 页码：589-606
- 数据来源：sp
摘要
In a recent paper Johan van Benthem reviews earlier work done by himself and colleagues on ‘natural logic’. His paper makes a number of challenging comments on the relationships between traditional logic, modern logic and natural logic. I respond to his challenge, by drawing what I think are the most significant lines dividing traditional logic from modern. The leading difference is in the way logic is expected to be used for checking arguments. For traditionals the checking is local, i.e. separately for each inference step. Between inference steps, several kinds of paraphrasing are allowed. Today we formalise globally: we choose a symbolisation that works for the entire argument, and thus we eliminate intuitive steps and changes of viewpoint during the argument. Frege and Peano recast the logical rules so as to make this possible. I comment also on the traditional assumption that logical processing takes place at the top syntactic level, and I question Johan’s view that natural logic is ‘natural’.