David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Philosophy of Science 69 (S3):S331-S341 (2002)
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 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 finitely often, that is, the conjectures must converge in the limit to the correct cell. 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)|
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
L. Jonathan Cohen (1992). An Essay on Belief and Acceptance. New York: Clarendon Press.
Kevin Kelly (1996). The Logic of Reliable Inquiry. Oxford University Press, USA.
Citations of this work BETA
Amalia Amaya (2007). Formal Models of Coherence and Legal Epistemology. Artificial Intelligence and Law 15 (4):429-447.
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 downloads19 ( #145,287 of 1,725,870 )
Recent downloads (6 months)4 ( #166,949 of 1,725,870 )
How can I increase my downloads?