PHIL12A Section answers, 20 April 2011
|
|
- Rolf Murphy
- 5 years ago
- Views:
Transcription
1 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)) z wbetween(x,z,w)) (d) The only large cubes are b and c. Large(b) Cube(b) Large(c) Cube(c) x((large(x) Cube(x)) (x = b x = c)) (e) At most b and c are large cubes. NB: last time I omitted the following important tip printed in the textbook. There is a significant difference between this sentence and the previous one. This one does not imply that b and c are large cubes, while the previous one does. x((large(x) Cube(x)) (x = b x = c)) 2 FOL translation exercises 1. The following sentence is ambiguous. I show you how to translate it twice, showing how the English supports two different FOL translations. Every medium dodecahedron is adjacent to a medium cube. There are two ways to translate this sentence. (Note how I use constructions like for all and there is some in order to make explicit the role of quantifiers in the sentence.) (i) There is some medium cube such that all the medium dodecahedra are next to it. (ii) For every medium dodecahedron there is some medium cube that it is next to. 1
2 Here are the FOL translations: (i) x[cube(x) Medium(x) y((dodec(y) Medium(y)) Adjoins(x,y))] (ii) x[(dodec(x) Medium(x)) y(cube(y) Medium(y) Adjoins(x,y))] 2. One of the above translations is strong, and the other weak, in the sense that the strong sentence implies the weaker one, but not vice versa. Indicate which translation is which. (i) is the stronger claim. Whenever (i) is true, (ii) is true too. In other words, every model that makes (ii) true makes (i) true. But there are models that make (ii) true but not (i). So it is not always the case that (i) is true when (ii) is true. 3. (Ex and 11.28) Here are two arguments, each of whose first premise is ambiguous. Translate each argument into FOL twice (using sensible predicates), corresponding to the ambiguity in the first premise. Under one translation the conclusion follows: prove it. Under the other it does not: describe a situation in which the premises are true but the conclusion false. (a) (Ex 11.27) 1 Everyone admires someone who has red hair. 2 Anyone who admires himself is conceited. 3 Someone with red hair is conceited. Here s a translation that makes the argument valid: 1 x(red(x) y(admires(x,y))) 2 x(admires(x,x) Conceited(x)) 3 x(red(x) Conceited(x) The argument would be invalid if we had translated the first premise as the weaker: x y(red(y) Admires(y,x)). (b) (Ex 11.28) 1 All that glitters is not gold. 2 This ring glitters. 3 This ring is not gold. The following translation makes the argument valid: 2
3 1 x(glitters(x) Gold(x)) 2 Glitters(ring) 3 Gold(ring The following weaker translation of the first premise would make the argument invalid: x(glitters(x) Gold(x)) 3 Proofs with quantifiers 1. Some of the following arguments are valid, some are not. Give an informal proof for those which are valid; for the others, give counterexamples. I ve done the first one. (a) (Ex 12.4) 1 y[cube(y) Dodec(y)] 2 x[cube(x) Large(x)] 3 x Large(x) 4 xdodec(x) Proof. The third premise tells us that there is something which is not large. Let s call this object d. Now by universal instantiation we have the following: (1) Cube(d) Dodec(d) (2) Cube(d) Large(d) By modus tollens on (2) above, we have that d is not a cube. But then by (1) above it must be the case that d is a dodecahedron. Since d was an arbitrary object in the domain of discourse, we can by existential instantiation obtain xdodec(x), which is our desired conclusion. 3
4 (b) (Ex 12.5) 1 y[cube(y) Dodec(y)] 2 x[cube(x) Large(x)] 3 x Large(x) 4 x[dodec(x) Small(x)] This argument is not valid. Suppose that there is a medium dodecahedron only. Then the premises are true (check this!) but the conclusion is false. (c) (Ex 12.8) 1 x[cube(x) (Tet(x) Small(x))] 2 x[large(x) BackOf(x,c)] 3 x[frontof(c,x) Cube(x)] Proof: By the second premise there is something which is large and behind c. Let s call this object e. By Existential Instantiation we get that e is large and that it is behind c. But since BackOf and FrontOf are inverses, we know that c is in front of e. Now by the first premise everything is either a cube or a small tetrahedron, so by Universal Instantiation, e is either a cube or a small tetrahedron. But we know that e is large so it must be cube. So c is in front of e and e is a cube. But now we use Existential Generalization in order to obtain our conclusion: that there is something that c is in front of and that is a cube. (d) (Ex 12.9) 1 x[(cube(x) Large(x)) (Tet(x) Small(x))] 2 x[tet(x) BackOf(x,c)] 3 x[small(x) BackOf(x,c)] Proof: We re going to reason about an arbitrary object it could be any one. For convenience, we ll call it j. We ll show by Conditional Proof that if j is small then it is behind c. But since j is arbitrary, this will be true of every object. Suppose j is small. By Universal Instantiation on the first premise we get that j is either a large cube or a small tetrahedron. Since it is small, we know it is a tetrahedron. By Universal Instantiation on the second premise we get that if j is a tetrahedron then it is behind c. So, by modus ponens, j is behind 4
5 c. So this shows that if j is small, then it is behind c. (In other words, we have proved Small(j) BackOf(j,c). But j was arbitrary, so by Universal Generalization, we get that any small object is behind c, which is the desired conclusion. 5
Multiple Quantifiers. Multiple uses of a single quantifier. Chapter 11
Chapter 11 Multiple Quantifiers So far, we ve considered only sentences that contain a single quantifier symbol. This was enough to express the simple quantified forms studied by Aristotle, but hardly
More information/ The Logic of Atomic Sentences. Remember
62 / The Logic of Atomic Sentences Remember The deductive system you will be learning is a Fitch-style deductive system, named F. The computer application that assists you in constructing proofs in F is
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 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 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 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 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 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 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 informationUniversals. Some Existence Arguments
Universals Some Existence Arguments A Platonic Habit We are in the habit of postulating one unique Form for each plurality of objects to which we apply a common name (Republic x 596a) Our question: Is
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 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 informationReview Jean Mark Gawron SDSU. March 14, Translation basics (you shouldnt get these things wrong):
Review 2014 Jean Mark Gawron SDSU March 14, 2016 1 Introduction Translation basics (you shouldnt get these things wrong): 1.1. Proper names translate as constants. NEVER as predicates. Right a. John walks.
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 informationSome 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 informationSection 3.1 Statements, Negations, and Quantified Statements
Section 3.1 Statements, Negations, and Quantified Statements Objectives 1. Identify English sentences that are statements. 2. Express statements using symbols. 3. Form the negation of a statement 4. Express
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 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 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 informationReply to Stalnaker. Timothy Williamson. In Models and Reality, Robert Stalnaker responds to the tensions discerned in Modal Logic
1 Reply to Stalnaker Timothy Williamson In Models and Reality, Robert Stalnaker responds to the tensions discerned in Modal Logic as Metaphysics between contingentism in modal metaphysics and the use of
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 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 informationFrom Propositional! to Predicate Logic" CSCI 2824, Fall 2011" classes/struct11/home.html "
From Propositional! to Predicate Logic" CSCI 2824, Fall 2011" http://l3d.cs.colorado.edu/~ctg/ classes/struct11/home.html " Assignments To read this week: Sections 1.4-1.6 (Emsley/ Crawley) For next week:
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 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 informationThe Language Revolution Russell Marcus Fall Class #7 Final Thoughts on Frege on Sense and Reference
The Language Revolution Russell Marcus Fall 2015 Class #7 Final Thoughts on Frege on Sense and Reference Frege s Puzzles Frege s sense/reference distinction solves all three. P The problem of cognitive
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 informationBuilding Mental Muscle & Growing the Mind through Logic Exercises: Lesson 5b Material Fallacies Answer sheet
Pastor-teacher Don Hargrove Faith Bible Church http://www.fbcweb.org/doctrines.html September 12, 2011 Building Mental Muscle & Growing the Mind through Logic Exercises: Lesson 5b Material Fallacies Answer
More informationCorcoran, J George Boole. Encyclopedia of Philosophy. 2nd edition. Detroit: Macmillan Reference USA, 2006
Corcoran, J. 2006. George Boole. Encyclopedia of Philosophy. 2nd edition. Detroit: Macmillan Reference USA, 2006 BOOLE, GEORGE (1815-1864), English mathematician and logician, is regarded by many logicians
More informationAppendix B. Elements of Style for Proofs
Appendix B Elements of Style for Proofs 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 lessons;
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 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 informationPleasure, Pain, and Calm: A Puzzling Argument at Republic 583e1-8
Pleasure, Pain, and Calm: A Puzzling Argument at Republic 583e1-8 At Republic 583c3-585a7 Socrates develops an argument to show that irrational men misperceive calm as pleasant. Let's call this the "misperception
More informationChristopher W. Tindale, Fallacies and Argument Appraisal
Argumentation (2009) 23:127 131 DOI 10.1007/s10503-008-9112-0 BOOK REVIEW Christopher W. Tindale, Fallacies and Argument Appraisal Cambridge University Press, Cambridge, 2007, xvii + 218 pp. Series: Critical
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 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 informationPicture Descriptions and Centered Content
Picture Descriptions and Centered Content Mats Rooth and Dorit Abusch Cornell University Sinn und Bedeutung 21 University of Edinburgh September, 2016 Possible worlds semantics for sentences [[there are
More information17. Semantics in L1A
Spring 2012, March 26 Quantifiers Isomorphism Quantifiers (someone, nobody, everyone, two guys) express a kind of generalization. They say something about the members of a set. To see if it is true, you
More informationCPSC 121: Models of Computation. Module 1: Propositional Logic
CPSC 121: Models of Computation Module 1: Propositional Logic Module 1: Propositional Logic By the start of the class, you should be able to: Translate back and forth between simple natural language statements
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 informationWhat are meanings? What do linguistic expressions stand for or denote?
Meaning relations What are meanings? What do linguistic expressions stand for or denote? Declarative sentences: To know the meaning of a declarative sentence is to know the situations it is describing
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 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 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 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 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 informationExploring touch: A review of Matthew Fulkerson s The First Sense
Philosophical Psychology, 2015 http://dx.doi.org/10.1080/09515089.2015.1010197 REVIEW ESSAY Exploring touch: A review of Matthew Fulkerson s The First Sense Clare Batty The First Sense: A Philosophical
More informationThe Language Revolution Russell Marcus Fall 2015
The Language Revolution Russell Marcus Fall 2015 Class #6 Frege on Sense and Reference Marcus, The Language Revolution, Fall 2015, Slide 1 Business Today A little summary on Frege s intensionalism Arguments!
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 informationPiano Performance Grade SYLLABUS. Valid from Current until further notice. Issued by authority of the
Yamaha Grade Examination System Piano Performance Grade Grade 6 SYLLABUS Valid from 2014 Current until further notice Issued by authority of the Copyright 2013 by YAMAHA MUSIC FOUNDATION All Rights Reserved.
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 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 informationThe verb PIACERE (to like) #1
Lesson: 96 The verb PIACERE (to like) #1 Let s compare PIACERE with the verb MANGIARE (to eat) I eat the apple (io) mangio la mela The verb MANGIARE replicates the exact same structure from English to
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 informationQUANTIFICATION IN AFRICAN LOGIC. Jonathan M. O. Chimakonam Ph.D Department of Philosophy University of Calabar, Nigeria
Filosofia Theoretica: Journal of African Philosophy, Culture and Religion QUANTIFICATION IN AFRICAN LOGIC 1. Predication Jonathan M. O. Chimakonam Ph.D Department of Philosophy University of Calabar, Nigeria
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 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 informationLogic and Ontology in Hegel s Theory of Predication
DOI: 10.1111/ejop.12050 Logic and Ontology in Hegel s Theory of Predication Abstract: In this paper I sketch some arguments that underlie Hegel s chapter on judgment, and I attempt to place them within
More informationUnit 7 : Chap. 1 Inductive and Deductive Reasoning
Unit 7 : Chap. 1 Inductive and Deductive Reasoning Inductive Reasoning: Involves making conjectures based on patterns or observations. Conjectures are much like hypothesis in science. Ex. ) Today it is
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 informationBusiness Communication Skills
200817 Business Communication Skills 1 Welcome to Week 5 Critical thinking, argument, logic and persuasion 2 THE STRUCTURE OF ARGUMENTS IN CRITICAL THINKING 3 Agenda Inferences Fact Judgment Striking a
More informationSocial conditions affect our perceptions, our actions, and our relationships.
You MUST do number 1 for 60 points. Then choose TWO of numbers 2-7 for 20 points each. Harrison Bergeron, Lamb to Slaughter, By the Waters of Babylon, Where Have You Gone, Charming Billy, A Separate Peace
More informationNecessity in Kant; Subjective and Objective
Necessity in Kant; Subjective and Objective DAVID T. LARSON University of Kansas Kant suggests that his contribution to philosophy is analogous to the contribution of Copernicus to astronomy each involves
More information21W.016: Designing Meaning
21W.016: Designing Meaning 1 Cultural, Historical and Social Context Text--Logos Speaker/Writer-Ethos Audience-Pathos All images are in the public domain. 2 Audience s initial position Logos Ethos Pathos
More informationQ1. Name the texts that you studied for media texts and society s values this year.
Media Texts & Society Values Practice questions Q1. Name the texts that you studied for media texts and society s values this year. b). Describe an idea, an attitude or a discourse that is evident in a
More informationSubordination in complex sentences. Tani, Mary, Brandon
Subordination in complex sentences Tani, Mary, Brandon What is Subordination? A complex sentence is made up of two clauses, one main (independant) and one subordinate (dependant). Subordination is the
More informationHow to Solve Syllogisms for IBPS Exam Reasoning Section?
1 / 6 Get free study material for IBPS PO, Clerk and IBPS RRB exams along with How to Solve Syllogisms for IBPS Exam Reasoning Section? Categories : IBPS, IBPS Exam Date : September 23, 2015 If you are
More informationWhat is Character? David Braun. University of Rochester. In "Demonstratives", David Kaplan argues that indexicals and other expressions have a
Appeared in Journal of Philosophical Logic 24 (1995), pp. 227-240. What is Character? David Braun University of Rochester In "Demonstratives", David Kaplan argues that indexicals and other expressions
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 information#1 THIS ACTIVITY WILL TEACH:
Education and lifelong learning are at the center of our parent program. A key to learning is knowing how to use resources. We spent a great deal of time at the library learning the following: To identify
More informationExistential Cause & Individual Experience
Existential Cause & Individual Experience 226 Article Steven E. Kaufman * ABSTRACT The idea that what we experience as physical-material reality is what's actually there is the flat Earth idea of our time.
More informationI. INTRODUCING STORIES
Postgraduate Journal of Aesthetics, Vol. 6, No. 1, April 2009 ADVANCING AN ONTOLOGY OF STORIES: SMUTS' DILEMMA GEOFF STEVENSON UNIVERSITY OF MANCHESTER I. INTRODUCING STORIES Narratologists commonly draw
More informationTHE ELEMENTS OF STYLE. English 4 AP - Smith
THE ELEMENTS OF STYLE English 4 AP - Smith INTRO Once you begin to analyze literature you will see how all the parts of a piece of literature work together. Understanding the terms and concepts will give
More information1. Introduction. Abstract. 1.1 Logic Criteria
An Evaluation of the Minimal-MUMCUT Logic Criterion and Prime Path Coverage Garrett Kaminski, Upsorn Praphamontripong, Paul Ammann, Jeff Offutt Computer Science Department, George Mason University, Fairfax,
More informationLanguage, Typography and Meaning. Connotation and Resonance in Type
+ Language, Typography and Meaning Connotation and Resonance in Type + Review - Figures of Speech in Design Simile - Comparison or parallel between two unlike things Metaphor - Points out resemblance by
More informationSequential Logic and Clocked Circuits
Sequential Logic and Clocked Circuits Clock or Timing Device Input Variables State or Memory Element Combinational Logic Elements From combinational logic, we move on to sequential logic. Sequential logic
More informationJanice Lee. Recitation 2. TA: Milo Phillips-Brown
1 Janice Lee Recitation 2 TA: Milo Phillips-Brown 2 Idea Copy Machine According to Hume, all of our perceptions are either impressions or ideas. An impression is a lively perception and comes from the
More informationVisual Argumentation in Commercials: the Tulip Test 1
Opus et Educatio Volume 4. Number 2. Hédi Virág CSORDÁS Gábor FORRAI Visual Argumentation in Commercials: the Tulip Test 1 Introduction Advertisements are a shared subject of inquiry for media theory and
More informationMUSIC THEORY. Welcome to the Music Theory Class!
Welcome to the Music Theory Class! Music is a language many of us speak, but few of us understand its syntax. In Music Theory, we listen to great music, and we explore how it works. The premise is that
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 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 informationUnderstanding Role Concepts Working Note 20
Understanding Role Concepts Working Note 20 Peter Clark, John Thompson, Mike Uschold Bruce Porter Knowledge Systems Computer Science Dept. Boeing Mathematics and Computing Technology University of Texas
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 informationIntro to Pragmatics (Fox/Menéndez-Benito) 10/12/06. Questions 1
Questions 1 0. Questions and pragmatics Why look at questions in a pragmatics class? where there are questions, there are, fortunately, also answers. And a satisfactory theory of interrogatives will have
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 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 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 informationFLIP-FLOPS AND RELATED DEVICES
C H A P T E R 5 FLIP-FLOPS AND RELATED DEVICES OUTLINE 5- NAND Gate Latch 5-2 NOR Gate Latch 5-3 Troubleshooting Case Study 5-4 Digital Pulses 5-5 Clock Signals and Clocked Flip-Flops 5-6 Clocked S-R Flip-Flop
More informationStudy Guide. Solutions to Selected Exercises. Foundations of Music and Musicianship with CD-ROM. 2nd Edition. David Damschroder
Study Guide Solutions to Selected Exercises Foundations of Music and Musicianship with CD-ROM 2nd Edition by David Damschroder Solutions to Selected Exercises 1 CHAPTER 1 P1-4 Do exercises a-c. Remember
More informationParadoxes: Part 2 of 2. Of Art and Mathematics. feature. Punya Mishra & Gaurav Bhatnagar. Self - Reference and Russell s Paradox
Of Art and Mathematics Paradoxes: Part 2 of 2 feature Punya Mishra & Gaurav Bhatnagar This is not the first sentence of this article. The above sentence can be both true and false. It is clearly the first
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 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 informationLesson 10 November 10, 2009 BMC Elementary
Lesson 10 November 10, 2009 BMC Elementary Overview. I was afraid that the problems that we were going to discuss on that lesson are too hard or too tiring for our participants. But it came out very well
More informationFallacies of Ambiguity
Fallacies of Ambiguity I did not have sexual relations with that woman, Miss Lewinsky As he later admitted, President Clinton had had "sexual relations" with Miss Lewinsky in the broad sense of a sexual
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 informationCS 3 Midterm 1 Review
CS3 Sp07- MT1-review Solutions CS 3 Midterm 1 Review 1. Quick Evaluations Indicate what each of the following would return if typed into STK. If you think it would error, then please write ERROR. If you
More informationENGR 40M Project 3b: Programming the LED cube
ENGR 40M Project 3b: Programming the LED cube Prelab due 24 hours before your section, May 7 10 Lab due before your section, May 15 18 1 Introduction Our goal in this week s lab is to put in place the
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 informationCONTINGENCY AND TIME. Gal YEHEZKEL
CONTINGENCY AND TIME Gal YEHEZKEL ABSTRACT: In this article I offer an explanation of the need for contingent propositions in language. I argue that contingent propositions are required if and only if
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 information