Logical consequence. Epistemological and proof-theoretic perspectives.

逻辑后果。

• 批准号: 206616311
• 负责人: Dr. Luca Tranchini
• 金额: --
• 依托单位: Institut für Philosophie I
• 依托单位国家: 德国
• 项目类别: Research Grants
• 财政年份: 2012
• 资助国家: 德国
• 起止时间: 2011-12-31 至 2014-12-31
• 项目状态: 已结题
• 来源: https://gepris.dfg.de/gepris/projekt/206616311?language=en
• 关键词: Logical; consequence.; Epistemological; proof; theoretic

The traditional analysis of the relation of logical consequence due to Alfred Tarski explains consequence in terms of truth. A more recent rival view developed by Dag Prawitz aims at replacing the notion of truth with the one of proof. What is common to both approaches is the characterization of consequence as 'transmission': B is a logical consequence of A if and only if truth (resp. provability) is transmitted from A to B.Both analyses of logical consequence are the core of alternative views on how the meaning of the sentences of a language is to be conceived. The truththeoretic account characterizes the meaning of a sentence in terms of the conditions that must obtain for it to be true. The proof-theoretic approach seeks to characterizes the meaning of a sentence in terms of what it is to prove it or, say, to recognize it, in contrast with the truth-theoretic approach drawn upon a recognition-transcendent notion of truth.We argue that the transmission view of consequence, encapsulated in the standard proof-theoretic approach, flaws the possibility of developing a real alternative to a truth-based approach. The research aims at the development of an alternative proof-theoretic approach, based on the rejection of the 'transmission' view of consequence, capable of yielding a conception of meaning anchored to subjects' epistemological capabilities.Keywords: Logical Consequence, Proof-Theoretic Semantics, Theory of Meaning

塔尔斯基对逻辑推论关系的传统分析是从真的角度来解释推论的。达格·普拉维茨（Dag Prawitz）最近提出了一个与之相对立的观点，目的是用证明的概念取代真理的概念。这两种方法的共同点是将结果描述为"传递"：B是A的逻辑结果，当且仅当真理（分别为：可证明性）从A传递到B。对逻辑后果的两种分析都是关于如何构思语言句子意义的不同观点的核心。真值论根据句子为真所必须具备的条件来描述句子的意义。证明论的方法试图描述一个句子的意义，它是什么来证明它，或者说，承认它，与真理理论的方法得出的真理超越的概念相比，我们认为，传输的后果，封装在标准的证明论的方法，缺陷的可能性，开发一个真实的替代真理为基础的方法。该研究旨在发展一种替代的证明理论方法，该方法基于对结果的"传递"观点的拒绝，能够产生一种锚定主体认识论能力的意义概念.关键词：逻辑结果，证明理论语义学，意义理论