David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Journal of Philosophical Logic 19 (1):1 - 33 (1990)
Convergent realists desire scientific methods that converge reliably to informative, true theories over a wide range of theoretical possibilities. Much attention has been paid to the problem of induction from quantifier-free data. In this paper, we employ the techniques of formal learning theory and model theory to explore the reliable inference of theories from data containing alternating quantifiers. We obtain a hierarchy of inductive problems depending on the quantifier prefix complexity of the formulas that constitute the data, and we provide bounds relating the quantifier prefix complexity of the data to the quantifier prefix complexity of the theories that can be reliably inferred from such data without background knowledge. We also examine the question whether there are theories with mixed quantifiers that can be reliably inferred with closed, universal formulas in the data, but not without
|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
Todd Harris (2003). Data Models and the Acquisition and Manipulation of Data. Philosophy of Science 70 (5):1508-1517.
Jakub Szymanik & Marcin Zajenkowski (2010). Quantifiers and Working Memory. In Maria Aloni & Katrin Schulz (eds.), Amsterdam Colloquium 2009, LNAI 6042. Springer
Max Coltheart & Martin Davies (2003). Inference and Explanation in Cognitive Neuropsychology. Cortex 39 (1):188-191.
Samuel Schindler (2011). Bogen and Woodward's Data-Phenomena Distinction, Forms of Theory-Ladenness, and the Reliability of Data. Synthese 182 (1):39-55.
Gordon N. Pinkham (1975). Some Doubts About Scientific Data. Philosophy of Science 42 (3):260-269.
Gila Sher (1990). Ways of Branching Quantifers. Linguistics and Philosophy 13 (4):393 - 422.
V. Troiani, J. Peelle, R. Clark & M. Grossman (2009). Is It Logical to Count on Quantifiers? Dissociable Neural Networks Underlying Numerical and Logical Quantifiers. Neuropsychologia 47 (1):104--111.
Friederike Moltmann (2008). Intensional Verbs and Their Intentional Objects. Natural Language Semantics 16 (3):239-270.
Bernhard Lauth (1995). Inductive Inference in the Limit of Empirically Adequate Theories. Journal of Philosophical Logic 24 (5):525 - 548.
Added to index2009-01-28
Total downloads10 ( #220,891 of 1,707,807 )
Recent downloads (6 months)4 ( #160,266 of 1,707,807 )
How can I increase my downloads?