Tarski, Alfred
Overview
Works:  208 works in 1,119 publications in 13 languages and 15,065 library holdings 

Genres:  Conference papers and proceedings Bibliography 
Roles:  Author, Editor, Honoree, Dedicatee, Other 
Classifications:  BC135, 510.1 
Publication Timeline
.
Most widely held works about
Alfred Tarski
 Alfred Tarski : life and logic by Anita Burdman Feferman( Book )
 The concept of logical consequence by John Etchemendy( Book )
 Das Wahrheitsproblem und die Idee der Semantik by Wolfgang Stegmüller( Book )
 New essays on Tarski and philosophy by Douglas M Patterson( Book )
 Alfred Tarski : philosophy of language and logic by Douglas M Patterson( Book )
 Alfred Tarski and the Vienna circle : AustroPolish connections in logical empiricism by Jan Woleński( Book )
 Carnap, Tarski, and Quine at Harvard : conversations on logic, mathematics, and science by Greg FrostArnold( Book )
 From the act of judging to the sentence : the problem of truth bearers from Bolzano to Tarski by Artur Rojszczak( Book )
 The elementary theory of groups : a guide through the proofs of the Tarski conjectures by Benjamin Fine( Book )
 Künstliche und natürliche Sprache : Bemerkungen zur Semantik bei Tarski und Wittgenstein by Martin Scherb( Book )
 Wahrheit und Korresponde[n]z bei Tarski : eine Untersuchung der Wahrheitstheorie Tarskis als Korrespondenztheorie der Wahrheit by Luis Fernández Moreno( Book )
 Truth & assertibility by Nik Weaver( Book )
 Alfred Tarski : early work in Poland : geometry and teaching by Andrew McFarland( Book )
 Sémantique et vérité : de Tarski à Davidson by François Rivenc( Book )
 Definitions : the primitive concept of logics or the LeśniewskiTarski legacy by Edgar G. K LopezEscobar( Book )
 El valor de la verdad : Hermenéutica, semántica, política( Book )
 Die halbe Wahrheit : Tarskis Definition und Tarskis Theorem by Volker Beeh( Book )
 La conception sémantique de la vérité : d'Alfred Tarski à Jaakko Hintikka by Sébastien Richard( Book )
 Zur Entstehung des Computers : von Alfred Tarski zu Konrad Zuse : zum Einfluss elementarer Sätze der mathematischen Logik bei Alfred Tarski auf die Entstehung der drei Computerkonzepte des Konrad Zuse : tertium non datur by Jürgen Alex( Book )
 Tarski on truth and logical consequence by John Etchemendy( Book )
