Paraconsistency and Analyticity
Logic and Logical Philosophy 7 (1):91-99 (1999)
| Abstract |
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. 1. Introduction. |
|||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,664 |
| External links | This entry has no external links. Add one. |
| Through your library | Configure |
Similar books and articlesEric Loomis & Cory Juhl (2009). Analyticity. Routledge.
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.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2010-04-11Total downloads0Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
