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)|
References found in this work BETA
No references found.
Citations of this work BETA
On the Danger of Half-Truths.Daniel Osherson & Scott Weinstein - 1995 - Journal of Philosophical Logic 24 (1):85 - 115.
Similar books and articles
Data Models and the Acquisition and Manipulation of Data.Todd Harris - 2003 - Philosophy of Science 70 (5):1508-1517.
Quantifiers and Working Memory.Jakub Szymanik & Marcin Zajenkowski - 2010 - In Maria Aloni & Katrin Schulz (eds.), Amsterdam Colloquium 2009, LNAI 6042. Springer.
Inference and Explanation in Cognitive Neuropsychology.Max Coltheart & Martin Davies - 2003 - Cortex 39 (1):188-191.
Bogen and Woodward's Data-Phenomena Distinction, Forms of Theory-Ladenness, and the Reliability of Data.Samuel Schindler - 2011 - Synthese 182 (1):39-55.
Is It Logical to Count on Quantifiers? Dissociable Neural Networks Underlying Numerical and Logical Quantifiers.V. Troiani, J. Peelle, R. Clark & M. Grossman - 2009 - Neuropsychologia 47 (1):104--111.
Intensional Verbs and Their Intentional Objects.Friederike Moltmann - 2008 - Natural Language Semantics 16 (3):239-270.
Inductive Inference in the Limit of Empirically Adequate Theories.Bernhard Lauth - 1995 - Journal of Philosophical Logic 24 (5):525 - 548.
Added to index2009-01-28
Total downloads11 ( #399,112 of 2,158,821 )
Recent downloads (6 months)1 ( #354,157 of 2,158,821 )
How can I increase my downloads?