What Is an Inconsistent Truth Table?
What Is an Inconsistent Truth Table?
复制标题
什么是不一致的真值表？
DOI：
--
复制
发表时间：
2016
期刊：
影响因子：
--
通讯作者：
P. Girard
中科院分区：
文献类型：
--
作者：
Z. Weber;Guillermo Badia;P. Girard
摘要 真值表（我们在教学和解释基本命题逻辑时使用的普通类型）是否需要对其构造进行一致性假设？在本文中，我们证明真值表可以在独立于一致性的次一致设置中构建，而不需要任何经典逻辑。这是一个更普遍的主张的证据——当我们写下逻辑的正统语义子句时，我们在背景中预设的任何逻辑都将是出现在前景中的逻辑。因此，在这一点上，不同逻辑谱系的不同党派都处于相对相似的辩证立场，而不是任何一种逻辑都享有特权。
ABSTRACT Do truth tables—the ordinary sort that we use in teaching and explaining basic propositional logic—require an assumption of consistency for their construction? In this essay we show that truth tables can be built in a consistency-independent paraconsistent setting, without any appeal to classical logic. This is evidence for a more general claim—that when we write down the orthodox semantic clauses for a logic, whatever logic we presuppose in the background will be the logic that appears in the foreground. Rather than any one logic being privileged, then, on this count partisans across the logical spectrum are in relatively similar dialectical positions.