Abstract
Most people who use formal systems, and in particular logical systems, feel that because these systems lack any connection with colloquial speech, they also lack the function of expressing beliefs, performed by ordinary language sentences uttered with a serious intent. Those systems become merely a technical tool for further technical scientific constructions. Thus, the whole of deductive science becomes largely a technique, i.e. a kind of creative activity, which consists not in discovering an objective reality, but rather in constructing one. It affords a rather subjective pleasure of constructing complicated entities out of simple elements. The only way to evaluate the construction objectively is to employ the criterion of its applicability to further constructions, or perhaps the criterion of the author’s ingenuity in devising an original and imaginative contrivance.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Bibliography
A. Grzegorczyk: 1968, `Assertions Depending on Time and Corresponding Logical Calculi’. Compositio Mathematica, 20, 83–87.
S. C. Kleene: 1965, `Classical Extensions of Intuitionistic Mathematics’. Logic, Methodology and the Philosophy of Science. Proceedings of 1964 international congress, edited by Y. Bar-Hillel, Amsterdam, pp. 31–44.
H. Rasiowa and R. Sikorski: 1963, The Mathematics of Metamathematics. Warszawa.
A. Tarski: 1933, `Pojçcie prawdy w jgzykach nauk dedukcyjnych’, Travaux de la Soc. des Sc. de Varsovie Cl 11134; Eng. tr. `The Concept of Truth in Formalized Languages’, in A. Tarski, Logic, Semantics, Metamathematics, Oxford, Clarendon Press 1956, pp. 152–278.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1994 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Grzegorczyk, A. (1994). Classical, Relativistic and Constructivist Ways of Asserting Theorems. In: Woleński, J. (eds) Philosophical Logic in Poland. Synthese Library, vol 228. Springer, Dordrecht. https://doi.org/10.1007/978-94-015-8273-5_3
Download citation
DOI: https://doi.org/10.1007/978-94-015-8273-5_3
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-4276-7
Online ISBN: 978-94-015-8273-5
eBook Packages: Springer Book Archive