This category needs an editor. We encourage you to help if you are qualified.
Volunteer, or read more about what this involves.
Related categories

249 found
Order:
1 — 50 / 249
  1. Tarski, Frege and the Liar Paradox.Aaron Sloman - 1971 - Philosophy 46 (176):133-.
    A.1. Some philosophers, including Tarski and Russell, have concluded from a study of various versions of the Liar Paradox ‘that there must be a hierarchy of languages, and that the words “true” and “false”, as applied to statements in any given language, are themselves words belonging to a language of higher order’. In his famous essay on truth Tarski claimed that ‘colloquial’ language is inconsistent as a result of its property of ‘universality’: that is, whatever can be said at all (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  2. Logic, Methodology and Philosophy of ScienceErnest Nagel Patrick Suppes Alfred Tarski.J. Agassi - 1963 - Isis 54 (3):405-407.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  3. On Magari's Concept of General Calculus: Notes on the History of Tarski's Methodology of Deductive Sciences.S. Arpaia - 2006 - History and Philosophy of Logic 27 (1):9-41.
    This paper is an historical study of Tarski's methodology of deductive sciences (in which a logic S is identified with an operator Cn S , called the consequence operator, on a given set of expressions), from its appearance in 1930 to the end of the 1970s, focusing on the work done in the field by Roberto Magari, Piero Mangani and by some of their pupils between 1965 and 1974, and comparing it with the results achieved by Tarski and the Polish (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  4. Arithmetical Identities in a 2‐Element Model of Tarski's System.Gurgen Asatryan - 2002 - Mathematical Logic Quarterly 48 (2):277-282.
    All arithmetical identities involving 1, addition, multiplication and exponentiation will be true in a 2-element model of Tarski's system if a certain sequence of natural numbers is not bounded. That sequence can be bounded only if the set of Fermat's prime numbers is finite.
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  5. Arithmetical Identities in a 2-Element Model of Tarski's System.Gurgen Asatryan - 2002 - Mathematical Logic Quarterly 48 (2):277-282.
    All arithmetical identities involving 1, addition, multiplication and exponentiation will be true in a 2-element model of Tarski's system if a certain sequence of natural numbers is not bounded. That sequence can be bounded only if the set of Fermat's prime numbers is finite.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  6. Tarski and Primitivism About Truth.Jamin Asay - 2013 - Philosophers' Imprint 13 (17):1-18.
    Tarski’s pioneering work on truth has been thought by some to motivate a robust, correspondence-style theory of truth, and by others to motivate a deflationary attitude toward truth. I argue that Tarski’s work suggests neither; if it motivates any contemporary theory of truth, it motivates conceptual primitivism, the view that truth is a fundamental, indefinable concept. After outlining conceptual primitivism and Tarski’s theory of truth, I show how the two approaches to truth share much in common. While Tarski does not (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  7. The Primitivist Theory of Truth.Jamin Asay - 2013 - Cambridge University Press.
    Jamin Asay's book offers a fresh and daring perspective on the age-old question 'What is truth?', with a comprehensive articulation and defence of primitivism, the view that truth is a fundamental and indefinable concept. Often associated with Frege and the early Russell and Moore, primitivism has been largely absent from the larger conversation surrounding the nature of truth. Asay defends primitivism by drawing on a range of arguments from metaphysics, philosophy of language and philosophy of logic, and navigates between correspondence (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  8. Sobre a Concepção da Verdade Em Tarski.Abílio Azambuja - 2006 - Abstracta 2 (1):24-61.
    The aim of this paper is to investigate whether Tarski’s truth definition explains the notion of truth as correspondence with reality and whether it is really a semantic definition of truth. I defend the view that, although Tarski succeeded in the task of constructing correct and adequate definitions, according to his own criteria of correctness and adequateness, the definitions obtained by his method neither are explanations of the main point of a correspondence theory of truth, the relationship between language and (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  9. Tarski, Quine, and the Transcendence of the Vernacular “True”.Jody Azzouni - 2004 - Synthese 142 (3):273 - 288.
    It is argued that the blind ascriptive role for the word true, its use, that is, in conjunction with descriptions of classes of sentences or with proper names of sentences (but not quote-names), is one which applies indiscriminately to sentences regardless of whether these are in languages we speak, can understand, or can translate into sentences that we do speak (and understand). Formal analogues of the ordinary word true as they arise in Tarskis seminal work, and in others, cannot replicate (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  10. Tarski and the Concept of Logical Consequence.Craig Nicholas Bach - 1995 - Dissertation, University of California, Berkeley
    In his 1936 paper, "The Concept of Logical Consequence," Alfred Tarski set out the first formulation of the model-theoretic definition of logical consequence. This definition has hence become a central canon of contemporary logical inquiry. However, it has come under recent attack. In this dissertation, I present a defense of the standard model-theoretic analyses of the concepts of validity and consequence against various objections. ;In the first chapter, it is argued that the model-theoretic analysis of natural language argumentation is based (...)
    Remove from this list  
     
    Export citation  
     
    My bibliography  
  11. Tarski's World: Revised and Expanded.David Barker-Plummer, Jon Barwise & John Etchemendy - 2007 - Center for the Study of Language and Inf.
    _Tarski’s World_ is an innovative and exciting method of introducing students to the language of first-order logic. Using the courseware package, students quickly master the meanings of connectives and qualifiers and soon become fluent in the symbolic language at the core of modern logic. The program allows students to build three-dimensional worlds and then describe them in first-order logic. The program, compatible with Macintosh and PC formats, also contains a unique and effective corrective tool in the form of a game, (...)
    Remove from this list  
     
    Export citation  
     
    My bibliography   1 citation  
  12. Tarski’s 1944 Polemical Remarks and Naess’ “Experimental Philosophy”.Robert Barnard & Joseph Ulatowski - 2016 - Erkenntnis 81 (3):457-477.
    Many of Tarski’s better known papers are either about or include lengthy discussions of how to properly define various concepts: truth, logical consequence, semantic concepts, or definability. In general, these papers identify two primary conditions for successful definitions: formal correctness and material adequacy. Material adequacy requires that the concept expressed by the formal definition capture the intuitive content of truth. Our primary interest in this paper is to better understand Tarski’s thinking about material adequacy, and whether components of his view (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  13. Truth, Correspondence, and Gender.Robert Barnard & Joseph Ulatowski - 2013 - Review of Philosophy and Psychology 4 (4):621-638.
    Philosophical theorizing about truth manifests a desire to conform to the ordinary or folk notion of truth. This practice often involves attempts to accommodate some form of correspondence. We discuss this accommodation project in light of two empirical projects intended to describe the content of the ordinary conception of truth. One, due to Arne Naess, claims that the ordinary conception of truth is not correspondence. Our more recent study is consistent with Naess’ result. Our findings suggest that contextual factors and (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  14. The Language of First-Order Logic: Including the Windows Program Tarski's World 4.0 for Use with Ibm-Compatible Computers. [REVIEW]Jon Barwise & John Etchemendy - 1992 - Center for the Study of Language and Inf.
    Remove from this list  
     
    Export citation  
     
    My bibliography  
  15. Etchemendy, Tarski, and Logical Consequence.Jared Bates - 1999 - Southwest Philosophy Review 15 (1):47-54.
    John Etchemendy (1990) has argued that Tarski's definition of logical consequence fails as an adequate philosophical analysis. Since then, Greg Ray (1996) has defended Tarski's analysis against Etchemendy's criticisms. Here, I'll argue that--even given Ray's defense of Tarski's definition--we may nevertheless lay claim to the conditional conclusion that 'if' Tarski intended a conceptual analysis of logical consequence, 'then' it fails as such. Secondly, I'll give some reasons to think that Tarski 'did' intend a conceptual analysis of logical consequence.
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  16. On Tarski on Models.Timothy Bays - 2001 - Journal of Symbolic Logic 66 (4):1701-1726.
    This paper concerns Tarski’s use of the term “model” in his 1936 paper “On the Concept of Logical Consequence.” Against several of Tarski’s recent defenders, I argue that Tarski employed a non-standard conception of models in that paper. Against Tarski’s detractors, I argue that this non-standard conception is more philosophically plausible than it may appear. Finally, I make a few comments concerning the traditionally puzzling case of Tarski’s ω-rule example.
    Remove from this list   Direct download (8 more)  
     
    Export citation  
     
    My bibliography   6 citations  
  17. Tarski on Logical Notions.Luca Bellotti - 2003 - Synthese 135 (3):401 - 413.
    We try to explain Tarski's conception of logical notions, as it emerges from alecture of his, delivered in 1966 and published posthumously in 1986 (Historyand Philosophy of Logic 7, 143–154), a conception based on the idea ofinvariance. The evaluation of Tarski's proposal leads us to consider an interesting(and neglected) reply to Skolem in which Tarski hints at his own point of view onthe foundations of set theory. Then, comparing the lecture of 1966 with Tarski'slast work and with an earlier paper (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  18. The Porohy on the Dnepr. LeÃsniewskian Roots of Tarski's Semantics.A. Betti - 1998 - In TImothy Childers (ed.), The Logica Yearbook. Acadamy of Sciences of the Czech Republic. pp. 99--109.
    Remove from this list  
     
    Export citation  
     
    My bibliography  
  19. Polish Axiomatics and its Truth: On Tarski's Lesniewskian Background and the Ajdukiewicz Connection.Arianna Betti - 2008 - In Douglas Patterson (ed.), New Essays on Tarski and Philosophy. Oxford University Press. pp. 44.
    Remove from this list  
     
    Export citation  
     
    My bibliography   3 citations  
  20. Lesniewski's Early Liar, Tarski and Natural Language.Arianna Betti - 2004 - Annals of Pure and Applied Logic 127 (1-3):267-287.
    This paper is a contribution to the reconstruction of Tarski’s semantic background in the light of the ideas of his master, Stanislaw Lesniewski. Although in his 1933 monograph Tarski credits Lesniewski with crucial negative results on the semantics of natural language, the conceptual relationship between the two logicians has never been investigated in a thorough manner. This paper shows that it was not Tarski, but Lesniewski who first avowed the impossibility of giving a satisfactory theory of truth for ordinary language, (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  21. Alfred Tarski's Work on General Metamathematics.W. J. Blok & Don Pigozzi - 1988 - Journal of Symbolic Logic 53 (1):36-50.
    Remove from this list   Direct download (7 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  22. The Trouble with Harrison's 'the Trouble with Tarski'.Daniel R. Boisvert - 1999 - Philosophical Quarterly 50 (196):376-383.
    In ‘The Trouble with Tarski’, The Philosophical Quarterly, 48 (1998), pp. 1–22, Jonathan Harrison attacks ‘Tarski‐style’ truth theories for both formalized and natural languages, on the grounds that (1) truth cannot be a property of sentences; (2) if it could be, T‐sentences would have to be necessary truths, which they are not; and (3) T‐sentences are not necessarily true and can even can be false. I reply that (1) cannot be an objection to Tarskian truth theories, since these can be (...)
    Remove from this list   Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  23. Tarski's Tort.John Burgess - manuscript
    A revision of a sermon on the evils of calling model theory “semantics”, preached at Notre Dame on Saint Patrick’s Day, 2005. Provisional version: references remain to be added. To appear in Mathematics, Modality, and Models: Selected Philosophical Papers, coming from Cambridge University Press.
    Remove from this list  
     
    Export citation  
     
    My bibliography  
  24. Chapter Two. Tarski.John P. Burgess & Alexis G. Burgess - 2014 - In John P. Burgess & Alexis G. Burgess (eds.), Truth. Princeton University Press. pp. 16-32.
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  25. Sense and Mode of Presentation.H. G. Callaway - 2008 - In Meaning without Analyticity.
    Theories of linguistic meaning have been a major influence in twentieth century philosophy. This is due, in part, to the assumption that meaning is the crucial and interesting thing about language. To know the meaning of an expression is to understand it, and since understanding is central to philosophy in many different ways, it should be no surprise that the notion of meaning has often taken center stage. The aim of this paper is to briefly explore some influential views concerning (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  26. A Note on Three-Valued Logic and Tarski Theorem on Truth Definitions.Andrea Cantini - 1980 - Studia Logica 39 (4):405 - 414.
    We introduce a notion of semantical closure for theories by formalizing Nepeivoda notion of truth. [10]. Tarski theorem on truth definitions is discussed in the light of Kleene's three valued logic (here treated with a formal reinterpretation of logical constants). Connections with Definability Theory are also established.
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  27. Alfred Tarski I la Teoria de Conjunts.I. Carrera Josep Pla - 1989 - Theoria 4 (2):343-417.
    The work on set theory made by A. Tarski in the years 1924-1950 is very interesting, but little know.We develope partial questions in set theory in the moment that A. Tarski intervenes and his contributionsand also influences.The principals aims in this development are:1. The axiom of choice [A.C.] and his equivalents;2. the general continuum hypothesis [G.C.H.] and the A.C.;3. the dual trichotomy principle;4. the inaccessible cardinals and his relation with the A.C. and the G.C.H.;5. the notion of finite set and (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  28. Tarski's Thesis and the Ontology of Mathematics.Charles Chihara - 1998 - In Matthias Schirn (ed.), The Philosophy of Mathematics Today. Clarendon Press. pp. 157--172.
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  29. Antinomies with That of Tarski.Alonzo Church - 1999 - In A. D. Irvine (ed.), Bertrand Russell: Critical Assessments. Routledge. pp. 96.
    Remove from this list  
     
    Export citation  
     
    My bibliography  
  30. Comparison of Russell's Resolution of the Semantical Antinomies with That of Tarski.Alonzo Church - 1976 - Journal of Symbolic Logic 41 (4):747-760.
  31. How Tarski Defined the Undefinable.Cezary Cieśliński - 2015 - European Review 23 (01):139 - 149.
    This paper describes Tarski’s project of rehabilitating the notion of truth, previously considered dubious by many philosophers. The project was realized by providing a formal truth definition, which does not employ any problematic concept.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  32. Imperatives and the More Generalised Tarski Thesis.Hannah Clark‐Younger - 2014 - Thought: A Journal of Philosophy 3 (4):314-320.
    J.C. Beall and Greg Restall's Generalised Tarski Thesis is a generalisation of the seemingly diverse conceptions of logical consequence. However, even their apparently general account of consequence makes necessary truth-preservation a necessary condition. Sentences in the imperative mood pose a problem for any truth-preservationist account of consequence, because imperatives are not truth-apt but seem to be capable of standing in the relation of logical consequence. In this paper, I show that an imperative logic can be formulated that solves the problem (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  33. Carnap, Tarski and the Search for Truth.Alberto Coffa - 1987 - Noûs 21 (4):547-572.
  34. Valor de Verdad.John Corcoran - 2011 - In Luis Vega and Paula Olmos (ed.), Compendio de Lógica, Argumentación y Retórica. Editorial Trotta. pp. 627--629.
    Down through the ages, logic has adopted many strange and awkward technical terms: assertoric, prove, proof, model, constant, variable, particular, major, minor, and so on. But truth-value is a not a typical example. Every proposition, even if false, no matter how worthless, has a truth-value:even “one plus two equals four” and “one is not one”. In fact, every two false propositions have the same truth-value—no matter how different they might be, even if one is self-contradictory and one is consistent. It (...)
    Remove from this list  
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  35. Tarski, Alfred.”.John Corcoran - 1995 - In Audi Robert (ed.), The Cambridge Dictionary of Philosophy. Cambridge University Press.
    Remove from this list  
     
    Export citation  
     
    My bibliography   1 citation  
  36. REVIEW OF Alfred Tarski, Collected Papers, Vols. 1-4 (1986) Edited by Steven Givant and Ralph McKenzie. [REVIEW]John Corcoran - 1991 - MATHEMATICAL REVIEWS 91 (h):01101-4.
    Alfred Tarski (1901--1983) is widely regarded as one of the two giants of twentieth-century logic and also as one of the four greatest logicians of all time (Aristotle, Frege and Gödel being the other three). Of the four, Tarski was the most prolific as a logician. The four volumes of his collected papers, which exclude most of his 19 monographs, span over 2500 pages. Aristotle's writings are comparable in volume, but most of the Aristotelian corpus is not about logic, whereas (...)
    Remove from this list  
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography   2 citations  
  37. 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.
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    My bibliography   55 citations  
  38. Boolean Algebras, Tarski Invariants, and Index Sets.Barbara F. Csima, Antonio Montalbán & Richard A. Shore - 2006 - Notre Dame Journal of Formal Logic 47 (1):1-23.
    Tarski defined a way of assigning to each Boolean algebra, B, an invariant inv(B) ∈ In, where In is a set of triples from ℕ, such that two Boolean algebras have the same invariant if and only if they are elementarily equivalent. Moreover, given the invariant of a Boolean algebra, there is a computable procedure that decides its elementary theory. If we restrict our attention to dense Boolean algebras, these invariants determine the algebra up to isomorphism. In this paper we (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  39. Anita Burdamn-Feferman, Solomon Feferman, Alfred Tarski. Życie i logika, przeł. Joanna Golińska-Pilarek, Marian Srebrny, Warszawa 2009, ss. 475. [REVIEW]Bożena Czarnecka-Rej - 2011 - Roczniki Filozoficzne:79-84.
    Remove from this list  
    Translate
     
     
    Export citation  
     
    My bibliography  
  40. Key Notions of Tarski's Methodology of Deductive Systems.Janusz Czelakowski & Grzegorz Malinowski - 1985 - Studia Logica 44 (4):321 - 351.
    The aim of the article is to outline the historical background and the present state of the methodology of deductive systems invented by Alfred Tarski in the thirties. Key notions of Tarski's methodology are presented and discussed through, the recent development of the original concepts and ideas.
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  41. Logical Questions Concerning the Μ-Calculus: Interpolation, Lyndon and Los-Tarski.Giovanna D'Agostino & Marco Hollenberg - 2000 - Journal of Symbolic Logic 65 (1):310-332.
    Remove from this list   Direct download (8 more)  
     
    Export citation  
     
    My bibliography   10 citations  
  42. Acerca Do Conceito de Consequência Lógica (Tarski, Alfred).Wagner de Campos Sanz - 2001 - Princípios: Revista de Filosofia 8 (10):11.
    Remove from this list  
    Translate
     
     
    Export citation  
     
    My bibliography  
  43. Tarski on “Essentially Richer” Metalanguages.David DeVidi & Graham Solomon - 1999 - Journal of Philosophical Logic 28 (1):1-28.
    It is well known that Tarski proved a result which can be stated roughly as: no sufficiently rich, consistent, classical language can contain its own truth definition. Tarski's way around this problem is to deal with two languages at a time, an object language for which we are defining truth and a metalanguage in which the definition occurs. An obvious question then is: under what conditions can we construct a definition of truth for a given object language. Tarski claims that (...)
    Remove from this list   Direct download (8 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  44. Alfred Tarski and Decidable Theories.John Doner & Wilfrid Hodges - 1988 - Journal of Symbolic Logic 53 (1):20-35.
    Remove from this list   Direct download (7 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  45. Reduction and Tarski's Definition of Logical Consequence.Jim Edwards - 2003 - Notre Dame Journal of Formal Logic 44 (1):49-62.
    In his classic 1936 paper Tarski sought to motivate his definition of logical consequence by appeal to the inference form: P(0), P(1), . . ., P(n), . . . therefore ∀nP(n). This is prima facie puzzling because these inferences are seemingly first-order and Tarski knew that Gödel had shown first-order proof methods to be complete, and because ∀nP(n) is not a logical consequence of P(0), P(1), . . ., P(n), . . . by Taski's proposed definition. An attempt to resolve (...)
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  46. Tarski on Truth and Logical Consequence.John Etchemendy - 1988 - Journal of Symbolic Logic 53 (1):51-79.
  47. Tarski, Model Theory, and Logical Truth.John William Etchemendy - 1982 - Dissertation, Stanford University
    In his 1936 article, "Uber den Begriff der logischen Folgerung," Tarski claims to have provided precise definitions of the concepts of logical truth and logical consequence that remain "close in essentials" to the "common" or "everyday" concepts. In this dissertation, I examine Tarski's account of these notions, as well as the standard model theoretic definitions that are based on that analysis. I argue that Tarski's analysis, and hence in turn its model theoretic heirs, are fundamentally mistaken, that they do not (...)
    Remove from this list  
     
    Export citation  
     
    My bibliography  
  48. REVIEWS-Alfred Tarski, Life and Logic.A. B. Feferman, S. Feferman & Roger D. Maddux - 2005 - Bulletin of Symbolic Logic 11 (4):535-540.
    Remove from this list  
     
    Export citation  
     
    My bibliography  
  49. Tarski's Influence on Computer Science.Solomon Feferman - unknown
    The following is the text of an invited lecture for the LICS 2005 meeting held in Chicago June 26-29, 2005.1 Except for the addition of references, footnotes, corrections of a few points and stylistic changes, the text is essentially as delivered. Subsequent to the lecture I received interesting comments from several colleagues that would have led me to expand on some of the topics as well as the list of references, had I had the time to do so.
    Remove from this list  
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  50. Tarski's Conceptual Analysis of Semantical Notions.Solomon Feferman - 2008 - In Douglas Patterson (ed.), New Essays on Tarski and Philosophy. Oxford University Press. pp. 72.
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
1 — 50 / 249