Philosophy of Science 37 (3):325-339 (1970)
A basic aim of E. Beth's work in philosophy of science was to explore the use of formal semantic methods in the analysis of physical theories. We hope to show that a general framework for Beth's semantic analysis is provided by the theory of semi-interpreted languages, introduced in a previous paper. After developing Beth's analysis of nonrelativistic physical theories in a more general form, we turn to the notion of the 'logic' of a physical theory. Here we prove a result concerning the conditions under which semantic entailment in such a theory is finitary. We argue, finally, that Beth's approach provides a characterization of physical theory which is more faithful to current practice in foundational research in the sciences than the familiar picture of a partly interpreted axiomatic theory
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
Empirical Adequacy: A Partial Structures Approach.O. Bueno - 1997 - Studies in History and Philosophy of Science Part A 28 (4):585-610.
Reinflating the Semantic Approach.Steven French & James Ladyman - 1999 - International Studies in the Philosophy of Science 13 (2):103 – 121.
Missing Systems and the Face Value Practice.Martin Thomson-Jones - 2010 - Synthese 172 (2):283 - 299.
Interweaving Categories: Styles, Paradigms, and Models.Rasmus Grønfeldt Winther - 2012 - Studies in History and Philosophy of Science Part A 43 (4):628-639.
On a Straw Man in the Philosophy of Science: A Defense of the Received View.Sebastian Lutz - 2012 - Hopos: The Journal of the International Society for the History of Philosophy of Science 2 (1):77–120.
Similar books and articles
On the Treatment of Incomparability in Ordering Semantics and Premise Semantics.Eric Swanson - 2011 - Journal of Philosophical Logic 40 (6):693-713.
Ontological Commitment and Contextual Semantics.Maria E. Reicher - 2002 - Grazer Philosophische Studien 63 (1):141-155.
Embeddability, Syntax, and Semantics in Accounts of Scientific Theories.Peter Turney - 1990 - Journal of Philosophical Logic 19 (4):429 - 451.
Categorical Semantics for Higher Order Polymorphic Lambda Calculus.R. A. G. Seely - 1987 - Journal of Symbolic Logic 52 (4):969-989.
Added to index2009-01-28
Total downloads42 ( #124,125 of 2,172,871 )
Recent downloads (6 months)5 ( #56,279 of 2,172,871 )
How can I increase my downloads?