WorldCat Identities

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
 
moreShow More Titles
fewerShow Fewer Titles
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
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

Ordinal algebras by Alfred Tarski( Book )

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
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 graduate-level 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

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 vice-versa, 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

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

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

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
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

Collected papers by Alfred Tarski( Book )

15 editions published in 1986 in 3 languages and held by 155 WorldCat member libraries worldwide

Logique, sémantique, métamathématique, 1923-1944 by Alfred Tarski( Book )

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
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

The axiomatic method with special reference to geometry and physics. Proceedings of an international symposium held at the University of California, Berkeley, December 26, 1957-January 4, 1958 by Leon Henkin( Book )

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 vice-versa, 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
Alfred Tarski and the Vienna circle : Austro-Polish 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
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.54 (from 0.26 for Introducti ... to 0.97 for Cylindric ...)

WorldCat IdentitiesRelated Identities
Cylindric algebrasCylindric algebras
Alternative Names
Alfred Tarski matematico, logico e filosofo polacco

Alfred Tarski mathématicien et logicien américain d'origine polonaise

Alfred Tarski Polish-American logician

Alfred Tarski poljsko-ameriš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 1901-1983

Tarski, A.

Tarski, A. 1902-1983

Tarski, A. (Alfred)

Tarski, A. (Alfred), 1902-1983

Tarski, Alfred

Tarskij, A.

Tarsky, Alfred

Teitelbaum, A.

Teitelbaum, Alfred.

Teitelbaum, Alfred 1901-1983

Teitelbaum, Alfred 1902-1983

Άλφρεντ Τάρσκι Πολωνοαμερικανός επιστήμονας της Λογικής

Алфред Тарски

Альфред Тарский

Альфред Тарський

Тарский, Альфред

Тарский, Альфред 1902-1983

Ալֆրեդ Տարսկի

אלפרד טרסקי

טארסקי, אלפרד

טרסקי, אלפרד 1901-1983

ألفرد تارسكي، 1901-1983

آلفرد تارسکی ریاضی‌دان لهستانی

ألفريد تارسكي

ആൽഫ്രഡ് ടാർസ്കി

알프레트 타르스키

アルフレト・タルスキ

阿尔弗雷德·塔斯基

Languages
Covers
Logic, semantics, metamathematics; papers from 1923 to 1938Ordinal algebrasUndecidable theoriesCylindric algebrasCylindric algebrasAlfred Tarski and the Vienna circle : Austro-Polish connections in logical empiricismNew essays on Tarski and philosophy