|Abstract||A model of inductive inquiry is defined within the context of first-order logic. The model conceives of inquiry as a game between Nature and a scientist. To begin the game, a nonlogical vocabulary is agreed upon by the two players, along with a partition of a class of countable structures for that vocabulary. Next, Nature secretly chooses one structure ("the real world") from some cell of the partition. She then presents the scientist with a sequence of facts about the chosen structure. With each new datum the scientist announces a guess about the cell to which the chosen structure belongs. To succeed in his or her inquiry, the scientist’s successive conjectures must be correct all but Hnitely often, that is, the conjectures must converge in the limit to the correct ceH. Different kinds of scientists can be investigated within this framework. At opposite ends of the spectrum are dumb scientists that rely on the strategy of "induction by enumeration," and smart scientists that rely on an operator of belief revision. We report some results about the scope and limits of these two inductive strategies.|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Only published papers are available at libraries|
Similar books and articles
Riccardo Viale & Daniel Osherson (2000). The Diversity Principle and the Little Scientist Hypothesis. Foundations of Science 5 (2):239-253.
James C. Gaa (1977). Moral Autonomy and the Rationality of Science. Philosophy of Science 44 (4):513-541.
Daniel N. Osherson & Scott Weinstein (1989). Identifiable Collections of Countable Structures. Philosophy of Science 56 (1):94-105.
K. Brad Wray (2003). Is Science Really a Young Man's Game? Social Studies of Science 33:137-49.
Eric Martin & Daniel Osherson (2002). Scientific Discovery From the Perspective of Hypothesis Acceptance. Proceedings of the Philosophy of Science Association 2002 (3):S331-S341.
Eric Martin & Daniel Osherson (1997). Scientific Discovery Based on Belief Revision. Journal of Symbolic Logic 62 (4):1352-1370.
Daniel N. Osherson, Michael Stob & Scott Weinstein (1991). A Universal Inductive Inference Machine. Journal of Symbolic Logic 56 (2):661-672.
Daniel N. Osherson & Scott Weinstein (1988). Finite Axiomatizability and Scientific Discovery. PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1988:409 - 412.
Eric Martin & Daniel Osherson (2000). Scientific Discovery on Positive Data Via Belief Revision. Journal of Philosophical Logic 29 (5):483-506.
Added to index2009-03-13
Total downloads12 ( #101,057 of 722,700 )
Recent downloads (6 months)1 ( #60,006 of 722,700 )
How can I increase my downloads?