165 found
Order:
Disambiguations
Alfred Tarski [141]A. Tarski [26]
  1. Logic, Semantics, Metamathematics.Alfred Tarski - 1956 - 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, ...
  2. What Are Logical Notions?John Corcoran & 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   125 citations  
  3. The Semantic Conception of Truth and the Foundations of Semantics.Alfred Tarski - 1943 - Philosophy and Phenomenological Research 4 (3):341-376.
  4. The Concept of Truth in Formalized Languages.Alfred Tarski - 1936 - In A. Tarski (ed.), Logic, Semantics, Metamathematics. Oxford University Press. pp. 152--278.
  5. 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   41 citations  
  6.  35
    Undecidable Theories.Alfred Tarski - 1968 - 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  
     
    Bookmark   73 citations  
  7.  5
    Non-Standard Analysis.Abraham Robinson, J. W. Addison, Leon Henkin & Alfred Tarski - 1969 - Journal of Symbolic Logic 34 (2):292-294.
    Direct download  
     
    Export citation  
     
    Bookmark   117 citations  
  8. Der Wahrheitsbegriff in den Formalisierten Sprachen.Alfred Tarski - 1936 - Studia Philosophica 1:261--405.
    Translate
     
     
    Export citation  
     
    Bookmark   176 citations  
  9.  27
    A Formalization of Set Theory Without Variables.Alfred Tarski & Steven R. Givant - 1987
  10.  3
    Logic, Semantics, Metamathematics.Atwell Turquette, Alfred Tarski & J. H. Woodger - 1958 - Philosophical Review 67 (1):113.
  11. 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   27 citations  
  12.  12
    The Semantic Conception of Truth and the Foundations of Semantics.Alfred Tarski - 1944 - Journal of Symbolic Logic 9 (3):68-68.
    Direct download  
     
    Export citation  
     
    Bookmark   110 citations  
  13.  63
    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.
  14. The Establishment of Scientific Semantics.Alfred Tarski - 2006 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 13 (2):181-188.
     
    Export citation  
     
    Bookmark   17 citations  
  15.  18
    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.
  16.  26
    Cylindric Algebras. Part II.Leon Henkin, J. Donald Monk & Alfred Tarski - 1988 - Journal of Symbolic Logic 53 (2):651-653.
  17. The Semantic Conception of Truth.Alfred Tarski - 1999 - In Simon Blackburn & Keith Simmons (eds.), Truth. Oxford University Press.
    No categories
     
    Export citation  
     
    Bookmark   22 citations  
  18.  5
    Logic, Semantics, Metamathematics.A. Tarski & J. H. Woodger - 1958 - Philosophical Quarterly 8 (30):87-88.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   65 citations  
  19.  23
    The Algebra of Topology.J. C. C. Mckinsey & Alfred Tarski - 1944 - Journal of Symbolic Logic 9 (4):96-97.
    Direct download  
     
    Export citation  
     
    Bookmark   70 citations  
  20. On the Calculus of Relations.Alfred Tarski - 1941 - Journal of Symbolic Logic 6 (3):73-89.
  21.  6
    A Decision Method for Elementary Algebra and Geometry.Alfred Tarski - 1952 - Journal of Symbolic Logic 17 (3):207-207.
    Direct download  
     
    Export citation  
     
    Bookmark   53 citations  
  22.  44
    Logic, Semantics, Metamathematics: Papers From 1923 to 1938.Alfred Tarski & John Corcoran (eds.) - 1956 - Hackett.
    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   27 citations  
  23.  3
    Logic, Semantics, Metamathematics: Papers From 1923 to 1938.Alfred Tarski, J. H. Woodger & John Corcoran - 1956 - Journal of Symbolic Logic 54 (1):281-282.
    Direct download  
     
    Export citation  
     
    Bookmark   41 citations  
  24. Logic, Methodology and Philosophy of Science Proceedings of the 1960 International Congress.Ernest Nagel, Patrick Suppes & Alfred Tarski - 1962 - Stanford University Press.
  25. Introduction to Logic and to the Methodology of Deductive Sciences.Alfred Tarski - 1941 - 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 (3 more)  
     
    Export citation  
     
    Bookmark   27 citations  
  26.  42
    Über den Begriff der Logischen Folgerung.Alfred Tarski - 1937 - Journal of Symbolic Logic 2 (2):83-84.
    Direct download  
     
    Export citation  
     
    Bookmark   37 citations  
  27.  7
    Logic, Methodology and Philosophy of Science.Max Black, Ernest Nagel, Patrick Suppes & Alfred Tarski - 1963 - Philosophical Review 72 (4):538.
  28.  5
    A Formalization of Set Theory Without Variables.Alfred Tarski & Steven Givant - 1990 - Journal of Symbolic Logic 55 (1):350-352.
    Direct download  
     
    Export citation  
     
    Bookmark   15 citations  
  29.  9
    A Decision Method for Elementary Algebra and Geometry.Alfred Tarski - 1949 - Journal of Symbolic Logic 14 (3):188-188.
    Direct download  
     
    Export citation  
     
    Bookmark   34 citations  
  30. Address at the Princeton University Bicentennial Conference on Problems of Mathematics (December 17-19, 1946).Alfred Tarski & Hourya Sinaceur - 2000 - 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  
     
    Bookmark   5 citations  
  31. The Fundamental Ideas of Pansomatism.Alfred Tarski, David Rynin & Tadeusz Kotarbiński - 1955 - Mind 64 (256):488 - 500.
  32.  46
    Drei Briefe an Otto Neurath.Alfred Tarski - 1992 - Grazer Philosophische Studien 43:1-32.
    No categories
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   10 citations  
  33.  25
    From Accessible to Inaccessible Cardinals.H. J. Keisler & A. Tarski - 1967 - Journal of Symbolic Logic 32 (3):411-411.
  34.  5
    Cylindric Algebras.Leon Henkin & Alfred Tarski - 1967 - Journal of Symbolic Logic 32 (3):415-416.
    Direct download  
     
    Export citation  
     
    Bookmark   19 citations  
  35.  6
    On Closed Elements in Closure Algebras.J. C. C. Mckinsey & Alfred Tarski - 1946 - Journal of Symbolic Logic 11 (3):83-84.
    Direct download  
     
    Export citation  
     
    Bookmark   23 citations  
  36.  11
    Equational Logic and Equational Theories of Algebras.A. Tarski, H. Arnold Schmidt & K. Schutte - 1971 - Journal of Symbolic Logic 36 (1):161-162.
    Direct download  
     
    Export citation  
     
    Bookmark   14 citations  
  37.  6
    The Axiomatic Method in Biology.J. H. Woodger, W. F. Floyd & Alfred Tarski - 1938 - Journal of Symbolic Logic 3 (1):42-43.
    Direct download  
     
    Export citation  
     
    Bookmark   24 citations  
  38.  5
    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   21 citations  
  39. Undecidable Theories.Alfred Tarski - 1959 - British Journal for the Philosophy of Science 9 (36):321-327.
     
    Export citation  
     
    Bookmark   19 citations  
  40.  6
    A Letter to Otto Neurath'25 IV 1930. German Original and English Translation by Jan Tarski.Alfred Tarski - 1992 - Grazer Philosophische Studien 43:10-12.
  41.  16
    Address At The Princeton University Bicentennial Conference On Problems Of Mathematics , By, Pages 1 -- 44.Alfred Tarski & Hourya Sinaceur - 2000 - 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 (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  42.  38
    The Axiomatic Method in Biology.J. H. Woodger, A. Tarski & W. F. Floyd - 1938 - Journal of Philosophy 35 (10):273-274.
  43. 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
    Translate
     
     
    Export citation  
     
    Bookmark   4 citations  
  44.  11
    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.
  45.  24
    Distributive and Modular Laws in the Arithmetic of Relation Algebras.Louise H. Chin & Alfred Tarski - 1953 - Journal of Symbolic Logic 18 (1):72-72.
  46.  58
    Contributions to the Theory of Models.Alfred Tarski - 1956 - Journal of Symbolic Logic 21 (4):405-406.
  47.  4
    Introduction to Logic and to the Methodology of Deductive Sciences.Alfred Tarski & Olaf Helmer - 1941 - Journal of Symbolic Logic 6 (1):30-32.
    Direct download  
     
    Export citation  
     
    Bookmark   14 citations  
  48.  51
    On Undecidable Statements in Enlarged Systems of Logic and the Concept of Truth.Alfred Tarski - 1939 - Journal of Symbolic Logic 4 (3):105-112.
  49.  49
    Logic, Semantics, Metamathematics: Papers From 1923 to 1938.Alfred Tarski & J. H. Woodger - 1956 - Journal of Philosophy 55 (8):351-352.
  50.  11
    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   6 citations  
1 — 50 / 165