Logica & Linguaggio: Tablaux
|
|
- August Emil Hawkins
- 6 years ago
- Views:
Transcription
1 Logica & Linguaggio: Tablaux RAFFAELLA BERNARDI UNIVERSITÀ DI TRENTO P.ZZA VENEZIA, ROOM: 2.05,
2 Contents 1 Heuristics Heuristic (II) Exercises Tableaux method: Refutation tree Method Exercise: Entailment among given FOL formulae Exercise: Validity of an argument Animal problem Solution: Animal Problem Fallacies of reasoning Fallacies of Relevances Circular Reasoning Semantic Fallacies Inductive Fallacies Formal Fallacies Formal Fallacies: example Formal Fallacies: example
3 7.5.3 Formal Fallacies: example Formal Fallacies: example
4 1. Heuristics Prove x.( y.(r(x, y))) R(a, a) is valid. 1. ( x.( y.r(x,y))) R(a,a)) 2. x.( y.(r(x,y))) Rule (8) applied to R(a,a) Rule (8) applied to y.r(a,y) Rule (11) applied to R(a,a) Rule (11) applied to 4. Can we conclude that the x.( y.(r(x,y))) R(a,a) is valid? Let us interpret the above theorem as following: Let the natural numbers be our domain of interpretation. Let R(x,y) stand for x < y Then, x.( y.(r(x,y))) is satisfiable. E.g. 2 < 4. From this it follows that R(a,a) should be true as well, but it is not. Hence, x.( y.(r(x,y))) R(a,a) is not satisfiable in this interpretation, much less valid.
5 On line 5. Rule (11) has violeted the constraint: the term a was already used. Similarly, a could have not been used in line 4. either. Hence we don t get a contraddiction and the tableau is not closed. Note : The same term can be used many times for universal instantiation. Heuristic : When developing a semantic tableau in FOL use the existential instantiation rule (Rule 11) before the universal instantiation rule (Rule 10).
6 1.1. Heuristic (II) 1. ( x.(a(x) B(x)) x.a(x)) 2. x.(a(x) B(x)) Rule (8) applied to ( x.a(x)) Rule (8) applied to x. A(x) Rule (12) applied to A(a) Rule (11) applied to A(a) B(a) Rule (10) applied to A(a) Rule (1) applied to B(a) Rule (1) applied to 6. Closed Note: if we had used Rule 10 before we would have not been able to apply Rule 11.
7 2. Exercises Prove each of the following using semantic tableaux: 1. x.(a(x) (B(x) A(x))) 2. x.a(x) A(a) 3. ( x.a(x) x.b(x)) x.(a(x) B(x))
8 x.(a(x) (B(x) A(x))) 2. x.(a(x)) A(a) 1. ( x.(a(x) (B(x) A(x)))) 2. x.( (A(x) (B(x) A(x)))) Rule (12) applied to (A(a) (B(a) A(a))) Rule (8) applied to A(a) Rule (12) applied to (B(a) A(a)) Rule (8) applied to B(a) Rule (8) applied to A(a) Rule (8) applied to 5. Closed We cannot close the branch. 1. ( x.(a(x)) A(a)) 2. x.a(x) Rule (8) to line 1 3. A(a) Rule (8) to line 1 4. A(b) Rule (11) to line 2
9 3. ( xa(x) xb(x)) x(a(x) B(x)) 1. (( xa(x) xb(x)) x(a(x) B(x))) 2. xa(x) xb(x) Rule (8) to line 1 3. ( x(a(x) B(x))) Rule (8) to line 1 4. x (A(x) B(x)) Rule (13) to line 3 5. xa(x) Rule (1) to line 2 6. xb(x) Rule (1) to line 2 7. A(a) Rule (11) to line 5 8. B(b) Rule (11) to line 6 9. (A(a) B(a)) Rule (10) to line A(a) B(a) Rule (6) to line 9 We cannot close the right branch. We could have used b in line 9 to give (A(b) B(b)), but then the left branch could have not been closed.
10 3. Tableaux method: Refutation tree Recall: KB = α iff M(KB) M(α) in words, Knowledge Base (KB) entails sentence α if and only if α is true in all models of the KB (i.e. for all interpretations where KB is true). We use the tableaux to search for invalidity: we negate the conclusion of the entailment and try to close the tree. I.e. check whether is unsatisfiable. KB { α} If it is unsatisfiable, it means that there is no interpretation I s.t. I = KB and I = α; in other words, for all interpretations the conclusion must be true when the premises are true. Hence, the entailment is valid.
11 4. Method You have to prove: KB = φ. You check whether KB { φ} is unsatisfiable. 1. Try to close the branch as soon as you can. 2. Once you have found a branch that is completed and does not close, you have found an interpretation that falsifies the entailment, it s a counter-example.hence, you have proved that the entailment is not valid. You are done!
12 5. Exercise: Entailment among given FOL formulae Prove whether the following entailments are valid and give a counter-example (a domain and an interpretation) if they are not. x(f(x) G(x)), x(g(x)) = F(a) x(f(x) G(x)) = F(a) x(f(x)) x(g(x)), xg(x) = x F(x) 5.1. Exercise: Validity of an argument a) Check by means of tableaux method whether the argument below is valid. y(suspect(y)), x(murder(x)) = x( y(suspect(x) Murder(y))). b) Build a counterexample if the argumentation is not valid.
13 6. Animal problem Consider the following problem 1. The only animals in this house are cats. 2. Every animal that loves to look at the moon is suitable for a pet. 3. When I detest an animal, I avoid it. 4. All animals that don t prowl at night are carnivorous. 5. No cat fails to kill mice. 6. No animals ever take to me, except the ones in this house. 7. Kangaroos are not suitable for pets. 8. All animals that are carnivorous kill mice. 9. I detest animals that do not take to me. 10. Animals that prowl at night always love to look at the moon.
14 Is it true that I always avoid kangaroo? (a) Represent the facts above as FOL sentences and formalize the problem. Remember to give the keys of your formalization and add the extra information you might need in order to answer the question. (b) Give the proof of your answer by means of tableaux.
15 6.1. Solution: Animal Problem Animal(x): Cat(x): Inhouse(x): Detest(x,y): x detests y Avoid(x,y): x avoids y x is an animal x is a cat x is in this house Take(x,y): x takes to y Kan(x): x is a kangaroo x.(animal(x) Inhouse(x)) Cat(x) [1.] x.detest(r, x) Avoid(r, x) x.(animal(x) Inhouse(x)) Take(x, r) [6.] x.(animal(x) Take(x, r)) Detest(r, x) [9.] x.kan(x) Animal(x) x.cat(x) Kan(x) ( x.kan(x) Avoid(r, x)) [3.] [extra] [extra] [negation of Con.]
16 7. Fallacies of reasoning Fallacies are mistakes that occur in arguments and that superficially appear to be good arguments. There are many kinds of fallacies, and philosophers and logicians have identified patterns of bad reasoning habits. Here I give a few examples. See John Nolt, Dennis Rohatyn and Achille Varzi Logic. for a detailed description.
17 7.1. Fallacies of Relevances They occur when the premises of an argument have no bearing upon its conclusion. There are a number of these fallacies, e.g. ad hominem abusive (i.e. arguments that attack a person s age, character, family, etc. when there is no reason to take the person s views seriously). Jones advocates fluoridation of the city water supply. Jones is a convicted thief. Therefore, we should not fluoridate the city water supply. Remark Even if Jones is a convicted thief, this has no bearing on whether the water supply should be fluoridated.
18 7.2. Circular Reasoning They occur when an argument assumes its own conclusion. Such an argument is always true, but it is useless as a means of proving its conclusion. 1. Example Eating ice cream in public is immoral because it is just plain wrong. Remark The premise Eating ice cream in public is plain wrong and the conclusion Eating ice cream in public is immoral. These two sentences say basically the same think. 2. Example 1. Capital punishment is justified. 2. For our country is full of criminals who commit barbarous acts of murder. Therefore, it is perfectly legitimate to punish such inhuman people by putting them to death. Remark The conclusion and the first premise say the same thing.
19 7.3. Semantic Fallacies They occur when the language employed to express an argument has multiple meanings or is vague. E.g. 1. It is silly to fight over mere words. 2. Discrimination is just a word Therefore, it is silly to fight over discrimination
20 7.4. Inductive Fallacies They occur when an inductive probability of an argument (i.e. the probability of its conclusion given its premises) is low. 1. The patient became violently ill immediately after eating lunch. There were no sign of illness prior to eating, and she was in good spirits during the meal. 2. She is in good health overall, and her medical history shows no record of physical problems. Therefore, she was the victim of food poisoning.
21 7.5. Formal Fallacies They occur when 1.) we misapply a valid rule of inference or else 2.) follow a rule which is demonstrably invalid. If a formal fallacy is suspected, it is important to ascertain both that 1.) the rule on which the reasoning seems to be based is invalid, 2.) the argument itself is invalid (by means of giving a counter-example)
22 Formal Fallacies: example For instance: If it rains heavily tomorrow, the game will be postponed. It will not rain heavily tomorrow Therefore, the game will not be postponed. Remark 1. The argument has an invalid form: R P R P. the invalidity of the rule can be verified by e.g. truth tables. 2. The counter-example (premises both true and conclusion false.) to show the invalidity of the argument, could be, e.g., The game will be postponed because it will snow heavily, or the visiting team misses the flight etc.
23 Formal Fallacies: example For instance: If Smith inherited a fortune, then she is rich. She is reach. Therefore, she inherited a fortune. Remark This is a fallacy of affirming the consequent. 1. The argument has an invalid form: P Q Q P. The invalidity of the rule can be verified by e.g. truth tables. 2. The counter-example (premises both true and conclusion false.) E.g., Smith made the fortune by creating a software corporation.
24 Formal Fallacies: example For instance: Every sentence in this slide is well written. Therefore, this slide is well written Remark This is a typical fallacy of composition. p 1,..., p n are parts of w. p 1,..., p n have property F. Therefore, w has property F
25 Formal Fallacies: example For instance: This slide is written in English. Therefore, every sentence in this book is in English. Remark This is a typical fallacy of division. w has property F p 1,..., p n are parts of w. Therefore, p 1,..., p n have property F.
Some Basic Concepts. Highlights of Chapter 1, 2, 3.
Some Basic Concepts Highlights of Chapter 1, 2, 3. What is Critical Thinking? Not Critical as in judging severely to find fault. Critical as in careful, exact evaluation and judgment. Critical Thinking
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 informationChapter 18: Supplementary Formal Material
Hardegree, Compositional Semantics, Chapter 18: Supplementary Formal Material 1 of 10 Chapter 18: Supplementary Formal Material Chapter 18: Supplementary Formal Material...1 A. Formal Languages...2 B.
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 information6.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 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 informationLecture 3, MATH 210G.02, Fall 2017 Lewis Carroll and the Syllogism
Lecture 3, MATH 210G.02, Fall 2017 Lewis Carroll and the Syllogism Silly starter Clicker question 2 The picture is an example of which fallacy? A) Straw man B Slippery slope C) Argumentum ad hominum D)
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 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 informationThree Acts of the Mind
Three Acts of the Mind Mental Act: Verbal Expression: Simple Apprehension Judgment Deductive Inference Term Proposition Syllogism Slide 13-1 The Three Categories of Rules of Validity Slide 13-2 Terminological
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 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 informationLogic and Philosophy of Science (LPS)
Logic and Philosophy of Science (LPS) 1 Logic and Philosophy of Science (LPS) Courses LPS 29. Critical Reasoning. 4 Units. Introduction to analysis and reasoning. The concepts of argument, premise, and
More informationTopics in Linguistic Theory: Propositional Attitudes
MIT OpenCourseWare http://ocw.mit.edu 24.910 Topics in Linguistic Theory: Propositional Attitudes Spring 2009 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms.
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 informationWorksheet Exercise 4.1.A. Symbolizing Quantified Sentences
Worksheet Exercise 4.1.A. Symbolizing Quantified Sentences Part A. Symbolize the following sentences, using obvious letters for names and simple predicates. (Watch out for hidden negatives.) 1. 2. 3. 4.
More informationINFORMAL FALLACIES. Engel, S. Morris With Good Reason: An introduction to Informal Fallacies. 6 th ed. Bedford.
INFORMAL FALLACIES Engel, S. Morris. 2000. With Good Reason: An introduction to Informal Fallacies. 6 th ed. Bedford. http://www.iep.utm.edu/f/fallacy.htm http://onegoodmove.org/fallacy/toc.htm http://www.fallacyfiles.org/glossary.html
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 informationLing 130: Formal Semantics. Spring Natural Deduction with Propositional Logic. Introducing. Natural Deduction
Ling 130: Formal Semantics Rules Spring 2018 Outline Rules 1 2 3 Rules 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.
More informationIn Defense of the Contingently Nonconcrete
In Defense of the Contingently Nonconcrete Bernard Linsky Philosophy Department University of Alberta and Edward N. Zalta Center for the Study of Language and Information Stanford University In Actualism
More informationDAY OnE Meeting. January
DAY OnE Meeting January 26 2019 Building Confidence in Your Speaking STAGE FRIGHT Public Speaking=biggest fear of all WHY? MISPERCEPTIONS The Solution: To see things as they are, not what you see them
More informationDynamic Semantics! (Part 1: Not Actually Dynamic Semantics) Brian Morris, William Rose
Dynamic Semantics! (Part 1: Not Actually Dynamic Semantics) Brian Morris, William Rose 2016-04-13 Semantics Truth-Conditional Semantics Recall: way back in two thousand and aught fifteen... Emma and Gabe
More informationTHE SUBSTITUTIONAL ANALYSIS OF LOGICAL CONSEQUENCE
THE SUBSTITUTIONAL ANALYSIS OF LOGICAL CONSEQUENCE Volker Halbach draft version please don t quote 2nd June 2016 Consequentia formalis vocatur quae in omnibus terminis valet retenta forma consimili. Vel
More informationMath Final Exam Practice Test December 2, 2013
Math 1050-003 Final Exam Practice Test December 2, 2013 Note that this Practice Test is longer than the Final Exam will be. This way you have extra problems to help you practice, so don t let the length
More informationProofs That Are Not Valid. Identify errors in proofs. Area = 65. Area = 64. Since I used the same tiles: 64 = 65
1.5 Proofs That Are Not Valid YOU WILL NEED grid paper ruler scissors EXPLORE Consider the following statement: There are tthree errorss in this sentence. Is the statement valid? GOAL Identify errors in
More informationPHIL12A Section answers, 20 April 2011
PHIL12A Section answers, 20 April 2011 Julian Jonker 1 From last time... Compare especially (a), (d) and (e) below. 1. (Ex 11.19) (c) No cube with nothing to its left is between two cubes. x((cube(x) yleftof(y,x))
More informationTHE SUBSTITUTIONAL ANALYSIS OF LOGICAL CONSEQUENCE
THE SUBSTITUTIONAL ANALYSIS OF LOGICAL CONSEQUENCE Volker Halbach 9th July 2016 Consequentia formalis vocatur quae in omnibus terminis valet retenta forma consimili. Vel si vis expresse loqui de vi sermonis,
More informationClaim: refers to an arguable proposition or a conclusion whose merit must be established.
Argument mapping: refers to the ways of graphically depicting an argument s main claim, sub claims, and support. In effect, it highlights the structure of the argument. Arrangement: the canon that deals
More informationReplies to the Critics
Edward N. Zalta 2 Replies to the Critics Edward N. Zalta Center for the Study of Language and Information Stanford University Menzel s Commentary Menzel s commentary is a tightly focused, extended argument
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 informationMATH 195: Gödel, Escher, and Bach (Spring 2001) Notes and Study Questions for Tuesday, March 20
MATH 195: Gödel, Escher, and Bach (Spring 2001) Notes and Study Questions for Tuesday, March 20 Reading: Chapter VII Typographical Number Theory (pp.204 213; to Translation Puzzles) We ll also talk a bit
More informationIdentity Logic = = = Romeo is the lover of Juliet. (identity) Romeo is Italian. (predication) There are Italians. (existence)
Identity Logic r l Ir (Æx)Ix Romeo is the lover of Juliet. (identity) Romeo is Italian. (predication) There are Italians. (existence) The result of writing a small letter and then i and then a small letter
More informationBBC LEARNING ENGLISH The Grammar Gameshow
BBC LEARNING ENGLISH The Grammar Gameshow The present simple and present continuous Hello and welcome to today s Grammar Gameshow! I m your host,! not going to! And of course let s not forget, our all-knowing
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 informationener How N AICE: G OT t (8004) o Argue Paper
al r e Gen 04) : E AIC r (80 e Pap LOGICAL FALLACI ES How NOT t o Argue CREDITS: 0 Prepared By: Jill Pavich, NBCT 0 Source of Information: 0 http://writingcenter.unc.edu/handouts/fallacies/ The Short List
More informationWhat is a logical fallacy?
Logical Fallacies What is a logical fallacy? An error in reasoning that undermines or invalidates an argument. Logical fallacies are fairly common but must be avoided in order to produce strong, reliable
More informationMETA-COGNITIVE UNITY IN INDIRECT PROOFS
META-COGNITIVE UNITY IN INDIRECT PROOFS Ferdinando Arzarello, Cristina Sabena Dipartimento di Matematica, Università di Torino, Italia The paper focuses on indirect argumentation and proving processes
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 informationReview. DuMMETT, MICHAEL. The elements of intuitionism. Oxford: Oxford University Press, 1977, χ+467 pages.
Review DuMMETT, MICHAEL. The elements of intuitionism. Oxford: Oxford University Press, 1977, χ+467 pages. Over the last twenty years, Dummett has written a long series of papers advocating a view on meaning
More informationIGE104: LOGIC AND MATHEMATICS FOR DAILY LIVING
1 IGE104: LOGIC AND MATHEMATICS FOR DAILY LIVING Lecture 3: Recognizing Fallacies LOGIC Definition: The study of the methods and principles of reasoning. When do we use reasoning? Debating with friends
More informationSession 12 POLEMICAL TRICKS AND RHETORICAL PLOYS
UGRC 150 CRITICAL THINKING & PRACTICAL REASONING Session 12 POLEMICAL TRICKS AND RHETORICAL PLOYS Lecturer: Dr. Mohammed Majeed, Dept. of Philosophy & Classics, UG Contact Information: mmajeed@ug.edu.gh
More informationNon-Classical Logics. Viorica Sofronie-Stokkermans Winter Semester 2012/2013
Non-Classical Logics Viorica Sofronie-Stokkermans E-mail: sofronie@uni-koblenz.de Winter Semester 2012/2013 1 Non-Classical Logics Alternatives to classical logic Extensions of classical logic 2 Non-Classical
More informationA Note on Analysis and Circular Definitions
A Note on Analysis and Circular Definitions Francesco Orilia Department of Philosophy, University of Macerata (Italy) Achille C. Varzi Department of Philosophy, Columbia University, New York (USA) (Published
More informationSimplicity, Its Failures And a Naturalistic Rescue?
Simplicity, Its Failures And a Naturalistic Rescue? (Manuel Bremer, University of Cologne) Simplicity is often mentioned as a criterion to accept one theory out of a set of mutual exclusive theories which
More informationMC9211 Computer Organization
MC9211 Computer Organization Unit 2 : Combinational and Sequential Circuits Lesson2 : Sequential Circuits (KSB) (MCA) (2009-12/ODD) (2009-10/1 A&B) Coverage Lesson2 Outlines the formal procedures for the
More informationPhil 004. Week 3 Day 3 Chapter 3: Clarity of an Argument
Phil 004 Week 3 Day 3 Chapter 3: Clarity of an Argument Clear Thinking/Writing, and Critical Thinking (Ch3) Argument may not really be an argument if it s not clear; confusing. Prime culprits: Missing
More informationArgument and argument forms
Argument and argument forms Definition An argument is a sequence of propositions that ends with a conclusion. All but the last statements are called premises. An argument is valid if the truth of the premises
More informationLesson 91: Food (20-25 minutes)
Main Topic 17: Industries Lesson 91: Food (20-25 minutes) Today, you will: 1. Learn useful vocabulary related to FOOD 2. Review on Affirmative Statements I. VOCABULARY Exercise 1: What s the meaning? (5-6
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 informationLogik für Informatiker Logic for computer scientists
Logik für Informatiker for computer scientists WiSe 2011/12 Language, proof and logic LPL book detailed introduction into first-order logic with many exercises Boole construct truth tables Tarski s world
More informationElementary Podcasts Series 4 Episode 10 While you listen Elementary Podcasts are suitable for learners with different levels of English. Here are some ways to make them easier (if you have a lower level
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 informationSimple passive GRAMMAR
Simple passive GRAMMAR Content In this lesson you will learn all about the simple passive and all its elements. Learning Outcomes Learn different uses for the simple passive form. Learn to create sentences
More informationUnit 7.2. Terms. Words. Terms. (Table - 1)
Unit 7.2 Terms What is a Term? A term is a word or group of words which is either a subject or a predicate of a proposition. If a word or a group of words is neither a subject nor a predicate of a proposition,
More informationPremises and Conclusion. Deductive versus Inductive Arguments. Marcello Di Bello! Lehman College CUNY! PHI 169
Premises and Conclusion Marcello Di Bello!! Lehman College CUNY!! PHI 169 Deductive versus Inductive Arguments 01 What Is an Argument? An argument is a series of statements in which! (1) some of the statements
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 informationLecture 10 Popper s Propensity Theory; Hájek s Metatheory
Lecture 10 Popper s Propensity Theory; Hájek s Metatheory Patrick Maher Philosophy 517 Spring 2007 Popper s propensity theory Introduction One of the principal challenges confronting any objectivist theory
More informationLesson 60: Visit to the Doctor / Dentist (20-25 minutes)
Main Topic 10: Health Care Lesson 60: Visit to the Doctor / Dentist (20-25 minutes) Today, you will: 1. Learn useful vocabulary related to VISIT TO DOCTOR/DENTIST 2. Review Verb Form Future Perfect I.
More informationLogical Fallacies Appeal to/from Authority Fallacy
Appeal to/from Authority Fallacy Is committed when the person in question is not a legitimate authority on the subject. Is commited when a person uses his authority to claim validity. Person A is (claimed
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 informationCheck back at the NCTM site for additional notes and tasks next week.
Check back at the NCTM site for additional notes and tasks next week. PROOF ENOUGH FOR YOU? General Interest Session NCTM Annual Meeting and Exposition April 19, 2013 Ralph Pantozzi Kent Place School,
More informationArgumentation and persuasion
Communicative effectiveness Argumentation and persuasion Lesson 12 Fri 8 April, 2016 Persuasion Discourse can have many different functions. One of these is to convince readers or listeners of something.
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 informationInternal Realism. Manuel Bremer University Lecturer, Philosophy Department, University of Düsseldorf, Germany
Internal Realism Manuel Bremer University Lecturer, Philosophy Department, University of Düsseldorf, Germany This essay deals characterizes a version of internal realism. In I will argue that for semantical
More informationARISTOTLE ON SCIENTIFIC VS NON-SCIENTIFIC DISCOURSE. Philosophical / Scientific Discourse. Author > Discourse > Audience
1 ARISTOTLE ON SCIENTIFIC VS NON-SCIENTIFIC DISCOURSE Philosophical / Scientific Discourse Author > Discourse > Audience A scientist (e.g. biologist or sociologist). The emotions, appetites, moral character,
More informationIndian Institute of Technology Kanpur. NP-TEL National Programme On Technology Enhanced Learning. Course Title Introduction to Logic
Indian Institute of Technology Kanpur NP-TEL National Programme On Technology Enhanced Learning Course Title Introduction to Logic Lecture-08 Identification of Formal and Informal Fallacies by Prof. A.V.
More informationSynonyms: humiliate, belittle, demean, lower, humble, degrade, disparage, debase, cheapen, reduce
Abase A word a day Abase (verb) Present: abase / abases Past simple: abased Past participle: abased Gerund or ing form: abasing To abase yourself is to behave in a way that degrades or humiliates you.
More informationTwo Enumerative Tidbits
Two Enumerative Tidbits p. Two Enumerative Tidbits Richard P. Stanley M.I.T. Two Enumerative Tidbits p. The first tidbit The Smith normal form of some matrices connected with Young diagrams Two Enumerative
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 informationVictim s Stalking and Harassment Risk Identification Checklist (VS-DASH 2009) 1
Victim s Stalking and Harassment Risk Identification Checklist (VS-DASH 2009) 1 The VS-DASH (2009) was developed by Drs Lorraine Sheridan, Karl Roberts and by Laura Richards, BSC, MSc, FRSA. A number of
More informationMODULE 4. Is Philosophy Research? Music Education Philosophy Journals and Symposia
Modes of Inquiry II: Philosophical Research and the Philosophy of Research So What is Art? Kimberly C. Walls October 30, 2007 MODULE 4 Is Philosophy Research? Phelps, et al Rainbow & Froelich Heller &
More informationColons and Semicolons! & one comma rule!
Colons and Semicolons! & one comma rule! Rule #1 Formula IC + : + List Colon Rule #1 Use a colon to introduce a list of items, sentences, ideas, etc. I enjoy a variety of items: socks, books, and mice.
More informationOn the Analogy between Cognitive Representation and Truth
On the Analogy between Cognitive Representation and Truth Mauricio SUÁREZ and Albert SOLÉ BIBLID [0495-4548 (2006) 21: 55; pp. 39-48] ABSTRACT: In this paper we claim that the notion of cognitive representation
More informationQuick, Quick, Slow: The Foxtrot of Completeness Proofs in Dialogue Logic
1 Workshop on Logical Dialogue Games Vienna, September 28-29, 2015 Quick, Quick, Slow: The Foxtrot of Completeness Proofs in Dialogue Logic Erik C. W. Krabbe Erstens möchte ich Professor Fermüller, und
More informationSAMPLE. Grammar, punctuation and spelling. Paper 1: short answer questions. English tests KEY STAGE LEVELS. First name. Middle name.
En KEY STAGE 2 LEVELS 3 5 SAMPLE English tests Grammar, punctuation and spelling Paper 1: short answer questions First name Middle name Last name Date of birth Day Month Year School name DfE number Sourced
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 information10.4 Inference as Decision. The 1995 O.J. Simpson trial: the situation
10.4 Inference as Decision The 1995 O.J. Simpson trial: the situation Nicole Brown Simpson and Ronald Goldman were brutally murdered sometime after 10:00 pm on June 12, 1994. Nicole was the wife of O.J.
More informationIn-Class Activity Packet
READING DEVELOPMENT In-Class Activity Packet Program for Entering 2nd Graders Emergency Contact Information Please fill this out and return it to your teacher by the end of the first class. Student s
More informationRhetorical Analysis. AP Seminar
Rhetorical Analysis AP Seminar SOAPS The first step to effectively analyzing nonfiction is to know certain key background details which will give you the proper context for the analysis. An acronym to
More informationResemblance Nominalism: A Solution to the Problem of Universals. GONZALO RODRIGUEZ-PEREYRA. Oxford: Clarendon Press, Pp. xii, 238.
The final chapter of the book is devoted to the question of the epistemological status of holistic pragmatism itself. White thinks of it as a thesis, a statement that may have been originally a very generalized
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 informationIncoming 12 th Grade AP
AP Literature Summer Reading 2017 Assignment Welcome to AP Literature! Incoming 12 th Grade AP I am very excited to lead you into the beautiful world of literature and have you begin to see writing on
More informationAn Introduction to Formal Logic
An Introduction to Formal Logic Formal logic provides us with a powerful set of techniques for criticizing some arguments and showing others to be valid. These techniques are relevant to all of us with
More informationIs Hegel s Logic Logical?
Is Hegel s Logic Logical? Sezen Altuğ ABSTRACT This paper is written in order to analyze the differences between formal logic and Hegel s system of logic and to compare them in terms of the trueness, the
More informationFallacies and Paradoxes
Fallacies and Paradoxes The sun and the nearest star, Alpha Centauri, are separated by empty space. Empty space is nothing. Therefore nothing separates the sun from Alpha Centauri. If nothing
More informationLogic and argumentation techniques. Dialogue types, rules
Logic and argumentation techniques Dialogue types, rules Types of debates Argumentation These theory is concerned wit the standpoints the arguers make and what linguistic devices they employ to defend
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 informationPHI Inductive Logic Lecture 2. Informal Fallacies
PHI 103 - Inductive Logic Lecture 2 Informal Fallacies Fallacy : A defect in an argument (other than a false premise) that causes an unjustified inference (non sequitur - it does not follow ). Formal Fallacy:
More informationImagining. 2. Choose endings: Next, students must drag and drop the correct endings into each square.
Imagining Level: 1º de Bachillerato. Grammar: Conditions type I, II and III. Phrasal verb to come Functions: Talking about imaginary situations and concepts. Vocabulary: Vocabulary related to human behaviour,
More informationChocolate bars poisoned in Australia
www.breaking News English.com Ready-to-use ESL / EFL Lessons Chocolate bars poisoned in Australia URL: http://www.breakingnewsenglish.com/0507/050702-chocolate.html Today s contents The Article 2 Warm-ups
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 informationChudnoff on the Awareness of Abstract Objects 1
Florida Philosophical Society Volume XVI, Issue 1, Winter 2016 105 Chudnoff on the Awareness of Abstract Objects 1 D. Gene Witmer, University of Florida Elijah Chudnoff s Intuition is a rich and systematic
More informationARISTOTLE ON LANGUAGE PARALOGISMS SophElen. c.4 p.165b-166b
ARISTOTLE ON LANGUAGE PARALOGISMS SophElen. c.4 p.165b-166b Ludmila DOSTÁLOVÁ Contributed paper concerns the misleading ways of argumentation caused by ambiguity of natural language as Aristotle describes
More informationINTERNATIONAL CONFERENCE ON ENGINEERING DESIGN ICED 05 MELBOURNE, AUGUST 15-18, 2005 GENERAL DESIGN THEORY AND GENETIC EPISTEMOLOGY
INTERNATIONAL CONFERENCE ON ENGINEERING DESIGN ICED 05 MELBOURNE, AUGUST 15-18, 2005 GENERAL DESIGN THEORY AND GENETIC EPISTEMOLOGY Mizuho Mishima Makoto Kikuchi Keywords: general design theory, genetic
More informationMLK s I Have a Dream speech is a great example. I have a dream that Is repeated often.
List of Rhetorical Terms allusion -- a brief reference to a person, event, place, work of art, etc. A mention of any Biblical story is an allusion. anaphora-- the same expression is repeated at the beginning
More informationPartitioning a Proof: An Exploratory Study on Undergraduates Comprehension of Proofs
Partitioning a Proof: An Exploratory Study on Undergraduates Comprehension of Proofs Eyob Demeke David Earls California State University, Los Angeles University of New Hampshire In this paper, we explore
More informationKnowledge Representation
7 Knowledge Representation 7.0 Issues in Knowledge Representation 7.1 A Brief History of AI Representational Systems 7.2 Conceptual Graphs: A Network Language 7.3 Alternatives to Explicit Representation
More informationValidity. What Is It? Types We Will Discuss. The degree to which an inference from a test score is appropriate or meaningful.
Validity 4/8/2003 PSY 721 Validity 1 What Is It? The degree to which an inference from a test score is appropriate or meaningful. A test may be valid for one application but invalid for an another. A test
More informationReading On The Move. Reasoning and Logic
Reading On The Move Reasoning and Logic Reasoning is the process of making inference, or conclusion, from information that you gather or observe. Logic is a principle of reasoning. Logic is supposed to
More informationIssue 5, Summer Published by the Durham University Undergraduate Philosophy Society
Issue 5, Summer 2018 Published by the Durham University Undergraduate Philosophy Society Is there any successful definition of art? Sophie Timmins (University of Nottingham) Introduction In order to define
More information