- Is Water H2O? Evidence, Realism and Pluralism.Hasok Chang - 2012 - Boston Studies in the Philosophy and History of Science.details
|
|
Morita Equivalence.Thomas William Barrett & Hans Halvorson - 2016 - Review of Symbolic Logic 9 (3):556-582.details
|
|
Glymour and Quine on Theoretical Equivalence.Thomas William Barrett & Hans Halvorson - 2016 - Journal of Philosophical Logic 45 (5):467-483.details
|
|
On definitional equivalence and related topics.J. Corcoran - 1980 - History and Philosophy of Logic 1:231.details
|
|
Cylindric Algebras. Part I.Leon Henkin, J. Donald Monk, Alfred Tarski, L. Henkin, J. D. Monk & A. Tarski - 1985 - Journal of Symbolic Logic 50 (1):234-237.details
|
|
Cylindric Algebras. Part II.Leon Henkin, J. Donald Monk & Alfred Tarski - 1988 - Journal of Symbolic Logic 53 (2):651-653.details
|
|
(1 other version)Review: Alfred Tarski, Undecidable Theories. [REVIEW]Martin Davis - 1959 - Journal of Symbolic Logic 24 (2):167-169.details
|
|
Categoricity.John Corcoran - 1980 - History and Philosophy of Logic 1 (1):187-207.details
|
|
The epistemology of geometry.Clark Glymour - 1977 - Noûs 11 (3):227-251.details
|
|
The Copernican Revolution: Planetary Astronomy in the Development of Western Thought.Thomas S. Kuhn - 1957 - Harvard University Press.details
|
|
Theoretical Realism and Theoretical Equivalence.Clark Glymour - 1970 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1970:275 - 288.details
|
|
Model theory.Wilfrid Hodges - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
(1 other version)Concatenation as a basis for arithmetic.W. V. Quine - 1946 - Journal of Symbolic Logic 11 (4):105-114.details
|
|
(1 other version)Concatenation as a Basis for Arithmetic.W. V. Quine - 1946 - Journal of Symbolic Logic 13 (4):219-220.details
|
|
Undecidable Theories.Alfred Tarski, Andrzej Mostowski & Raphael M. Robinson - 1953 - Philosophy 30 (114):278-279.details
|
|
Theory and Evidence.Clark Glymour - 1980 - Ethics 93 (3):613-615.details
|
|
Book Reviews. [REVIEW]Wilfrid Hodges - 1997 - Studia Logica 64 (1):133-149.details
|
|
Relative truth definability of axiomatic truth theories.Kentaro Fujimoto - 2010 - Bulletin of Symbolic Logic 16 (3):305-344.details
|
|
Theory and Evidence.Clark Glymour - 1981 - British Journal for the Philosophy of Science 32 (3):314-318.details
|
|
Theory and Evidence.Clark Glymour - 1981 - Philosophy of Science 48 (3):498-500.details
|
|
Properties Preserved under Definitional Equivalence and Interpretations.Charles C. Pinter - 1978 - Mathematical Logic Quarterly 24 (31-36):481-488.details
|
|
Theory and Evidence.Clark Glymour - 1982 - Erkenntnis 18 (1):105-130.details
|
|
Mutual definability does not imply definitional equivalence, a simple example.Hajnal Andréka, Judit X. Madarász & István Németi - 2005 - Mathematical Logic Quarterly 51 (6):591-597.details
|
|
Comparing classical and relativistic kinematics in first-order logic.Koen Lefever & Gergely Székely - unknowndetails
|
|
Distances between formal theories.Michele Friend, Mohamed Khaled, Koen Lefever & Gergely Székely - unknown - Review of Symbolic Logic 13 (3):633-654.details
|
|