David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Foundations of Science 16 (4):363-382 (2011)
In this paper we discuss two approaches to the axiomatization of scientific theories in the context of the so called semantic approach, according to which (roughly) a theory can be seen as a class of models. The two approaches are associated respectively to Suppes’ and to da Costa and Chuaqui’s works. We argue that theories can be developed both in a way more akin to the usual mathematical practice (Suppes), in an informal set theoretical environment, writing the set theoretical predicate in the language of set theory itself or, more rigorously (da Costa and Chuaqui), by employing formal languages that help us in writing the postulates to define a class of structures. Both approaches are called internal , for we work within a mathematical framework, here taken to be first-order ZFC. We contrast these approaches with an external one, here discussed briefly. We argue that each one has its strong and weak points, whose discussion is relevant for the philosophical foundations of science
|Keywords||Structures Models Set-theoretical predicates Formal languages|
|Categories||categorize this paper)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
N. C. A. Da Costa & A. A. M. Rodrigues (2007). Definability and Invariance. Studia Logica 86 (1):1-30.
Newton C. A. da Costa & Rolando Chuaqui (1988). On Suppes' Set Theoretical Predicates. Erkenntnis 29 (1):95 - 112.
Steven French & Décio Krause (2010). Remarks on the Theory of Quasi-Sets. Studia Logica 95 (1/2):101 - 124.
Richard Kaye (1991). Models of Peano Arithmetic. Clarendon Press.
Gregory H. Moore (1980). Beyond First-Order Logic: The Historical Interplay Between Mathematical Logic and Axiomatic Set Theory. History and Philosophy of Logic 1 (1-2):95-137.
Citations of this work BETA
Jonas R. B. Arenhart (2012). Ontological Frameworks for Scientific Theories. Foundations of Science 17 (4):339-356.
Similar books and articles
Newton C. A. da Costa, Décio Krause & Otávio Bueno, Issues in the Foundations of Science, I: Languages, Structures, and Models.
Décio Krause & Otávio Bueno (2007). Scientific Theories, Models, and the Semantic Approach. Principia 11 (2):187-201.
Sebastian Lutz (2014). What's Right with a Syntactic Approach to Theories and Models? Erkenntnis:1-18.
Robin F. Hendry & Stathis Psillos (2007). How to Do Things with Theories: An Interactive View of Language and Models in Science. In Jerzy Brzeziński, Andrzej Klawiter, Theo A. F. Kuipers, Krzysztof Łastowski, Katarzyna Paprzycka & Piotr Przybysz (eds.), The Courage of Doing Philosophy: Essays Dedicated to Leszek Nowak. Rodopi. 123--157.
Jaakko Hintikka (2011). What is the Axiomatic Method? Synthese 183 (1):69-85.
Peter Vickers (2009). Can Partial Structures Accommodate Inconsistent Science? Principia 13 (2):233-250-.
Sebastian Lutz (2012). On a Straw Man in the Philosophy of Science: A Defense of the Received View. Hopos 2 (1):77–120.
C. Ulises Moulines (2006). Ontology, Reduction, Emergence: A General Frame. Synthese 151 (3):313-323.
Elaine Landry (2007). Shared Structure Need Not Be Shared Set-Structure. Synthese 158 (1):1 - 17.
Hans Halvorson (2012). What Scientific Theories Could Not Be. Philosophy of Science 79 (2):183-206.
Vladimir Kanovei & Michael Reeken (2000). Extending Standard Models of ZFC to Models of Nonstandard Set Theories. Studia Logica 64 (1):37-59.
William F. Brewer (2001). Models in Science and Mental Models in Scientists and Nonscientists. Mind and Society 2 (2):33-48.
Steven French (2010). Keeping Quiet on the Ontology of Models. Synthese 172 (2):231 - 249.
Added to index2011-03-10
Total downloads19 ( #90,054 of 1,102,697 )
Recent downloads (6 months)2 ( #182,541 of 1,102,697 )
How can I increase my downloads?