Ling 130: Formal Semantics. Spring Natural Deduction with Propositional Logic. Introducing. Natural Deduction
|
|
- Ira Harmon
- 5 years ago
- Views:
Transcription
1 Ling 130: Formal Semantics Rules Spring 2018
2 Outline Rules Rules
3 What is ND and what s so natural about it? A system of logical proofs in which are freely introduced but discharged under some conditions. Introduced independently and simultaneously (1934) by Gerhard Gentzen and Stanis law Jaśkowski Rules The book & slides/handouts/hw represent two styles of one ND system: there are several. Introduced originally to capture the style of reasoning used by mathematicians in their proofs.
4 Ancient antecedents Aristotle s syllogistics can be interpreted in terms of inference rules and proofs from. Rules Stoic logic includes a practical application of a ND theorem.
5 ND rules and proofs Rules There are at least two rules for each connective: an introduction rule an elimination rule The rules reflect the meanings (e.g. as represented by truth-tables) of the connectives. Parts of each ND proof You should have four parts to each line of your ND proof: line number, the formula, justification for writing down that formula, the goal for that part of the proof. # formula justification rule Goal 1 A we proved this... Goal: something else
6 Conjunction introduction Rules &-introduction, or &I To introduce a conjunction formula, you have to have already introduced both conjuncts. 1. A we proved this... Goal:A&B 2.. (other junk) 3. B and this A&B &I (1, 3) because that s the only way the conjunction would be true, when both conjuncts are true.
7 Conjunction elimination Rules &-elimination, or &E If you managed to write down a conjunction, you can go on to write down one or both conjuncts by themselves. 1. A&B we proved this somehow Goal: A, B 2. B &E(1) 3. A &E(1) because if conjunction is true, you re in the first line of the truth-table, so each conjunct is true.
8 Disjunction introduction (Monkey s uncle!) Rules Truth of one disjunct is sufficient to make the whole disjunction true. -introduction, or I To introduce a disjunction formula, you have to have one of the disjuncts. B can be any formula at all! 1. A we proved this... Goal:A B 2. A B I (1)
9 Disjunction introduction (Monkey s uncle!) Rules Truth of one disjunct is sufficient to make the whole disjunction true. -introduction, or I To introduce a disjunction formula, you have to have one of the disjuncts. Or, if you want, A can be any formula at all! 1. B we proved this... Goal:A B 2. A B I (1)
10 Conditional elimination (Modus Ponens) Rules -elimination, E or Modus Ponens, MP If you have a conditional formula, and, separately, the formula matching the antecedent of the conditional, you can write down the formula matching the consequent of the conditional. 1. A B we proved this somehow... Goal:B 2.. (other junk) 3. A and this B E(1, 3) conditional=1, so not the 2 nd line of that truth-table. antecedent=1, so not lines 3, 4 of that truth-table. So you re in the 1 st line, so consequent=1.
11 Negation elimination, E Rules -elimination, or E, or Contradiction rule You re not actually eliminating the negation: when you have both a formula and its negation, it s a contradiction. 1. A we proved this... Goal: 2.. (other junk) 3. A and this E(1, 3) / Contradiction(1, 3) Negation truth-table: no line where A = 1 and A = 1 Why would you ever want to derive a contradiction? We ll see shortly!
12 Negation elimination, E Rules -elimination, or E, or Contradiction rule You re not actually eliminating the negation: when you have both a formula and its negation, it s a contradiction. I find it clearer to do this, but you can choose: 1. A we proved this... Goal: 2.. (other junk) 3. A and this A A I (1, 3) 5. E(4) / Contradiction(4)
13 Double negation rules -elimination, or E Double negative makes a positive. Rules 1. A we got this... Goal: A 2. A E -introduction, or I Positives makes a double negative. 1. A we got this... Goal: A 2. A I
14 Rules and proofs Rules Writing proofs You can assume anything you want, as long as you know how to get rid of that assumption later (discharge it). Starting the assumption, and until the assumption is discharged, lines/formulas are enclosed in a box. During the proof, you can use your assumption as well as anything already established. But you can t use that assumption or anything that depends on that assumption later. This means that once the box is closed, all the stuff inside the box becomes unusable.
15 Rules and proofs 1. stuff this Goal: something Rules 2. A as. Box goal: blah 3. proof hard struggle 4. blah we made it! 5. B assumption discharged Box goal often differs from goals outside the box. While writing lines (2-4), we can use stuff from line 1. From line 5 on, we cannot use formulas from lines (2-4)
16 Rules and proofs Rules Typesetting note: Boxes have to include at least the actual formulas; optionally also the explanations, goals, and/or line numbers. 1. stuff this Goal: something 2. A as. Box goal: blah 3. proof hard struggle 4. blah we made it! 5. B assumption discharged
17 Conditional introduction, I Rules -introduction ( I ), or Conditional/Hypothetical proof To prove a conditional A B, show that A entails B: suppose that A and show that B follows. Goal :A B 1. A as. Box goal: B 2. proof hard struggle 3. B we made it! 4. A B I (1, 3)
18 Negation introduction, I Rules Reductio ad absurdum (proof by contradiction), RAA, or -introduction ( I ) To prove that A is true, show that A entails a contradiction, so A must be false Goal: A 2. A as. Box goal: 3. proof struggle subgoal: q, q 4. yay, A means trouble! 5. A RAA(1, 3)
19 Negation introduction, I Rules To get the contradiction, we ll need E rule: find any formula q and its negation q, together they entail Some creativity is required to come up q that works Goal: A 2. A as. Box goal: 3. proof struggle subgoal: q, q 4. yay, A means trouble! 5. A RAA(1, 3)
20 Proof by cases Rules Proof by cases, PBC, or -elimination ( E) To prove something from A B, you need to prove it by assuming A, AND prove it by assuming B. I hate the name E, since you are not eliminating anything. You are just proving that the conclusion follows in either case. You know A B is true, but you don t know why it s true: could be because A is true, could be because of B, or both. Since A B means at least one of the disjuncts is true, showing that the conclusion follows in either case proves that it follows from A B
21 Proof by cases Rules We don t know that A is true, or that B is true (just that at least one of them is) So, A and B are, not usable later, so are put in (side-by-side) boxes. 1. A B we got this somehow Goal: C 2. A as. Box goal: C 5. B as. Box goal: C st proof nd proof 4. C got it once! 7. C got it again! 8. C PBC(1, 2 4, 5 7)
6.034 Notes: Section 4.1
6.034 Notes: Section 4.1 Slide 4.1.1 What is a logic? A logic is a formal language. And what does that mean? It has a syntax and a semantics, and a way of manipulating expressions in the language. We'll
More informationIntroduction p. 1 The Elements of an Argument p. 1 Deduction and Induction p. 5 Deductive Argument Forms p. 7 Truth and Validity p. 8 Soundness p.
Preface p. xi Introduction p. 1 The Elements of an Argument p. 1 Deduction and Induction p. 5 Deductive Argument Forms p. 7 Truth and Validity p. 8 Soundness p. 11 Consistency p. 12 Consistency and Validity
More informationPeirce's Remarkable Rules of Inference
Peirce's Remarkable Rules of Inference John F. Sowa Abstract. The rules of inference that Peirce invented for existential graphs are the simplest, most elegant, and most powerful rules ever proposed for
More information8.5 --Intro to RAA Proofs Practice with Proofs. Today s Lecture 4/20/10
8.5 --Intro to RAA Proofs 9.3 --Practice with Proofs Today s Lecture 4/20/10 Announcements -- Final Exam on May 11 th (now s the time to start studying)! -- Next Tues is the deadline to turn in any late
More informationTHE CRITIQUE OF FORMAL DECISION ARE DECISION METHODS REALLY METHODS OF DECISION?
THE CRITIQUE OF FORMAL DECISION ARE DECISION METHODS REALLY METHODS OF DECISION? CONSTANTIN SĂLĂVĂSTRU Alexandru Ioan Cuza University, Iaşi, Romania Chair of Discursive Logic, Argumentation Theory and
More informationSAMPLE COURSE OUTLINE PHILOSOPHY AND ETHICS GENERAL YEAR 12
SAMPLE COURSE OUTLINE PHILOSOPHY AND ETHICS GENERAL YEAR 12 Copyright School Curriculum and Standards Authority, 2015 This document apart from any third party copyright material contained in it may be
More informationFor every sentences A and B, there is a sentence: A B,
Disjunction: ViewIII.doc 1 or every sentences A and B, there is a sentence: A B, which is the disjunction of A and B. he sentences A and B are, respectively, the first disjunct and the second disjunct
More informationBook Review of Rosenhouse, The Monty Hall Problem. Leslie Burkholder 1
Book Review of Rosenhouse, The Monty Hall Problem Leslie Burkholder 1 The Monty Hall Problem, Jason Rosenhouse, New York, Oxford University Press, 2009, xii, 195 pp, US $24.95, ISBN 978-0-19-5#6789-8 (Source
More informationHere s a question for you: What happens if we try to go the other way? For instance:
Prime Numbers It s pretty simple to multiply two numbers and get another number. Here s a question for you: What happens if we try to go the other way? For instance: With a little thinking remembering
More informationmcs 2015/5/18 1:43 page 15 #23
1.7 Proof by Cases mcs 2015/5/18 1:43 page 15 #23 Breaking a complicated proof into cases and proving each case separately is a common, useful proof strategy. Here s an amusing example. Let s agree that
More informationABSTRACTS HEURISTIC STRATEGIES. TEODOR DIMA Romanian Academy
ABSTRACTS HEURISTIC STRATEGIES TEODOR DIMA Romanian Academy We are presenting shortly the steps of a heuristic strategy: preliminary preparation (assimilation, penetration, information gathering by means
More informationSAMPLE COURSE OUTLINE PHILOSOPHY AND ETHICS ATAR YEAR 11
SAMPLE COURSE OUTLINE PHILOSOPHY AND ETHICS ATAR YEAR 11 Copyright School Curriculum and Standards Authority, 2014 This document apart from any third party copyright material contained in it may be freely
More informationBackground to Gottlob Frege
Background to Gottlob Frege Gottlob Frege (1848 1925) Life s work: logicism (the reduction of arithmetic to logic). This entailed: Inventing (discovering?) modern logic, including quantification, variables,
More informationArticulating Medieval Logic, by Terence Parsons. Oxford: Oxford University Press,
Articulating Medieval Logic, by Terence Parsons. Oxford: Oxford University Press, 2014. Pp. xiii + 331. H/b 50.00. This is a very exciting book that makes some bold claims about the power of medieval logic.
More informationIF MONTY HALL FALLS OR CRAWLS
UDK 51-05 Rosenthal, J. IF MONTY HALL FALLS OR CRAWLS CHRISTOPHER A. PYNES Western Illinois University ABSTRACT The Monty Hall problem is consistently misunderstood. Mathematician Jeffrey Rosenthal argues
More informationSome of your examples for Mill s categories
Some of your examples for Mill s categories Singular name: Felix (Claire), The Enterprise (Mike) General name: water (John), monkey (Calvin) Collective name: the cast (of a play) (Dylan), the Storytellers
More informationCOMP Intro to Logic for Computer Scientists. Lecture 2
COMP 1002 Intro to Logic for Computer Scientists Lecture 2 B 5 2 J Twins puzzle There are two identical twin brothers, Dave and Jim. One of them always lies; another always tells the truth. Suppose you
More informationThe Embedding Problem for Non-Cognitivism; Introduction to Cognitivism; Motivational Externalism
The Embedding Problem for Non-Cognitivism; Introduction to Cognitivism; Motivational Externalism Felix Pinkert 103 Ethics: Metaethics, University of Oxford, Hilary Term 2015 Recapitulation Expressivism
More informationLogica & Linguaggio: Tablaux
Logica & Linguaggio: Tablaux RAFFAELLA BERNARDI UNIVERSITÀ DI TRENTO P.ZZA VENEZIA, ROOM: 2.05, E-MAIL: BERNARDI@DISI.UNITN.IT Contents 1 Heuristics....................................................
More information2 nd Int. Conf. CiiT, Molika, Dec CHAITIN ARTICLES
2 nd Int. Conf. CiiT, Molika, 20-23.Dec.2001 93 CHAITIN ARTICLES D. Gligoroski, A. Dimovski Institute of Informatics, Faculty of Natural Sciences and Mathematics, Sts. Cyril and Methodius University, Arhimedova
More informationMathematical Principles of Fuzzy Logic
Mathematical Principles of Fuzzy Logic THE KLUWER INTERNATIONAL SERIES IN ENGINEERING AND COMPUTER SCIENCE MATHEMATICAL PRINCIPLES OF FUZZY LOGIC VILEM N O V K University of Ostrava Institute for Research
More informationVagueness & Pragmatics
Vagueness & Pragmatics Min Fang & Martin Köberl SEMNL April 27, 2012 Min Fang & Martin Köberl (SEMNL) Vagueness & Pragmatics April 27, 2012 1 / 48 Weatherson: Pragmatics and Vagueness Why are true sentences
More informationMaterial and Formal Fallacies. from Aristotle s On Sophistical Refutations
Material and Formal Fallacies from Aristotle s On Sophistical Refutations Part 1 Let us now discuss sophistic refutations, i.e. what appear to be refutations but are really fallacies instead. We will begin
More informationAristotle s Modal Syllogistic. Marko Malink. Cambridge Harvard University Press, Pp X $ 45,95 (hardback). ISBN:
Aristotle s Modal Syllogistic. Marko Malink. Cambridge Harvard University Press, 2013. Pp X -336. $ 45,95 (hardback). ISBN: 978-0674724549. Lucas Angioni The aim of Malink s book is to provide a consistent
More informationThe Language of First-Order Predicate Logic
The Language of First-Order Predicate Logic (Note: First-Order Predicate Logic differs from ordinary Predicate Logic in that it contains individual variables and quantifiers. The designation first-order
More informationINTRODUCTION TO MATHEMATICAL REASONING. Worksheet 3. Sets and Logics
INTRODUCTION TO MATHEMATICAL REASONING 1 Key Ideas Worksheet 3 Sets and Logics This week we are going to explore an interesting dictionary between sets and the logics we introduced to study mathematical
More informationCommunities of Logical Practice
Specimen Humanities and Communication, Florida Institute of Technology, 150 West University Blvd, Melbourne, Florida 32901-6975, U.S.A. my.fit.edu/ aberdein aberdein@fit.edu Practice-Based Philosophy of
More informationSymbolization and Truth-Functional Connectives in SL
Symbolization and ruth-unctional Connectives in SL ormal vs. natural languages Simple sentences (of English) + sentential connectives (of English) = compound sentences (of English) Binary connectives:
More informationPhilosophy 405: Knowledge, Truth and Mathematics Spring Russell Marcus Hamilton College
Philosophy 405: Knowledge, Truth and Mathematics Spring 2014 Russell Marcus Hamilton College Class #4: Aristotle Sample Introductory Material from Marcus and McEvoy, An Historical Introduction to the Philosophy
More informationKant s Logic Revisited
Theodora Achourioti ILLC, Amsterdam University College University of Amsterdam Science Park 113, 1098 XG Amsterdam, The Netherlands T.Achourioti@uva.nl Michiel van Lambalgen ILLC, Department of Philosophy
More informationKAMPÉ DE FÉRIET AWARD ADDRESS. Enric Trillas.
IPMU 08, June 25, 2008, Torremolinos. KAMPÉ DE FÉRIET AWARD ADDRESS. Enric Trillas. Many thanks. I actually feel deeply honored. This award means a remarkable event in my life, because it reminds me the
More informationScientific Philosophy
Scientific Philosophy Gustavo E. Romero IAR-CONICET/UNLP, Argentina FCAGLP, UNLP, 2018 Philosophy of mathematics The philosophy of mathematics is the branch of philosophy that studies the philosophical
More informationAristotle: an ancient mathematical logician
University of Windsor Scholarship at UWindsor OSSA Conference Archive OSSA 3 May 15th, 9:00 AM - May 17th, 5:00 PM Aristotle: an ancient mathematical logician George Boger Canisius College Follow this
More information1/ 19 2/17 3/23 4/23 5/18 Total/100. Please do not write in the spaces above.
1/ 19 2/17 3/23 4/23 5/18 Total/100 Please do not write in the spaces above. Directions: You have 50 minutes in which to complete this exam. Please make sure that you read through this entire exam before
More informationPlato s work in the philosophy of mathematics contains a variety of influential claims and arguments.
Philosophy 405: Knowledge, Truth and Mathematics Spring 2014 Hamilton College Russell Marcus Class #3 - Plato s Platonism Sample Introductory Material from Marcus and McEvoy, An Historical Introduction
More informationJaakko Hintikka ANALYZING (AND SYNTHESIZING) ANALYSIS. theories. Yet such a theory was rampant in the seventeenth century. No less a thinker than
Jaakko Hintikka ANALYZING (AND SYNTHESIZING) ANALYSIS The history of mathematics might not seem a promising field for conspiracy theories. Yet such a theory was rampant in the seventeenth century. No less
More informationHaskell Brooks Curry was born on 12 September 1900 at Millis, Massachusetts and died on 1 September 1982 at
CURRY, Haskell Brooks (1900 1982) Haskell Brooks Curry was born on 12 September 1900 at Millis, Massachusetts and died on 1 September 1982 at State College, Pennsylvania. His parents were Samuel Silas
More informationCSC 373: Algorithm Design and Analysis Lecture 17
CSC 373: Algorithm Design and Analysis Lecture 17 Allan Borodin March 4, 2013 Some materials are from Keven Wayne s slides and MIT Open Courseware spring 2011 course at http://tinyurl.com/bjde5o5. 1 /
More informationCritical Thinking 4.2 First steps in analysis Overcoming the natural attitude Acknowledging the limitations of perception
4.2.1. Overcoming the natural attitude The term natural attitude was used by the philosopher Alfred Schütz to describe the practical, common-sense approach that we all adopt in our daily lives. We assume
More informationLogical Expressivism, Logical Theory and the Critique of Inferences
This is a post-peer-review, pre-copyedit version of an article published in Synthese. The final authenticated version is available online at https://doi.org/10.1007/s11229-017-1662-y. Logical Expressivism,
More informationSidestepping the holes of holism
Sidestepping the holes of holism Tadeusz Ciecierski taci@uw.edu.pl University of Warsaw Institute of Philosophy Piotr Wilkin pwl@mimuw.edu.pl University of Warsaw Institute of Philosophy / Institute of
More informationManuel Bremer University Lecturer, Philosophy Department, University of Düsseldorf, Germany
Internal Realism Manuel Bremer University Lecturer, Philosophy Department, University of Düsseldorf, Germany Abstract. This essay characterizes a version of internal realism. In I will argue that for semantical
More informationARISTOTLE AND THE UNITY CONDITION FOR SCIENTIFIC DEFINITIONS ALAN CODE [Discussion of DAVID CHARLES: ARISTOTLE ON MEANING AND ESSENCE]
ARISTOTLE AND THE UNITY CONDITION FOR SCIENTIFIC DEFINITIONS ALAN CODE [Discussion of DAVID CHARLES: ARISTOTLE ON MEANING AND ESSENCE] Like David Charles, I am puzzled about the relationship between Aristotle
More informationcse371/mat371 LOGIC Professor Anita Wasilewska
cse371/mat371 LOGIC Professor Anita Wasilewska LECTURE 1 LOGICS FOR COMPUTER SCIENCE: CLASSICAL and NON-CLASSICAL CHAPTER 1 Paradoxes and Puzzles Chapter 1 Introduction: Paradoxes and Puzzles PART 1: Logic
More informationInstitut für Philosophie, Universität Wien, Wien, Austria. Online publication date: 11 May 2011 PLEASE SCROLL DOWN FOR ARTICLE
This article was downloaded by: [RAMHARTER, E.] On: 11 May 2011 Access details: Access Details: [subscription number 937485235] Publisher Taylor & Francis Informa Ltd Registered in England and Wales Registered
More informationDepartment of Philosophy Florida State University
Department of Philosophy Florida State University Undergraduate Courses PHI 2010. Introduction to Philosophy (3). An introduction to some of the central problems in philosophy. Students will also learn
More informationPartial and Paraconsistent Approaches to Future Contingents in Tense Logic
Partial and Paraconsistent Approaches to Future Contingents in Tense Logic Seiki Akama (C-Republic) akama@jcom.home.ne.jp Tetsuya Murai (Hokkaido University) murahiko@main.ist.hokudai.ac.jp Yasuo Kudo
More informationCAS LX 502 Semantics. Meaning as truth conditions. Recall the trick we can do. How do we arrive at truth conditions?
CAS LX 502 Semantics 2a. Reference, Comositionality, Logic 2.1-2.3 Meaning as truth conditions! We know the meaning of if we know the conditions under which is true.! conditions under which is true = which
More informationDialogue Protocols for Formal Fallacies
Argumentation (2014) 28:349 369 DOI 10.1007/s10503-014-9324-4 Dialogue Protocols for Formal Fallacies Magdalena Kacprzak Olena Yaskorska Published online: 15 August 2014 Ó The Author(s) 2014. This article
More informationAAL Timetable and Abstracts
AAL 2012 Timetable and Abstracts Contents Timetable 1 Friday 29 June.............................. 1 Saturday 30 June............................. 1 Logic and Computation 2 Ranjit Nair................................
More informationNissim Francez: Proof-theoretic Semantics College Publications, London, 2015, xx+415 pages
BOOK REVIEWS Organon F 23 (4) 2016: 551-560 Nissim Francez: Proof-theoretic Semantics College Publications, London, 2015, xx+415 pages During the second half of the twentieth century, most of logic bifurcated
More informationDesigning a Deductive Foundation System
Designing a Deductive Foundation System Roger Bishop Jones Date: 2009/05/06 10:02:41 Abstract. A discussion of issues in the design of formal logical foundation systems suitable for use in machine supported
More informationOn Stanisław SCHAYER s Research on Nyāya
On Stanisław SCHAYER s Research on Nyāya Klaus Glashoff, Hamburg 23rd January 2004 Abstract Stanisław SCHAYER, founder of the Warsaw Indological school in the 1930 s, published some papers on Indian logic
More informationCommon Ground, Argument Form and Analogical Reductio ad Absurdum
University of Windsor Scholarship at UWindsor OSSA Conference Archive OSSA 7 Jun 6th, 9:00 AM - Jun 9th, 5:00 PM Common Ground, Argument Form and Analogical Reductio ad Absurdum Hanrike Jansen Opleiding
More informationThe Ontological Character of Classes in the Dewey Decimal Classification. Rebecca Green Michael Panzer OCLC Online Computer Library Center, Inc.
The Ontological Character of Classes in the Dewey Decimal Classification Rebecca Green Michael Panzer OCLC Online Computer Library Center, Inc. Outline Graphical representations of classes DDC classes
More information11. SUMMARY OF THE BASIC QUANTIFIER TRANSLATION PATTERNS SO FAR EXAMINED
248 Hardegree, Symbolic Logic 11. SUMMARY OF THE BASIC QUANTIFIER TRANSLATION PATTERNS SO FAR EXAMINED Before continuing, it is a good idea to review the basic patterns of translation that we have examined
More informationMeaning, Use, and Diagrams
Etica & Politica / Ethics & Politics, XI, 2009, 1, pp. 369-384 Meaning, Use, and Diagrams Danielle Macbeth Haverford College dmacbeth@haverford.edu ABSTRACT My starting point is two themes from Peirce:
More informationCIS 500 Software Foundations Fall Reasoning about evaluation. More on induction. Induction principles. More induction principles
CIS 500 Software Foundations Fall 2004 Reasoning about evaluation More on induction CIS 500, More on induction 1 CIS 500, More on induction 2 Induction principles We ve seen three definitions of sets their
More informationThe Philosophy of Language. Frege s Sense/Reference Distinction
The Philosophy of Language Lecture Two Frege s Sense/Reference Distinction Rob Trueman rob.trueman@york.ac.uk University of York Introduction Frege s Sense/Reference Distinction Introduction Frege s Theory
More informationKANT S TRANSCENDENTAL LOGIC
KANT S TRANSCENDENTAL LOGIC This part of the book deals with the conditions under which judgments can express truths about objects. Here Kant tries to explain how thought about objects given in space and
More informationI typed Pythagoras into a search terminal in the M.D. Anderson Library. Is Pavlovian the
Switching Camps in Teaching Pythagoras By Allen Chai I typed Pythagoras into a search terminal in the M.D. Anderson Library. Is Pavlovian the right word to describe the way that name springs to top-of-mind
More information1 Mathematics and its philosophy
1 Mathematics and its philosophy Mathematics is the queen of the sciences and arithmetic is the queen of mathematics. She often condescends to render service to astronomy and other natural sciences, but
More informationPart I: Graph Coloring
Part I: Graph Coloring At some point in your childhood, chances are you were given a blank map of the United States, of Africa, of the whole world and you tried to color in each state or each country so
More informationAn Aristotelian Puzzle about Definition: Metaphysics VII.12 Alan Code
An Aristotelian Puzzle about Definition: Metaphysics VII.12 Alan Code The aim of this paper is to explore and elaborate a puzzle about definition that Aristotle raises in a variety of forms in APo. II.6,
More informationFormalising arguments
Formalising arguments Marianne: Hi, I'm Marianne Talbot and this is the first of the videos that supplements the podcasts on formal logic. (Slide 1) This particular video supplements Session 2 of the formal
More informationTHINKING AT THE EDGE (TAE) STEPS
12 THE FOLIO 2000-2004 THINKING AT THE EDGE (TAE) STEPS STEPS 1-5 : SPEAKING FROM THE FELT SENSE Step 1: Let a felt sense form Choose something you know and cannot yet say, that wants to be said. Have
More informationIf you have any questions, please feel free to contact me at
QUIZ I created this as an assessment for our factors, multiples, prime, and composite numbers unit. You can use it as an assessment, review, or practice. I have also included an answer key for your convenience.
More informationThe Beauty of Mathematics A Rough Sketch for a Proof
The Beauty of Mathematics A Rough Sketch for a Proof Olaf Wolkenhauer University of Rostock and Stellenbosch Institute for Advanced Study 3 June 009 No non-poetic account of reality can be complete. i
More informationChapter 4. Predicate logic allows us to represent the internal properties of the statement. Example:
4.1 Singular and General Propositions Chapter 4 Predicate logic allows us to represent the internal properties of the statement. Apples are red A Firetrucks are red F The previous symbols give us no indication
More informationASPECTS OF ARISTOTLE'S LOGIC OF MODALITIES
ASPECTS OF ARISTOTLE'S LOGIC OF MODALITIES SYNTHESE HISTORICAL LIBRARY TEXTS AND STUDIES IN THE IllSTORY OF LOGIC AND PIffi.,OSOPHY Editors: N. KRETZMANN, Cornell University G. NUCHELMANS, University of
More informationMATTHEWS GARETH B. Aristotelian Explanation. on "the role of existential presuppositions in syllogistic premisses"
' 11 Aristotelian Explanation GARETH B. MATTHEWS Jaakko Hintikka's influential paper, "On the Ingredients of an Aristotelian Science,"' suggests an interesting experiment. We should select a bright and
More informationTRANSLATIONS IN SENTENTIAL LOGIC
4 TRANSLATIONS IN SENTENTIAL LOGIC 1. Introduction... 92 2. The Grammar of Sentential Logic; A Review... 93 3. Conjunctions... 94 4. Disguised Conjunctions... 95 5. The Relational Use of And... 96 6. Connective-Uses
More informationIntroduction to the Semantic Paradoxes
Introduction to the Semantic Paradoxes Introduction Bryan Frances Among people who love language, one of the most famous sentences in the English language is one that allegedly doesn t even make any sense:
More informationCognitive Units, Connections and Mathematical Proof
Cognitive Units, Connections and Mathematical Proof Tony Barnard Published in Proceedings of PME 21, Finland, (1997), vol. 2, pp. 41 48. David Tall Mathematics Department Mathematics Education Research
More informationWell-Structured Mathematical Logic
Well-Structured Mathematical Logic Damon Scott Department of Mathematics Francis Marion University CAROLINA ACADEMIC PRESS Durham, North Carolina Copyright 2013 Damon Scott All Rights Reserved Library
More informationApostolos Doxiadis. Euclid s Poetics. An examination of the similarity between narrative and proof 1
Apostolos Doxiadis Euclid s Poetics An examination of the similarity between narrative and proof 1 1. Introduction I want to state and briefly explore what I believe to be strong structural analogies between
More informationLecture 7. Scope and Anaphora. October 27, 2008 Hana Filip 1
Lecture 7 Scope and Anaphora October 27, 2008 Hana Filip 1 Today We will discuss ways to express scope ambiguities related to Quantifiers Negation Wh-words (questions words like who, which, what, ) October
More informationSemantics and Generative Grammar. Conversational Implicature: The Basics of the Gricean Theory 1
Conversational Implicature: The Basics of the Gricean Theory 1 In our first unit, we noted that so-called informational content (the information conveyed by an utterance) can be divided into (at least)
More informationPHL 317K 1 Fall 2017 Overview of Weeks 1 5
PHL 317K 1 Fall 2017 Overview of Weeks 1 5 We officially started the class by discussing the fact/opinion distinction and reviewing some important philosophical tools. A critical look at the fact/opinion
More informationClassifying the Patterns of Natural Arguments
University of Windsor Scholarship at UWindsor CRRAR Publications Centre for Research in Reasoning, Argumentation and Rhetoric (CRRAR) 2015 Classifying the Patterns of Natural Arguments Fabrizio Macagno
More informationHabits and Interpretation: defending the pragmatist
Habits and Interpretation: defending the pragmatist maxim Christopher Hookway 1. Strategies for proving the pragmatist maxim Peirce s pragmatic maxim was introduced as a methodological tool for clarifying
More information1/6. The Anticipations of Perception
1/6 The Anticipations of Perception The Anticipations of Perception treats the schematization of the category of quality and is the second of Kant s mathematical principles. As with the Axioms of Intuition,
More informationTelephone calls and the Brontosaurus Adam Atkinson
Telephone calls and the Brontosaurus Adam Atkinson (ghira@mistral.co.uk) This article provides more detail than my talk at GG with the same title. I am occasionally asked questions along the lines of When
More informationNote: Please use the actual date you accessed this material in your citation.
MIT OpenCourseWare http://ocw.mit.edu 18.06 Linear Algebra, Spring 2005 Please use the following citation format: Gilbert Strang, 18.06 Linear Algebra, Spring 2005. (Massachusetts Institute of Technology:
More informationFormalizing Irony with Doxastic Logic
Formalizing Irony with Doxastic Logic WANG ZHONGQUAN National University of Singapore April 22, 2015 1 Introduction Verbal irony is a fundamental rhetoric device in human communication. It is often characterized
More informationChapter 12 The Standard Gauge of Perfection
Principles of Mental Physics Chapter 12 The Standard Gauge of Perfection 1. The Idea of Perfection and its Role The topic of perfection is one that was quite lively in Kant's day but has today dropped
More informationUse black ink or black ball-point pen. Pencil should only be used for drawing. *
General Certificate of Education June 2009 Advanced Subsidiary Examination MATHEMATICS Unit Statistics 1B MS/SS1B STATISTICS Unit Statistics 1B Wednesday 20 May 2009 1.30 pm to 3.00 pm For this paper you
More informationAdvanced Placement Literature and Composition Novel Outline (Grades 11 12)
Advanced Placement Literature and Composition Novel Outline (Grades 11 12) Tips: Write about literature in present tense. Do not use first or second person pronouns (I, me, we, us, you). Do not just write
More information1 HW1 is due now. 2 HW2 & HW3 are due next Tuesday. 3 We are trying to find space to hold the sections. 4 Our TA (Theo Korzukhin) has an office hour
Announcements For 09.13 The Boolean Connectives Negation, Conjunction & Disjunction William Starr 09.13.11 1 HW1 is due now 1.1-4 and 2.8 were due to the Grade Grinder 2.2, 2.6, 2.8 should be submitted
More information- 1 - I. Aristotle A. Biographical data 1. Macedonian, from Stagira; hence often referred to as "the Stagirite". 2. Dates: B. C. 3.
- 1 - I. Aristotle A. Biographical data 1. Macedonian, from Stagira; hence often referred to as "the Stagirite". 2. Dates: 384-322 B. C. 3. Student at Plato's Academy for twenty years 4. Left Athens at
More informationElements of Style. Anders O.F. Hendrickson
Elements of Style Anders O.F. Hendrickson Years of elementary school math taught us incorrectly that the answer to a math problem is just a single number, the right answer. It is time to unlearn those
More informationMusic Electronics Finally DeMorgan's Theorem establishes two very important simplifications 3 : Multiplexers
Music Electronics Finally DeMorgan's Theorem establishes two very important simplifications 3 : ( A B )' = A' + B' ( A + B )' = A' B' Multiplexers A digital multiplexer is a switching element, like a mechanical
More informationANALYSIS OF THE PREVAILING VIEWS REGARDING THE NATURE OF THEORY- CHANGE IN THE FIELD OF SCIENCE
ANALYSIS OF THE PREVAILING VIEWS REGARDING THE NATURE OF THEORY- CHANGE IN THE FIELD OF SCIENCE Jonathan Martinez Abstract: One of the best responses to the controversial revolutionary paradigm-shift theory
More information1 Introduction. Radim Belohlavek and George J. Klir
1 Introduction Radim Belohlavek and George J. Klir 1.1 Concepts and Fuzzy Logic 1.2 From Classical Logic to Fuzzy Logic 1.3 Fuzzy Logic in the Psychology of Concepts 1.4 Summary of the Book Note References
More informationDual Aspects of Abduction and Induction
Dual Aspects of Abduction and Induction Flavio Zelazek Department of Philosophy, Sapienza University of Rome, Italy flavio.zelazek@gmail.com Abstract. A new characterization of abduction and induction
More informationNaïve realism without disjunctivism about experience
Naïve realism without disjunctivism about experience Introduction Naïve realism regards the sensory experiences that subjects enjoy when perceiving (hereafter perceptual experiences) as being, in some
More informationAlfred Tarski in Poland: New Translations and Background
Joint Mathematics Meetings Association for Symbolic Logic Baltimore, Maryland 17 18 January 2014 Alfred Tarski in Poland: New Translations and Background James T. Smith, Professor Emeritus San Francisco
More informationAuthor's personal copy
DOI 10.1007/s13194-014-0100-y ORIGINAL PAPER IN PHILOSOPHY OF SCIENCE Structural realism and the nature of structure Jonas R. Becker Arenhart Otávio Bueno Received: 28 November 2013 / Accepted: 28 September
More informationIX.-CATEGORIES. Meeting of the Aristotelian Society at 55, Russell Square, London, W.C.1, on April 25th, 1938, at 8 p.m. By G. RYLE.
Categories Author(s): G. Ryle Reviewed work(s): Source: Proceedings of the Aristotelian Society, New Series, Vol. 38 (1937-1938), pp. 189-206 Published by: Wiley-Blackwell on behalf of The Aristotelian
More informationPROOF AND PROVING: LOGIC, IMPASSES, AND THE RELATIONSHIP TO PROBLEM SOLVING MILOS SAVIC, B.S., M.S. A dissertation submitted to the Graduate School
PROOF AND PROVING: LOGIC, IMPASSES, AND THE RELATIONSHIP TO PROBLEM SOLVING BY MILOS SAVIC, B.S., M.S. A dissertation submitted to the Graduate School in partial fulfillment of the requirements for the
More information