Graduate studies at Western
Philosophy of Science 60 (4):558-567 (1993)
|Abstract||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)|
|Through your library||Configure|
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 downloads6 ( #154,923 of 739,392 )
Recent downloads (6 months)0
How can I increase my downloads?