(I can’t get no) antisatisfaction
(I can’t get no) antisatisfaction
复制标题
（我得不到）反满足
DOI：
10.1007/s11229-020-02570-x
复制
发表时间：
2021
期刊：
影响因子：
1.5
通讯作者：
Elio La Rosa
中科院分区：
文献类型：
--
作者：
Luca Tranchini;Pablo Cobreros;Elio La Rosa
近十年来，悖论的亚结构研究引起了哲学界的广泛关注。在本文中，我们专注于两个子结构逻辑，命名为和，沿着与两个结构表兄弟，和。众所周知，和在某种意义上是一致的，即一个推理在一个逻辑中是有效的，只是在相反的逻辑中是有效的。作为这种二重性的结果，基于任一逻辑的理论是紧密相连的，因为许多支持和反对一种理论的论点以二重性的形式出现在另一种理论中。本文的目的是明确和以何种方式相互对偶，如果有的话.这种联系将使我们对这些逻辑和基于它们的理论有更精细的理解。特别是，我们将获得新的见解，对两个问题的concerningwhich是在当前的文献中集中讨论：是否保存经典逻辑和它是否是在羊皮。要解释它们是以何种方式存在的，就需要在元推理的层面上比较这些逻辑。为此，我们提供了一个统一的证明理论，以决定有效的metainference的四个逻辑。这个证明过程使我们能够以一种非常简单的方式展示，在元推理的有效性方面，如何捕捉到推理的不同属性（不可满足性、超可满足性和反有效性），这些属性对每个逻辑的表现方式都非常不同。
Substructural approaches to paradoxes have attracted much attention from the philosophical community in the last decade. In this paper we focus on two substructural logics, namedand, along with two structural cousins,and. It is well known thatandare duals in the sense that an inference is valid in one logic just in case the contrapositive is valid in the other logic. As a consequence of this duality, theories based on either logic are tightly connected since many of the arguments for and objections against one theory reappear in the other theory in dual form. The target of the paper is making explicit in exactly what way, if any,andare dual to one another. The connection will allow us to gain a more fine-grained understanding of these logics and of the theories based on them. In particular, we will obtain new insights on two questions concerningwhich are being intensively discussed in the current literature: whetherpreserves classical logic and whether it isin sheep’s clothing. Explaining in what wayandare duals requires comparing these logics at a metainferential level. We provide to this end a uniform proof theory to decide on valid metainferences for each of the four logics. This proof procedure allows us to show in a very simple way how different properties of inferences (unsatisfiability, supersatisfiability and antivalidity) that behave in very different ways for each logic can be captured in terms of the validity of a metainference.
登录
查看更多内容
宽容、古典、严谨
影响因子：
1.5
作者：
Pablo Cobreros;P. Égré;David Ripley;R. Rooij
通讯作者：
R. Rooij
严格宽容逻辑的逻辑
影响因子：
1.5
作者：
E. Barrio;Lucas Rosenblatt;Diego Tajer
通讯作者：
Diego Tajer
非收缩古典逻辑
DOI：
10.1215/00294527-2019-0020
发表时间：
2019
期刊：
Notre Dame J. Formal Log.
影响因子：
--
作者：
Lucas Rosenblatt
通讯作者：
Lucas Rosenblatt
DOI：
10.1111/j.1467-9213.2010.678.x
发表时间：
2011
期刊：
The Philosophical Quarterly
影响因子：
--
作者：
Lionel Shapiro
通讯作者：
Lionel Shapiro
影响因子：
1.5
作者：
Carlo Nicolai;Lorenzo Rossi
通讯作者：
Lorenzo Rossi