David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
In this first paper of a series of works on the foundations of science, we examine the significance of logical and mathematical frameworks used in foundational studies. In particular, we emphasize the distinction between the order of a language and the order of a structure to prevent confusing models of scientific theories (as set-theoretical structures) with first-order structures (called here order-1 structures), and which are studied in standard (first-order) model theory. All of us are, of course, bound to make abuses of language even in putatively precise contexts. This is not a problem—in fact, it is part of scientific and philosophical practice. But it is important to be sensitive to the dierent uses that structure, model, and language have. In this paper, we examine these topics in the context of classical logic; only in the last section we touch upon briefly on non-classical ones
|Keywords||No keywords specified (fix it)|
|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
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Décio Krause, Jonas Arenhart & Fernando Moraes (2011). Axiomatization and Models of Scientific Theories. Foundations of Science 16 (4):363-382.
Ronald N. Giere (1994). The Cognitive Structure of Scientific Theories. Philosophy of Science 61 (2):276-296.
Newton da Costa & Steven French (2000). Models, Theories, and Structures: Thirty Years On. Philosophy of Science 67 (3):127.
Mohamed A. Amer (1989). First Order Logic with Empty Structures. Studia Logica 48 (2):169 - 177.
Holger Sturm & Frank Wolter (2001). First-Order Expressivity for S5-Models: Modal Vs. Two-Sorted Languages. Journal of Philosophical Logic 30 (6):571-591.
Steven French (2000). Models, Theories, and Structures: Thirty Years On. Philosophy of Science 67 (S1):S116 - S127.
Robert Goldblatt (2001). Quasi-Modal Equivalence of Canonical Structures. Journal of Symbolic Logic 66 (2):497-508.
Paul Thagard (1986). Computational Models in the Philosophy of Science. PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1986:329 - 335.
M. Andrew Moshier (1995). A Rational Reconstruction of the Domain of Feature Structures. Journal of Logic, Language and Information 4 (2):111-143.
Ignacio Jané (1993). A Critical Appraisal of Second-Order Logic. History and Philosophy of Logic 14 (1):67-86.
Stefano Berardi (1999). Intuitionistic Completeness for First Order Classical Logic. Journal of Symbolic Logic 64 (1):304-312.
William H. Hanson & James Hawthorne (1985). Validity in Intensional Languages: A New Approach. Notre Dame Journal of Formal Logic 26 (1):9-35.
Peter Vickers (2009). Can Partial Structures Accommodate Inconsistent Science? Principia 13 (2):233-250-.
Margaret Morrison (1988). Reduction and Realism. PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1988:286 - 293.
Jill North (2009). The “Structure” of Physics. Journal of Philosophy 106 (2):57-88.
Added to index2010-09-12
Total downloads27 ( #70,628 of 1,168,008 )
Recent downloads (6 months)1 ( #140,193 of 1,168,008 )
How can I increase my downloads?