Abstract
Tarski (1933) selected the concept of satisfaction as the fundamental semantic notion serving as the basis for defining other categories of semantics, and in particular of truth. This choice has a deep intuitive motivation. According to the normal use of the word “satisfies”, we have
For example, Warsaw satisfies the formula “x is the capital of Poland” if and only if the sentence “Warsaw is the capital of Poland” is true, or, more simply, if and only if Warsaw is the capital of Poland. However, (1) does not explain why satisfaction is conceptually prior to truth. Two reasons can be given to justify the priority of satisfaction in semantic constructions (see Tarski, 1944; Woleński, 1999). First, satisfaction is a more general concept. Intuitively, satisfaction is applied to open formulas, that is, formulas with free variables, but truth to sentences, that is, formulas in which all variables are bound by quantifiers or in which no variable occurs at all (this means that a formula consists of individual constant predicates and sentential connectives). Let (S) QνA be a general scheme for formulas, where “Q” stands for a quantifier (universal or existential) and the letter A denotes an arbitrary well-formed formula of first-order predicate logic. We do not know in advance whether A contains variables other than ν. If it does, (S) yields an open formula, but if it does not, we have a sentence. Thus, we can define formulas as properly constructed inscriptions that consist of quantifiers, variables, and other building blocks, and sentences as inscriptions without free variables.
This paper is a corrected and enlarged version of (Woleński, 2000).
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Barwise, J. (1975). Admissible Sets and Structures. Springer Verlag, Berlin.
Barwise, J. and Etchemendy, J. (1999). Language, Proof and Logic. Seven Bridges Press, New York.
Enderton, H. (1972). Introduction to Mathematical Logic. Academic Press, New York.
Feferrnan, S. (1989). The Number Systems. Foundations of Algebra and Analysis. Chelsea Publishing Company, New York.
Gries, D. and Schneider, F. B. (1993). A Logical Approach to Discrete Mathematics. Springer Verlag, Berlin.
Grzegorczyk, A. (1974). An Outline of Mathematical Logic. D. Reidel, Dordrecht.
Popper, K. (1973). Objective Knowledge. An Evolutionary Approach. Clarendon Press, Oxford.
Tarski, A. (1933). Pojecie prawdy w jezykach nauk dedukcyjnych. Towarzystwo Naukowe Warszawskie, Warszawa. English translation in A. Tarski, Logic, Semantics, Metamathematics. Papers from 19231939, second edition, ed. by J. Corcoran. Hackett Publishing Company, Indianapolis 1983, pp. 152–277 ( first edition, Oxford University Press, Oxford 1956 ).
Tarski, A. (1944). The semantic conception of truth and the foundations of semantics. Philosophy and Phenomenological Research IV:241–275. Reprinted in A. Tarski, Papers, ed. by J. McKenzie and S. Givant. Birkhäuser Verlag, Basel 1986, pp. 665–699.
Wolenski, J. (1999). Semantic conception of truth as a philosophical theory. In Peregrin, J., editor, The Nature of Truth (If Any), pp. 5166. Kluwer Academic Publishers, Dordrecht.
Wolenski, J. (2000). Remarks on the concept of satisfaction. In Childers, T., editor, The Logica Yearbook 1999, pp. 80–86. Filosofia, Praha.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Woleński, J. (2003). Truth and Satisfaction by the Empty Sequence. In: Rojszczak, A., Cachro, J., Kurczewski, G. (eds) Philosophical Dimensions of Logic and Science. Synthese Library, vol 320. Springer, Dordrecht. https://doi.org/10.1007/978-94-017-2612-2_19
Download citation
DOI: https://doi.org/10.1007/978-94-017-2612-2_19
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-6432-5
Online ISBN: 978-94-017-2612-2
eBook Packages: Springer Book Archive