Paraconsistent conjectural deduction based on logical entropy measures I: C-systems as non-standard inference framework

Journal of Applied Non-Classical Logics 15 (3):285-319 (2005)
  Copy   BIBTEX


A conjectural inference is proposed, aimed at producing conjectural theorems from formal conjectures assumed as axioms, as well as admitting contradictory statements as conjectural theorems. To this end, we employ Paraconsistent Informational Logic, which provides a formal setting where the notion of conjecture formulated by an epistemic agent can be defined. The paraconsistent systems on which conjectural deduction is based are sequent formulations of the C-systems presented in Carnielli-Marcos [CAR 02b]. Thus, conjectural deduction may also be considered to be a tool for investigating the properties of paraconsistency in general.



    Upload a copy of this work     Papers currently archived: 78,037

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

Paraconsistency Everywhere.Greg Restall - 2002 - Notre Dame Journal of Formal Logic 43 (3):147-156.
Three logical theories.John Corcoran - 1969 - Philosophy of Science 36 (2):153-177.
The method of hypersequents in the proof theory of propositional non-classical logics.Arnon Avron - 1996 - In Wilfrid Hodges (ed.), Logic: Foundations to Applications. Oxford: pp. 1-32.
A Paraconsistentist Approach to Chisholm's Paradox.Marcelo Esteban Coniglio & Newton Marques Peron - 2009 - Principia: An International Journal of Epistemology 13 (3):299-326.


Added to PP

13 (#776,385)

6 months
1 (#485,976)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

The Foundations of Statistics.Leonard J. Savage - 1954 - Wiley Publications in Statistics.
Basic Proof Theory.A. S. Troelstra - 2000 - Cambridge University Press.
Proof Theory.Gaisi Takeuti - 1975 - Mineola, New York: Elsevier.
The Logic of Provability.George Boolos - 1993 - Cambridge and New York: Cambridge University Press.

View all 24 references / Add more references