Switch to: Citations

References in:

On exhibiting representational validity

Synthese 192 (4):1157-1171 (2015)

Add references

You must login to add references.
  1. (1 other version)Property Theories.George Bealer & Uwe Mönnich - 1983 - In Dov M. Gabbay & Franz Guenthner (eds.), Handbook of Philosophical Logic. Dordrecht, Netherland: Kluwer Academic Publishers. pp. 133-251.
    Revised and reprinted in Handbook of Philosophical Logic, volume 10, Dov Gabbay and Frans Guenthner (eds.), Dordrecht: Kluwer, (2003). -- Two sorts of property theory are distinguished, those dealing with intensional contexts property abstracts (infinitive and gerundive phrases) and proposition abstracts (‘that’-clauses) and those dealing with predication (or instantiation) relations. The first is deemed to be epistemologically more primary, for “the argument from intensional logic” is perhaps the best argument for the existence of properties. This argument is presented in the (...)
    Download  
     
    Export citation  
     
    Bookmark   23 citations  
  • On the pluralistic conception of logic.Zoltán Vecsey - 2010 - Pragmatics and Cognition 18 (1):1-16.
    Beall and Restall argue for a pluralistic conception of logic, which may be called Background Pluralism. In the first part of this paper, I outline the core tenets of Beall and Restall's position. In the second part I consider a particular line of criticism presented in Read and Priest. Finally, in the last part of the paper, I develop a new argument which is directed against the fundamental thesis of Beall and Restall's pluralistic theory. Since the argument attempts to show (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Models and Logical Consequence.Gil Sagi - 2014 - Journal of Philosophical Logic 43 (5):943-964.
    This paper deals with the adequacy of the model-theoretic definition of logical consequence. Logical consequence is commonly described as a necessary relation that can be determined by the form of the sentences involved. In this paper, necessity is assumed to be a metaphysical notion, and formality is viewed as a means to avoid dealing with complex metaphysical questions in logical investigations. Logical terms are an essential part of the form of sentences and thus have a crucial role in determining logical (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • The Theory of Form Logic.Wolfgang Freitag & Alexandra Zinke - 2012 - Logic and Logical Philosophy 21 (4):363-389.
    We investigate a construction schema for first-order logical systems, called “form logic”. Form logic allows us to overcome the dualistic commitment of predicate logic to individual constants and predicates. Dualism is replaced by a pluralism of terms of different “logical forms”. Individual form-logical systems are generated by the determination of a range of logical forms and of the formbased syntax rules for combining terms into formulas. We develop a generic syntax and semantics for such systems and provide a completeness proof (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Tarski on Logical Consequence.Mario Gómez-Torrente - 1996 - Notre Dame Journal of Formal Logic 37 (1):125-151.
    This paper examines from a historical perspective Tarski's 1936 essay, "On the concept of logical consequence." I focus on two main aims. The primary aim is to show how Tarski's definition of logical consequence satisfies two desiderata he himself sets forth for it: (1) it must declare logically correct certain formalizations of the -rule and (2) it must allow for variation of the individual domain in the test for logical consequence. My arguments provide a refutation of some interpreters of Tarski, (...)
    Download  
     
    Export citation  
     
    Bookmark   45 citations  
  • Logic, semantics, metamathematics.Alfred Tarski - 1956 - Oxford,: Clarendon Press. Edited by John Corcoran & J. H. Woodger.
    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, ...
    Download  
     
    Export citation  
     
    Bookmark   401 citations  
  • Pluralism in logic.Hartry Field - 2009 - Review of Symbolic Logic 2 (2):342-359.
    There are quite a few theses about logic that are in one way or another pluralist: they hold (i) that there is no uniquely correct logic, and (ii) that because of this, some or all debates about logic are illusory, or need to be somehow reconceived as not straightforwardly factual. Pluralist theses differ markedly over the reasons offered for there being no uniquely correct logic. Some such theses are more interesting than others, because they more radically affect how we are (...)
    Download  
     
    Export citation  
     
    Bookmark   73 citations  
  • The semantic foundations of logic.Richard L. Epstein - 1994 - New York: Oxford University Press.
    This book presents modern logic as the formalization of reasoning that needs and deserves a semantic foundation. Chapters on propositional logic; parsing propositions; and meaning, truth and reference give the reader a basis for establishing criteria that can be used to judge formalizations of ordinary language arguments. Over 120 worked examples illustrate the scope and limitations of modern logic, as analyzed in chapters on identity, quantifiers, descriptive names, and functions. The chapter on second-order logic shows how different conceptions of predicates (...)
    Download  
     
    Export citation  
     
    Bookmark   30 citations  
  • Absolute necessities.Bob Hale - 1996 - Philosophical Perspectives 10:93 - 117.
    Download  
     
    Export citation  
     
    Bookmark   62 citations  
  • Did Tarski commit "Tarski's fallacy"?Gila Sher - 1996 - Journal of Symbolic Logic 61 (2):653-686.
    In his 1936 paper,On the Concept of Logical Consequence, Tarski introduced the celebrated definition oflogical consequence: “The sentenceσfollows logicallyfrom the sentences of the class Γ if and only if every model of the class Γ is also a model of the sentenceσ.” [55, p. 417] This definition, Tarski said, is based on two very basic intuitions, “essential for the proper concept of consequence” [55, p. 415] and reflecting common linguistic usage: “Consider any class Γ of sentences and a sentence which (...)
    Download  
     
    Export citation  
     
    Bookmark   71 citations  
  • What exactly is logical pluralism?G. C. Goddu - 2002 - Australasian Journal of Philosophy 80 (2):218 – 230.
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • Die richtige Formel: Philosophische Probleme der logischen Formalisierung.Georg Brun - 2003 - Frankfurt a.M.: De Gruyter.
    Logik ist nach dem traditionellen Verständnis eine ars iudicandi, eine Kunst, die Gültigkeit von Schlüssen zu prüfen. Da mit die normalen Mittel der modernen Logik zu diesem Zweck eingesetzt werden können, müssen erst Formeln an die Stelle von Sätzen treten: umgangssprachliche Schlüsse müssen adäquat formalisiert werden. Die richtige Formel entwickelt ein theoretisches Konzept des Formalisierens und praktisch anwendbare Adäquatheitskriterien für Formalisierungen. Dabei werden zentrale Fragen der Philosophie der Logik unter dem Gesichtspunkt des Zusammenspiels von Umgangssprache und Formalismus untersucht. Die ausführliche (...)
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  • Logical Pluralism.J. C. Beall & Greg Restall - 2005 - Oxford, GB: Oxford University Press. Edited by Greg Restall.
    Consequence is at the heart of logic, and an account of consequence offers a vital tool in the evaluation of arguments. This text presents what the authors term as 'logical pluralism' arguing that the notion of logical consequence doesn't pin down one deductive consequence relation; it allows for many of them.
    Download  
     
    Export citation  
     
    Bookmark   119 citations  
  • (1 other version)Property Theories.George Bealer & Uwe Monnich - 2003 - In D. Gabbay & F. Guenther (eds.), Handbook of Philosophical Logic Vol. 10. Kluwer Academic Publishers. pp. 143-248.
    Revised and reprinted; originally in Dov Gabbay & Franz Guenthner (eds.), Handbook of Philosophical Logic, Volume IV. Kluwer 133-251. -- Two sorts of property theory are distinguished, those dealing with intensional contexts property abstracts (infinitive and gerundive phrases) and proposition abstracts (‘that’-clauses) and those dealing with predication (or instantiation) relations. The first is deemed to be epistemologically more primary, for “the argument from intensional logic” is perhaps the best argument for the existence of properties. This argument is presented in the (...)
    Download  
     
    Export citation  
     
    Bookmark   26 citations  
  • English as a Formal Language.Richard Montague - 1970 - In B. Visentini (ed.), Linguaggi Nella Societ\'{a} e Nella Tecnica'. Edizioni di Communita. pp. 188-221.
    I reject the contention that an important theoretical difference exists between formal and natural languages.
    Download  
     
    Export citation  
     
    Bookmark   165 citations  
  • 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  
  • Monism: The One True Logic.Stephen Read - 2006 - In David DeVidi & Tim Kenyon (eds.), A Logical Approach to Philosophy: Essays in Memory of Graham Solomon. Dordrecht, Netherland: Springer.
    Logical pluralism is the claim that different accounts of validity can be equally correct. Beall and Restall have recently defended this position. Validity is a matter of truth-preservation over cases, they say: the conclusion should be true in every case in which the premises are true. Each logic specifies a class of cases, but differs over which cases should be considered. I show that this account of logic is incoherent. Validity indeed is truth-preservation, provided this is properly understood. Once understood, (...)
    Download  
     
    Export citation  
     
    Bookmark   52 citations  
  • The logic manual.Volker Halbach - 2010 - New York: Oxford University Press.
    The Logic Manual is a clear and concise introduction to logic for beginning philosophy students.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Universal grammar.Richard Montague - 1970 - Theoria 36 (3):373--398.
    Download  
     
    Export citation  
     
    Bookmark   321 citations  
  • Modalism and Logical Pluralism.Otávio Bueno & Scott A. Shalkowski - 2009 - Mind 118 (470):295-321.
    Logical pluralism is the view according to which there is more than one relation of logical consequence, even within a given language. A recent articulation of this view has been developed in terms of quantification over different cases: classical logic emerges from consistent and complete cases; constructive logic from consistent and incomplete cases, and paraconsistent logic from inconsistent and complete cases. We argue that this formulation causes pluralism to collapse into either logical nihilism or logical universalism. In its place, we (...)
    Download  
     
    Export citation  
     
    Bookmark   34 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   13 citations  
  • New essays on Tarski and philosophy.Douglas Patterson (ed.) - 2008 - New York: Oxford University Press.
    The essays can be seen as addressing Tarski's seminal treatment of four basic questions about logical consequence. (1) How are we to understand truth, one of ...
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  • The concept of logical consequence.John Etchemendy - 1990 - Cambridge: Harvard University Press.
    Of course we all know now that mathematics has proved that logic doesn't really make sense, but Etchemendy (philosophy, Stanford Univ.) goes further and challenges the received view of the conceptual underpinnings of modern logic by arguing that Tarski's model-theoretic analysis of logical consequences is wrong. He may have found the soft underbelly of the dead horse. Annotation copyrighted by Book News, Inc., Portland, OR.
    Download  
     
    Export citation  
     
    Bookmark   184 citations  
  • The concept of logical consequence.William H. Hanson - 1997 - Philosophical Review 106 (3):365-409.
    In the first section, I consider what several logicians say informally about the notion of logical consequence. There is significant variation among these accounts, they are sometimes poorly explained, and some of them are clearly at odds with the usual technical definition. In the second section, I first argue that a certain kind of informal account—one that includes elements of necessity, generality, and apriority—is approximately correct. Next I refine this account and consider several important questions about it, including the appropriate (...)
    Download  
     
    Export citation  
     
    Bookmark   60 citations  
  • (1 other version)Logic: Part I.W. E. Johnson - 1921 - Mind 30 (120):448-455.
    Download  
     
    Export citation  
     
    Bookmark   78 citations  
  • Logical consequence: A defense of Tarski.Greg Ray - 1996 - Journal of Philosophical Logic 25 (6):617 - 677.
    In his classic 1936 essay "On the Concept of Logical Consequence", Alfred Tarski used the notion of satisfaction to give a semantic characterization of the logical properties. Tarski is generally credited with introducing the model-theoretic characterization of the logical properties familiar to us today. However, in his book, The Concept of Logical Consequence, Etchemendy argues that Tarski's account is inadequate for quite a number of reasons, and is actually incompatible with the standard model-theoretic account. Many of his criticisms are meant (...)
    Download  
     
    Export citation  
     
    Bookmark   38 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   23 citations  
  • Adequate formalization.Michael Baumgartner & Timm Lampert - 2008 - Synthese 164 (1):93-115.
    This article identifies problems with regard to providing criteria that regulate the matching of logical formulae and natural language. We then take on to solve these problems by defining a necessary and sufficient criterion of adequate formalization. On the basis of this criterion we argue that logic should not be seen as an ars iudicandi capable of evaluating the validity or invalidity of informal arguments, but as an ars explicandi that renders transparent the formal structure of informal reasoning.
    Download  
     
    Export citation  
     
    Bookmark   24 citations  
  • Reflections on consequence.John Etchemendy - 2008 - In Douglas Patterson (ed.), New essays on Tarski and philosophy. New York: Oxford University Press. pp. 263--299.
    Download  
     
    Export citation  
     
    Bookmark   36 citations  
  • Formal and material consequence.Stephen Read - 1994 - Journal of Philosophical Logic 23 (3):247 - 265.
    Download  
     
    Export citation  
     
    Bookmark   52 citations  
  • Etchemendy and Logical Consequence.Graham Priest - 1995 - Canadian Journal of Philosophy 25 (2):283 - 292.
    Logical consequence is a notion that every person who reasons must possess, at least implicitly. To give a precise and accurate characterization of this notion is the fundamental task of logic. In a similar way, the notion of effectivity is a concept that anyone with a basic training in mathematics possesses, and the most fundamental task of a theory of computability is to give a precise characterization of this notion. The problem concerning effectivity was solved in the 1930s, almost as (...)
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  • In Defense of Convention T.Donald Davidson - 1973 - In Hugues Leblanc (ed.), Truth, Syntax and Modality. Amsterdam,: North-Holland.
    Download  
     
    Export citation  
     
    Bookmark   53 citations  
  • Criteria for logical formalization.Jaroslav Peregrin & Vladimír Svoboda - 2013 - Synthese 190 (14):2897-2924.
    The article addresses two closely related questions: What are the criteria of adequacy of logical formalization of natural language arguments, and what gives logic the authority to decide which arguments are good and which are bad? Our point of departure is the criticism of the conception of logical formalization put forth, in a recent paper, by M. Baumgartner and T. Lampert. We argue that their account of formalization as a kind of semantic analysis brings about more problems than it solves. (...)
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • Logical Forms: An Introduction to Philosophical Logic.T. S. Champlin & Mark Sainsbury - 1992 - Philosophical Quarterly 42 (167):243.
    Logical Forms explains both the detailed problems involved in finding logical forms and also the theoretical underpinnings of philosophical logic. In this revised edition, exercises are integrated throughout the book. The result is a genuinely interactive introduction which engages the reader in developing the argument. Each chapter concludes with updated notes to guide further reading.
    Download  
     
    Export citation  
     
    Bookmark   36 citations