Pojecie prawdy w jezykach nauk dedukcyjnych. [The Concept of Truth in Formalized Languages].

£3,500 · Offered by Maggs Bros Ltd

The rare first edition of Tarski’s seminal monograph ‘The Concept of Truth in Formalized Languages’. ‘Tarski discovered interconnections between such diverse areas of mathematics as logic, algebra, set theory, and measure theory. He brought clarity and precision to the semantics of mathematical logic, and in so doing he legitimised semantic concepts, such as truth and definability, that had been stigmatised by the logical paradoxes. Tarski’s famous work on definitions of truth in formalised languages (1933-1935) gave the notion of satisfaction of a sentence in a structure for first-order logic, second-order logic, and so on. This work had a profound influence on philosophers concerned with mathematics, science, and linguistics’ (DSB). ‘Tarski’s main contribution of the decade was his definition of truth. He claimed to have found the essential components by 1929, and they were stated without proof in the short paper [Der Wahrheitsbegriff in den Sprachen der deduktiven Disziplinen, 1932] communicated to the Vienna Academy in January 1932 which Carnap had seen. The first long version appeared in Polish as a book in 1933. Acknowledging the work of Lesniewski on semantic categories, Tarski began by pondering the definability of truth for natural languages, and decided against it, especially because of unavoidable paradoxes; he stated a version of the liar paradox due to Lukasiewicz based upon giving the sentence ‘c it not true’ the name ‘c’. But he saw a chance for a definition in

Found via Rare Books Intel, a search across rare-book dealers, auction houses and marketplaces worldwide.