Monika Gruber, Alfred Tarski and the “Concept of Truth in Formalized Languages”: A Running Commentary with Consideration of the Polish Original and the German Translation. (Logic, Epistemology, and the Unity of Science, Vol. 39.) Cham: Springer 2016. xii + 187 pages

2020 ◽  
pp. 195-198
Author(s):  
Adam Tamas Tuboly
Keyword(s):  
Unity Of Science ◽  
German Translation ◽  
Alfred Tarski ◽  
Concept Of Truth

Philosophical implications of Tarski's work

1988 ◽  
Vol 53 (1) ◽  
pp. 80-91 ◽  
Author(s):  
Patrick Suppes
Keyword(s):  
United States ◽  
English Translation ◽  
The United States ◽  
International Congress ◽  
Unity Of Science ◽  
Scientific Philosophy ◽  
Philosophical Texts ◽  
Concept Of Truth ◽  
Almost All ◽  
Philosophical Questions

In his published work and even more in conversations, Tarski emphasized what he thought were important philosophical aspects of his work. The English translation of his more philosophical papers [56m] was dedicated to his teacher Tadeusz Kotarbiński, and in informal discussions of philosophy he often referred to the influence of Kotarbiński. Also, the influence of Leśniewski, his dissertation adviser, is evident in his early papers. Moreover, some of his important papers of the 1930s were initially given to philosophical audiences. For example, the famous monograph on the concept of truth ([33m], [35b]) was first given as two lectures to the Logic Section of the Philosophical Society in Warsaw in 1930. Second, his paper [33], which introduced the concepts of ω-consistency and ω-completeness as well as the rule of infinite induction, was first given at the Second Conference of the Polish Philosophical Society in Warsaw in 1927. Also [35c] was based upon an address given in 1934 to the conference for the Unity of Science in Prague; [36] and [36a] summarize an address given at the International Congress of Scientific Philosophy in Paris in 1935. The article [44a] was published in a philosophical journal and widely reprinted in philosophical texts. This list is of course not exhaustive but only representative of Tarski's philosophical interactions as reflected in lectures given to philosophical audiences, which were later embodied in substantial papers. After 1945 almost all of Tarski's publications and presentations are mathematical in character with one or two minor exceptions. This division, occurring about 1945, does not, however, indicate a loss of interest in philosophical questions but is a result of Tarski's moving to the Department of Mathematics at Berkeley. There he assumed an important role in the development of logic within mathematics in the United States.

Truth, Interpretation, and Meaning

2010 ◽  
Author(s):  
Scott Soames
Keyword(s):  
Logical Consequence ◽  
Formal Languages ◽  
Donald Davidson ◽  
Semantic Model ◽  
Semantic Approach ◽  
Alfred Tarski ◽  
Concept Of Truth ◽  
And Mathematics ◽  
Definition Of

This chapter begins by discussing the work of Alfred Tarski. In the 1930s, Tarski published two articles that became classics. In “The Concept of Truth in Formalized Languages” (1935) he defined truth for formal languages of logic and mathematics. In “On the Concept of Logical Consequence” (1936) he used that definition to give what is essentially the modern “semantic” (model-theoretic) definition of logical consequence. In addition to their evident significance for logic and metamathematics, these results have come to play an important role in the study of meaning. The chapter then discusses Rudolf Carnap's embrace of truth-theoretic semantics and the semantic approach of Donald Davidson.

Reviews - J. H. Woodger. Translator's preface. Logic, semantics, metamathematics, papers from 1923 to 1938.Oxford at the Clarendon Press, London1956, pp. vii–ix. - Alfred Tarski. Author's acknowledgments.Logic, semantics, metamathematics, papers from 1923 to 1938.Oxford at the Clarendon Press, London1956, pp. xi–xii. - Alfred Tarski. On the primitive term of logistic. Modified English translation based on 2852–4. Logic, semantics, metamathematics, papers from 1923 to 1938.Oxford at the Clarendon Press, London1956, pp. 1–23. - Alfred Tarski. Foundations of the geometry of solids.Logic, semantics, metamathematics, papers from 1923 to 1938.Oxford at the Clarendon Press, London1956, pp. 24–29. (Translated, with additions, from Księga Pamiątkowa Pierwszego Polskiego Zjazdu Matematycznego, supplement to Annales de la Société Polonaise de Mathématique, Cracow 1929, pp. 29-33.) - Alfred Tarski. On some fundamental concepts of metamathematics. English translation of 2857. Logic, semantics, metamathematics, papers from 1923 to 1938.Oxford at the Clarendon Press, London1956, 30–37. - Jan Łukasiewicz and Alfred Tarski. Investigations into the sentential calculus. English translation of 4077, with added footnotes. Logic, semantics, metamathematics, papers from 1923 to 1938.Oxford at the Clarendon Press, London1956, pp. 38–59. - Alfred Tarski. Fundamental concepts of the methodology of the deductive sciences. English translation of 2858, with added footnotes. Logic, semantics, metamathematics, papers from 1923 to 1938.Oxford at the Clarendon Press, London1956, pp. 60–109. - Alfred Tarski. On definable sets of real numbers. English translation of 28510, with additions in the text by the author as well as added footnotes. Logic, semantics, metamathematics, papers from 1923 to 1938.Oxford at the Clarendon Press, London1956, pp. 110–142. - Kazimierz Kuratowski and Alfred Tarski. Logical operations and projective sets. English translation of 4321, with added footnotes. Logic, semantics, metamathematics, papers from 1923 to 1938.Oxford at the Clarendon Press, London1956, pp. 143–151. - Alfred Tarski. The concept of truth in formalized languages. English translation of 28516, with added footnotes. Logic, semantics, metamathematics, papers from 1923 to 1938.Oxford at the Clarendon Press, London1956, pp. 152–278.

