Strong paraconsistency and the basic constructive logic for an even weaker sense of consistency
Journal of Logic, Language and Information 18 (3) (2009)
| Abstract | In a standard sense, consistency and paraconsistency are understood as the absence of any contradiction and as the absence of the ECQ (‘E contradictione quodlibet’) rule, respectively. The concepts of weak consistency (in two different senses) as well as that of F -consistency have been defined by the authors. The aim of this paper is (a) to define alternative (to the standard one) concepts of paraconsistency in respect of the aforementioned notions of weak consistency and F -consistency; (b) to define the concept of strong paraconsistency; (c) to build up a series of strongly paraconsistent logics; (d) to define the basic constructive logic adequate to a rather weak sense of consistency. All logics treated in this paper are strongly paraconsistent. All of them are sound and complete in respect a modification of Routley and Meyer’s ternary relational semantics for relevant logics (no logic in this paper is relevant). | |||||||||
| 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,875 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesPaolo Liberatore (2007). Consistency Defaults. Studia Logica 86 (1):89 - 110.
George Kafkoulis (1994). The Consistency Strength of an Infinitary Ramsey Property. Journal of Symbolic Logic 59 (4):1158-1195.
Gemma Robles & José M. Méndez (2010). Paraconsistent Logics Included in Lewis’ S4. Review of Symbolic Logic 3 (03):442-466.
Gemma Robles & José M. Méndez (2010). Paraconsistent Logics Included in Lewis’ S4. Review of Symbolic Logic 3 (03):442-466.
Joseph Wayne Smith (1986). Logic and the Consistency of the World. Erkenntnis 24 (2):105 - 114.
Gemma Robles & José M. Méndez (2010). A Routley-Meyer Type Semantics for Relevant Logics Including B R Plus the Disjunctive Syllogism. Journal of Philosophical Logic 39 (2).
José M. Méndez & Gemma Robles (2009). The Basic Constructive Logic for Absolute Consistency. Journal of Logic, Language and Information 18 (2).
Gemma Robles (2008). The Basic Constructive Logic for Negation-Consistency. Journal of Logic, Language and Information 17 (2).
Gemma Robles & José M. Méndez (2008). The Basic Constructive Logic for a Weak Sense of Consistency. Journal of Logic, Language and Information 17 (1).
Analytics
Monthly downloads |
Added to index2009-03-09Total downloads6 ( #147,054 of 556,837 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
