Introducing new predicates to model scientific revolution
Charles X. Ling · International Studies in the Philosophy of Science · 1995
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.