International Studies in the Philosophy of Science 9 (1):19 – 36 (1995)
|Abstract||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)|
|Through your library||Configure|
Similar books and articles
Paul C. Gilmore (2001). An Intensional Type Theory: Motivation and Cut-Elimination. Journal of Symbolic Logic 66 (1):383-400.
Scott Soames (2006). Précis of Beyond Rigidity. Philosophical Studies 128 (3):645 - 654.
Chris Swoyer (1998). Complex Predicates and Logics for Properties and Relations. Journal of Philosophical Logic 27 (3):295-325.
Charles Sayward (1981). Must Synonymous Predicates Be Coextensive? Logique Et Analyse 95:430-435.
Loïc Colson & Serge Grigorieff (2001). Syntactical Truth Predicates for Second Order Arithmetic. Journal of Symbolic Logic 66 (1):225-256.
L. Karl Branting (1993). A Computational Model of Ratio Decidendi. Artificial Intelligence and Law 2 (1):1-31.
F. A. Muller (2011). Reflections on the Revolution at Stanford. Synthese 183 (1):87-114.
Rohit Parikh (1996). Vague Predicates and Language Games. Theoria 11 (3):97-107.
Added to index2009-01-28
Total downloads2 ( #245,904 of 722,779 )
Recent downloads (6 months)1 ( #60,541 of 722,779 )
How can I increase my downloads?