Convergence to the Truth and Nothing but the Truth
- 1 June 1989
- journal article
- Published by Cambridge University Press (CUP) in Philosophy of Science
- Vol. 56 (2), 185-220
- https://doi.org/10.1086/289483
Abstract
One construal of convergent realism is that for each clear question, scientific inquiry eventually answers it. In this paper we adapt the techniques of formal learning theory to determine in a precise manner the circumstances under which this ideal is achievable. In particular, we define two criteria of convergence to the truth on the basis of evidence. The first, which we call EA convergence, demands that the theorist converge to the complete truth “all at once”. The second, which we call AE convergence, demands only that for every sentence in the theorist's language, there is a time at which the theorist settles the status of the sentence. The relative difficulties of these criteria are compared for effective and ineffective agents. We then examine in detail how the enrichment of an agent's hypothesis language makes the task of converging to the truth more difficult. In particular, we parametrize first-order languages by predicate and function symbol arity, presence or absence of identity, and quantifier prefix complexity. For nearly each choice of values of these parameters, we determine the senses in which effective and ineffective agents can converge to the complete truth on an arbitrary structure for the language. Finally, we sketch directions in which our learning theoretic setting can be generalized or made more realistic.Keywords
This publication has 8 references indexed in Scilit:
- Identifiable Collections of Countable StructuresPhilosophy of Science, 1989
- Recent Results on Boolean Concept LearningPublished by Elsevier BV ,1987
- Learning by ExperimentationPublished by Elsevier BV ,1987
- Transcending inductive category formation in learningBehavioral and Brain Sciences, 1986
- Identification in the limit of first order structuresJournal of Philosophical Logic, 1986
- Grundlagen der Mathematik IPublished by Springer Science and Business Media LLC ,1968
- Language identification in the limitInformation and Control, 1967
- Limiting recursionThe Journal of Symbolic Logic, 1965