International Studies in the Philosophy of Science 9 (1):19 – 36 (1995)
Abstract The notion of necessary new terms (predicates) is proposed. It is shown that necessary new predicates in first?order logic must be directly, recursively defined. I present a first?order inductive learning algorithm that introduces new necessary predicates to model scientific revolution in which a new language is adopted. I demonstrate that my learning system can learn a genetic theory with theoretical terms which, after being induced by my system, can be interpreted as either types of genetic properties (dominant or recessive) or genes, depending on the representation of the hypotheses of the same theoretical terms
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
References found in this work BETA
Answering the Connectionist Challenge: A Symbolic Model of Learning the Past Tenses of English Verbs.C. X. Ling & M. Marinov - 1993 - Cognition 49 (3):235-290.
Citations of this work BETA
No citations found.
Similar books and articles
An Intensional Type Theory: Motivation and Cut-Elimination.Paul C. Gilmore - 2001 - Journal of Symbolic Logic 66 (1):383-400.
Complex Predicates and Logics for Properties and Relations.Chris Swoyer - 1998 - Journal of Philosophical Logic 27 (3):295-325.
Must Synonymous Predicates be Coextensive?Charles Sayward - 1981 - Logique Et Analyse 95 (95):430-435.
Syntactical Truth Predicates for Second Order Arithmetic.Loïc Colson & Serge Grigorieff - 2001 - Journal of Symbolic Logic 66 (1):225-256.
A Computational Model of Ratio Decidendi.L. Karl Branting - 1993 - Artificial Intelligence and Law 2 (1):1-31.
Added to index2009-01-28
Total downloads44 ( #116,607 of 2,158,195 )
Recent downloads (6 months)1 ( #356,322 of 2,158,195 )
How can I increase my downloads?