95 found
Sort by:
See also:
  1. Alfred Tarski (forthcoming). Remarks of Alfred Tarski. Revue Internationale de Philosophie.
     
    My bibliography  
     
    Export citation  
  2. Alfred Tarski (2011). O pojęciu prawdy w odniesieniu do sformalizowanych nauk dedukcyjnych „Ruch Filozoficzny\" 1930-1931 (XII) 1-10, ss. 210-211. [REVIEW] Ruch Filozoficzny 4 (4).
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  3. Alfred Tarski & Wagner de Campos Sanz (2010). Acerca do conceito de consequência lógica. Princípios 8 (10):220-233.
    Translate to English
    | Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  4. Alfred Tarski, Patrícia Del Nero Velasco & Edelcio Gonçalves de Souza (2010). Sobre Alguns Conceitos Fundamentais da Metamatemática (Tarski, Alfred). Princípios 8 (10):187-209.
    Translate to English
    | Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  5. J. L. Austin, Anthony Brueckner, Noam Chomsky, Donald Davidson, Keith Donnellan, Michael Dummett, Gareth Evans, Gottlob Frege, H. P. Grice, Paul Horwich, David Kaplan, Saul Kripke, David Lewis, John McDowell, Michael McKinsey, Ruth Millikan, Stephen Neale, Hilary Putnam, W. V. Quine, Bertrand Russell, Nathan Salmon, Stephen Schiffer, John Searle, P. F. Strawson, Alfred Tarski & Ludwig Wittgenstein (2007). Philosophy of Language: The Central Topics. Rowman & Littlefield Publishers.
    This collection of classic and contemporary essays in philosophy of language offers a concise introduction to the field for students in graduate and upper-division undergraduate courses. It includes some of the most important basic sources in philosophy of language, as well as new essays by scholars on the leading edge of innovation in this increasingly influential area of philosophy. Each chapter is preceded the editors' introduction.
    No categories
     
    My bibliography  
     
    Export citation  
  6. Alfréd Tarski (2006). O Založení Vědecké Sémantiky. Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 13 (2):181-188.
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  7. Alfred Tarski (2006). The Establishment of Scientific Semantics. Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 13 (2):181-188.
    No categories
     
    My bibliography  
     
    Export citation  
  8. Alfred Tarski (2003). On the Concept of Following Logically. Translated From the Polish and German by Magda Stroinska and David Hitchcock. History and Philosophy of Logic 23:155-196.
     
    My bibliography  
     
    Export citation  
  9. 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)  
     
    My bibliography  
     
    Export citation  
  10. 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)  
     
    My bibliography  
     
    Export citation  
  11. Alfred Tarski (1999). La concepción semántica de la verdad y los fundamentos de la semántica. A Parte Rei: Revista de Filosofía 6:1.
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  12. Alfred Tarski (1999). Letters to Kurt Gödel, 1942#X2013;47. Vienna Circle Institute Yearbook 6:261-273.
    Editor’s Introduction: We recall that Alfred Tarski arrived in the USA from Poland in September 1939. The present series of letters starts not quite three years after his arrival; this span of time allowed him to adapt himself tentatively to his situation, and to shift much of his attention from the problems of the Old World to those of his immediate surroundings.
    Direct download  
     
    My bibliography  
     
    Export citation  
  13. 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)  
     
    My bibliography  
     
    Export citation  
  14. Alfred Tarski (1997). sciences, edited by Jan Tarski, Oxford University Press, New York-Oxford, 1994, XXII+ 229 p. Depuis sa parution en 1936, ce livre pionnier, originellement écrit en polonais, aura joué un rôle inestimable dans la promotion et la propagation. [REVIEW] Revue Internationale de Philosophie 200:275.
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  15. Alfred Tarski (1996). Dialogue and Umversalism No. 1-2/1996. Dialogue and Universalism 6 (1-6):73.
    No categories
     
    My bibliography  
     
    Export citation  
  16. Alfréd Tarski (1995). List A. Tarského S. Mathému. Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 2 (1):56-58.
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  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)  
     
    My bibliography  
     
    Export citation  
  18. 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)  
     
    My bibliography  
     
    Export citation  
  19. Alfred Tarski (1992). A Letter to Otto Neurath'25 IV 1930. German Original and English Translation by Jan Tarski. Grazer Philosophische Studien 43:10-12.
    No categories
     
    My bibliography  
     
    Export citation  
  20. Alfred Tarski (1992). Drei Briefe an Otto Neurath. Grazer Philosophische Studien 43:1-32.
    No categories
    Translate to English
    | Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  21. Leon Henkin, J. Donald Monk & Alfred Tarski (1988). Cylindric Algebras. Part II. Journal of Symbolic Logic 53 (2):651-653.
    Direct download  
     
    My bibliography  
     
    Export citation  
  22. Alfred Tarski & Steven R. Givant (1987). A Formalization of Set Theory Without Variables. Monograph Collection (Matt - Pseudo).
    Direct download  
     
    My bibliography  
     
    Export citation  
  23. 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)  
     
    My bibliography  
     
    Export citation  
  24. Leon Henkin, J. Donald Monk & Alfred Tarski (1986). Representable cylindric algebras. Annals of Pure and Applied Logic 31 (1):23-60.
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  25. Wanda Szmielew, Alfred Tarski & Wolfram Schwabhauser (1986). Ein Axiomatischer Aufbau der Euklidischen Geometrie. Journal of Symbolic Logic 51 (4):1073-1075.
    Direct download  
     
    My bibliography  
     
    Export citation  
  26. 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  
     
    My bibliography  
     
    Export citation  
  27. Alfred Tarski & John Corcoran (1983). Logic, Semantics, Metamathematics Papers From 1923 to 1938. Hackett.
    Direct download  
     
    My bibliography  
     
    Export citation  
  28. Alfred Tarski & Gilles Granger (1976). Logique, sémantique, métamathématique, coll. « Philosophies pour l''ge de la science ». Revue Philosophique de la France Et de l'Etranger 166 (1):75-76.
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  29. 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  
     
    My bibliography  
     
    Export citation  
  30. Alfred Tarski & Gilles Granger (1975). Logique, sémantique, métamathématique, 2 vol. Coll. « Philosophies pour l''ge de la science ». Revue de Métaphysique et de Morale 80 (3):388-389.
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  31. Andrzej Ehrenfeucht, J. W. Addison, Leon Henkin & Alfred Tarski (1974). Elementary Theories with Models Without Automorphisms. Journal of Symbolic Logic 39 (2):338-338.
    Direct download  
     
    My bibliography  
     
    Export citation  
  32. Leon Henkin, Alfred Tarski & Association for Symbolic Logic (1974). Proceedings of the Tarski Symposium an International Symposium Held to Honor Alfred Tarski on the Occasion of His Seventieth Birthday. Monograph Collection (Matt - Pseudo).
     
    My bibliography  
     
    Export citation  
  33. Pascual Jordan, Leon Henkin, Patrick Suppes & Alfred Tarski (1974). Quantenlogik Und Das Kommutative Gesetz. Journal of Symbolic Logic 39 (2):353-353.
    Direct download  
     
    My bibliography  
     
    Export citation  
  34. Alfred Tarski (1974). A Simplified Formalization of Predicate Logic with Identity. Journal of Symbolic Logic 39 (3):602-603.
    Direct download  
     
    My bibliography  
     
    Export citation  
  35. Alfred Tarski (1972). Logique Sémantique, Métamathématique, 1923-1944. A. Colin.
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  36. Gebhard Furhken, J. W. Addison, Leon Henkin & Alfred Tarski (1970). Languages with Added Quantifier There Exist at Least ℵ Α. Journal of Symbolic Logic 35 (2):342-342.
    Direct download  
     
    My bibliography  
     
    Export citation  
  37. S. C. Kleene, Ernest Nagel, Patrick Suppes & Alfred Tarski (1970). Turing-Machine Computable Functionals of Finite Types I. Journal of Symbolic Logic 35 (4):588-589.
    Direct download  
     
    My bibliography  
     
    Export citation  
  38. Patrick Suppes, J. W. Addison, Leon Henkin & Alfred Tarski (1970). Measurement, Empirical Meaningfulness, and Three-Valued Logic. Journal of Symbolic Logic 35 (1):129-131.
    Direct download  
     
    My bibliography  
     
    Export citation  
  39. 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  
     
    My bibliography  
     
    Export citation  
  40. 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  
     
    My bibliography  
     
    Export citation  
  41. 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  
     
    My bibliography  
     
    Export citation  
  42. Alfred Tarski (1968). A General Theorem Concerning Primitive Notions of Euclidean Geometry. Journal of Symbolic Logic 33 (2):289-289.
     
    My bibliography  
     
    Export citation  
  43. 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)  
     
    My bibliography  
     
    Export citation  
  44. R. L. Vaught, J. W. Addison, Leon Henkin & Alfred Tarski (1968). A Löwenheim-Skolem Theorem for Cardinals for Apart. Journal of Symbolic Logic 33 (3):476-477.
    Direct download  
     
    My bibliography  
     
    Export citation  
  45. Leon Henkin & Alfred Tarski (1967). Cylindrical Algebras. Journal of Symbolic Logic 32 (3):417-417.
    Direct download  
     
    My bibliography  
     
    Export citation  
  46. Alfred Tarski (1967). The Completeness of Elementary Algebra and Geometry. Paris, Centre National De La Recherche Scientifique, Institut Blaise Pascal.
  47. Alfred Tarski (1966). Einführung in Die Mathematische Logik. Vandenhoeck & Ruprecht.
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  48. J. W. Addison, Leon Henkin & Alfred Tarski (1965). The Theory of Models Proceedings of the 1963 International Symposium at Berkeley.
  49. Dana Scott & Alfred Tarski (1965). The Sentential Calculus with Infinitely Long Expressions. Journal of Symbolic Logic 30 (1):95-95.
    Direct download  
     
    My bibliography  
     
    Export citation  
  50. Alfred Tarski & W. Hanf (1965). Some Problems and Results Relevant to the Foundations of Set Theory. Journal of Symbolic Logic 30 (1):95-96.
    Direct download  
     
    My bibliography  
     
    Export citation  
1 — 50 / 95