David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Logic and Logical Philosophy 7 (1):91-99 (1999)
William Parry conceived in the early thirties a theory of entail-
ment, 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.
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Cory Juhl (2009). Analyticity. Routledge.
O. Arieli, A. Avron & A. Zamansky (2011). Ideal Paraconsistent Logics. Studia Logica 99 (1-3):31-60.
Greg Restall (2002). Paraconsistency Everywhere. Notre Dame Journal of Formal Logic 43 (3):147-156.
Milton Fisk (1966). Analyticity and Conceptual Revision. Journal of Philosophy 63 (20):627-637.
Carlo Cellucci (2000). Analytic Cut Trees. Logic Journal of the IGPL 8:733-750.
Sahid Rahman & Walter A. Carnielli (2000). The Dialogical Approach to Paraconsistency. Synthese 125 (1-2):201-232.
Peter Loptson (1980). Logic and Contingent Existence. History and Philosophy of Logic 1 (1-2):171-185.
Noriko H. Arai, Toniann Pitassi & Alasdair Urquhart (2006). The Complexity of Analytic Tableaux. Journal of Symbolic Logic 71 (3):777 - 790.
Walter A. Carnielli (1987). Systematization of Finite Many-Valued Logics Through the Method of Tableaux. Journal of Symbolic Logic 52 (2):473-493.
Sorry, there are not enough data points to plot this chart.
Added to index2010-04-11
Total downloads1 ( #434,535 of 1,098,967 )
Recent downloads (6 months)1 ( #287,052 of 1,098,967 )
How can I increase my downloads?