In the concept of logical consequence clc, i presented an extended. 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. Hourya benis sinaceur institut dhistoire et philosophie. We conclude with a short discussion of related work.
John etchemendythe concept of logical consequenceclsi. The grounds for the modeltheoretic account of the logical. As a result, philosophers have been forced to revisit the nature and foundation of core logical concepts, chief amongst which. Please, help me to find this werkgeversverklaring rabobank pdf files. For etchemendysmain focus is on the contemporaryreceivedview. The analytic tradition in twentiethcentury philosophy. A u c is unsatisfiable and the conclusion is a logical consequence of the axiom set. The intuitive relations between the notion of logical consequence and those of. According to 1, everylaw of nature would stillhaveheld under any subjunctive antecedent that does not itself violate the. Metalogic and the overgeneration argument salvatore florio university of birmingham s. Consequence definition of consequence by merriamwebster.
In 1936 tarski sketched a rigorous definition of the concept of logical consequence which, he claimed, agreed quite well with common usageor, as he also said, with the common concept of. The lvovwarsaw school and its influence on polish philosophy of the second half of the 20th century part ii. Mathematics, john etchemendy, 1990, the concept of logical consequence, 174 pages, uom. The next time the teacher notices this happen, she calls danny over.
Why polish philosophy does not exist jacek jadacki. What links here related changes upload file special pages permanent link page. Logical consequences handout vanderbilt university. Its contemporary inheritors and investigators in poland and abroad part i. The concept of logical consequence is one of those whose in troduction into the field of. In parts two and three, the heart of the book, we pass into the realm logi ofc proper. Logical pluralism is the view that there is more than one correct logic. Moreover since we are concerned here with the concept of logical, i. Varieties of logical consequence by their resistance to. Logical consequences must be practical and enforced. Thereafter the winke software, which deploys the logical calculus ke, is described. Extended concept of logic minimization for rule reduction. Foundations of logical consequence edited by colin r. This way of defining logical consequence says that a argument of a.
By jared bates in logical consequence and alfred tarski. Uvadare digital academic repository metalogic and the. Or we could take a more hard line stand and say that only work that is turned in on time will be accepted. John etchemendythe concept of logical consequenceclsi publications 1999 free ebook download as pdf file. But then, when danny gets tagged, he refuses to freeze, ignoring the rules. It is evident that etchemendy tacitly assumes that there is a determined pretheoretic. As a result, a consequence for late work could be that it would only receive partial credit. The three rs of logical consequences danny is the first one to get irate when a classmate denies that he was tagged during their recess game. This is a file in the archives of the stanford encyclopedia of. This perhaps makes the idea that logical consequence. The physical structure of a pdf file can be transformed into another physical structure, without changing the logical structure. The content isnt the problem, its that they attempt to incorporate this pitiful excuse for a software package. The formalstructural view of logical consequence gila. Pdf characterizing logical consequence in paraconsistent.
Language, proof and logic jon barwise, john etchemendy. Etchemendy 1990 proposed this other argument for the unsoundness of tar. Logical consequences are based on goodwill whereas punishment is associated with threats or retaliation ex. Child didnt put dirty clothes into the hamper, they will wear soiled clothes or not their favorite outfit. The main changes ive made compared to buttons forall x. Therefore, a logical guiding principle could be that work needs to be in on time to get full credit. If you are aware that some claim follows as a matter of apriori, analytic, or even aposteriori nomological consequences, you are just as rational in inferring it as you would be if it were a matter of logical. Using interaction and visualisation for teaching deductive. Abstract quantificational accounts of logical truth and logical consequence aim to reduce these modal concepts to the nonmodal one of generality. Choices should be stated calmly, clearly, and respectfully. The formalstructural view of logical consequence gila sher in a recent paper, the concept of logical consequence, w. A logical truth, for example, is said to be an instance of a maximally general statement, a statement whose terms other than variables are logical constants. Etchemendy the concept of logical consequence pdf the concept of logical consequence is uniquely determined by pretheoretic.
However, in his book, the concept of logical consequence, etchemendy argues that tarskis account is inadequate for quite a number of reasons, and is. Start studying abeka science matter and energy chapter 1 quiz 1. Recent work on logical pluralism has suggested that the view is in danger of collapsing into logical nihilism, the view on which there are no valid arguments at all. Finally, i shall o er some concluding remarks in section v. Save indirectly, by those who question classical principles, this standard analysis has gone unchallenged for half a century, with the result that it has come to seem a piece of common knowledge. Learn vocabulary, terms, and more with flashcards, games, and other study tools. The logical structure of a pdf file is an hierarchical structure, the root object is identified in the trailer. This very general characterization gives rise to a whole family of positions. The first collection of essays dedicated to the philosophical foundations of logic. To view the full text please use the links above to select your preferred format.
But the consequence relation i take to be fundamental to logic call it logical implicationis material, not formal. Etchemendy, john 1990, the concept of logical consequence, harvard university press. Tarski then defines with this concept available the standard notion of a deductive system as a set of sentences which is identical to its set of consequences, and the notions of equivalence, consistency. Then i show that the supervaluationist might solve faras paradox making use of this weaker notion of logical. This category has the following 6 subcategories, out of 6 total. Logical consequences, as we learned in the last two articles, are ways in which adults structure learning opportunities for children. The three rs of logical consequences education world. Likewise, carnap pointed out that the modeltheoretic apparatus of predicate logic is suitable for clarifying the notions of logical truth and logical consequence but makes no contribution to an understanding of the notion of factual truth carnap 1973, p. Etchemendy and logical consequence canadian journal of.
In a muchdiscussed book, etchemendy l990 has argued that. Etchemendy and logical consequence volume 25 issue 2 graham priest. Important features include a comfortable graphical user interface, various levels of user support, automated deduction, visualisation of counter models, editing problem files, and many more. Hanson 1997 criticizes a fmlstrmctural characterization of logical con sequence in tarski 1966 and sher 1991,1996a. 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. Object 1 is the root, object 2 and 3 are children of object 1, etc, giving this logical structure. This view has been articulated, among others, by etchemendy 1999.
Ive changed the first chapter to more closely reflect my own introductory lecture. The primary aim is to show how tarskis definition of logical consequence satisfies. Hanson accepts many principles of the formalstructural view. 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.
Etchemendy the concept of logical consequence pdf logic. Tarski, and notably john etchemendy, who have claimed that his definition does not satisfy those desiderata. Logical consequences are related to the childs behavior. The concept of logical consequence is one of those whose introduction into a field of strict formal investigation emphasis mine was not a matter of arbitrary decision on the part of this or that investigator. John etchemendy 1990 discusses the philosophical ramifications of. The same consequence can be respectful in one situation and demeaning in another. Logical consequence stanford encyclopedia of philosophyspring.
It has seen not only a proliferation of logical systems, but new applications of a wide range of different formal theories to philosophical questions. Tarskis world is an innovative and exciting method of introducing students to the language of firstorder logic. Critical essay on john etchemendys the concept of logical consequence, philosophical books 34 1993. Logical consequence also entailment is a fundamental concept in logic, which describes the. What is it for a conclusion to be a consequence of premises. This text covers symbolization, semantics, and natural deduction for truth functional logic and firstorder logic.
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. According to the bolzanotarski definition, a consequence relation is determined when a particular. Mopping the floor is a respectful consequence for the child who chooses to have a water fight at the drinking fountain but not for the child who fails to complete his work. A similar picture of logic takes consequence to be a matter of what is. Consequence definition is a conclusion derived through logic. Central to the received view is tarskis modeltheoretic analysis of logical consequence, which etchemendy argues is fundamentally mistaken. A read is counted each time someone views a publication summary such as the title, abstract, and list of authors, clicks on a figure, or views or downloads the fulltext. This paper explores etchemendys argument and various responses from. Wikimedia commons has media related to logical consequence. If the child is lying, it lowers trust, adult must confirm the childs information until they earn trust.
811 1031 214 229 1252 1579 583 764 1048 1127 41 1472 1242 902 937 1393 1408 950 119 404 955 346 956 483 1260 274 1377 1368 42 862 848 1270 170 353 1058 1170 90 258 749 801 759 698 1409 404 914 464 267 1320 987 1265