Abstract
We present a kind of logic named multideductive logic and outline an application of it in the problem of theoretic-formal unification of physical theories dealing with the Bohr atom theory. This is just a preliminary study that will be developed in future papers.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Bourbaki, N.: 1969, Theory of Sets, Hermann-Addison Wesley.
da Costa, N. C. A.: 1987, 'O Conceito de Estrutura Em ciência', Boletim da Sociedade Paranaense de Matemática 8, 1–22.
da Costa, N. C. A. and R. Chuaqui: 1988, 'On Suppes' Set Theoretical Predicates', Erkenntnis 29, 95–112.
da Costa, N. C. A. and F. A. Doria: 1992, 'Suppes Predicates for Classical Physics', in A. Ibarra (ed.), The Space of Mathematics.
da Costa, N. C. A. and F. A. Doria: 1992, 'Structures, Suppes Predicates and Boolean-Valued Models in Physics', in J. Hintikka (ed.), Festschrift in Honor of V. I. Ismirnov on his 60th Birthday.
da Costa, N. C. A. and S. French: 1988, 'The Model-Theoretic Approach in the Philosophy of Science', Philosophy of Science 57, (1988), 248–265.
da Costa, N. C. A., E. G. de Souza, O. Bueno, and M. Wertheyser: to appear, Multideductive Logic: An Application to Physics.
de Souza, E. G.: 1992, Estrutura e Lógica de Teorias Físicas. M.Sc. Dissertation. Department of Philosophy. University of São Paulo.
de Souza, E. G.: 1995, O Problema de Destouches e as Lógica Heterodoxas: Ensaio Sobre o Uso de Lógicas Não-clássicas no Tratamento de Inconsistências em Teorias Físicas, Ph.D. Thesis. Department of Philosophy. University of São Paulo.
Eisberg, R. and R. Resnick: 1974, Quantum Physics of Atoms, Molecules, Solids, Nuclei, and Particles, John Wiley, London.
Destouches, J.-L.: 1937, 'L'unité de la Physique Théorique', C. R. Acad. Paris 201, 843–845.
Destouches, J.-L.: 1938, 'Essai sur L'unité de la Physique Théorique', Bul. Scient. de l'École Politechinique de Timisoara, Rumania.
Destouches, J.-L.: 1942, Principes Fondamentaux de Physique Théorique I: Orientation Préalable, Herman Éditeurs.
McKinsey, J. C. C., A. C. Sugar, and P. Suppes: 1953, 'Axiomatic Foundations of Classical Particle Mechanics', J. Rational Mech. Anal. 2, 253–272.
Ruelle, D.: 1991, Chance and Chaos, Princeton University Press.
Shoenfield, J. R.: 1967, Mathematical Logic, Addison Wesley.
Suppes, P.: 1957, Introduction to Logic, Van Nostrand, New York.
Suppes, P.: 1969, Studies in the Methology and Foundations of Science, Reidel, Dordrecht.
Suppes, P.: 1970, Set-theoretical Methods in Science. Mimeographical notes. Stanford University.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
de Souza, E.G. Multideductive Logic And The Theoretic-Formal Unification Of Physical Theories. Synthese 125, 253–262 (2000). https://doi.org/10.1023/A:1005254826656
Issue Date:
DOI: https://doi.org/10.1023/A:1005254826656