NAIVE TRUTH AND NAIVE LOGICAL PROPERTIES

NAIVE TRUTH AND NAIVE LOGICAL PROPERTIES
复制标题

朴素的真理和朴素的逻辑属性

DOI:
--
复制
发表时间:
2014
期刊:
The Review of Symbolic Logic
影响因子:
--
通讯作者:
E. Zardini
E. Zardini
中科院分区:
--
文献类型:
--
作者:
E. Zardini

文献摘要

参考文献

被引文献

相似文献

摘要:对于语义悖论的非经典解是否应该推广到其他明显相似的悖论(特别是逻辑属性的悖论)以及非经典逻辑是否应该用非经典元语言来表达这两个截然不同的基本问题,给出了一个统一的答案。本文首先回顾了一系列涉及有效性、不一致性和兼容性等逻辑属性的悖论。然后提出了作者所青睐的朴素真理的亚结构方法,并解释了该方法如何以一种非常自然的方式扩展,从而解决某些有效性悖论。然而,三个单独的决定性的原因,后面提供了认为没有一个方法采用经典元语言可以充分解释逻辑属性悖论所涉及的所有特征。因此,本文承担了做得更好的任务,并且在已经开发的系统的基础上,引入了一种非经典元语言的理论,该理论表达了朴素真理和一些朴素逻辑属性的充分逻辑。
Abstract A unified answer is offered to two distinct fundamental questions: whether a nonclassical solution to the semantic paradoxes should be extended to other apparently similar paradoxes (in particular, to the paradoxes of logical properties) and whether a nonclassical logic should be expressed in a nonclassical metalanguage. The paper starts by reviewing a budget of paradoxes involving the logical properties of validity, inconsistency, and compatibility. The author’s favored substructural approach to naive truth is then presented and it is explained how that approach can be extended in a very natural way so as to solve a certain paradox of validity. However, three individually decisive reasons are later provided for thinking that no approach adopting a classical metalanguage can adequately account for all the features involved in the paradoxes of logical properties. Consequently, the paper undertakes the task to do better, and, building on the system already developed, introduces a theory in a nonclassical metalanguage that expresses an adequate logic of naive truth and of some naive logical properties.
DOI: 10.1007/978-94-017-9673-6_12
发表时间: 2015
期刊: --
影响因子: --
作者:
Halbach V
通讯作者: Halbach V