Switch to: References

Add citations

You must login to add citations.
  1. Logical Truth.Paal Fjeldvig Antonsen - 2019 - Australasian Journal of Logic 16 (7):187-201.
    On the model-theoretic account, a sentence is logically true just in case it is true on all possible semantic interpretations. We dierentiate four ways one can interpret the modality 'possible' in this definition, and argue that one of these readings is not subject to the criticism levelled against the model-theoretic account by Etchemendy. By explicating the four readings we also draw some consequences for what linguistic evidence a selection of logical theories should be sensitive to.
    Download  
     
    Export citation  
     
    Bookmark  
  • Reflections on Consequence.John Etchemendy - 2008 - In Douglas Patterson (ed.), New Essays on Tarski and Philosophy. Oxford University Press. pp. 263--299.
    Download  
     
    Export citation  
     
    Bookmark   29 citations  
  • The Development of Mathematical Logic From Russell to Tarski, 1900-1935.Paolo Mancosu, Richard Zach & Calixto Badesa - 2009 - In Leila Haaparanta (ed.), The Development of Modern Logic. Oxford University Press.
    The period from 1900 to 1935 was particularly fruitful and important for the development of logic and logical metatheory. This survey is organized along eight "itineraries" concentrating on historically and conceptually linked strands in this development. Itinerary I deals with the evolution of conceptions of axiomatics. Itinerary II centers on the logical work of Bertrand Russell. Itinerary III presents the development of set theory from Zermelo onward. Itinerary IV discusses the contributions of the algebra of logic tradition, in particular, Löwenheim (...)
    Download  
     
    Export citation  
     
    Bookmark   19 citations  
  • In Defense of the Semantic Definition of Truth.Jan woleński - 2001 - Synthese 126 (1-2):67 - 90.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • On the Possibility of a Privileged Class of Logical Terms.Greg Ray - 1996 - Philosophical Studies 81 (2-3):303 - 313.
    Alfred Tarski's (1936) semantic account of the logical properties (logical consequence, logical truth and logical consistency) makes essential appeal to a distinction between logical and non-logical terms. John Etchemendy (1990) has recently argued that Tarski's account is inadequate for quite a number of different reasons. Among them is a brief argument which purports to show that Tarski's reliance on the distinction between logical and non-logical terms is in principle mistaken. According to Etchemendy, there are very simple (even first order) languages (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Exhibiting Interpretational and Representational Validity.Michael Baumgartner - 2014 - Synthese 191 (7).
    A natural language argument may be valid in at least two nonequivalent senses: it may be interpretationally or representationally valid (Etchemendy in The concept of logical consequence. Harvard University Press, Cambridge, 1990). Interpretational and representational validity can both be formally exhibited by classical first-order logic. However, as these two notions of informal validity differ extensionally and first-order logic fixes one determinate extension for the notion of formal validity (or consequence), some arguments must be formalized by unrelated nonequivalent formalizations in order (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • More Reflections on Consequence.Julien Murzi & Massimiliano Carrara - 2014 - Logique Et Analyse 57 (227):223-258.
    This special issue collects together nine new essays on logical consequence :the relation obtaining between the premises and the conclusion of a logically valid argument. The present paper is a partial, and opinionated,introduction to the contemporary debate on the topic. We focus on two influential accounts of consequence, the model-theoretic and the proof-theoretic, and on the seeming platitude that valid arguments necessarilypreserve truth. We briefly discuss the main objections these accounts face, as well as Hartry Field’s contention that such objections (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • The Problem of Logical Constants.Mario Gómez-Torrente - 2002 - Bulletin of Symbolic Logic 8 (1):1-37.
    There have been several different and even opposed conceptions of the problem of logical constants, i.e. of the requirements that a good theory of logical constants ought to satisfy. This paper is in the first place a survey of these conceptions and a critique of the theories they have given rise to. A second aim of the paper is to sketch some ideas about what a good theory would look like. A third aim is to draw from these ideas and (...)
    Download  
     
    Export citation  
     
    Bookmark   42 citations  
  • 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.
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • Philosophical Problems of Foundations of Logic.Alexander S. Karpenko - 2014 - Studia Humana 3 (1):13-26.
    In the paper the following questions are discussed: What is logical consequence? What are logical constants? What is a logical system? What is logical pluralism? What is logic? In the conclusion, the main tendencies of development of modern logic are pointed out.
    Download  
     
    Export citation  
     
    Bookmark  
  • Gómez-Torrente on Modality and Tarskian Logical Consequence.Manuel García-Carpintero - 2010 - Theoria : An International Journal for Theory, History and Fundations of Science 18 (2):159-170.
    Gómez-Torrente’s papers have made important contributions to vindicate Tarski’s model-theoretic account of the logical properties in the face of Etchemendy’s criticisms. However, at some points his vindication depends on interpreting the Tarskian account as purportedly modally deflationary, i.e., as not intended to capture the intuitive modal element in the logical properties, that logical consequence is (epistemic or alethic) necessary truth-preservation. Here it is argued that the views expressed in Tarski’s seminal work do not support this modally deflationary interpretation, even if (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Fixed- Versus Variable-Domain Interpretations of Tarski’s Account of Logical Consequence.Paolo Mancosu - 2010 - Philosophy Compass 5 (9):745-759.
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  • 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.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Overgeneration in the Higher Infinite.Salvatore Florio & Luca Incurvati - forthcoming - In Gil Sagi & Jack Woods (eds.), The Semantic Conception of Logic: Essays on Consequence, Invariance, and Meaning. Cambridge: Cambridge University Press.
    The Overgeneration Argument is a prominent objection against the model-theoretic account of logical consequence for second-order languages. In previous work we have offered a reconstruction of this argument which locates its source in the conflict between the neutrality of second-order logic and its alleged entanglement with mathematics. Some cases of this conflict concern small large cardinals. In this article, we show that in these cases the conflict can be resolved by moving from a set-theoretic implementation of the model-theoretic account to (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Gómez-Torrente on Modality and Tarskian Logical Consequence.Manuel García-Carpintero - 2003 - Theoria 18 (2):159-170.
    Gómez-Torrente’s papers have made important contributions to vindicate Tarski’s model-theoretic account of the logical properties in the face of Etchemendy’s criticisms. However, at some points his vindication depends on interpreting the Tarskian account as purportedly modally deflationary, i.e., as not intended to capture the intuitive modal element in the logical properties, that logical consequence is (epistemic or alethic) necessary truth-preservation. Here it is argued that the views expressed in Tarski’s seminal work do not support this modally deflationary interpretation, even if (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • A Fallacy About the Modal Status of Logic.Manuel Ppérez Otero - 2001 - Dialectica 55 (1):9-27.
    In John Etchemendy's book, The Concept of Logical Consequence, several arguments are put forth against the standard model‐theoretic account of logical consequence and logical truth. I argue in this article that crucial parts of Etchemendy's attack depend on a failure to distinguish two senses of logic and two correlative senses of being something a logical question. According to one of these senses, the logic of a language, L, is the set of logical truths of L. In the other sense, logic (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • A Fallacy About the Modal Status of Logic.Manuel Ppérez Otero - 2001 - Dialectica 55 (1):9–27.
    In John Etchemendy's book, The Concept of Logical Consequence, several arguments are put forth against the standard model‐theoretic account of logical consequence and logical truth. I argue in this article that crucial parts of Etchemendy's attack depend on a failure to distinguish two senses of logic and two correlative senses of being something a logical question. According to one of these senses, the logic of a language, L, is the set of logical truths of L. In the other sense, logic (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Alfred Tarski: Philosophy of Language and Logic.Douglas MacLennan Patterson - 2012 - Basingstoke and London, UK: Palgrave-Macmillan.
    This study looks to the work of Tarski's mentors Stanislaw Lesniewski and Tadeusz Kotarbinski, and reconsiders all of the major issues in Tarski scholarship in light of the conception of Intuitionistic Formalism developed: semantics, truth, paradox, logical consequence.
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  • Alfred Tarski and the "Concept of Truth in Formalized Languages": A Running Commentary with Consideration of the Polish Original and the German Translation.Monika Gruber - 2016 - Cham, Switzerland: Springer Verlag.
    This book provides a detailed commentary on the classic monograph by Alfred Tarski, and offers a reinterpretation and retranslation of the work using the original Polish text and the English and German translations. In the original work, Tarski presents a method for constructing definitions of truth for classical, quantificational formal languages. Furthermore, using the defined notion of truth, he demonstrates that it is possible to provide intuitively adequate definitions of the semantic notions of definability and denotation and that the notion (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Logical Consequence.J. C. Beall, Greg Restall & Gil Sagi - 2019 - Stanford Encyclopedia of Philosophy.
    A good argument is one whose conclusions follow from its premises; its conclusions are consequences of its premises. But in what sense do conclusions follow from premises? What is it for a conclusion to be a consequence of premises? Those questions, in many respects, are at the heart of logic (as a philosophical discipline). Consider the following argument: 1. If we charge high fees for university, only the rich will enroll. We charge high fees for university. Therefore, only the rich (...)
    Download  
     
    Export citation  
     
    Bookmark   23 citations  
  • Etchemendy on Squeezing Arguments and Logical Consequence: A Reply to Griffiths.Kasper Christensen - 2018 - Philosophia 46 (4):803-816.
    Owen Griffiths has recently argued that Etchemendy’s account of logical consequence faces a dilemma. Etchemendy claims that we can be sure that his account does not overgenerate, but that we should expect it to undergenerate. Griffiths argues that if we define the relationship between formal and natural language as being dependent on logical consequence, then Etchemendy’s claims are not true; and if we define the relationship as being independent of logical consequence, then we cannot assess the truth of the claims (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Ray on Tarski on Logical Consequence.William H. Hanson - 1999 - Journal of Philosophical Logic 28 (6):605-616.
    In "Logical consequence: A defense of Tarski" (Journal of Philosophical Logic, vol. 25, 1996, pp. 617-677), Greg Ray defends Tarski's account of logical consequence against the criticisms of John Etchemendy. While Ray's defense of Tarski is largely successful, his attempt to give a general proof that Tarskian consequence preserves truth fails. Analysis of this failure shows that de facto truth preservation is a very weak criterion of adequacy for a theory of logical consequence and should be replaced by a stronger (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Logical Truth and Tarskian Logical Truth.Mario Gómez-Torrente - 1998 - Synthese 117 (3):375-408.
    This paper examines the question of the extensional correctness of Tarskian definitions of logical truth and logical consequence. I identify a few different informal properties which are necessary for a sentence to be an informal logical truth and look at whether they are necessary properties of Tarskian logical truths. I examine arguments by John Etchemendy and Vann McGee to the effect that some of those properties are not necessary properties of some Tarskian logical truths, and find them unconvincing. I stress (...)
    Download  
     
    Export citation  
     
    Bookmark   21 citations  
  • A Note on Formality and Logical Consequence.Mario Gómez-Torrente - 2000 - Journal of Philosophical Logic 29 (5):529-539.
    Logic is formal in the sense that all arguments of the same form as logically valid arguments are also logically valid and hence truth-preserving. However, it is not known whether all arguments that are valid in the usual model-theoretic sense are truthpreserving. Tarski claimed that it could be proved that all arguments that are valid (in the sense of validity he contemplated in his 1936 paper on logical consequence) are truthpreserving. But he did not offer the proof. The question arises (...)
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • Book Review: Scott Soames. Understanding Truth. [REVIEW]Robert C. Koons - 2000 - Notre Dame Journal of Formal Logic 41 (1):77-94.
    Download  
     
    Export citation  
     
    Bookmark  
  • Metalogic and the Overgeneration Argument.Salvatore Florio & Luca Incurvati - 2019 - Mind 128 (511):761-793.
    A prominent objection against the logicality of second-order logic is the so-called Overgeneration Argument. However, it is far from clear how this argument is to be understood. In the first part of the article, we examine the argument and locate its main source, namely, the alleged entanglement of second-order logic and mathematics. We then identify various reasons why the entanglement may be thought to be problematic. In the second part of the article, we take a metatheoretic perspective on the matter. (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • En Defensa Del Argumento Finitista.Diego Tajer - 2014 - Revista Latinoamericana de Filosofia 40 (2):129-143.
    En este artículo, analizo las principales respuestas que se han dado al argumento finitista de Etchemendy, y muestro que ninguna de ellas es exitosa. Primero, describo y critico las propuestas que intentan resolverlo apelando a consideraciones modales. Estas soluciones fallan porque presuponen un finitismo demasiado débil, donde se acepta la existencia de infinitos conjuntos o de mundos posibles con infinitos objetos. Pero hay versiones más fuertes del finitismo que reintroducen el problema. Luego considero las soluciones que apelan a categorías semánticas. (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  • Truth, Correspondence, Models, and Tarski.Panu Raatikainen - 2007 - In Approaching Truth: Essays in Honour of Ilkka Niiniluoto. London: College Press. pp. 99-112.
    In the early 20th century, scepticism was common among philosophers about the very meaningfulness of the notion of truth – and of the related notions of denotation, definition etc. (i.e., what Tarski called semantical concepts). Awareness was growing of the various logical paradoxes and anomalies arising from these concepts. In addition, more philosophical reasons were being given for this aversion.1 The atmosphere changed dramatically with Alfred Tarski’s path-breaking contribution. What Tarski did was to show that, assuming that the syntax of (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • On Exhibiting Representational Validity.Alexandra Zinke - 2015 - Synthese 192 (4):1157-1171.
    We can distinguish two non-equivalent ways in which a natural language argument can be valid: it can be interpretationally or representationally valid. However, there is just one notion of classical first-order validity for formal languages: truth-preservation in all classical first-order models. To ease the tension, Baumgartner suggests that we should understand interpretational and representational validity as imposing different adequacy conditions on formalizations of natural language arguments. I argue against this proposal. To that end, I first show that Baumgartner’s definition of (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Tarski’s Staggering Existential Assumptions.V. Mcgee - 2005 - Synthese 142 (3):371-387.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • What is Tarski's Common Concept of Consequence?Ignacio Jané - 2006 - Bulletin of Symbolic Logic 12 (1):1-42.
    In 1936 Tarski sketched a rigorous definition of the concept of logical consequence which, he claimed, agreed quite well with common usage-or, as he also said, with the common concept of consequence. Commentators of Tarski's paper have usually been elusive as to what this common concept is. However, being clear on this issue is important to decide whether Tarski's definition failed (as Etchemendy has contended) or succeeded (as most commentators maintain). I argue that the common concept of consequence that Tarski (...)
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  • Alfred Tarski.Mario Gómez-Torrente - 2008 - Stanford Encyclopedia of Philosophy.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Rereading Tarski on Logical Consequence.Mario Gómez-Torrente - 2009 - Review of Symbolic Logic 2 (2):249-297.
    I argue that recent defenses of the view that in 1936 Tarski required all interpretations of a language to share one same domain of quantification are based on misinterpretations of Tarski’s texts. In particular, I rebut some criticisms of my earlier attack on the fixed-domain exegesis and I offer a more detailed report of the textual evidence on the issue than in my earlier work. I also offer new considerations on subsisting issues of interpretation concerning Tarski’s views on the logical (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • Logical Truth.Mario Gomez-Torrente - 2014 - Stanford Encyclopedia of Philosophy.
    Download  
     
    Export citation  
     
    Bookmark   9 citations