1969 ◽  
Vol 34 (1) ◽  
pp. 99-106 ◽  
Author(s):  
W. A. Pogorzelski ◽  
S. J. Surma
Keyword(s):  
English Translation ◽  
Real Numbers ◽  
Sentential Calculus ◽  
Alfred Tarski ◽  
Primitive Term ◽  
Logical Operations ◽  
Definable Sets ◽  
Concept Of Truth

scholarly journals Carnap's Contribution to Tarski's Truth.

2015 ◽  
Vol 3 (10) ◽  
Author(s):  
Monika Gruber
Keyword(s):  
Type Theory ◽  
True Sentence ◽  
Logical Framework ◽  
Ongoing Debate ◽  
Logical Syntax ◽  
Seminal Work ◽  
Alfred Tarski ◽  
Adequate Definition ◽  
Concept Of Truth ◽  
Definition Of

<div class="page" title="Page 1"><div class="layoutArea"><div class="column">In his seminal work “The Concept of Truth in Formalized Languages” (1933), Alfred Tarski showed how to construct a formally correct and materially adequate definition of true sentence for certain formalized languages. These results have, eventually, been accepted and applauded by philosophers and logicians nearly in unison. Its Postscript, written two years later, however, has given rise to a considerable amount of controversy. There is an ongoing debate on what Tarski really said in the postscript. These discussions often regard Tarski as putatively changing his logical framework from type theory to set<br />theory.<br /><br />In what follows, we will compare the original results with those presented two years later. After a brief outline of Carnap’s program in The Logical Syntax of Language we will determine its significance for Tarski’s final results.</div></div></div>

scholarly journals Maria Kokoszyńska: Between the Lvov-Warsaw School and the Vienna Circle

2017 ◽  
Vol 5 (2) ◽  
Author(s):  
Anna Brożek
Keyword(s):  
World War Ii ◽  
Vienna Circle ◽  
World War ◽  
Unity Of Science ◽  
Alfred Tarski ◽  
Academic Center ◽  
The Status

<p><br />Maria Kokoszyńska-Lutmanowa (1905–1981) was one of the most outstanding female representatives of the Lvov-Warsaw School. After achieving her PhD in philosophy under Kazimierz Twardowski’s supervision, she was Kazimierz Ajdukiewicz’s assistant. She was also influenced by Alfred Tarski whose results in semantics she analyzed and popularized. After World War II, she got the chair of logic in University of Wrocław and she organized studies in logic in this academic center.</p><p>In the 1930s, Kokoszyńska kept in contact with members of the Vienna Circle and became a kind of connecting factor between Polish logicians and the Viennese group. In Poland, she presented the views of members of the Vienna Circle. In Vienna, she emphasized the results of her Polish colleagues.</p><p>In the present paper, some of Kokoszyńska’s results connected with the matters discussed in the Vienna Circle are presented, namely with the problem of metaphysics, the status of logic and the idea of unity of science.</p><p> </p>

Conversation with a Truth Seeker

2006 ◽  
Vol 8 (1) ◽  
pp. 161-170 ◽  
Author(s):  
Jaap Bos
Keyword(s):  
History Of Psychoanalysis ◽  
History Of ◽  
Concept Of Truth ◽  
Forms Of Knowledge

This paper is an invited response to Peter Rudnytsky's ‘Guardians of truth’ article. Taking issue with what are presented as fundamental theoretical and methodological caveats, this article discusses the question of when and how differing discourses on the history of psychoanalysis may or may not be compatible. In particular the author questions the validity of a concept of truth as defined from within a field of knowledge, to arrive at definitions of discourse and dialogue that can be useful to acquire new forms of knowledge.

Sign in / Sign up

Export Citation Format

Share Document