Multideductive logic and the theoretic-formal unification of physical theories
Synthese 125 (1-2):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. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | No categories specified (fix it) | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,701 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesGerhard Jäger & Barbara Primo (1992). About the Proof-Theoretic Ordinals of Weak Fixed Point Theories. Journal of Symbolic Logic 57 (3):1108-1119.
Bas C. Van Fraassen (1970). On the Extension of Beth's Semantics of Physical Theories. Philosophy of Science 37 (3):325 - 339.
Marian Przełęcki (1974). A Set Theoretic Versus a Model Theoretic Approach to the Logical Structure of Physical Theories. Studia Logica 33 (1):91 - 112.
D. L. Székely (1962). A Preliminary Report on the Theory of Unification of Sciences and its Concept Transforming Automation. Notre Dame Journal of Formal Logic 3 (4):234-242.
Thomas Forster & Thierry Libert (2010). An Order-Theoretic Account of Some Set-Theoretic Paradoxes. Notre Dame Journal of Formal Logic 52 (1):1-19.
Jeremy Avigad & Richard Sommer (1999). The Model-Theoretic Ordinal Analysis of Theories of Predicative Strength. Journal of Symbolic Logic 64 (1):327-349.
Krzysztof Wójtowicz (1998). Unification of Mathematical Theories. Foundations of Science 3 (2):207-229.
Ole T. Hjortland (2009). The Structure of Logical Consequence : Proof-Theoretic Conceptions. Dissertation, University of St Andrews
Paul Strauss (1985). Number-Theoretic Set Theories. Notre Dame Journal of Formal Logic 26 (1):81-95.
Edelcio G. De Souza (2000). Multideductive Logic and the Theoretic-Formal Unification of Physical Theories. Synthese 125 (1/2):253 - 262.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads1 ( #274,921 of 549,119 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
