Search engine for discovering works of Art, research articles, and books related to Art and Culture
ShareThis
Javascript must be enabled to continue!

Overinterpreting Logics

View through CrossRef
Paraconsistent logics, minimally, are not explosive; that is, on these logics, not everything follows from a contradiction of the form ‘A and not-A’. Dialetheists, who argue that some contradictions are true (Priest [2006]), have philosophically interpreted such logics as supporting the existence of true contradictions, since they allow for the possibility of true contradictions without triviality. In this paper, I provide basic criteria for philosophical interpretations of logics and consider the costs of violating such criteria, especially by engaging in logical overinterpretation. I argue that overinterpretation supports metaphysical or epistemological readings of logics that are not called for and that can be resisted on philosophically independent grounds. A more neutral, modalist-empiricist stance toward logics in general, and of paraconsistent logics in particular, is then advanced.
Universidade Federal de Santa Catarina (UFSC)
Title: Overinterpreting Logics
Description:
Paraconsistent logics, minimally, are not explosive; that is, on these logics, not everything follows from a contradiction of the form ‘A and not-A’.
Dialetheists, who argue that some contradictions are true (Priest [2006]), have philosophically interpreted such logics as supporting the existence of true contradictions, since they allow for the possibility of true contradictions without triviality.
In this paper, I provide basic criteria for philosophical interpretations of logics and consider the costs of violating such criteria, especially by engaging in logical overinterpretation.
I argue that overinterpretation supports metaphysical or epistemological readings of logics that are not called for and that can be resisted on philosophically independent grounds.
A more neutral, modalist-empiricist stance toward logics in general, and of paraconsistent logics in particular, is then advanced.

Related Results

A Van Benthem Characterization Result for Distribution-Free Logics
A Van Benthem Characterization Result for Distribution-Free Logics
This article contributes to recent results in the model theory of distribution-free logics (which include a Goldblatt-Thomason theorem and a development of their Sahlqvist theory) ...
The multiple logics of Buddhist monastery accounting
The multiple logics of Buddhist monastery accounting
Research has shown that Buddhist monasteries’ accounting provides detailed and fulfilling accountability requirements to rulers and the public. However, what influenced such practi...
Satisfiability in composition-nominative logics
Satisfiability in composition-nominative logics
Abstract Composition-nominative logics are algebra-based logics of partial predicates constructed in a semantic-syntactic style on the methodological basis, which is...
Epistemic extensions of substructural inquisitive logics
Epistemic extensions of substructural inquisitive logics
Abstract In this paper, we study the epistemic extensions of distributive substructural inquisitive logics. Substructural inquisitive logics are logics of questions ...
Linear-time logics -- a coalgebraic perspective
Linear-time logics -- a coalgebraic perspective
We describe a general approach to deriving linear-time logics for a wide variety of state-based, quantitative systems, by modelling the latter as coalgebras whose type incorporates...
Substructural Logics
Substructural Logics
Abstract Sub structural logics are non classical logics, which arose in response to problems in foundations of mathematics and logic, theoretical computer science, m...
Sample logic
Sample logic
Abstract The need for a ‘many-valued logic’ in linguistics has been evident since the 1970s, but there was lack of clarity as to whether it should come from the fami...
Pure Refined Variable Inclusion Logics
Pure Refined Variable Inclusion Logics
In this article, we explore the semantic characterization of the (right) pure refined variable inclusion companion of all logics, which is a further refinement of the nowadays well...

Back to Top