more
fewer
Most widely held works by
Alfred Tarski
Introduction to logic and to the methodology of deductive sciences by
Alfred Tarski(
Book
)
216 editions published between 1941 and 2013 in 10 languages and held by 2,170 WorldCat member libraries worldwide
First published in Polish in 1936, this classic work was originally written as a popular scientific book  one that would present to the educated layman a clear picture of certain powerful trends of thought in modern logic
216 editions published between 1941 and 2013 in 10 languages and held by 2,170 WorldCat member libraries worldwide
First published in Polish in 1936, this classic work was originally written as a popular scientific book  one that would present to the educated layman a clear picture of certain powerful trends of thought in modern logic
Logic, semantics, metamathematics; papers from 1923 to 1938 by
Alfred Tarski(
Book
)
51 editions published between 1956 and 1998 in 4 languages and held by 1,191 WorldCat member libraries worldwide
51 editions published between 1956 and 1998 in 4 languages and held by 1,191 WorldCat member libraries worldwide
Ordinal algebras by
Alfred Tarski(
Book
)
50 editions published between 1944 and 1970 in 4 languages and held by 906 WorldCat member libraries worldwide
50 editions published between 1944 and 1970 in 4 languages and held by 906 WorldCat member libraries worldwide
Einführung in die mathematische Logik und in die Methodologie der Mathematik by
Alfred Tarski(
Book
)
94 editions published between 1930 and 2011 in 7 languages and held by 754 WorldCat member libraries worldwide
Ben shu shi yi ben shu li luo ji de ru men shu,Quan shu gong fen liang bu fen gong shi zhang jie,Ju ti bao kuo:lun bian xiang de yong fa,Lun yu ju yan suan,Lei de li lun,Lun yan yi fang fa,Guan yu suo gou zao de li lun de fang fa lun de tao lun deng
94 editions published between 1930 and 2011 in 7 languages and held by 754 WorldCat member libraries worldwide
Ben shu shi yi ben shu li luo ji de ru men shu,Quan shu gong fen liang bu fen gong shi zhang jie,Ju ti bao kuo:lun bian xiang de yong fa,Lun yu ju yan suan,Lei de li lun,Lun yan yi fang fa,Guan yu suo gou zao de li lun de fang fa lun de tao lun deng
Undecidable theories by
Alfred Tarski(
Book
)
55 editions published between 1953 and 2010 in 3 languages and held by 675 WorldCat member libraries worldwide
"This graduatelevel book is well known for its proof that many mathematical systems  including lattice theory, abstract projective geometry, and closure algebras  are undecidable. Based on research conducted from 1938 to 1952, it consists of three treatises by a prolific author who ranks among the greatest logicians of all time. The first article, "A general method in proofs of undecidability," examines theories with standard formalization, undecidable theories, interpretability, and relativization of quantifiers. The second feature, "Undecidability and essential undecidability in mathematics," explores definability in arbitrary theories and the formalized arithmetic of natural numbers. It also considers recursiveness, definability, and undecidability in subtheories of arithmetic as well as the extension of results to other arithmetical theories. The compilation concludes with "Undecidability of the elementary theory of groups."Back cover
55 editions published between 1953 and 2010 in 3 languages and held by 675 WorldCat member libraries worldwide
"This graduatelevel book is well known for its proof that many mathematical systems  including lattice theory, abstract projective geometry, and closure algebras  are undecidable. Based on research conducted from 1938 to 1952, it consists of three treatises by a prolific author who ranks among the greatest logicians of all time. The first article, "A general method in proofs of undecidability," examines theories with standard formalization, undecidable theories, interpretability, and relativization of quantifiers. The second feature, "Undecidability and essential undecidability in mathematics," explores definability in arbitrary theories and the formalized arithmetic of natural numbers. It also considers recursiveness, definability, and undecidability in subtheories of arithmetic as well as the extension of results to other arithmetical theories. The compilation concludes with "Undecidability of the elementary theory of groups."Back cover
A formalization of set theory without variables by
Alfred Tarski(
Book
)
17 editions published between 1987 and 1988 in English and Italian and held by 464 WorldCat member libraries worldwide
17 editions published between 1987 and 1988 in English and Italian and held by 464 WorldCat member libraries worldwide
Cylindric algebras by
Leon Henkin(
Book
)
46 editions published between 1971 and 2008 in English and Undetermined and held by 460 WorldCat member libraries worldwide
Volume II completes the description of the main aspects of the theory, covering representation questions, model theory and decision problems for them, translations from logic to algebra and viceversa, and relationships with other algebraic versions of logic
46 editions published between 1971 and 2008 in English and Undetermined and held by 460 WorldCat member libraries worldwide
Volume II completes the description of the main aspects of the theory, covering representation questions, model theory and decision problems for them, translations from logic to algebra and viceversa, and relationships with other algebraic versions of logic
Proceedings of the Tarski Symposium : an international symposium held to honor Alfred Tarski on the occasion of his seventieth
birthday by
Berkeley, Calif.> Tarski Symposium. <1971(
Book
)
24 editions published between 1974 and 1987 in English and Undetermined and held by 400 WorldCat member libraries worldwide
24 editions published between 1974 and 1987 in English and Undetermined and held by 400 WorldCat member libraries worldwide
Direct decompositions of finite algebraic systems by
Bjarni Jónsson(
Book
)
17 editions published between 1947 and 1964 in English and held by 270 WorldCat member libraries worldwide
17 editions published between 1947 and 1964 in English and held by 270 WorldCat member libraries worldwide
A decision method for elementary algebra and geometry by
Alfred Tarski(
Book
)
26 editions published between 1948 and 1979 in English and held by 195 WorldCat member libraries worldwide
26 editions published between 1948 and 1979 in English and held by 195 WorldCat member libraries worldwide
The theory of models; proceedings by
J. W Addison(
Book
)
42 editions published between 1965 and 1978 in 3 languages and held by 171 WorldCat member libraries worldwide
The Theory of Models
42 editions published between 1965 and 1978 in 3 languages and held by 171 WorldCat member libraries worldwide
The Theory of Models
Logic, methodology, and philosophy of science; proceedings by
Methodology and Philosophy of Science International Congress of Logic(
Book
)
30 editions published between 1962 and 1969 in English and held by 157 WorldCat member libraries worldwide
30 editions published between 1962 and 1969 in English and held by 157 WorldCat member libraries worldwide
Collected papers by
Alfred Tarski(
Book
)
15 editions published in 1986 in 3 languages and held by 155 WorldCat member libraries worldwide
15 editions published in 1986 in 3 languages and held by 155 WorldCat member libraries worldwide
Logique, sémantique, métamathématique, 19231944 by
Alfred Tarski(
Book
)
20 editions published between 1956 and 1974 in 3 languages and held by 129 WorldCat member libraries worldwide
20 editions published between 1956 and 1974 in 3 languages and held by 129 WorldCat member libraries worldwide
Metamathematische Methoden in der Geometrie by
W Schwabhäuser(
Book
)
16 editions published between 1983 and 2011 in German and held by 104 WorldCat member libraries worldwide
Enthält: Teil 1: Ein axiomatischer Aufbau der euklidischen Geometrie / von Wolfram Schwabhäuser, Wanda Szmielew und Alfred Tarski.  Teil 2: Metamathematische Betrachtungen / von Wolfram Schwabhäuser
16 editions published between 1983 and 2011 in German and held by 104 WorldCat member libraries worldwide
Enthält: Teil 1: Ein axiomatischer Aufbau der euklidischen Geometrie / von Wolfram Schwabhäuser, Wanda Szmielew und Alfred Tarski.  Teil 2: Metamathematische Betrachtungen / von Wolfram Schwabhäuser
Distributive and modular laws in the arithmetic of relation algebras by
Louise H Chin(
Book
)
7 editions published between 1951 and 1966 in English and held by 80 WorldCat member libraries worldwide
7 editions published between 1951 and 1966 in English and held by 80 WorldCat member libraries worldwide
The axiomatic method with special reference to geometry and physics. Proceedings of an international symposium held at the
University of California, Berkeley, December 26, 1957January 4, 1958 by
Leon Henkin(
Book
)
27 editions published between 1958 and 1959 in 3 languages and held by 78 WorldCat member libraries worldwide
27 editions published between 1958 and 1959 in 3 languages and held by 78 WorldCat member libraries worldwide
Cylindric algebras by
Leon Henkin(
Book
)
26 editions published between 1971 and 1985 in English and Italian and held by 66 WorldCat member libraries worldwide
Volume II completes the description of the main aspects of the theory, covering representation questions, model theory and decision problems for them, translations from logic to algebra and viceversa, and relationships with other algebraic versions of logic
26 editions published between 1971 and 1985 in English and Italian and held by 66 WorldCat member libraries worldwide
Volume II completes the description of the main aspects of the theory, covering representation questions, model theory and decision problems for them, translations from logic to algebra and viceversa, and relationships with other algebraic versions of logic
Das Wahrheitsproblem und die Idee der Semantik by
Wolfgang Stegmüller(
Book
)
8 editions published between 1957 and 1977 in German and held by 16 WorldCat member libraries worldwide
Die vorliegende Arbeit wurde zu dem Zwecke abgefaßt, eine Einführung in die reine oder nichtempirische Semantik zu geben, die sich in den letzten Jahren zu einem eigenen Forschungszweig entwickelt hat. Immer mehr dringt in der Philosophie der Gegenwart die Erkenntnis durch, daß philosophische Untersuchungen zu einem guten Teil sprachlogischer und sprachkritischer Art sein müssen, und im Rahmen solcher Untersuchungen nehmen jene der Semantik eine zentrale Stellung ein. Während die Logikkalküle nur mit der traditionellen formalen Logik in einem gewissen historischen Zusammenhang stehen, ist der Kontakt zwischen der Semantik und den althergebrachten philosophischen Pro blemen ein viel engerer. Dort steht bloß der Begrüf der logischen Deduk tion im Vordergrund, hier hingegen der wichtigste Begriff der Erkenntnis theorie, nämlich der Begriff des wahren Urteils bzw. der wahren Aussage. Über die Bedeutung einer Explikation des Wahrheitsbegriffs braucht man wohl kaum Worte zu verlieren angesichts der Tatsache, daß unser ganzes Erkenntnisstreben darauf abzielt, zu wahren Urteilen oder Sätzen zu gelangen. Eine Beantwortung der Frage, was man unter einem wahren Urteil bzw. einer wahren Aussage zu verstehen habe, wird nicht innerhalb der Einzelwissenschaften gegeben, sondern ist seit jeher dem Philosophen überlassen worden
8 editions published between 1957 and 1977 in German and held by 16 WorldCat member libraries worldwide
Die vorliegende Arbeit wurde zu dem Zwecke abgefaßt, eine Einführung in die reine oder nichtempirische Semantik zu geben, die sich in den letzten Jahren zu einem eigenen Forschungszweig entwickelt hat. Immer mehr dringt in der Philosophie der Gegenwart die Erkenntnis durch, daß philosophische Untersuchungen zu einem guten Teil sprachlogischer und sprachkritischer Art sein müssen, und im Rahmen solcher Untersuchungen nehmen jene der Semantik eine zentrale Stellung ein. Während die Logikkalküle nur mit der traditionellen formalen Logik in einem gewissen historischen Zusammenhang stehen, ist der Kontakt zwischen der Semantik und den althergebrachten philosophischen Pro blemen ein viel engerer. Dort steht bloß der Begrüf der logischen Deduk tion im Vordergrund, hier hingegen der wichtigste Begriff der Erkenntnis theorie, nämlich der Begriff des wahren Urteils bzw. der wahren Aussage. Über die Bedeutung einer Explikation des Wahrheitsbegriffs braucht man wohl kaum Worte zu verlieren angesichts der Tatsache, daß unser ganzes Erkenntnisstreben darauf abzielt, zu wahren Urteilen oder Sätzen zu gelangen. Eine Beantwortung der Frage, was man unter einem wahren Urteil bzw. einer wahren Aussage zu verstehen habe, wird nicht innerhalb der Einzelwissenschaften gegeben, sondern ist seit jeher dem Philosophen überlassen worden
Alfred Tarski and the Vienna circle : AustroPolish connections in logical empiricism by
Jan Woleński(
Book
)
1 edition published in 1999 in English and held by 3 WorldCat member libraries worldwide
The larger part of Yearbook 6 of the Institute Vienna Circle constitutes the proceedings of a symposium on Alfred Tarski and his influence on and interchanges with the Vienna Circle, especially those on and with Rudolf Carnap and Kurt Gödel. It is the first time that this topic has been treated on such a scale and in such depth. Attention is mainly paid to the origins, development and subsequent role of Tarski's definition of truth. Some contributions are primarily historical, others analyze logical aspects of the concept of truth. Contributors include Anita and Saul Feferman, Jan Wolenski, Jan Tarski and Hans Sluga. Several Polish logicians contributed: Gzegorczyk, Wójcicki, Murawski and Rojszczak. The volume presents entirely new biographical material on Tarski, both from his Polish period and on his influential career in the United States: at Harvard, in Princeton, at Hunter, and at the University of California at Berkeley. The high point of the analysis involves Tarski's influence on Carnap's evolution from a narrow syntactical view of language, to the ontologically more sophisticated but more controversial semantical view. Another highlight involves the interchange between Tarski and Gödel on the connection between truth and proof and on the nature of metalanguages. The concluding part of Yearbook 6 includes documentation, book reviews and a summary of current activities of the Institute Vienna Circle. Jan Tarski introduces letters written by his father to Gödel; Paolo Parrini reports on the Vienna Circle's influence in Italy; several reviews cover recent books on logical empiricism, on Gödel, on cosmology, on holistic approaches in Germany, and on Mauthner
1 edition published in 1999 in English and held by 3 WorldCat member libraries worldwide
The larger part of Yearbook 6 of the Institute Vienna Circle constitutes the proceedings of a symposium on Alfred Tarski and his influence on and interchanges with the Vienna Circle, especially those on and with Rudolf Carnap and Kurt Gödel. It is the first time that this topic has been treated on such a scale and in such depth. Attention is mainly paid to the origins, development and subsequent role of Tarski's definition of truth. Some contributions are primarily historical, others analyze logical aspects of the concept of truth. Contributors include Anita and Saul Feferman, Jan Wolenski, Jan Tarski and Hans Sluga. Several Polish logicians contributed: Gzegorczyk, Wójcicki, Murawski and Rojszczak. The volume presents entirely new biographical material on Tarski, both from his Polish period and on his influential career in the United States: at Harvard, in Princeton, at Hunter, and at the University of California at Berkeley. The high point of the analysis involves Tarski's influence on Carnap's evolution from a narrow syntactical view of language, to the ontologically more sophisticated but more controversial semantical view. Another highlight involves the interchange between Tarski and Gödel on the connection between truth and proof and on the nature of metalanguages. The concluding part of Yearbook 6 includes documentation, book reviews and a summary of current activities of the Institute Vienna Circle. Jan Tarski introduces letters written by his father to Gödel; Paolo Parrini reports on the Vienna Circle's influence in Italy; several reviews cover recent books on logical empiricism, on Gödel, on cosmology, on holistic approaches in Germany, and on Mauthner
more
fewer
Audience Level
0 

