But logic has moved forward dramatically in the past century. Before we explore tarskis definition of logical truth and logical consequence, we. The intuitive concept of consequence, the notion that one sentence follows logically from another, has driven the study of logic for more than. The concept of logical consequence is one of those whose introduction into a field of strict formal investigation was not a matter of arbitrary decision on the part of this or that investigator. However, entailment, in its use in the english language, allows the possibility of provisional reasoning. 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. Choices should be stated calmly, clearly, and respectfully. Modeltheoretic and deductivetheoretic approaches to logic settheoretic and linguistic preliminaries. This package is sure to be an essential resource in a range of courses incorporating logical reasoning, including formal linguistics, philosophy, mathematics. The argument was presented and vigorously defended in etchemendy 1990, and it has since. A defense of tarski journal of philosophical logic, vol.
The concept of logical consequence by john etchemendy. 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. But logic has moved forward dramatically in the past century largely as a result of. 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. The primary aim is to show how tarskis definition of logical consequence satisfies two. After decades of predominant focus on the notion of logical truth, the debate on the concept of logical consequence among philosophers and logicians was reignited by j.
In a recent book, the concept of logical consequence 9, j. None of the interpretations are models of a u c, i. A note on formality and logical consequence springerlink. Philosophy in english since 1945 download bernard williamss remarkable essay on morality confronts the problems of writing moral philosophy, and offers a stimulating alternative to more systematic accounts that seem, philosophy, 97 pages, an introduction to. In rare instances, a publisher has elected to have a zero moving wall, so their current issues are available. Download pdf an introduction to sociology full download. The primary aim is to show how tarskis definition of logical consequence satisfies two desiderata he himself sets forth for it. This paper explores etchemendys argument and various responses from. For etchemendysmain focus is on the contemporaryreceivedview. Johann johannsson 19 september 9 february vespers 5 antiphons te deum en ta god jouwe wy gloarje alleluia foar it. Etchemendy and bolzano on logical consequence paul rusnock and mark burke in history and philosophyof logic, 31 2010329 1. Etchemendy and logical consequence canadian journal of. In order to simplify matters we take the logical consequence relation to hold for sentences rather than for abstract propositions, facts, state of affairs, etc.
Logical consequences must be practical and enforced. I preliminaries and re nements it is very common, at least in some circles, to speak of a logic and a language in the same breath. Etchemendy 1990 proposed this other argument for the unsoundness of tar. This perhaps makes the idea that logical consequence.
Etchemendys research interests include logic, semantics and the philosophy of language. The aim of this book is to correct a common misunderstanding of one of the most. Each of these can be seen as explicating different aspects of the concept of logical consequence, backed by different philosophical perspectives. He has challenged orthodox views on the central notions of truth, logical consequence and logical truth. Etchemendy claims that we can be sure that his account does not overgenerate, but that we should expect it to undergenerate. Introductory material is presented in a more systematic and accessible fashion. Models and logical consequence logical consequence is commonly described as a necessary relation that can be determined by the form of the sentences involved. Logical consequence stanford encyclopedia of philosophy. 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. The campaign against established knowledge and why it matters full download and read by tom nichols.
Declaration of authorship i,olethomassenhjortland,herebycertifythatthisthesis,whichisapproximately. Finally, i shall o er some concluding remarks in section v. A sentence is a logical truth iff every assignment satisfies it. But logic has moved forward dramatically in the past century largely as a result of bringing. Logical consequences handout vanderbilt university. The intuitive relations between the notion of logical consequence and those of. The concept of logical consequence john etchemendy. Models and logical consequence, journal of philosophical. By jared bates in logical consequence and alfred tarski. Griffiths argues that if we define the relationship between formal and natural language as being dependent on logical consequence.
A u c is unsatisfiable and the conclusion is a logical consequence of the axiom set. Etchemendy and logical consequence 285 v satisfies the conclusion. His main tenet was that the modeltheoretic notion of logical consequence did not capture adequately the. Enciclica familiaris consortio pdf pdf download info. Declaration of authorship i,olethomassenhjortland,herebycertifythatthisthesis,whichisapproximately 70. The aim of this book is to correct a common misunderstanding of a technique of mathematical logic.
His most wellknown book, the concept of logical consequence 1990, 1999, criticizes alfred tarskis widely accepted analysis of logical consequence. Gomeztorrente on modality and tarskian logical consequence. Kari clark and kylee hoiland democratic teaching dreikurs defines democratic teaching by helping students reach their genuine goal of belonging by involving students in decisions that affect their school lives. 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. 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. The recent book by etchemendy attempts this difficult task. Deductivetheoretic conceptions of logical consequence. The intuitive concept of consequence has driven the study of logic for more than two thousand years. However, in his book, the concept of logical consequence, etchemendy argues that. Whether it does, will depend on our conception of a model.
The paper traces this particular conception of logic back to the influence of his teachers in set theory and topology in warsaw, and then details how it affected his explication of the notions of satisfaction, truth, logical consequence and logical term. The ministry of evangelization carried out by christian parents is original and irreplaceable. Etchemendys book the concept of logical consequence 1990. His most wellknown book, the concept of etchemenndy consequence, criticizes alfred tarski s widely accepted analysis of logical consequence. My claim is that tarskis analysis is wrong, that his account of logical truth and logical consequence does not capture, or even come close to capturing, any pretheoretic conception of the logical properties. Etchemendy s research interests include logic, semantics and the philosophy of language.
Etchemendy, john 1990, the concept of logical consequence, harvard university. Tarskis characterization of the common concept of logical consequence. A valid logical argument is one in which the conclusion is entailed by the premises, because the conclusion is the consequence of the premises. Owen griffiths has recently argued that etchemendys account of logical consequence faces a dilemma.
References are to this book unless otherwise indicated. 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. Following many contemporary authors dissatisfaction with the view that these theorems ground deductive validity in modeltheoretic validity, i turn to measurement theory as a source for an alternative view. It is evident that etchemendy tacitly assumes that there is a determined pretheoretic. The concept of logical consequence john etchemendy download. Logical consequence also entailment is a fundamental concept in logic, which describes the. Gila sher and stewart shapiro each propose a formal criterion for logical terms within a modeltheoretic framework, based on the idea of invariance under isomorphism. This textbooksoftware package is a selfcontained introduction to the basic concepts of logic. The concept of logical consequence stanford university. The aim of this book is to correct a common misunderstanding of one of the most widely used techniques of mathematical logic.
Etchemendy on squeezing arguments and logical consequence. Logical terms are an essential part of the form of sentences and thus have a crucial role in determining logical consequence. This paper examines from a historical perspective tarskis 1936 essay, on the concept of logical consequence. From the observation that the truth table for any propositional logic contains 2 n rows for n propositions, it is clear that the complexity of determining whether or not a conclusion is a logical consequence of an axiom set is oe. 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. Consider any class k of sentences and a sentence x which follows from the sentences of this class. Moreover, since we are concerned here with the concept of logical, i. May 09, 2020 etchemendy the concept of logical consequence pdf instructor resource file download the work is protected by local and international microrlectronics laws and is provided solely for the use of instructors in teaching their courses and assessing student learning. Gila sher and stewart shapiro each propose a formal criterion for logical terms within a modeltheoretic framework, based. Download pdf an introduction to sociology full download and. The concept of logical consequence john etchemendy download bok. John etchemendy, in his groundbreaking monograph the concept of logical consequence 1990 makes two proposals for what the models of model theory might model.
In john etchemendy s book, the concept of logical consequence, several arguments are put forth against the standard modeltheoretic account of logical consequence and logical truth. Logical consequence definition at, a free online dictionary with pronunciation, synonyms and translation. It is important to decide what kind of consequence would create a helpful learning experience that might encourage children to choose responsible cooperation. In the first section of this paper i raise this question, which is closely tied to current debate over the nature of logical consequence. We have characterized logical consequence as necessary truth preservation in virtue of form.
Etchemendy, the concept of logical consequence harvard, ma. Sep 21, 20 models and logical consequence logical consequence is commonly described as a necessary relation that can be determined by the form of the sentences involved. I am willing to concede that semantic consequence or logical consequence have the connotation that the sentences of the antecedent i. He argues that, while tarskis definition requires us to classify the terms of a language as logical or. Logical consequence definition of logical consequence at. 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. While rays defense of tarski is largely successful, his attempt to give a general proof that tarskian consequence preserves truth fails. Griffiths argues that if we define the relationship between formal and natural language as being dependent on logical consequence, then etchemendys claims are not. Pdf and epub download the concept of logical consequence the david hume series popular by john etchemendy pdf and epub download the death of expertise. Etchemendy the concept of logical consequence pdf the concept of logical consequence is uniquely determined by pretheoretic. From an intuitive standpoint it can never happen that both the class k consists only of true sentences and the sentence x is false. Logic is formal in the sense that all arguments of the same form as logically valid. Logical consequences are different from natural consequences in that they require the intervention of an adultor other children in a family or a class meeting.
Logical consequence is arguably the central concept of logic. Etchemendy the concept of logical consequence pdf logic. The moving wall represents the time period between the last issue available in jstor and the most recently published issue of a journal. The concept of logical consequence by john etchemendy 1999 english pdf.
Recenzovana kniha je ceskym prekladom znamej prace johna etchemendyho the concept of logical consequence z roku 1999. Etchemendy, the concept of logical consequence logic. Logical consequence internet encyclopedia of philosophy. Etchemendy has launched an all out attack on tarskis definition. The primary aim of logic is to tell us what follows logically from what. But logic has moved forward dramatically in the past centurylargely as a result of bringing mathematics to bear on the field. But logic has moved forward dramatically in the past century largely as a result of bringing mathematics to bear on the field. Deductive consequence is clarified in terms of the notion of proof in a correct deductive system.
1016 232 394 910 787 464 1009 1034 1648 959 1675 407 1292 430 1594 897 693 619 963 1449 1349 811 572 649 76 1286 541 1131 838 403 37 981 586 220 729 980 165 1352 1356 367 775 752