Logics: from tolerance to pluralism

逻辑：从宽容到多元

• 批准号: 407312485
• 负责人: Privatdozent Dr. Martin Fischer
• 金额: --
• 依托单位: Munich Center for Mathematical Philosophy (MCMP)
• 依托单位国家: 德国
• 项目类别: Research Grants
• 财政年份: 2018
• 资助国家: 德国
• 起止时间: 2017-12-31 至 2022-12-31
• 项目状态: 已结题
• 来源: https://gepris.dfg.de/gepris/projekt/407312485?language=en
• 关键词: Logics; tolerance; pluralism

Today classical logic is not the only logic, but there is a variety of alternative logics available. In contrast to logical monism, logical pluralism allows for more than one logic to be adequate. The aim of this project is the development of a coherent and nontrivial form of logical pluralism.The thesis of logical pluralism faces several challenges. On the one hand it has to explain the possibility of different argument forms being correct. On the other hand the thesis should not become trivial by accepting that anything goes. Therefore, the specific form of logical pluralism aimed at in this project should not only explain the variety of different logics but moreover enable a fruitful interaction.Starting point of the investigation will be Carnap's principle of tolerance. A historical analysis is the first step towards a modern form of logical pluralism. Carnap's principle of tolerance is based on a meta-perspective on language as well as a language relativism. Both aspects deserve a more thorough investigation.The principle of tolerance is therefore the starting point for a systematic investigation of pluralism. In this systematic part of the project proof-theoretic methods will be employed. With this central technical as well as philosophical questions will be addressed, such as the collapse argument. Moreover, it will be the basis of an elaborated formal theory, in which the central notion of logical consequence will be proof-theoretically explicated via sequent calculi. These parts of the project will then be brought together to a consistent philosophical theory together with an appropriate epistemology and an inferentialist theory of meaning.

今天，经典逻辑不是唯一的逻辑，但有各种各样的替代逻辑可用。与逻辑一元论相反，逻辑多元主义允许一个以上的逻辑是足够的。这个项目的目的是发展一个连贯的和非平凡的形式的逻辑多元主义。逻辑多元主义的命题面临着几个挑战。一方面，它必须解释不同论证形式正确的可能性。另一方面，论文不应该因为接受任何事情都可以发生而变得微不足道。因此，本课题所要研究的逻辑多元主义的具体形式，不仅要解释不同逻辑的多样性，而且要使它们之间的相互作用富有成效。历史分析是走向现代形式的逻辑多元主义的第一步。卡尔纳普的宽容原则是基于语言的元视角和语言相对主义。这两个方面都值得进行更深入的研究，因此容忍原则是系统研究多元主义的出发点。在项目的这个系统部分中，将采用证据理论方法。在这一点上，我们将讨论技术和哲学问题，例如崩溃论证。此外，它将是一个精心设计的形式理论的基础，其中逻辑后果的中心概念将通过微积分得到证明理论上的解释。项目的这些部分，然后将汇集到一个一致的哲学理论与适当的认识论和意义的推理理论。