130 found
Order:
See also
  1. Logic, semantics, metamathematics.Alfred Tarski - 1956 - Oxford,: Clarendon Press. Edited by John Corcoran & J. H. Woodger.
    I ON THE PRIMITIVE TERM OF LOGISTICf IN this article I propose to establish a theorem belonging to logistic concerning some connexions, not widely known, ...
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   403 citations  
  2. The semantic conception of truth and the foundations of semantics.Alfred Tarski - 1943 - Philosophy and Phenomenological Research 4 (3):341-376.
  3. The concept of truth in formalized languages.Alfred Tarski - 1956 - In Logic, semantics, metamathematics. Oxford,: Clarendon Press. pp. 152--278.
  4. What are logical notions?Alfred Tarski - 1986 - History and Philosophy of Logic 7 (2):143-154.
    In this manuscript, published here for the first time, Tarski explores the concept of logical notion. He draws on Klein's Erlanger Programm to locate the logical notions of ordinary geometry as those invariant under all transformations of space. Generalizing, he explicates the concept of logical notion of an arbitrary discipline.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   222 citations  
  5. Der wahrheitsbegriff in den formalisierten sprachen.Alfred Tarski - 1935 - Studia Philosophica 1:261--405.
  6.  56
    The Semantic Conception of Truth and the Foundations of Semantics.Alfred Tarski - 1944 - Journal of Symbolic Logic 9 (3):68-68.
  7.  79
    Undecidable theories.Alfred Tarski - 1953 - Amsterdam,: North-Holland Pub. Co.. Edited by Andrzej Mostowski & Raphael M. Robinson.
    This book is well known for its proof that many mathematical systems - including lattice theory and closure algebras - are undecidable. It consists of three treatises from one of the greatest logicians of all time: "A General Method in Proofs of Undecidability," "Undecidability and Essential Undecidability in Mathematics," and "Undecidability of the Elementary Theory of Groups.".
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   84 citations  
  8. Introduction to logic and to the methodology of deductive sciences.Alfred Tarski - 1946 - New York: Dover Publications. Edited by Jan Tarski.
    This classic undergraduate treatment examines the deductive method in its first part and explores applications of logic and methodology in constructing mathematical theories in its second part. Exercises appear throughout.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   70 citations  
  9. The Semantic Conception of Truth.Alfred Tarski - 2005-01-01 - In José Medina & David Wood (eds.), Truth. Blackwell.
    No categories
     
    Export citation  
     
    Bookmark   153 citations  
  10. Some theorems about the sentential calculi of Lewis and Heyting.J. C. C. McKinsey & Alfred Tarski - 1948 - Journal of Symbolic Logic 13 (1):1-15.
  11.  67
    The Algebra of Topology.J. C. C. Mckinsey & Alfred Tarski - 1944 - Annals of Mathematics, Second Series 45:141-191.
    Direct download  
     
    Export citation  
     
    Bookmark   134 citations  
  12. Undecidable Theories.Alfred Tarski, Andrzej Mostowski & Raphael M. Robinson - 1953 - Philosophy 30 (114):278-279.
    No categories
     
    Export citation  
     
    Bookmark   115 citations  
  13. Introduction to logic and to the methodology of the deductive sciences.Alfred Tarski - 1949 - New York: Oxford University Press. Edited by Jan Tarski.
    Now in its fourth edition, this classic work clearly and concisely introduces the subject of logic and its applications. The first part of the book explains the basic concepts and principles which make up the elements of logic. The author demonstrates that these ideas are found in all branches of mathematics, and that logical laws are constantly applied in mathematical reasoning. The second part of the book shows the applications of logic in mathematical theory building with concrete examples that draw (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   47 citations  
  14.  22
    Logic, Semantics, Metamathematics: Papers from 1923 to 1938.Alfred Tarski & J. H. Woodger (eds.) - 1983 - New York, NY, USA: Hackett Publishing Company.
    Published with the aid of a grant from the National Endowment for the Humanities. Contains the only complete English-language text of The Concept of Truth in Formalized Languages. Tarski made extensive corrections and revisions of the original translations for this edition, along with new historical remarks. It includes a new preface and a new analytical index for use by philosophers and linguists as well as by historians of mathematics and philosophy.
    Direct download  
     
    Export citation  
     
    Bookmark   38 citations  
  15. On the calculus of relations.Alfred Tarski - 1941 - Journal of Symbolic Logic 6 (3):73-89.
    The logical theory which is called thecalculus of (binary) relations, and which will constitute the subject of this paper, has had a strange and rather capricious line of historical development. Although some scattered remarks regarding the concept of relations are to be found already in the writings of medieval logicians, it is only within the last hundred years that this topic has become the subject of systematic investigation. The first beginnings of the contemporary theory of relations are to be found (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   75 citations  
  16. Über den Begriff der Logischen Folgerung.Alfred Tarski - 1937 - Journal of Symbolic Logic 2 (2):83-84.
    Direct download  
     
    Export citation  
     
    Bookmark   79 citations  
  17.  35
    A Decision Method for Elementary Algebra and Geometry.Alfred Tarski - 1952 - Journal of Symbolic Logic 17 (3):207-207.
    Direct download  
     
    Export citation  
     
    Bookmark   76 citations  
  18.  58
    A Decision Method for Elementary Algebra and Geometry.Alfred Tarski - 1949 - Journal of Symbolic Logic 14 (3):188-188.
    Direct download  
     
    Export citation  
     
    Bookmark   71 citations  
  19. On the Concept of Following Logically.Alfred Tarski - 2002 - History and Philosophy of Logic 23 (3):155-196.
    We provide for the first time an exact translation into English of the Polish version of Alfred Tarski's classic 1936 paper, whose title we translate as ?On the Concept of Following Logically?. We also provide in footnotes an exact translation of all respects in which the German version, used as the basis of the previously published and rather inexact English translation, differs from the Polish. Although the two versions are basically identical, to an extent that is even uncanny, we note (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   63 citations  
  20.  47
    Provability, Computability and Reflection.Ernest Nagel, Patrick Suppes & Alfred Tarski (eds.) - 2009 - Stanford, CA, USA: Elsevier.
  21. Logic, Semantics, Metamathematics: Papers from 1923 to 1938.Alfred Tarski & John Corcoran (eds.) - 1983 - New York, NY, USA: Hackett Publishing Company.
    Published with the aid of a grant from the National Endowment for the Humanities. Contains the only complete English-language text of The Concept of Truth in Formalized Languages. Tarski made extensive corrections and revisions of the original translations for this edition, along with new historical remarks. It includes a new preface and a new analytical index for use by philosophers and linguists as well as by historians of mathematics and philosophy.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   28 citations  
  22.  92
    Cylindric Algebras. Part I.Leon Henkin, J. Donald Monk, Alfred Tarski, L. Henkin, J. D. Monk & A. Tarski - 1985 - Journal of Symbolic Logic 50 (1):234-237.
  23.  24
    Some Theorems About the Sentential Calculi of Lewis and Heyting.J. C. C. Mckinsey & Alfred Tarski - 1948 - Journal of Symbolic Logic 13 (3):171-172.
    Direct download  
     
    Export citation  
     
    Bookmark   53 citations  
  24. Tarski's system of geometry.Alfred Tarski & Steven Givant - 1999 - Bulletin of Symbolic Logic 5 (2):175-214.
    This paper is an edited form of a letter written by the two authors (in the name of Tarski) to Wolfram Schwabhäuser around 1978. It contains extended remarks about Tarski's system of foundations for Euclidean geometry, in particular its distinctive features, its historical evolution, the history of specific axioms, the questions of independence of axioms and primitive notions, and versions of the system suitable for the development of 1-dimensional geometry.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   44 citations  
  25.  23
    On Closed Elements in Closure Algebras.J. C. C. Mckinsey & Alfred Tarski - 1946 - Annals of Mathematics, Ser. 2 47:122-162.
    Direct download  
     
    Export citation  
     
    Bookmark   45 citations  
  26.  74
    Cylindric Algebras. Part II.Leon Henkin, J. Donald Monk & Alfred Tarski - 1988 - Journal of Symbolic Logic 53 (2):651-653.
  27. Introduction to Logic and to the Methodology of the Deductive Sciences.Alfred Tarski - 1967 - British Journal for the Philosophy of Science 17 (4):347-347.
     
    Export citation  
     
    Bookmark   41 citations  
  28.  28
    Logic, Methodology and Philosophy of Science.Max Black, Ernest Nagel, Patrick Suppes & Alfred Tarski - 1963 - Philosophical Review 72 (4):538.
  29. The establishment of scientific semantics.Alfred Tarski - 2006 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 13 (2):181-188.
  30.  26
    Boolean Algebras with Operators.Alfred Tarski - 1953 - Journal of Symbolic Logic 18 (1):70-71.
    Direct download  
     
    Export citation  
     
    Bookmark   35 citations  
  31.  23
    Cylindric Algebras.Leon Henkin & Alfred Tarski - 1967 - Journal of Symbolic Logic 32 (3):415-416.
    Direct download  
     
    Export citation  
     
    Bookmark   33 citations  
  32. Undecidable Theories.Alfred Tarski - 1959 - British Journal for the Philosophy of Science 9 (36):321-327.
     
    Export citation  
     
    Bookmark   31 citations  
  33. Introduction to Logic and to the Methodology of Deductive Sciences.Alfred Tarski & Olaf Helmer - 1944 - Philosophy 19 (72):90-91.
    No categories
     
    Export citation  
     
    Bookmark   30 citations  
  34.  10
    On the Concept of Following Logically.Alfred Tarski - 2002 - History and Philosophy of Logic 23 (3):155-196.
    We provide for the first time an exact translation into English of the Polish version of Alfred Tarski's classic 1936 paper, whose title we translate as ‘On the Concept of Following Logically’. We also provide in footnotes an exact translation of all respects in which the German version, used as the basis of the previously published and rather inexact English translation, differs from the Polish. Although the two versions are basically identical, to an extent that is even uncanny, we note (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   24 citations  
  35.  28
    Der Aussagenkalkul und die Topologie.Alfred Tarski - 1939 - Journal of Symbolic Logic 4 (1):26-27.
    Direct download  
     
    Export citation  
     
    Bookmark   17 citations  
  36.  22
    Einige methodologifche Unterfuchungen über die Definierbarkeit der Begriffe.Alfred Tarski - 1935 - Erkenntnis 5 (1):80-100.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  37.  11
    On the Calculus of Relations.Alfred Tarski - 1942 - Journal of Symbolic Logic 7 (1):38-38.
    Direct download  
     
    Export citation  
     
    Bookmark   16 citations  
  38.  10
    Einführung in die mathematische logik und in die methodologie der mathematik.Alfred Tarski - 1937 - Wien,: J. Springer.
    Der Laie spricht manchmal die Ansicht aus, die Mathematik ware heutzutage schon eine tote Wissenschaft: nachdem sie einen ungemein hohen Grad der Entwicklung erreicht hat, sei sie in ihrer steinernen Vollkommenheit erstarrt. Dies ist ein vollig irriges Bild der Situation: nur wenige Wissenschaftsgebiete befinden sich heute in der Phase einer solch intensiven Entwicklung wie die Mathematik. Diese Entwicklung ist dabei auBerordentlich vie1seitig: die Mathematik erweitert ihre Domane nach allen moglichen Richtungen, sie wachst in die Rohe, in die Weite und in (...)
    Direct download  
     
    Export citation  
     
    Bookmark   10 citations  
  39.  66
    On undecidable statements in enlarged systems of logic and the concept of truth.Alfred Tarski - 1939 - Journal of Symbolic Logic 4 (3):105-112.
  40.  25
    Logic with Denumerably Long Formulas and Finite Strings of Quantifiers.Dana Scott, J. W. Addison, Leon Henkin & Alfred Tarski - 1971 - Journal of Symbolic Logic 36 (1):157-158.
    Direct download  
     
    Export citation  
     
    Bookmark   13 citations  
  41.  55
    Drei Briefe an Otto Neurath.Alfred Tarski - 1992 - Grazer Philosophische Studien 43:1-32.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  42.  25
    The Semantic Conception of Truth and the Foundations of Semantics.Alfred Tarski, C. I. Lewis & Nelson Goodman - 1956 - Journal of Symbolic Logic 21 (1):76-77.
  43.  45
    Distributive and Modular Laws in the Arithmetic of Relation Algebras.Louise H. Chin & Alfred Tarski - 1953 - Journal of Symbolic Logic 18 (1):72-72.
  44.  13
    Cardinal Algebras.Alfred Tarski & Bjarni Jonsson - 1949 - Journal of Symbolic Logic 14 (3):188-189.
    Direct download  
     
    Export citation  
     
    Bookmark   12 citations  
  45. Contributions to the Theory of Models.Alfred Tarski - 1956 - Journal of Symbolic Logic 21 (4):405-406.
  46. Sur la décomposition des ensembles de points en parties respectivement congruentes.Stefan Banach & Alfred Tarski - 1924 - Fundamenta Mathematicae 6:244-277.
    Sur la décomposition des ensembles de points en parties respectivement congruentes.
     
    Export citation  
     
    Bookmark   11 citations  
  47.  11
    A simplified formalization of predicate logic with identity.Alfred Tarski - 1964 - Archive for Mathematical Logic 7 (1-2):61-79.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   11 citations  
  48.  20
    Finite Approximations of Infinitely Long Formulas.H. Jerome Keisler, J. W. Addison, Leon Henkin & Alfred Tarski - 1969 - Journal of Symbolic Logic 34 (1):129-130.
  49. La concepción semántica de la verdad y los fundamentos de la semántica.Alfred Tarski - 1999 - A Parte Rei 6:1.
    No categories
     
    Export citation  
     
    Bookmark   10 citations  
  50. The fundamental ideas of pansomatism.Alfred Tarski, David Rynin & Tadeusz Kotarbiński - 1955 - Mind 64 (256):488 - 500.
1 — 50 / 130