Abstract
This paper develops a notion of almost-everywhere definability, first published in [1], that appears more suitable, for certain purposes of axiomatizing scientific theories, than the stronger notion of definability formalized by Tarski [2, Chapter X].
[Journal of Symbolic Logic 31, 705–706 (1966)].
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Simon, Herbert A., ‘Definable Terms and Primitives in Axiom Systems’, in Henkin, Suppes and Tarski (eds.), Symposium on the Axiomatic Method (Amsterdam: North-Holland Publ. Co., 1959), pp. 443–453.
Tarski, A., Logic, Semantics, Metamathematics (Oxford: Clarendon Press, 1956).
Simon, Herbert A., ‘The Axiomsof Newtonian Mechanics’, Philosophical Magazine, Ser. 7, 33, 888–905 (1947).
McKinsey, J. C. C., A. C. Sugar, and P. Suppes, ‘Axiomatic Foundations of Classical Particle Mechanics’, Journal of Rational Mechanics and Analysis 2, 253–272 (1953).
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1977 D. Reidel Publishing Company, Dordrecht, Holland
About this chapter
Cite this chapter
Simon, H.A. (1977). A Note on Almost-Everywhere Definability. In: Models of Discovery. Boston Studies in the Philosophy of Science, vol 54. Springer, Dordrecht. https://doi.org/10.1007/978-94-010-9521-1_23
Download citation
DOI: https://doi.org/10.1007/978-94-010-9521-1_23
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-277-0970-7
Online ISBN: 978-94-010-9521-1
eBook Packages: Springer Book Archive