- Completeness in the theory of types.Leon Henkin - 1950 - Journal of Symbolic Logic 15 (2):81-91.details
|
|
Morita Equivalence.Thomas William Barrett & Hans Halvorson - 2016 - Review of Symbolic Logic 9 (3):556-582.details
|
|
What Was the Syntax‐Semantics Debate in the Philosophy of Science About?Sebastian Lutz - 2017 - Philosophy and Phenomenological Research 95 (2):319-352.details
|
|
Beobachtungssprache und theoretische Sprache.R. Carnap - 1958 - Dialectica 12 (3):236.details
|
|
The Semantic View, If Plausible, Is Syntactic.Hans Halvorson - 2013 - Philosophy of Science 80 (3):475-478.details
|
|
What Scientific Theories Could Not Be.Hans Halvorson - 2012 - Philosophy of Science 79 (2):183-206.details
|
|
Reinflating the semantic approach.Steven French & James Ladyman - 1999 - International Studies in the Philosophy of Science 13 (2):103 – 121.details
|
|
Definable categorical equivalence.Laurenz Hudetz - 2019 - Philosophy of Science 86 (1):47-75.details
|
|
Theory of Sets.Nicolas Bourbaki - 1975 - Journal of Symbolic Logic 40 (4):630-631.details
|
|
One or Two Gentle Remarks about Hans Halvorson’s Critique of the Semantic View.Bas C. van Fraassen - 2014 - Philosophy of Science 81 (2):276-283,.details
|
|
Theoretical Equivalence and the Semantic View of Theories.Clark Glymour - 2013 - Philosophy of Science 80 (2):286-297.details
|
|
What’s Right with a Syntactic Approach to Theories and Models?Sebastian Lutz - 2010 - Erkenntnis (S8):1-18.details
|
|
How to do things with theories: an interactive view of language and models in science.Robin F. Hendry & Stathis Psillos - 2007 - In Jerzy Brzezinski, Andrzej Klawiter, Theo A. F. Kuipers, Krzysztof Lastowski, Katarzyna Paprzycka & Piotr Przybysz (eds.), The Courage of Doing Philosophy: Essays Dedicated to Leszek Nowak. Rodopi. pp. 123--157.details
|
|
Science and Partial Truth: A Unitary Approach to Models and Scientific Reasoning.Newton C. A. Da Costa & Steven French - 2003 - New York, US: Oup Usa.details
|
|
Introduction to Higher Order Categorical Logic.J. Lambek & P. J. Scott - 1989 - Journal of Symbolic Logic 54 (3):1113-1114.details
|
|
Institution-Independent Model Theory.Razvan Diaconescu - 2008 - Basel, Switzerland: Birkhäuser.details
|
|
An unreal image. [REVIEW]John Worrall - 1984 - British Journal for the Philosophy of Science 35 (1):65-80.details
|
|
An Architectonic for Science; The Structuralist Program.Wolfgang Balzer, C. Ulises Moulines & Joseph D. Sneed - 1990 - Studia Logica 49 (1):153-155.details
|
|
From Geometry to Conceptual Relativity.Thomas William Barrett & Hans Halvorson - 2017 - Erkenntnis 82 (5):1043-1063.details
|
|
Quasi finitely axiomatizable totally categorical theories.Gisela Ahlbrandt & Martin Ziegler - 1986 - Annals of Pure and Applied Logic 30 (1):63-82.details
|
|
Review: Alfred Tarski, Undecidable Theories. [REVIEW]Martin Davis - 1959 - Journal of Symbolic Logic 24 (2):167-169.details
|
|
Beobachtungssprache und theoretische sprache.von Rudolf Carnap - 1958 - Dialectica 12 (3‐4):236-248.details
|
|
The Logic of Empirical Theories. [REVIEW]P. M. Williams - 1970 - British Journal for the Philosophy of Science 21 (3):291-298.details
|
|