A reason for theoretical terms

The presence of nonobservational vocabulary is shown to be necessary for wide application of a conservative principle of theory revision.

[1]  H. Putnam.  Craig's Theorem , 1965 .

[2]  H. Gaifman.  On Local and Non-Local Properties , 1982 .

[3]  William Craig,et al.  Finite Axiomatizability using additional predicates , 1958, Journal of Symbolic Logic.

[4]  Daniel N. Osherson,et al.  Identification in the limit of first order structures , 1986, Journal of Philosophical Logic.

[5]  Daniel N. Osherson,et al.  Paradigms of truth detection , 1989, J. Philos. Log..

[6]  William Craig,et al.  On axiomatizability within a system , 1953, Journal of Symbolic Logic.

[7]  Daniel N. Osherson,et al.  Identifiable Collections of Countable Structures , 1989, Philosophy of Science.