David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Ezio Di Nucci
Jack Alan Reynolds
Learn more about PhilPapers
Studia Logica 49 (1):47-65 (1990)
Da Costa's C systems are surveyed and motivated, and significant failings of the systems are indicated. Variations are then made on these systems in an attempt to surmount their defects and limitations. The main system to emerge from this effort, system CC , is investigated in some detail, and dual-intuitionistic semantical analyses are developed for it and surrounding systems. These semantics are then adapted for the original C systems, first in a rather unilluminating relational fashion, subsequently in a more illuminating way through the introduction of impossible situations where and and or change roles. Finally other attempts to break out of impasses for the original and expanded C systems, by going inside them, are looked at, and further research directions suggested.
|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
Stephen Cole Kleene (1952). Introduction to Metamathematics. North Holland.
Haskell B. Curry (1963/1977). Foundations of Mathematical Logic. Dover Publications.
Newton C. A. Da Costa (1974). On the Theory of Inconsistent Formal Systems. Notre Dame Journal of Formal Logic 15 (4):497-510.
A. Heyting (1956). Intuitionism. Amsterdam, North-Holland Pub. Co..
Evert Willem Beth (1959). The Foundations of Mathematics. Amsterdam, North-Holland Pub. Co..
Citations of this work BETA
No citations found.
Similar books and articles
Greg Restall (1994). Subintuitionistic Logics. Notre Dame Journal of Formal Logic 35 (1):116-129.
Joel Norman (2001). Adequacy and Utility of the Dual-Process Approach to Perception: Time (and Research) Will Tell. Behavioral and Brain Sciences 25 (1):121-137.
Ramon Jansana (1995). Abstract Modal Logics. Studia Logica 55 (2):273 - 299.
Marcello D'agostino, Dov M. Gabbay & Alessandra Russo (1997). Grafting Modalities Onto Substructural Implication Systems. Studia Logica 59 (1):65-102.
Kosta Došen (1985). Models for Stronger Normal Intuitionistic Modal Logics. Studia Logica 44 (1):39 - 70.
Dov M. Gabbay & Nicola Olivetti (1998). Algorithmic Proof Methods and Cut Elimination for Implicational Logics Part I: Modal Implication. Studia Logica 61 (2):237-280.
Itala M. Loffredo D'Ottaviano & Hércules de A. Feitosa (2000). Paraconsistent Logics and Translations. Synthese 125 (1/2):77 - 95.
Costas Drossos & Daniele Mundici (2000). Many-Valued Points and Equality. Synthese 125 (1-2):77-95.
Added to index2009-01-28
Total downloads19 ( #194,045 of 1,796,251 )
Recent downloads (6 months)7 ( #116,526 of 1,796,251 )
How can I increase my downloads?