Paraconsistency and analyticity

Carlos A. Oller



William Parry conceived in the early thirties a theory of entailment, the theory of analytic implication, intended to give a formal expression to the idea that the content of the conclusion of a valid argument must be included in the content of its premises. This paper introduces a system of analytic, paraconsistent and quasi-classical propositional logic that does not validate the paradoxes of Parry’s analytic implication. The interpretation of the expressions of this logic will be given in terms of a four-valued semantics, and its proof theory will be provided by a system of signed semantic tableaux that incorporates the techniques developed to improve the efficiency of the tableaux method for many-valued logics.

Full Text:



A.R. Anderson, N.D. Belnap Jr., J.M. Dunn, Entailment. The Logic of Relevance and Necessity, vol. II, Princeton University Press, Princeton, 1992.

N.D. Belnap Jr., A Useful Four-valued Logic, in J.M. Dunn and G. Epstein (eds.), Modern Uses of Multiple-valued Logic, Reidel, Dordrecht, pp. 8–37, 1977. A more recent version of this paper can be found in [1], pp. 506–541.

Ph. Besnard and A. Hunter, Quasi-classical logic. non-trivializable classical reasoning from inconsistent information, in C. Froidevaux and J. Kohlas (eds.), Symbolic and Quantitative Approaches to Uncertainty (ECSQARU’95), Springer, LNCS 946, Heidelberg, pp. 44–51, 1995.

A. Bloesch, Tableau Style Proof Systems for Many-Valued Logics, Technical Report No 94–18, Software Verification Research Centre, Department of Computer Science, The University of Queensland, Queensland (Aus.), 1994.

J.M. Dunn, A Modification of Parry’s Analytic Implication, Notre Dame Journal of Formal Logic, 13 (1972), pp. 195-205.

R.L. Epstein, The Semantic Foundations of Logic. Volume 1: Propositional Logics, Kluwer Academic Publishers, Dordrecht, 1990.

K. Fine, Analytic implication, Notre Dame Journal of Formal Logic, 27 (1986), pp. 169–179.

D. Gabbay and A. Hunter, Making Inconsistency Respectable 1: A Logical Framework for Inconsistency in Reasoning, in Ph. Jorrand and J. Kelemen (eds.), Fundamentals of Artificial Intelligence, Springer, LNCS 535, Heidelberg, pp. 19–32, 1991.

R. Hähnle, Towards an Efficient Tableau Proof Procedure for Multiple-Valued Logics, in Proceedings Workshop Computer Science, Springer, LNCS 533, Heidelberg, pp. 248–260, 1991.

J. Meheus, An extremely rich paraconsistent logic and the adaptive logic based on it, Universiteit Gent, Centre for Logic and Philosophy of Science, Preprint 65, Gent, 1998.

W.T. Parry, Ein Axiomensystem f¨ur eine neue Art von Implikation (analytische Implikation), Ergebnisse eines mathematischen Kolloquiums, 4 (1933), pp. 5–6.

W.T. Parry, Analytic Implication: Its History, Justification and Varieties, in J. Norman and R. Sylvan (eds.), Directions in Relevant Logic, Kluwer, Boston, pp. 101–118, 1989.

R. Smullyan, First-Order Logic, Springer, New York, 1968.

ISSN: 1425-3305 (print version)

ISSN: 2300-9802 (electronic version)

Partnerzy platformy czasopism