Abstract
The presence of nonobservational vocabulary is shown to be necessary for wide application of a conservative principle of theory revision.
Similar content being viewed by others
References
Craig, W.: 1953, ‘On Axiomatizability Within a System’, Journal of Symbolic Logic 18, 30–32.
Craig, W. and R. S.Vaught: 1958, ‘Finite Axiomatizability Using Additional Predicates’, Journal of Symbolic Logic 23, 289–308.
Gaifman, H.: 1982, ‘On Local and Nonlocal Properties’, in Stern (ed.), Logic Colloquium, North Holland, pp. 105–132.
Hempel, C. G.: 1963, ‘Implications of Carnap's Work for the Philosophy of Science’, in P. A. Schlipp (ed.), The Philosophy of Rudolf Carnap, Open Court, pp. 685–707.
Osherson, D. and S.Weinstein: 1986a, ‘Identification in the Limit of First Order Structures’, Journal of Philosophical Logic 15, 55–81.
Osherson, D. and S. Weinstein: 1986b, ‘Identifiable Collections of Countable Structures’, Philosophy of Science, in press.
Osherson, D. and S.Weinstein: 1989, ‘paradigms of Truth Detection’, Journal of Philosophical Logic 18, 1–42.
Putnam, H.: 1965, ‘Craig's Theorem’, The Journal of Philosophy, LXII, 251–260.
Author information
Authors and Affiliations
Additional information
Support for this research was provided by the Office of Naval Research under contract No. N00014-87-K-0401. We thank Daniel Andler and Clark Glymour for helpful discussion.
Rights and permissions
About this article
Cite this article
Gaifman, H., Osherson, D.N. & Weinstein, S. A reason for theoretical terms. Erkenntnis 32, 149–159 (1990). https://doi.org/10.1007/BF00217543
Received:
Accepted:
Issue Date:
DOI: https://doi.org/10.1007/BF00217543