|Abstract||then essentially characterized the hypotheses that mechanical scientists can successfully decide in the limit in terms of arithmetic complexity. These ideas were developed still further by Peter Kugel . In this paper, I extend this approach to obtain characterizations of identification in the limit, identification with bounded mind-changes, and identification in the short run, both for computers and for ideal agents with unbounded computational abilities. The characterization of identification with n mind-changes entails, as a corollary, an exact arithmetic characterization of Putnam's n-trial predicates, which closes a gap of a factor of two in Putnam's original characterization .|
|Keywords||No keywords specified (fix it)|
No categories specified
(categorize this paper)
|Through your library||Only published papers are available at libraries|
Similar books and articles
Richard Pettigrew (2009). On Interpretations of Bounded Arithmetic and Bounded Set Theory. Notre Dame Journal of Formal Logic 50 (2):141-152.
Sean Fulop & Nick Chater (2013). Editors' Introduction: Why Formal Learning Theory Matters for Cognitive Science. Topics in Cognitive Science 5 (1):3-12.
Sanjay Jain & Arun Sharma (1997). The Structure of Intrinsic Complexity of Learning. Journal of Symbolic Logic 62 (4):1187-1201.
Benjamin D. Miller (2012). The Graph-Theoretic Approach to Descriptive Set Theory. Bulletin of Symbolic Logic 18 (4):554-575.
Joerg Flum (2003). Descriptive Complexity Theories. Theoria 18 (1):47-58.
Kevin T. Kelly (1988). Formal Learning Theory and the Philosophy of Science. PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1988:413 - 423.
Nina Gierasimczuk (2009). Bridging Learning Theory and Dynamic Epistemic Logic. Synthese 169 (2):371-384.
Alexander Rueger (1998). Local Theories of Causation and the a Posteriori Identification of the Causal Relation. Erkenntnis 48 (1):27-40.
Oliver Schulte, Formal Learning Theory. Stanford Encyclopedia of Philosophy.
Bernhard Lauth (1993). Inductive Inference in the Limit for First-Order Sentences. Studia Logica 52 (4):491 - 517.
Dominique Lecomte (2005). Ω-Powers and Descriptive Set Theory. Journal of Symbolic Logic 70 (4):1210-1232.
Richard Pettigrew (2010). The Foundations of Arithmetic in Finite Bounded Zermelo Set Theory. Cahiers du Centre de Logique 17:99-118.
Daniel Lassiter (2008). Semantic Externalism, Language Variation, and Sociolinguistic Accommodation. Mind and Language 23 (5):607-633.
Duane M. Rumbaugh (1997). The Psychology of Harry F. Harlow: A Bridge From Radical to Rational Behaviorism. Philosophical Psychology 10 (2):197 – 210.
Added to index2010-12-22
Total downloads9 ( #122,367 of 722,776 )
Recent downloads (6 months)1 ( #60,541 of 722,776 )
How can I increase my downloads?