Abstract
We expose the main ideas, concepts and results about Jaśkowski's discussive logic, and apply that logic to the concept of pragmatic truth and to the Dalla Chiara-di Francia view of the foundations of physics.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
Arruda, A. I., 1980, ‘A survey of paraconsistent logic’, in A. I. Arruda, N. C. A. da Costa and R. Chuaqui (eds.),Mathematical Logic in Latin America, North-Holland, 1 – 41.
Arruda, A. I., 1989, ‘Aspects of the historical development of paraconsistent logic’, in G. Priest, R. Routley and J. Norman (eds.),Paraconsistent Logic, Philosophia Verlag, 99 – 130.
Church, A., 1956,Introduction to Mathematical Logic, Princeton University Press.
da Costa, N. C. A., 1975, ‘Remarks on Jaśkowski's discussive logic’,Rep. Math. Logic 4, 7–16.
da Costa, N. C. A., 1989a, ‘Logic and pragmatic truth’, in J. E. Fenstad et al. (eds.),Logic, Methodology and Philosophy of Science VIII, Elsevier, 247 – 261.
da Costa, N. C. A., 1989b, ‘Logcis that are both paraconsistent and paracomplete’,Atti Acad. Lincei Rend. Fis. 83 (8), 29–32.
da Costa, N. C. A. andR. Chuaqui, 1988, ‘On Suppes' Set-Theoretic Predicates’,Erkenntnis 29, 95–112.
da Costa, N. C. A. andR. Chuaqui, 1990, ‘The logic of pragmatic truth’, to appear.
da Costa, N. C. A. andF. A. Doria, 1990, ‘Jaśkowski's logic and the foundations of physics’, preprint.
da Costa, N. C. A. andF. A. Doria, 1991, ‘Undecidability and Incompleteness in Classical Mechanics’,International Journal of Theoretical Physics 30, 1041–1073.
da Costa, N. C. A. andF. A. Doria, 1992a, ‘Structures, Suppes Predicates and Boolean-Valued Models in Physics’, to appear in J. Hintikka (ed.),Festschrift in Honor of Prof. V. Smirnov on his 60th Birthday.
da Costa, N. C. A. andF. A. Doria, 1992b, ‘Suppes Predicates for Classical Physics’, in J. Echeverría et al. (eds.),The Space of Mathematics Walter de Gruyter, Berlin-New York.
da Costa, N. C. A. andF. A. Doria, 1992c, ‘On the incompleteness of axiomatized models for the empirical sciences’,Philosophica 50, 901–928.
da Costa, N. C. A. andF. A. Doria, 19XX,Metamathematics of Physics, to appear.
da Costa, N. C. A., F. A. Doria andJ. A. de Barros, 1990, ‘A Suppes Predicate for General Relativity and Set-Theoretically Generic Spacetimes’,International Journal of Theoretical Physics 29, 935–961.
da Costa, N. C. A. andL. Dubikajtis, 1968, ‘Sur la logique discoursive de Jaśkowski’,Bull. Acad. Polonaise des Sciences 26, 551–557.
da Costa, N. C. A. andL. Dubikajtis, 1977, ‘On Jaśkowski's discussive logic’, in A. I. Arruda, N. C. A. da Costa and R. Chuaqui (eds.),Non-Classical Logic, Model Theory and Computability, North-Holland, 37 – 56.
da Costa, N. C. A. andD. Marconi, 1987, ‘An overview of paraconsistent logic in the 80s’,Monografias da Soc. Paranaense de Matemática 5.
Dalla Chiara, M. L., andR. Giuntini, 1989, ‘Paraconsistent Quantum Logics’,Foundations of Physics 19, 891–904.
Dalla Chiara, M. L. andG. Toraldo di Francia, 1981,Le Teorie Fisiche, Boringhieri.
T. Furmanowski, T., 1975, ‘Remarks on discussive propositional calculus’,Studia Logica 34, 39–43.
L. Henkin andR. Montague, 1956, ‘On the definition of formal deduction’,Journal of Symbolic Logic 21, 129–136.
Hughes, G. H. andM. J. Cresswell, 1968,An Introduction to Modal Logic, Methuen.
Jaśkowski, S., 1948, ‘Rachunek zdań dla systemów dedukcyjnych sprzecznych’,Studia Soc. Sci. Torunensis 5, 55–77.
Jaśkowski, S., 1949, ‘O koniunkcji dyskusyjnej w rachunku zdań dla systemów dedukcyjnych sprzecznych’,Studia Soc. Sci. Torunensis 8, 171–172.
Jaśkowski, S., 1969, ‘Propositional calculus for contradictory deductive systems’,Studia Logica 24, 143–157.
Kleene, S. C., 1967,Mathematical Logic, Wiley.
Kotas, J., 1971, ‘On the algebra of classes of formulæ of Jaśkowski's discussive system’,Studia Logica 27, 81–91.
Kotas, J., 1974, ‘The axiomatization of Jaśkowski's discussive system’,Studia Logica 28, 195–200.
Kotas, J., 1975, ‘Discussive sentential calculus of Jaśkowski’,Studia Logica 24, 149–168.
I. Mikenberg, N. C. A. da Costa andR. Chuaqui, 1986, ‘Pragmatic truth and approximation to truth’,Journal of Symbolic Logic 51, 201–221.
G. R. Priest, R. Routley andJ. Norman (eds.), 1989,Paraconsistent Logic, Philosophia Verlag.
Quine, W. v. O., 1950,Methods of Logic, Holt.
Rescher, N. andR. Brandon, 1980,The Logic of Inconsistency, Blackwell.
Shoenfield, J., 1967,Mathematical Logic, Addison-Wesley.
Stewart, I., 1991, Deciding the undecidable,Nature 352, 664–665.
Author information
Authors and Affiliations
Additional information
Partially supported by grants from JNICT (Portugal) and FAPESP (Brazil), Philosophy Section. Portions of this paper were concluded while the second author visited the Math-Phys Seminar at the University of Algarve (Portugal).
Rights and permissions
About this article
Cite this article
da Costa, N.C.A., Doria, F.A. On Jaśkowski's discussive logics. Stud Logica 54, 33–60 (1995). https://doi.org/10.1007/BF01058531
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01058531