Finite Axiomatizability and Scientific Discovery
PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1988:409 - 412 (1988)
| Abstract | This paper provides a mathematical model of scientific discovery. It is shown in the context of this model that any discovery problem that can be solved by a computable scientist can be solved by a computable scientist all of whose conjectures are finitely axiomatizable theories. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | No categories specified (fix it) | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,705 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesDaniel N. Osherson, Michael Stob & Scott Weinstein (1991). A Universal Inductive Inference Machine. Journal of Symbolic Logic 56 (2):661-672.
Toby J. Sommer (2001). Suppression of Scientific Research: Bahramdipity and Nulltiple Scientific Discoveries. Science and Engineering Ethics 7 (1):77-104.
Elżbieta Pietruska-Madej (1995). Pragmatyczne i apragmatyczne aspekty odkrycia naukowego. Filozofia Nauki 4.
Eric Martin & Daniel Osherson (2000). Scientific Discovery on Positive Data Via Belief Revision. Journal of Philosophical Logic 29 (5):483-506.
Francesco Amigoni, Viola Schiaffonati & Marco Somalvico (2000). A Multilevel Architecture of Creative Dynamic Agency. Foundations of Science 5 (2):157-184.
Dmitrij Skvortsov (1997). Not Every "Tabular" Predicate Logic is Finitely Axiomatizable. Studia Logica 59 (3):387-396.
L. Magnani, N. J. Nersessian & P. Thagard (eds.) (1999). Model-Based Reasoning in Scientific Discovery. Kluwer/Plenum.
Andrew Lugg (1985). The Process of Discovery. Philosophy of Science 52 (2):207-220.
Herbert A. Simon (1973). Does Scientific Discovery Have a Logic? Philosophy of Science 40 (4):471-480.
Angelo M. Petroni (1993). Conventionalism, Scientific Discovery and the Sociology of Knowledge. International Studies in the Philosophy of Science 7 (3):225 – 240.
Peter Perkins (1989). Finite Axiomatizability for Equational Theories of Computable Groupoids. Journal of Symbolic Logic 54 (3):1018-1022.
Herbert Simon (1995). Machine Discovery. Foundations of Science 1 (2).
James A. Marcum (2011). Horizon for Scientific Practice: Scientific Discovery and Progress. International Studies in the Philosophy of Science 24 (2):187-215.
Mario Alai (2004). A.I., Scientific Discovery and Realism. Minds and Machines 14 (1):21-42.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2011-05-29Total downloads0Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
