权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

Syntactical Treatments of Interacting Modalities

交互方式的句法处理

基本信息

批准号：
196767730
负责人：
Professor Dr. Hannes Leitgeb
金额：
--
依托单位：
Munich Center for Mathematical Philosophy (MCMP)
依托单位国家：
德国
项目类别：
Research Grants
财政年份：
2011
资助国家：
德国
起止时间：
2010-12-31 至 2017-12-31
项目状态：
已结题

来源：
https://gepris.dfg.de/gepris/projekt/196767730?language=en
关键词：
Syntactical Treatments Interacting Modalities

项目摘要

We aim at providing a systematic framework for interacting modalities. In contrast to the mainstream approach of modalities as operators we envisage treating them as predicates. Our approach takes up proposals by Carnap and Quine that agree better with some of our linguistic or philosophical intuitions. Furthermore, there is evidence that treating modalities as predicates is more general than the operator approach. Whereas single modalities treated as predicates have been investigated, there is no systematic account of multiple modalities treated jointly.The principal objective is to develop systems for interacting modalities treated as predicates. One of the main obstacles of providing such a framework is to avoid self-referential paradoxes as e.g.~the liar paradox or the paradox of the knower which threaten the predicate accounts. Inspired by theories of truth we wish to develop semantic approaches as well as axiomatic theories where all of these are formulated in a setting of several interacting modalities being formalized as predicates. The formal systems and tools will prove useful when applied to philosophical arguments employing several modalities, e.g.~we are confident to provide new insights in connection with the hotly debated Fitch paradox and therefore also for the realist/anti-realist debate.

我们的目标是为交互方式提供一个系统框架。与作为运算符的主流方法相反，我们设想将它们视为谓词。我们的方法采用了卡尔纳普和奎因的建议，这些建议更符合我们的一些语言或哲学直觉。此外，有证据表明将模态视为谓词比运算符方法更通用。尽管已经研究了被视为谓词的单一模态，但还没有对联合处理的多种模态进行系统说明。主要目标是开发被视为谓词的交互模态系统。提供这样一个框架的主要障碍之一是避免自我指涉悖论，例如威胁谓词账户的说谎者悖论或知者悖论。受真理理论的启发，我们希望开发语义方法和公理理论，其中所有这些都是在几种交互模式的设置中制定的，这些模式被形式化为谓词。当应用于采用多种模式的哲学论证时，形式系统和工具将被证明是有用的，例如，我们有信心提供与激烈争论的费奇悖论相关的新见解，因此也适用于现实主义/反现实主义辩论。