Recently found by viaLibri....
2021-01-06 08:35:24
Tarski, Alfred
Pojecie prawdy w jezykach nauk dedukcyjnych. [The Concept of Truth in Formalized Language.]
Warszawa: Nakladem Towarzystwa Naukowego Warszawskiego z Zasilku Ministerstwa wyznan Religijnych i Oswiecenia Publicznego, 1933. Warszawa: Nakladem Towarzystwa Naukowego Warszawskiego z Zasilku Ministerstwa wyznan Religijnych i Oswiecenia Publicznego, 1933. First edition. In publisher's printed wrappers. Panels sunned. Front panel with two stains. Otherwise clean. In fine condition.. First edition. In publisher's printed wrappers. VII, (1), (1)-116, (2) p. Scarce first edition of Tarski's monograph on the concept of truth in formalized languages. "In his classic monograph on the concept of truth [...], Tarski will present a method for constructing definitions of truth for classical quantificational formal languages. When one succeeds in applying this method to a particular formal language, the end result will be the construction of a predicate in a metalanguage for that language whose essential properties will be that it will be constructed out of non-suspicious mathematical vocabulary and that it will be intuitively satisfied precisely by the intuitively true sentences of the object language. At the same time, Tarski shows how, in terms of the defined notion of truth, one can give intuitively adequate definitions of the semantical notions of definability and denotation, and he indicates how it is possible to define the notion of truth in a structure in a way analogous to the one used to define truth. That allows him to conclude that the acceptability and rigor of the "recent methodological studies" (of Löwenheim, Skolem, Gödel and Tarski himself, among others), hav … [Click Below for Full Description]
Bookseller: Foldvaribooks [Hungary]
Check availability:

Search for more books on viaLibri

LINK TO THIS PAGE: https://www.vialibri.net/years/books/279893064/1933-tarski-alfred-pojecie-prawdy-w-jezykach-nauk-dedukcyjnych

Browse more rare books from the year 1933