His most wellknown book, the concept of logical consequence 1990, 1999, criticizes alfred tarskis widely accepted analysis of logical consequence. Models and logical consequence, journal of philosophical. He has challenged orthodox views on the central notions of truth, logical consequence and logical truth. The intuitive concept of consequence, the notion that one sentence follows logically from another, has driven the study of logic for more than two thousand years. Etchemendy and logical consequence canadian journal of. View john etchemendy s profile on linkedin, the worlds largest professional community. The substitutional account of logical consequence yields a smooth treatment of free. Numerous and frequentlyupdated resource results are available from this search. A similar picture of logic takes consequence to be a matter of what is. Modeltheoretic and deductivetheoretic approaches to logic settheoretic and linguistic preliminaries.
In the remainder of this introductory section, we focus on the metaphysics of predication and logic. Logical consequence, deductivetheoretic conceptions of. The child would first need to learn and demonstrate consistently how to verbally ask for applesauce before teachers could use logical consequences. Logical consequences must be practical and enforced. Logical consequence is commonly described as a necessary relation that can be determined by the form of the sentences involved. The concept of logical consequence by john etchemendy. Etchemendy and bolzano on logical consequence he argues that, while tarskis definition requires us to classify the terms of a language as logical or. The concept of logical consequence stanford university. Reviewed by patrick rardin, appalachian state university if you believe that you have a guarantee of validity when you use the firstorder predicate calculus to deductivelyprove the validity of an argument, then you should read this book. And it delivers an extension of logical constant which respects the intuitively clear cases.
Deductivetheoretic conceptions of logical consequence. The overgeneration argument attempts to show that accepting secondorder validity as a sound 1 formal counterpart of logical truth has the unacceptable consequence that the continuum hypothesis ch is either a logical truth or a logical falsehood. Introduction long considered a settled matter, the nature of logical consequence is once again a. Freges theory of reference university of notre dame. Though this definition is the semantical fundament of almost all of modern logics, it has recently been subject of a severe critique raised in etchemendys book the concept of logical consequence 1990. This has yielded a ood of results in many areas, both of. A defense of tarski journal of philosophical logic, vol. Etchemendys book the concept of logical consequence is examined.
The argument was presented and vigorously defended in john etchemendys the concept of logical consequence and it has many proponents to this day. Tarski sets up two adequacy requirements for his explication. But in a broader sense, model theory is the study of the interpretation. Sep 21, 20 models and logical consequence models and logical consequence sagi, gil 20921 00. Other readers will always be interested in your opinion of the books youve read. Logical consequence is a notion that every person who reasons must 1 j.
Reviewed by patrick rardin, appalachian state university if you believe that you have a guarantee of validity when you use the firstorder predicate calculus to deductivelyprove the validity. Logical consequence also entailment is a fundamental concept in logic, which describes the relationship between statements that hold true when one statement logically follows from one or more statements. The paper is concerned with quines substitutional account of logical truth. Oclcs webjunction has pulled together information and resources to assist library staff as they consider how to handle coronavirus. This article is brought to you for free and open access by sound ideas. Mainstream model theory is now a sophisticated branch of mathematics see the entry on firstorder model theory. This package is sure to be an essential resource in a range of courses incorporating logical reasoning, including formal linguistics, philosophy, mathematics, and computer science. This paper explores etchemendys argument and various responses from. Moreover, because of this, universal instantiation should be expected to fail.
Each of these can be seen as explicating different aspects of the concept of logical consequence, backed by different philosophical perspectives. While rays defense of tarski is largely successful, his attempt to give a general proof that tarskian consequence preserves truth fails. The analytic tradition in twentiethcentury philosophy. Which of the following statements is a logical consequence of the second law of thermodynamics. Logical consequence, proof theory, and model theory request pdf. While rays defense of tarski is largely successful, his attempt to give. Model theory began with the study of formal languages and their interpretations, and of the kinds of classification that a particular formal language can make. A possible response to etchemendy would be to blend the. For example, the occurrence of x is free in malex and in.
The best i could recommend in that department is being logical by dennis q. Whether youve loved the book or not, if you give your honest and detailed thoughts then people will find new books that are right for them. Learn vocabulary, terms, and more with flashcards, games, and other study tools. Find mooc courses and free online courses taught by the professorinstructor john etchemendy. Empiricism and subjectivity, by gilles deleuze, trans, by. The intuitive concept of consequence, the notion that one sentence follows logically from another, has driven the study of logic for more than. The substitutional analysis of logical consequence. Logical consequences handout vanderbilt university. Ray on tarski on logical consequence ray on tarski on logical consequence hanson, william 20041014 00. Varieties of logical consequence by their resistance to logical nihilism gillian russell draft of a paper for the volume pluralisms in truth and logic, edited by nikolaj pedersen, nathan kellen, and jeremy wyatt.
Varieties of logical consequence by their resistance to. The concept of logical consequence john etchemendy. Etchemendys research interests include logic, semantics and the philosophy of language. The logical reasoning with diagrams and sentences courseware package teaches the principles of analytical reasoning and proof construction using a carefully crafted combination of textbook, desktop, and online materials.
According to the deductivetheoretic conception of logical consequence, a sentence x is a logical consequence of a set k of sentences if and only if x is a deductive consequence of k, that is, x is deducible or provable from k. Etchemendy, the concept of logical consequence free ebook download as pdf file. Etchemendy brings forward some basic problems involved in the notion. Etchemendy and bolzano on logical consequence he argues that, while tarskis definition requires us to classify the terms of. The substitutional analysis of logical consequence halbach. But logic has moved forward dramatically in the past century largely as a result of bringing. Philosophy of logical consequence michigan state university. By jared bates in logical consequence and alfred tarski.
Before we explore tarskis definition of logical truth and logical consequence, we should get. But logic has moved forward dramatically in the past century largely as a result of bringing mathematics to bear on the field. Logical consequence and natural language michael glanzberg northwestern university one of the great successes of the past fty or so years of the study of language has been the application of formal methods. Logical consequence definition of logical consequence at. Tarskis characterization of the common concept of logical consequence. Logical consequence, proof theory, and model theory. John etchemendy opens his book the concept of logical consequence with a description of tarskis impact on contemporary philosophy of logic that i think neatly encapsulates the kind of influence that typically comes handinhand with renown within a discipline. But logic has moved forward dramatically in the past centurylargely as a result of bringing mathematics to bear on the field. This study evaluates and expands upon ideas set forth in tarskis 1936 article on logical. In his first attempt on the concept of logical consequence 1936b. In etchemendys words, tarskis work has earned him the highest compliment. This study evaluates and expands upon ideas set forth in tarskis 1936 article on logical consequence, and appeals to his 1935 article on truth.
My proposal is that when a term is considered logical in model theory, what gets fixed is its intension rather than its extension. Tempting as it may sound, this account is not free of problems. Etchemendy the concept of logical consequence pdf the concept of logical consequence is uniquely determined by pretheoretic. It can be philosophically motivated by the thought that logic is distinctively general or topic neutral. Etchemendy and logical consequence 287 always followed by a count noun. The argument was presented and vigorously defended in etchemendy 1990, and it has since been endorsed by many other. View john etchemendys profile on linkedin, the worlds largest professional community. In this book, etchemendy challenges orthodoxy on entirely different grounds. Introduction long considered a settled matter, the nature of logical consequence is once again a topic of serious philosophical debate, and perhaps no one has done as much in recent.
Etchemendy, the concept of logical consequence logic. The isomorphism invariance criterion of logical nature has much to commend it. Logical consequence definition at, a free online dictionary with pronunciation, synonyms and translation. I show how it is adapted by two prominent writers on logical consequence, etchemendy 1990 and shapiro 2005.
Etchemendy the concept of logical consequence pdf logic. I provide a rigorous way of spelling out this idea, and show that it leads to a graded account of logicality. The concept of logical consequence, john etchemendy. In his first attempt on the concept of logical consequence 1936b to define logical validity, tarski applied the theory of satisfaction and truth developed in the concept of truth 1936a to the analysis of logical consequence. Etchemendy s research interests include logic, semantics and the philosophy of language. Formal notes on the substitutional analysis of logical consequence. Etchemendy argues that tarskis account is inadequate for quite. Logical consequence definition of logical consequence by.
I think i got more out of reading the relevant articles the stanford encyclopedia. The concept of logical consequence john etchemendy download. The concept of logical consequence, by john etchemendy. Isomorphism invariance and overgeneration bulletin of. Logical consequence in firstorder predicate logic is defined substitution ally in set theory. A valid logical argument is one in which the conclusion is entailed by the premises, because the conclusion is the consequence of the premises. I cannot help you much in the department of logic books, sadly. The concept of logical consequence, etchemendy argues that tarskis account is inadequate for quite a number of reasons, and is actually. However, formatting rules can vary widely between applications and fields of interest or study. Logical consequence definition of logical consequence by the. Etchemendy, the concept of logical consequence harvard, ma. Deductive consequence is clarified in terms of the notion of proof in a correct deductive system. It is evident that etchemendy tacitly assumes that there is a determined pretheoretic.
Recenzovana kniha je ceskym prekladom znamej prace johna etchemendyho the concept of logical consequence z roku 1999. The recent book by etchemendy attempts this difficult task. Some logicians and mathematicians believe that no special metaphysics is required for the analysis of predication. Sep 07, 1990 the intuitive concept of consequence, the notion that one sentence follows logically from another, has driven the study of logic for more than two thousand years. We have characterized logical consequence as necessary truth preservation in virtue of form. The concept of logical consequence is one of those whose introduction into a field of strict. Central to the received view is tarskis modeltheoretic analysis of logical consequence, which etchemendy argues is fundamentally mistaken.
Choices should be stated calmly, clearly, and respectfully. In his classic 1936 essay on the concept of logical consequence, alfred. Models and logical consequence models and logical consequence sagi, gil 20921 00. Reliable information about the coronavirus covid19 is available from the world health organization current situation, international travel. The concept of logical consequence is a critical evaluation of the modeltheoretic and prooftheoretic characterizations of logical consequence that proceeds from alfred tarskis characterization of the informal concept of logical consequence.
Request pdf on researchgate etchemendy and logical consequence j. Oct 14, 2004 ray on tarski on logical consequence ray on tarski on logical consequence hanson, william 20041014 00. Logical consequence stanford encyclopedia of philosophy. But, if this is so, then the most natural way to give a theory of logical consequence for a language will also give us the kind of structural explanation of languageworld relations which we. Etchemendy and bolzano on logical consequence paul rusnock and mark burke in history and philosophyof logic, 31 2010329 1.