David Makinson on Classical Methods for Non-Classical Problems
David Makinson on Classical Methods for Non-Classical Problems
复制标题
大卫·梅金森谈非经典问题的经典方法
DOI：
--
复制
发表时间：
2014
期刊：
影响因子：
--
通讯作者：
S. Hansson
中科院分区：
文献类型：
--
作者：
S. Hansson
卷分析和发展大卫·马金森的努力，使经典逻辑在其最明显的应用领域之外有用。本书包含了分析、评价或重塑马金森作品的章节，以及从他的贡献中发展主题的章节。这些内容被分成几个主要领域，Makinsons在这些领域做出了非常有影响力的贡献。全书分为四个部分，每个部分都致力于一个特定的逻辑领域：信念变化、不确定推理、规范系统和经典逻辑的资源。在本卷的贡献中，有一章侧重于推理优先方法，即经典逻辑与偏好和选择机制的结合使用，并提供了马金森在非单调和可否定推理和信念修正方面的工作实例。其中一章提供了梅金森的简短自传，详细介绍了他对现代逻辑的发现，他的跨洲旅行，揭示了他的智力遭遇和灵感。这一章还包含了一段不同寻常的明确陈述，阐述了他对逻辑在哲学中（有限但重要的）角色的看法。
The volume analyses and develops David Makinsons efforts to make classical logic useful outside its most obvious application areas. The book contains chapters that analyse, appraise, or reshape Makinsons work and chapters that develop themes emerging from his contributions. These are grouped into major areas to which Makinsons has made highly influential contributions and the volume in its entirety is divided into four sections, each devoted to a particular area of logic: belief change, uncertain reasoning, normative systems and the resources of classical logic. Among the contributions included in the volume, one chapter focuses on the inferential preferential method, i.e. the combined use of classical logic and mechanisms of preference and choice and provides examples from Makinsons work in non-monotonic and defeasible reasoning and belief revision. One chapter offers a short autobiography by Makinson which details his discovery of modern logic, his travels across continents and reveals his intellectual encounters and inspirations. The chapter also contains an unusually explicit statement on his views on the (limited but important) role of logic in philosophy.