From Natural to Formal Language: A Case for Logical Pluralism
From Natural to Formal Language: A Case for Logical Pluralism
复制标题
从自然语言到形式语言：逻辑多元主义的一个案例
DOI：
--
复制
发表时间：
2019
期刊：
影响因子：
--
通讯作者：
Pilar Terrés Villalonga
中科院分区：
文献类型：
--
作者：
Pilar Terrés Villalonga
我主张一种基于逻辑词汇的合法形式化的多元性的逻辑多元主义版本。特别是，我认为经典逻辑和相关逻辑之间的明显竞争是可以解决的，因为这两种逻辑都捕捉并形式化了逻辑结果的规范和合法意义：经典逻辑将“遵循”编码为真理保存并捕捉逻辑常数的真实条件，而相关逻辑编码“遵循”的概念，除了保存真理之外，还避免违反某些格莱斯准则，并为相同的逻辑常数捕捉不同的推理作用，丰富了逻辑它们的实用意义。
I argue for a version of logical pluralism based on the plurality of legitimate formalizations of the logical vocabulary. In particular, I argue that the apparent rivalry between classical and relevant logic can be resolved, given that both logics capture and formalize normative and legitimate senses of logical consequence: classical logic encodes “follows from” as truth preservation and captures the truth conditions of the logical constants, while relevant logic encodes a notion of “follows from” which, apart from preserving truth, avoids the violation of certain Gricean maxims and captures a different inferential role for the same logical constants, enriching their meaning pragmatically.