Abstract
Our colloquial (natural) language is, scientifically seen, imprecise and our thoughts expressed in it are usually multi-vocal. For this reason, our colloquial language is unsuited for the precise formulation of scientific theories. Also, we see different scientific disciplines all using their own specialized languages. These specialized languages distinguish themselves from the natural languages by their greater conceptual precision and, more often than not, by their significant curtailment of the colloquial field to which they specifically relate.
-τοϋ μέν ούν μονίμον και βιβαιον καί μετά νοϋ καταøανοϋς μονϊμονς καί άμεταπτώτονς καθ’ όσον τε άνελεγτοις προσήκει λσγοις είναι καί ακωήτοις, τοϋτον δεϊ μηδέν έλλείπειν τούς δέ τοϋ πρός μέν έκεϊνο απεικασθέντος...
Plato, Timaios 29b
[The statements regarding the abiding and the indubitable and regarding that which admits of theoretical reflection, should be constant and unchangeable, even as much as possible irrefutable and solid, and, in this respect, should not let anything be lacking...]
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
Preview
Unable to display preview. Download preview PDF.
References
Bartley, W. W., ‘Lewis Carroll’s Last Book on Logic’, Scientific American 227, July 1972.
Bell, J. L., Slomson, A. P., Models and Ultraproducts, North-Holland, 1969.
Bochenski, I. M., Ancient Formal Logic, North-Holland, 1968.
Curry, H. B., Outlines of a Formalist Philosophy of Mathematics, North-Holland, 1951.
Van Dalen, D., Doets, E. and De Swart, J., Sets, Pergamon Press, 1977.
Freudenthal, H. et al., The Concept and the Role of the Model in Mathematics and Natural and Social Sciences,Reidel, Dordrecht, 1961.
Freudenthal, H., The Language of Logic, Elsevier, Amsterdam, London, New York, 1966.
Gödel, K., The Consistency of the Axiom of Choice and of the Generalized Continuum Hypothesis with the Axioms of Set Theory, Princeton, 1940.
Gödel, K., The Consistency of the Continuum Hypothesis, Princeton, 1940.
Gödel, K., ‘What is Cantor’s Continuum Problem?’ Am. Math. Monthly 54 (1947).
Mostowski, A., Tarski, A. and Robinson, R. M., Undecidable Theories, North-Holland, 1953.
Nagel, E., ‘Logic without Ontology’ in Naturalism and the Human Spirit, ed. by Y. H. Krikorian, Columbia Univ. Press, 1944.
Quine, W. V. O., Methods of Logic, revised edition, New York, 1959.
Robinson, A., ‘Standard and Nonstandard Number Systems, The Brouwer Memorial Lecture’, Nieuw Archief voor Wiskunde 21, No. 2, 1973.
Rubin, H. and Rubin, J., Equivalences of the Axiom of Choice, Studies in Logic, North-Holland, 1970.
Scholz, H. and Hasenjaeger, G., Grundzüge der mathematischen Logik, Berlin-Göttingen-Heidelberg, 1961.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1977 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Kuyk, W. (1977). Semantical and Syntactical Aspects of Elementary Mathematical Theories. In: Complementarity in Mathematics. Mathematics and Its Applications, vol 1. Springer, Dordrecht. https://doi.org/10.1007/978-94-015-7624-6_1
Download citation
DOI: https://doi.org/10.1007/978-94-015-7624-6_1
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-8348-7
Online ISBN: 978-94-015-7624-6
eBook Packages: Springer Book Archive