David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Ezio Di Nucci
Jack Alan Reynolds
Learn more about PhilPapers
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)|
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
Peter Mew (1975). Doubts About Moral Principles. Inquiry 18 (3):289 – 308.
Willem R. de Jong (2010). The Analytic-Synthetic Distinction and the Classical Model of Science: Kant, Bolzano and Frege. Synthese 174 (2):237-261.
Kevin C. Klement, Gottlob Frege. Internet Encyclopedia of Philosophy.
Richard Swinburne (1984). Analytic/Synthetic. American Philosophical Quarterly 21 (1):31 - 42.
Itay Ben-Yaacov (2005). Compactness and Independence in Non First Order Frameworks. Bulletin of Symbolic Logic 11 (1):28-50.
Yi Jiang & Tongdong Bai (2010). Studies in Analytic Philosophy in China. Synthese 175 (1):3-12.
Douglas N. Hoover (1987). An Analytic Completeness Theorem for Logics with Probability Quantifiers. Journal of Symbolic Logic 52 (3):802-816.
Walter A. Carnielli (1987). Systematization of Finite Many-Valued Logics Through the Method of Tableaux. Journal of Symbolic Logic 52 (2):473-493.
Added to index2009-01-28
Total downloads14 ( #264,376 of 1,911,676 )
Recent downloads (6 months)3 ( #254,182 of 1,911,676 )
How can I increase my downloads?