121 found
Order:
  1. Alfred Tarski (1956). Logic, Semantics, Metamathematics. Oxford, Clarendon Press.
    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 (4 more)  
     
    Export citation  
     
    My bibliography   258 citations  
  2. Alfred Tarski (1944). The Semantic Conception of Truth: And the Foundations of Semantics. Philosophy and Phenomenological Research 4 (3):341-376.
  3. John Corcoran & Alfred Tarski (1986). What Are Logical Notions? 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  
     
    My bibliography   52 citations  
  4.  14
    Alfred Tarski (1968/2010). Undecidable Theories. Amsterdam, North-Holland Pub. Co..
    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 (2 more)  
     
    Export citation  
     
    My bibliography   69 citations  
  5.  88
    Alfred Tarski (2002). On the Concept of Following Logically. 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 (4 more)  
     
    Export citation  
     
    My bibliography   18 citations  
  6. Alfred Tarski & Steven R. Givant (1987). A Formalization of Set Theory Without Variables. Monograph Collection (Matt - Pseudo).
    Direct download  
     
    Export citation  
     
    My bibliography   20 citations  
  7.  9
    Alfred Tarski & John Corcoran (1983). Logic, Semantics, Metamathematics Papers From 1923 to 1938. Hackett.
    Direct download  
     
    Export citation  
     
    My bibliography   22 citations  
  8. Alfred Tarski (1936). Der Wahrheitsbegriff in den Formalisierten Sprachen. Studia Philosophica 1:261--405.
    Translate
     
     
    Export citation  
     
    My bibliography   84 citations  
  9. Alfred Tarski & Steven Givant (1999). Tarski's System of Geometry. 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 (6 more)  
     
    Export citation  
     
    My bibliography   9 citations  
  10.  42
    J. C. C. McKinsey & Alfred Tarski (1948). Some Theorems About the Sentential Calculi of Lewis and Heyting. Journal of Symbolic Logic 13 (1):1-15.
  11. Alfred Tarski (1936/1956). The Concept of Truth in Formalized Languages. In A. Tarski (ed.), Logic, Semantics, Metamathematics. Oxford University Press 152--278.
  12. Alfred Tarski (1941). On the Calculus of Relations. Journal of Symbolic Logic 6 (3):73-89.
  13. Ernest Nagel, Patrick Suppes & Alfred Tarski (1962). Logic, Methodology and Philosophy of Science Proceedings of the 1960 International Congress. Stanford University Press.
  14.  3
    J. C. C. Mckinsey & Alfred Tarski (1944). The Algebra of Topology. Journal of Symbolic Logic 9 (4):96-97.
    Direct download  
     
    Export citation  
     
    My bibliography   37 citations  
  15. Leon Henkin, J. Donald Monk & Alfred Tarski (1988). Cylindric Algebras. Part II. Journal of Symbolic Logic 53 (2):651-653.
    Direct download  
     
    Export citation  
     
    My bibliography   14 citations  
  16. Alfred Tarski (2006). The Establishment of Scientific Semantics. Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 13 (2):181-188.
    No categories
     
    Export citation  
     
    My bibliography   5 citations  
  17. Alfred Tarski & Hourya Sinaceur (2000). Address at the Princeton University Bicentennial Conference on Problems of Mathematics (December 17-19, 1946). Bulletin of Symbolic Logic 6 (1):1-44.
    This article presents Tarski's Address at the Princeton Bicentennial Conference on Problems of Mathematics, together with a separate summary. Two accounts of the discussion which followed are also included. The central topic of the Address and of the discussion is decision problems. The introductory note gives information about the Conference, about the background of the subjects discussed in the Address, and about subsequent developments to these subjects.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  18. Alfred Tarski, David Rynin & Tadeusz Kotarbiński (1955). The Fundamental Ideas of Pansomatism. Mind 64 (256):488 - 500.
  19.  7
    Alfred Tarski (1937). Über den Begriff der Logischen Folgerung. Journal of Symbolic Logic 2 (2):83-84.
    Direct download  
     
    Export citation  
     
    My bibliography   19 citations  
  20.  66
    Alfred Tarski (1946/1995). Introduction to Logic and to the Methodology of Deductive Sciences. Dover Publications.
    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 (2 more)  
     
    Export citation  
     
    My bibliography   17 citations  
  21. Leon Henkin, J. Donald Monk, Alfred Tarski, L. Henkin, J. D. Monk & A. Tarski (1985). Cylindric Algebras. Part I. Journal of Symbolic Logic 50 (1):234-237.
    Direct download  
     
    Export citation  
     
    My bibliography   12 citations  
  22.  49
    Alfred Tarski (1994). Introduction to Logic and to the Methodology of the Deductive Sciences. Oxford University Press.
    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  
     
    My bibliography   5 citations  
  23. Alfred Tarski (1952). A Decision Method for Elementary Algebra and Geometry. Journal of Symbolic Logic 17 (3):207-207.
    Direct download  
     
    Export citation  
     
    My bibliography   23 citations  
  24.  6
    J. H. Woodger, A. Tarski & W. F. Floyd (1938). The Axiomatic Method in Biology. Journal of Philosophy 35 (10):273-274.
    Direct download  
     
    Export citation  
     
    My bibliography   13 citations  
  25.  14
    Alfred Tarski (1992). Drei Briefe an Otto Neurath. Grazer Philosophische Studien 43:1-32.
    No categories
    Translate
      Direct download (4 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  26.  10
    Alfred Tarski (1956). Contributions to the Theory of Models. Journal of Symbolic Logic 21 (4):405-406.
    Direct download  
     
    Export citation  
     
    My bibliography   3 citations  
  27. H. J. Keisler & A. Tarski (1967). From Accessible to Inaccessible Cardinals. Journal of Symbolic Logic 32 (3):411-411.
    Direct download  
     
    Export citation  
     
    My bibliography   11 citations  
  28.  40
    Alfred Tarski (1939). On Undecidable Statements in Enlarged Systems of Logic and the Concept of Truth. Journal of Symbolic Logic 4 (3):105-112.
  29. H. Jerome Keisler, J. W. Addison, Leon Henkin & Alfred Tarski (1969). Finite Approximations of Infinitely Long Formulas. Journal of Symbolic Logic 34 (1):129-130.
    Direct download  
     
    Export citation  
     
    My bibliography   8 citations  
  30.  14
    Paul Erdös & Alfred Tarski (1961). On Some Problems Involving Inaccessible Cardinals. In Bar-Hillel, Yehoshua & [From Old Catalog] (eds.), Essays on the Foundations of Mathematics. Jerusalem, Magnes Press, Hebrew University; 50--82.
  31. J. C. C. Mckinsey & Alfred Tarski (1946). On Closed Elements in Closure Algebras. Journal of Symbolic Logic 11 (3):83-84.
    Direct download  
     
    Export citation  
     
    My bibliography   11 citations  
  32. A. Tarski, H. Arnold Schmidt & K. Schutte (1971). Equational Logic and Equational Theories of Algebras. Journal of Symbolic Logic 36 (1):161-162.
    Direct download  
     
    Export citation  
     
    My bibliography   7 citations  
  33.  36
    Tadeusz Kotarbinski, Alfred Tarski & David Rynin (1955). The Fundamental Ideas of Pansomatism. Mind 64 (256):488 - 500.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  34.  1
    Louise H. Chin & Alfred Tarski (1953). Distributive and Modular Laws in the Arithmetic of Relation Algebras. Journal of Symbolic Logic 18 (1):72-72.
    Direct download  
     
    Export citation  
     
    My bibliography   6 citations  
  35. L. Henkin, J. D. Monk, A. Tarski, H. Andréka & I. Németi (1986). Cylindric Set Algebras. Studia Logica 45 (2):223-225.
     
    Export citation  
     
    My bibliography   4 citations  
  36.  1
    A. Tarski (1965). Remarks on Predicate Logic with Infinitely Long Expressions. Journal of Symbolic Logic 30 (1):94-95.
    Direct download  
     
    Export citation  
     
    My bibliography   4 citations  
  37.  1
    A. Lindenbaum & A. Tarski (1936). Über Die Beschränktheit der Ausdrucksmittel Deduktiver Theorien. Journal of Symbolic Logic 1 (3):115-116.
    Direct download  
     
    Export citation  
     
    My bibliography   6 citations  
  38.  3
    Alfred Tarski (1974). A Simplified Formalization of Predicate Logic with Identity. Journal of Symbolic Logic 39 (3):602-603.
    Direct download  
     
    Export citation  
     
    My bibliography   2 citations  
  39.  6
    Alfred Tarski & J. H. Woodger (1958). Logic, Semantics, Metamathematics; Papers From 1923 to 1938. Journal of Philosophy 55 (8):351-352.
    Direct download  
     
    Export citation  
     
    My bibliography  
  40.  5
    Alfred Tarski, T. R. Bachiller & J. R. Fuentes (1951). Introducción a la Lógica y a la Metodología de Las Ciencias Deductivas. Journal of Symbolic Logic 16 (4):283-284.
    Direct download  
     
    Export citation  
     
    My bibliography  
  41.  1
    Alfred Tarski (1938). Einführung in Die Mathematische Logik Und in Die Methodologie der Mathematik. Journal of Philosophy 35 (13):361-362.
    Direct download  
     
    Export citation  
     
    My bibliography   5 citations  
  42.  17
    Alfred Tarski, Jan Tarski & Jan Woleński (1995). Some Current Problems in Metamathematics1. History and Philosophy of Logic 16 (2):159-168.
    In this article the author first described the developments which brought to focus the importance of consistency proofs for mathematics, and which led Hilbert to promote the science of metamathemat-ics. Further comments and remarks concern the (partly analogous) beginnings of the work on the decision problem, Gödel?s theorems and related matters, and general metamathematics. An appendix summarizes a text by the author on completeness and categoricity.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  43. Alfred Tarski (1968). A General Theorem Concerning Primitive Notions of Euclidean Geometry. Journal of Symbolic Logic 33 (2):289-289.
     
    Export citation  
     
    My bibliography  
  44.  1
    Alfred Tarski (1935). Einige methodologifche Unterfuchungen über die Definierbarkeit der Begriffe. Erkenntnis 5 (1):80-100.
    Translate
      Direct download (3 more)  
     
    Export citation  
     
    My bibliography   7 citations  
  45. J. W. Addison, Leon Henkin, Alfred Tarski & Paul E. Howard (1975). The Fraenkel-Mostowski Method for Independence Proofs in Set Theory. Journal of Symbolic Logic 40 (4):631-631.
    Direct download  
     
    Export citation  
     
    My bibliography   4 citations  
  46.  24
    Alfred Tarski (1948). A Problem Concerning the Notion of Definability. Journal of Symbolic Logic 13 (2):107-111.
  47. Robert L. Vaught, Ernest Nagel, Patrick Suppes & Alfred Tarski (1969). On a Theorem of Cobham Concerning Undecidable Theories. Journal of Symbolic Logic 34 (1):126-127.
    Direct download  
     
    Export citation  
     
    My bibliography   4 citations  
  48.  2
    Simon Kochen, J. W. Addison, Leon Henkin, Alfred Tarski & Walter Felscher (1969). Topics in the Theory of Definition. Journal of Symbolic Logic 34 (2):300-301.
    Direct download  
     
    Export citation  
     
    My bibliography  
  49.  7
    Alfred Tarski & Wagner de Campos Sanz (2010). Acerca do conceito de consequência lógica. Princípios 8 (10):220-233.
    Translate
      Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  50.  7
    Alfred Tarski (1967). The Completeness of Elementary Algebra and Geometry. Paris, Centre National De La Recherche Scientifique, Institut Blaise Pascal.
1 — 50 / 121