Philosophy of Science 60 (4):558-567 (1993)
The paper claims that analytic philosophy has failed within the philosophy of science due to the way the dynamic aspect of scientific theories is traditionally treated. On the formal side this failure manifests itself in the first-order logical and the model-theoretic analyses of scientific theories. An amendment of the treatment is sketched. It is based on using model generation, of the kind used in proving the Completeness Theorem for first-order logic, in such a way that some dynamic quantities in the dynamic theory are formally represented as functions relating closed terms and sentences to their interpretations in a generated model
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
The Analytic-Synthetic Distinction and the Classical Model of Science: Kant, Bolzano and Frege.Willem R. de Jong - 2010 - Synthese 174 (2):237-261.
Compactness and Independence in Non First Order Frameworks.Itay Ben-Yaacov - 2005 - Bulletin of Symbolic Logic 11 (1):28-50.
An Analytic Completeness Theorem for Logics with Probability Quantifiers.Douglas N. Hoover - 1987 - Journal of Symbolic Logic 52 (3):802-816.
Systematization of Finite Many-Valued Logics Through the Method of Tableaux.Walter A. Carnielli - 1987 - Journal of Symbolic Logic 52 (2):473-493.
Added to index2009-01-28
Total downloads14 ( #326,922 of 2,153,473 )
Recent downloads (6 months)1 ( #399,080 of 2,153,473 )
How can I increase my downloads?