Paraconsistent reasoning as an analytic tool

Logic Journal of the IGPL 9 (2):217-230 (2001)
  Copy   BIBTEX

Abstract

The study of logic usually focuses on either the proof theoretic or the model theoretic properties of logic. Yet the pragmatics of logic is often ignored. In this paper we would like to demonstrate that a logic can be practical in the sense that it can assist us in evaluating and measuring the amount of information in an inconsistent set of data. The underlying notion of information is inspired by Shannon's communication theory. It defines the amount of information of a message in terms of the probability of the message being true. The logic presented here is the paraconsistent logic QC. As such QC logic can be seen as an analytical tool for evaluating data

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,139

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Paraconsistent Logic: Consistency, Contradiction and Negation.Walter Carnielli & Marcelo Esteban Coniglio - 2016 - Basel, Switzerland: Springer International Publishing. Edited by Marcelo Esteban Coniglio.
Making Sense of Paraconsistent Logic: The Nature of Logic, Classical Logic and Paraconsistent Logic.Koji Tanaka - 2012 - In Francesco Berto, Edwin Mares, Koji Tanaka & Francesco Paoli (eds.), Paraconsistency: Logic and Applications. Dordrecht, Netherland: Springer. pp. 15--25.
Partial and paraconsistent three-valued logics.Vincent Degauquier - 2016 - Logic and Logical Philosophy 25 (2):143-171.
A simple sequent system for minimally inconsisteny LP.Rea Golan - 2023 - Review of Symbolic Logic 16 (4):1296-1311.
A proof–theoretic study of the correspondence of hybrid logic and classical logic.H. Kushida & M. Okada - 2006 - Journal of Logic, Language and Information 16 (1):35-61.

Analytics

Added to PP
2015-02-04

Downloads
15 (#1,236,051)

6 months
4 (#1,252,858)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Phil Wong
University of Sydney

Citations of this work

No citations found.

Add more citations

References found in this work

On the theory of inconsistent formal systems.Newton C. A. da Costa - 1974 - Notre Dame Journal of Formal Logic 15 (4):497-510.
A modification of Parry's analytic implication.J. Michael Dunn - 1972 - Notre Dame Journal of Formal Logic 13 (2):195-205.
On semantic information.Jaakko Hintikka - 1970 - In Hermann Bondi, Wolfgang Yourgrau & Allen duPont Breck (eds.), Physics, logic, and history. New York,: Plenum Press. pp. 147--172.
A semantical theory of analytic implication.Alasdair Urquhart - 1973 - Journal of Philosophical Logic 2 (2):212 - 219.

Add more references