- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Multideductive logic and the theoretic-formal unification of physical theories
Synthese 125 (1):253-262 (2000)
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.Other Versions
No versions found
My notes
Similar books and articles
Teorias físicas inconsistentes e lógicas multidedutivas.Edélcio Gonçalves de Souza - 2000 - Cognitio 1:145-152.
Unification – it's magnificent but is it explanation?Ilpo Halonen & Jaakko Hintikka - 1999 - Synthese 120 (1):27-47.
Introduction: Proof-theoretic semantics.Reinhard Kahle & Peter Schroeder-Heister - 2006 - Synthese 148 (3):503-506.
Measurement theoretic semantics and the semantics of necessity.Eli Dresner - 2002 - Synthese 130 (3):413-440.
Ontic Field Theory: A Rigorous Framework for Quantified Existence in Physics and Mathematics.Belhassen Nicolas - manuscript
A set theoretic versus a model theoretic approach to the logical structure of physical theories.Marian Przełęcki - 1974 - Studia Logica 33 (1):91 - 112.
Interlude: The Place and Role of Model Theory.Stewart Shapiro - 2006 - In Vagueness in Context. Oxford, GB: Clarendon Press. pp. 45-59.
Can we dissolve physical entities into mathematical structures?Tian Yu Cao - 2003 - Synthese 136 (1):57-71.
Analytics
Added to PP
2009-01-28
Downloads
118 (#399,984)
6 months
13 (#895,072)
2009-01-28
Downloads
118 (#399,984)
6 months
13 (#895,072)
Historical graph of downloads
Citations of this work
Paraconsistent Orbits of Logics.Edelcio G. de Souza, Alexandre Costa-Leite & Diogo H. B. Dias - 2021 - Logica Universalis 15 (3):271-289.
Aspectos da indiscernibilidade qu'ntica e da teoria de quase-conjuntos.Décio Krause - 2023 - Perspectivas 7 (2):99-119.
References found in this work
Studies in the methodology and foundations of science.Patrick Suppes - 1969 - Dordrecht,: D. Reidel.
The Model-Theoretic Approach in the Philosophy of Science.Newton C. A. Da Costa & Steven French - 1990 - Philosophy of Science 57 (2):248-265.
J.-J. Rousseau.Mm Baldensperger, Beaulavon, Benrubi, Bouglé, Cahen & Delbos - 1913 - Revue de Métaphysique et de Morale 21 (1):7-8.
Try MATCHA Writer if you're interested in citing directly from PhilPapers and certifying your authorship.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation