Abstract
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.
Similar content being viewed by others
References
A.I. Arruda and N. C. A. da Costa, Une sémantique pour le calcul C =1 C.R. Acad Sc. Paris, t. 284 (31 Janvier 1977) Series A, pp. 282–97.
F. G. Asenjo, A calculus of antinomies, Notre Dame Journal of Formal Logic 7 (1966), pp. 103–5.
E. W. Beth, The Foundations of Mathematics, North Holland, Amsterdam, 1959.
R. Brady, R. K. Meyer, C. Mortensen and R. Routley, Algebraic analysis of relevant affixing logics, and other Polish connections, Research Paper No. 16, Logic Group, Research School of Social Sciences, The Australian National University, 1983.
M. Bunder, A new hierarchy of paraconsistent logics, in Proceedings of the Third Brazilian Conference on Mathematical Logic (edited A. I. Arruda and others), Sociedade Brasiliera de Logica, Sao Paulo, 1980.
N. C. A. da Costa, On the theory of inconsistent formal systems, Notre Dame Journal of Formal Logic 15 (1974), pp. 497–510.
N. C. A. da Costa and. E. H. Alves, A semantical analysis of the calculi C n, Notre Dame Journal of Formal Logic 18 (1977), pp. 621–680.
N. C. A. da Costa and R. Wolf, Studies in paraconsistent logic I: the dialectical principle of unity of opposites, Philosophia 9 (1980), pp. 189–217.
H. B. Curry, Foundations of Mathematical Logic, McGraw, New York 1963; reprinted by Dover, New York, 1976.
A. Heyting, Intuitionism, North Hollańd, Amsterdam, 1977.
S. C. Kleene, Introduction to Metamathematics, North Holland, Amsterdam, 1952.
S. A. Kripke, Semantical analysis of intuitionistic logic I, in Formal Systems and Recursive Functions (ed. J. Crossley and M. Dummett), North Holland, Amsterdam, 1965.
[13]C. Mortensen: Paraconsistency and C 1, Research Paper No. 10, Logic Group, Research School of Social Sciences, The Austrialian National University, 1981; included in [16].
K. Popper, What is dialectic? Mind 49 (1940), pp. 403–426; reprinted in Conjectures and Refutations, Routledge & Kegan Paul (1976), pp. 313–335.
G.Priest and R. Routley, On Paraconsistency, Research Monograph No. 1, Research School of Social Sciences, The Australian National University; now absorbed in [16].
G. Priest, R. Routley and J. Norman (eds), Paraconsistent Logic, Philosophia Verlag, Munich, 1989.
R. Routley, Semantical analysis of propositional systems of Fitch and Nelson, Studia Logica 30 (1974), pp. 283–298.
R. Routley and R. K. Meyer, Dialectical logic, classical logic, and the consistency of the world, Studies in Soviet Thought 16 (1976), pp. 1–25.
R. Routley, Dialectical logic, semantics and metamathematics, Erkenntnis 14 (1979), pp. 301–331.
R. Routley and others: Relevant Logics and Their Rivals, Ridgeview, California, 1982.
K. Segerberg, Prepositional logics related to Heyting's and Johansson's, Theoria 34 (1968), pp. 26–61.
I. Urbas, On Brazilian Paraconsistent Logics, Doctoral dissertation, Australian National University, Canberra, 1987.
Author information
Authors and Affiliations
Additional information
I have been much helped through comments and corrections, criticism and proofs, generously offered by Newton da Costa, Chris Mortensen, John Slaney and Igor Urbas. A part of my role is no more than that, not of under-labourer, but of organiser of their results.
The paper, still incomplete at the edges, has been a good while in the making. It was first drafted in around 1980 for a Festschrift for Newton da Costa; hence the introductory remarks, which it has since seemed should stand. More recent literature on the C systems will be taken in account in a sequel.
Rights and permissions
About this article
Cite this article
Sylvan, R. Variations on da Costa C Systems and dual-intuitionistic logics I. Analyses of C ω and CC ω . Stud Logica 49, 47–65 (1990). https://doi.org/10.1007/BF00401553
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF00401553