The Philosophical Basis of Connexive Logic

连接逻辑的哲学基础

• 批准号: 436508789
• 负责人: Dr. Andreas Kapsner
• 金额: --
• 依托单位: Munich Center for Mathematical Philosophy (MCMP)
• 依托单位国家: 德国
• 项目类别: Research Grants
• 财政年份: 2020
• 资助国家: 德国
• 起止时间: 2019-12-31 至 2022-12-31
• 项目状态: 已结题
• 来源: https://gepris.dfg.de/gepris/projekt/436508789?language=en
• 关键词: Philosophical; Basis; Connexive; Logic

This project will investigate the philosophical basis of connexive logic, in the sense that it carefully examines the intuitions that make connexivity plausible and then develops the best formal treatment of these intuitions. ||Connexive logics are characterized by the following principles: ||ARISTOTLE¬(A → ¬A) and ¬(¬A → A) are valid.
 ||BOETHIUS
(A → B) → ¬(A → ¬B) and (A → ¬B) → ¬(A → B) are valid. ||Connexive logic is a very interesting field in non-classical logic that has been around for a long time. Most of that time, it has to be admitted, it has spent on the side-lines of general interest. This, however, has been changing over the last years in which much more attention has been paid to connexivity, attention that I believe is wholly deserved: This project proposal is based on the conviction that connexivity is based on very strong natural language intuitions that should not be ignored by logicians and philosophers of language alike. ||That said, in earlier work I have developed an original and somewhat revisionist view on the nature of connexive logic, which I am convinced is an improvement over the earlier picture as well as one which is much harder to dismiss for non-connexive logicians. My re-framing of the connexive enterprise has been published in two papers entitled “Strong Connexivity” and “Humble Connexivity”, which both contain modifications of the connexive principles, ARISTOTLE and BOETHIUS. Moreover, in unpublished work I have argued that natural language pragmatics might have a role in explaining parts of the connexive intuitions (all works are appended to this proposal).|| The aim of this project is to develop further arguments for that revisionistic view primarily by applying it in two distinct logical environments: Conditonal logics (a.k.a. logics with variably strict conditionals, best known as analyses for counterfactuals in the style of D. Lewis and R. Stalnaker) and constructive logics suitable for handling the inferential aspects of a theory of meaning in the style of M. Dummett. ||Drawing on the lessons of these two applications, I hope to further consolidate my views on the philosophical basis of connexive logic into a coherent and convincing picture, which I will aim to publish in further papers and an encompassing monograph.

这个项目将研究连接逻辑的哲学基础，从某种意义上说，它仔细检查了使连接变得可信的直觉，然后发展了对这些直觉的最佳形式处理。||亚里士多德的¬（A→¬A）和¬（¬A→A）是有效的。

| |波伊提乌(A→B)→¬(→¬B)和(→¬B)→¬(A→B)是有效的。连接逻辑是非经典逻辑中一个非常有趣的领域，已经存在很长时间了。必须承认，大部分时间都花在了与大众利益无关的事情上。然而，在过去的几年里，这种情况已经发生了变化，人们对连接性的关注越来越多，我认为这种关注是完全值得的：这个项目提案是基于这样一种信念，即连接性是基于非常强大的自然语言直觉，逻辑学家和语言哲学家都不应该忽视这种直觉。也就是说，在早期的工作中，我对连接逻辑的本质提出了一种原创的，有点修正主义的观点，我相信这是对早期图景的改进，也是对非连接逻辑学家更难忽视的观点。我对连接企业的重新构建已经发表在两篇题为“强连接”和“谦卑连接”的论文中，这两篇论文都包含了对连接原则的修改，亚里士多德和波伊提乌斯。此外，在未发表的作品中，我认为自然语言语用学可能在解释部分连接直觉方面发挥作用（所有作品都附在本提案后）。这个项目的目的主要是通过在两个不同的逻辑环境中应用它来进一步发展修正主义观点的论据：条件逻辑（又称具有可变严格条件的逻辑，最著名的是D. Lewis和R. Stalnaker风格的反事实分析）和构造逻辑，适合处理M. Dummett风格的意义理论的推理方面。借鉴这两个应用的教训，我希望进一步巩固我对连接逻辑的哲学基础的看法，形成一个连贯和令人信服的图景，我的目标是在进一步的论文和一个包含的专著中发表。