1  
Kids  General  Special 
Related Identities
 Henkin, Leon Other Author Editor
 Tarski, Jan Other Author Editor
 HelmerHirschberg, Olaf Translator Editor Creator
 Robinson, Raphael M. (Raphael Mitchel) 1911 Other Contributor
 Givant, Steven R. Editor
 Mostowski, Andrzej Other Author Contributor
 Patterson, Douglas Author
 Monk, J. Donald (James Donald) 1930 Author
 Feferman, Solomon
 Feferman, Anita Burdman Author
Useful Links
Associated Subjects
Algebra, Abstract Algebra, Universal Algebraic logic ArithmeticFoundations Axioms Bolzano, Bernard, Brentano, Franz, Carnap, Rudolf, Combinatorial analysis Cylindric algebras Davidson, Donald, Formal languagesSemantics Frege, Gottlob, Geometry Geometry, Algebraic GeometryFoundations Gödel's theorem Heidegger, Martin, Hintikka, Jaakko, Knowledge, Theory of Language and languagesPhilosophy Language and logic Leśniewski, Stanisław, Logic Logic, Symbolic and mathematical Logical positivism Logicians Mathematical models Mathematics MathematicsPhilosophy MathematicsStudy and teaching Metamathematics Methodology Model theory Ontology Physics Proof theory Quine, W. V.(Willard Van Orman) Recursive functions ScienceMethodology SciencePhilosophy Semantics Semantics (Philosophy) Set theory Tarski, Alfred Truth Twardowski, Kazimierz, United States Vienna circle Wittgenstein, Ludwig,
Alternative Names
Alfred Tarski matematico, logico e filosofo polacco
Alfred Tarski mathématicien et logicien américain d'origine polonaise
Alfred Tarski PolishAmerican logician
Alfred Tarski poljskoameriški filozof, logik in matematik.
Alfred Tarski polnischer Mathematiker und Logiker
Alfred Tarski polsk matematikar
Alfred Tarski polsk matematiker
Alfred Tarski polski matematyk
Alfred Tarski Pools wiskundige
Alfrēds Tarskis
Tajtelbaum, Alfred.
Tajtelbaum, Alfred 19011983
Tarski, A.
Tarski, A. 19021983
Tarski, A. (Alfred)
Tarski, A. (Alfred), 19021983
Tarski, Alfred
Tarskij, A.
Tarsky, Alfred
Teitelbaum, A.
Teitelbaum, Alfred.
Teitelbaum, Alfred 19011983
Teitelbaum, Alfred 19021983
Άλφρεντ Τάρσκι Πολωνοαμερικανός επιστήμονας της Λογικής
Алфред Тарски
Альфред Тарский
Альфред Тарський
Тарский, Альфред
Тарский, Альфред 19021983
Ալֆրեդ Տարսկի
אלפרד טרסקי
טארסקי, אלפרד
טרסקי, אלפרד 19011983
ألفرد تارسكي، 19011983
آلفرد تارسکی ریاضیدان لهستانی
ألفريد تارسكي
ആൽഫ്രഡ് ടാർസ്കി
알프레트 타르스키
アルフレト・タルスキ
阿尔弗雷德·塔斯基
Languages
English
(615)
German (85)
French (50)
Spanish (25)
Dutch (12)
Italian (10)
Chinese (9)
Czech (5)
Polish (4)
Hebrew (3)
Multiple languages (3)
Portuguese (1)
Ukrainian (1)
German (85)
French (50)
Spanish (25)
Dutch (12)
Italian (10)
Chinese (9)
Czech (5)
Polish (4)
Hebrew (3)
Multiple languages (3)
Portuguese (1)
Ukrainian (1)
Covers