What are TruthTables and What Are They For?


 Eustace Norton
 1 years ago
 Views:
Transcription
1 PY114: Work Obscenely Hard Week 9 (Meeting 7) 30 November, 2010 What are TruthTables and What Are They For? 0. Business Matters: The last marked homework of term will be due on Monday, 6 December, at 4pm. Please see separate sheet with the problem set. Please read Tomassi, 2.1 & Office Hours this week changed from Thursday 12 to Friday 34. Regular OH Monday Review  Upper case letters (P, Q and R) are sentential constants, or sentence letters.  When translating a sentence from English to Propositional Logic, we require a key.  There are five logical connectives in Propositional Logic: Negation (~), Conjunction (&), Disjunction (v), Conditional ( ), and Biconditional ( ).  Negation is a unary (oneplace) connective, the others are all binary (twoplace).  Logical connectives connect either atomic or compound formulas.  Brackets (parentheses) are used to specify the scope of a connective. 2. Truth and Falsity  Arguments can be valid or invalid, sound or unsound.  Sentences, on the other hand, are either true or false. As logicians say, there are two truthvalues: true and false.  This is known as the Principle of Bivalence, which states: every sentence is either true or false but not both and not neither. 3. Scope Every connective has a specific scope. The scope of the tilda (~) is the formula that is being negated. In the simplest case this will be a simple atomic proposition, but in other cases it will be some more complex wff (wellformed formula). To determine the scope of a tilda, then, we simply ask: exactly what is being negated here? Consider these examples: ~P scope of negation (what is being negated): P ~ (P & Q) scope of negatation: (P & Q) ~(P & Q) R scope of negation: (P & Q) ~((P & Q) R) scope of negation: ((P & Q) R) For a two place connective, the scope of the connective are the TWO wffs that are being connected. In the following examples I have used underlining to indicate the scope of the ampersands. P & Q P & ~Q (P v Q) & (~P Q) 4. Exercise: Using underlining, show the scope of the indicated connective. Indicate the scope of the tilda ~(P v ~P) Indicate the scope of the arrow P (P & Q) Indicate the scope of the second arrow ~(((P Q) (Q R)) & ~(P R))
2 5. SKILL: Find the Main Connective The main connective in a formula of propositional calculus is the connective whose scope encompasses the whole formula. The main connective tells us what kind of compound formula we are dealing with: whether a negation, a conjunction, a disjunction, a conditional, or a biconditional. The simplest compound formulae have only a single connective, which accordingly serves as the main connective. Hence the ampersand is the main connective in (P&Q); the whole formula is accordingly a conjunction. A crucial skill in interpreting the propositional calculus is the skill of finding the main connective in moderately complex formulae. This is a bit like finding the main verb in an English sentence that has various subordinate and relative clauses. Read the following formulae (aloud if you can) and find the main connective. Specify what kind of formula is being expressed: a) P (P & Q) b) P & ~P c) ~(P v ~P) d) P (Q P) e) (P & Q) (Q & P) f) ((P Q) (Q R)) (P R) g) ~(((P Q) (Q R)) & ~(P R)) h) (P Q) v (Q P) 6. Truth Functions and Truth Tables A truth table is a logical calculating device. In order to understand its distinctive utility, we need to start by recalling some crucial background. 1.. In the formal symbolic language of the propositional calculus, a sentence is called a formula (or a wellformed formula a WFF). 2. As we have seen, there are two classes of formulae in the propositional calculus: atomic and compound. An atomic formula is represented by a single sentential constant (e.g., P ) and represents a simple declarative sentence such as Socrates is wise. A compound formula is formed by combining atomic formulae using the logical connectives (~, &, v,, ). Hence the sentence If Socrates is not wise then Plato was a fool can be expressed as a compound formula of the propositional calculus: (~P Q), where P represents the proposition that Socrates is wise and Q represents the proposition that Plato is a fool. 3. Now here is a key point: the truth or falsity of a compound formula is a function of the truth value of the atomic formulae that figure in it. Don t be put off by the abstract talk of functions here. The point is really as simple as this: Suppose I want to know whether the following claim is true or false: Today is Monday and the weather is fine. In order to figure out whether this is true I need to know whether each of its constituent claims is true. That is, Is today Monday? And is the weather fine? Once I know the answers to these questions, and the meaning of the logical term and I can determine the truth value of the compound sentence. That is: the truth value of the compound formula is a function of the truth value is its atomic sentences. 2
3 4. Now truth tables are nothing more than a device for spelling this out exactly and in full detail. A truth table is divided into two sides, left and right. On the left hand side is a specification of all the possible combinations of truth values for the atomic propositions that figure in a compound formulae. The right side specifies the truth value of the compound formula as a function of the truth values of the atomic formulae. Hence for instance the truth table for conjunction shows under what circumstances the compound formula is true and under what circumstances false. P Q P&Q Starting from the left side and reading one row at a time, we can see the following: If both atomic propositions are true then the conjunction is true. (That is the first row of under the horizontal line.) But for any other combination of truth values, the conjunction is false. (That is represented in the last three rows of the table.) USING TRUTH TABLES OK, so what is the point of this? What is a truth table for? As we shall see, truth tables turn out to be quite a powerful (if also somewhat clumsy) tool for a number of interrelated tasks in logic. Let s consider them one at a time. A. Using Truth Tables to Define the Logical Connectives. Logical languages depend on perfect clarity and the absence of ambiguity. While the logical connectives all have natural language correlates, they cannot be defined by appeal to natural language without importing the ambiguities of natural language into the symbolic systems. We have already seen one example of this with the ambiguity of the English word, or, which can be used either inclusively or exclusively. Similar ambiguity infects the English word and. If someone says I got the money at the bank and I went to buy the car, that would typically mean that they first got the money at the bank and then went to buy the car. In short, the word and sometimes conveys temporal information. But it need not. If I say that I have a bike and a scooter, I am not saying anything about which I got first. In order to provide proper definitions of the logical connectives, therefore, we need a way of defining them more exactly than is possible by simply providing natural language correlates. Truth tables provide the tool for this purpose. In logic, the logical connectives are defined as truthfunctions. (P&Q) is defined as the formula which is true if and only if both of its constituent propositions are true. (PvQ) is defined as the formula which is false if and only if both of its constituent propositions are false. The truth tables for each connective spell out these definitions exactly, and without circularity. That is, they specify the truth value of the compound formula given any possible combination of truth value of its constituents. After all, that is exactly what truth tables do. a) Negation  The truth functional nature of each of the logical connectives is represented by a truthtable.  The truthtable for negation is written as follows: P ~P T F F T  Negation is a truthfunction that reverses truth values. b) Conjunction  The truthtable for conjunction is written as follows: P Q P&Q  A conjunction is true only when both conjuncts are true. The sense of temporal direction that exists 3
4 in the English and is not present in &. c) Disjunction  The truthtable for disjunction is as follows: P Q PvQ T F T F T T  A disjunction is true when either or both of the disjuncts are true. It is false only when both are false.  Disjunction in Propositional Logic is inclusive (it is true when both disjuncts are true), rather than the exclusive or that we often find in natural language. d) Conditional  The truthtable for conditional is written as follows: P Q P Q F T T F F T  There only way in which a conditional comes out false is if its antecedent is true and its consequent is false.  The conditional is, intuitively, the least close to its natural language equivalent if then. e) Biconditional  The truthtable for biconditional is written as follows: P Q P Q F F T  A biconditional is true when both sides have the same truth value. B. Using Truth Tables to Interpret Complex Compound Formulae. Once we have truthfunctional definitions of the five connectives, we can put truth tables to work for other purposes. As an example, consider this fairly simple compound formula: P v ~(P v R) For the logician, an interpretation of this compound formulae must tell us its truth value (that is, whether it is true or false) for every combination of the truth values of its constituent atomic propositions. But that is exactly the job for which truth tables are designed. P Q P v ~ (P v Q) T F T T F T T F T F F T T T F mc What this truth table shows is that this compound formula is false only in the case where P is false and Q is true (that is the second row from the bottom of the table). It is true in every other case. 4
5 EXERCISES Construct truth tables for the following formula P & (Q P) (P & Q) R ((P v Q) & ~P) Q C. Using Truth Tables to Sort Formulae into Tautologies, Contingencies, and Inconsistencies (Contradictions): A fourth use of Truth Tables will be particularly important for establishing a further set of tools of proof in the propositional calculus. We can use truth tables to sort formulae into three different groups. E. Exercise: Tautologies are formulae that are always true, no matter what the truth value of their constituent atomic propositions. If today is Thursday then today is Thursday is a simple tautology. But other tautologies are more interesting and will provide us with a set of logical transformation rules. An example is ((P v Q) & ~Q P). A compound formula is a tautology if and only if the compound formula comes out as true in every row of its truth table. Contradictions (or Inconsistencies) are compound formulae that are never true, no matter what the assignment of truth values to the atomic propositions that comprise them. An example of a primitive contradiction is (P & ~P). A compound formula is a contradiction if and only if the compound formula comes out as false in every row of its truth table. Contingent formulae are all the rest. In order to know whether a contingent proposition is true or false you need to know more than its logical form; you need to know the actual truth value of its constituent atomic propositions. An example of a contingent proposition is Tomorrow is Friday and I am going down to the pub. A compound formula is contingent if and only if the compound formula comes out as false in some rows of its truth table and true in others. Consider the following propositions. Without constructing a truth table, try to determine whether each one is a tautology, a contradiction or a contingent proposition. After placing your bets we can split up the list and use truth tables for each one. a) (P Q) & ~(P Q) b) (P v Q) & Q c) (P Q) & (~Q ~P) d) ~P (P Q) 5
Chapter 8  Sentential Truth Tables and Argument Forms
Logic: A Brief Introduction Ronald L. Hall Stetson University Chapter 8  Sentential ruth ables and Argument orms 8.1 Introduction he truthvalue of a given truthfunctional compound proposition depends
More informationA. Problem set #3 it has been posted and is due Tuesday, 15 November
Lecture 9: Propositional Logic I Philosophy 130 1 & 3 November 2016 O Rourke & Gibson I. Administrative A. Problem set #3 it has been posted and is due Tuesday, 15 November B. I am working on the group
More informationToday s Lecture 1/28/10
Chapter 7.1! Symbolizing English Arguments! 5 Important Logical Operators!The Main Logical Operator Today s Lecture 1/28/10 Quiz State from memory (closed book and notes) the five famous valid forms and
More informationINTERMEDIATE LOGIC Glossary of key terms
1 GLOSSARY INTERMEDIATE LOGIC BY JAMES B. NANCE INTERMEDIATE LOGIC Glossary of key terms This glossary includes terms that are defined in the text in the lesson and on the page noted. It does not include
More informationLogicola Truth Evaluation Exercises
Logicola Truth Evaluation Exercises The Logicola exercises for Ch. 6.3 concern truth evaluations, and in 6.4 this complicated to include unknown evaluations. I wanted to say a couple of things for those
More informationLogic: A Brief Introduction
Logic: A Brief Introduction Ronald L. Hall, Stetson University PART III  Symbolic Logic Chapter 7  Sentential Propositions 7.1 Introduction What has been made abundantly clear in the previous discussion
More informationA BRIEF INTRODUCTION TO LOGIC FOR METAPHYSICIANS
A BRIEF INTRODUCTION TO LOGIC FOR METAPHYSICIANS 0. Logic, Probability, and Formal Structure Logic is often divided into two distinct areas, inductive logic and deductive logic. Inductive logic is concerned
More information3. Negations Not: contradicting content Contradictory propositions Overview Connectives
3. Negations 3.1. Not: contradicting content 3.1.0. Overview In this chapter, we direct our attention to negation, the second of the logical forms we will consider. 3.1.1. Connectives Negation is a way
More informationLogic: A Brief Introduction. Ronald L. Hall, Stetson University
Logic: A Brief Introduction Ronald L. Hall, Stetson University 2012 CONTENTS Part I Critical Thinking Chapter 1 Basic Training 1.1 Introduction 1.2 Logic, Propositions and Arguments 1.3 Deduction and Induction
More informationChapter 9 Sentential Proofs
Logic: A Brief Introduction Ronald L. Hall, Stetson University Chapter 9 Sentential roofs 9.1 Introduction So far we have introduced three ways of assessing the validity of truthfunctional arguments.
More informationG. H. von Wright Deontic Logic
G. H. von Wright Deontic Logic Kian MintzWoo University of Amsterdam January 9, 2009 January 9, 2009 Logic of Norms 2010 1/17 INTRODUCTION In von Wright s 1951 formulation, deontic logic is intended to
More informationChapter 3: Basic Propositional Logic. Based on Harry Gensler s book For CS2209A/B By Dr. Charles Ling;
Chapter 3: Basic Propositional Logic Based on Harry Gensler s book For CS2209A/B By Dr. Charles Ling; cling@csd.uwo.ca The Ultimate Goals Accepting premises (as true), is the conclusion (always) true?
More informationExposition of Symbolic Logic with KalishMontague derivations
An Exposition of Symbolic Logic with KalishMontague derivations Copyright 200613 by Terence Parsons all rights reserved Aug 2013 Preface The system of logic used here is essentially that of Kalish &
More informationTesting semantic sequents with truth tables
Testing semantic sequents with truth tables Marianne: Hi. I m Marianne Talbot and in this video we are going to look at testing semantic sequents with truth tables. (Slide 2) This video supplements Session
More informationIntersubstitutivity Principles and the Generalization Function of Truth. Anil Gupta University of Pittsburgh. Shawn Standefer University of Melbourne
Intersubstitutivity Principles and the Generalization Function of Truth Anil Gupta University of Pittsburgh Shawn Standefer University of Melbourne Abstract We offer a defense of one aspect of Paul Horwich
More informationPHIL 115: Philosophical Anthropology. I. Propositional Forms (in Stoic Logic) Lecture #4: Stoic Logic
HIL 115: hilosophical Anthropology Lecture #4: Stoic Logic Arguments from the Euthyphro: Meletus Argument (according to Socrates) [3ab] Argument: Socrates is a maker of gods; so, Socrates corrupts the
More informationTruthFunctional Propositional Logic
by Sidney Felder Truthfunctional propositional logic is the simplest and expressively weakest member of the class of deductive systems designed to capture the various valid arguments and patterns of reasoning
More informationAn alternative understanding of interpretations: Incompatibility Semantics
An alternative understanding of interpretations: Incompatibility Semantics 1. In traditional (truththeoretic) semantics, interpretations serve to specify when statements are true and when they are false.
More informationA CONCISE INTRODUCTION TO LOGIC
A CONCISE INTRODUCTION TO LOGIC Craig DeLancey Professor of Philosophy State University of New York at Oswego (29 July 2015 draft) TABLE OF CONTENTS 0. Introduction Part I. Propositional Logic. 1. Developing
More information3.3. Negations as premises Overview
3.3. Negations as premises 3.3.0. Overview A second group of rules for negation interchanges the roles of an affirmative sentence and its negation. 3.3.1. Indirect proof The basic principles for negation
More informationBased on the translation by E. M. Edghill, with minor emendations by Daniel Kolak.
On Interpretation By Aristotle Based on the translation by E. M. Edghill, with minor emendations by Daniel Kolak. First we must define the terms 'noun' and 'verb', then the terms 'denial' and 'affirmation',
More informationElements of Science (cont.); Conditional Statements. Phil 12: Logic and Decision Making Fall 2010 UC San Diego 9/29/2010
Elements of Science (cont.); Conditional Statements Phil 12: Logic and Decision Making Fall 2010 UC San Diego 9/29/2010 1 Why cover statements and arguments Decision making (whether in science or elsewhere)
More informationWhat is the Nature of Logic? Judy Pelham Philosophy, York University, Canada July 16, 2013 PanHellenic Logic Symposium Athens, Greece
What is the Nature of Logic? Judy Pelham Philosophy, York University, Canada July 16, 2013 PanHellenic Logic Symposium Athens, Greece Outline of this Talk 1. What is the nature of logic? Some history
More informationMethods of Proof for Boolean Logic
Chapter 5 Methods of Proof for Boolean Logic limitations of truth table methods Truth tables give us powerful techniques for investigating the logic of the Boolean operators. But they are by no means the
More informationHANDBOOK (New or substantially modified material appears in boxes.)
1 HANDBOOK (New or substantially modified material appears in boxes.) I. ARGUMENT RECOGNITION Important Concepts An argument is a unit of reasoning that attempts to prove that a certain idea is true by
More informationRussell: On Denoting
Russell: On Denoting DENOTING PHRASES Russell includes all kinds of quantified subject phrases ( a man, every man, some man etc.) but his main interest is in definite descriptions: the present King of
More informationKripke on the distinctness of the mind from the body
Kripke on the distinctness of the mind from the body Jeff Speaks April 13, 2005 At pp. 144 ff., Kripke turns his attention to the mindbody problem. The discussion here brings to bear many of the results
More informationReductio ad Absurdum, Modulation, and Logical Forms. Miguel LópezAstorga 1
International Journal of Philosophy and Theology June 25, Vol. 3, No., pp. 5965 ISSN: 2333575 (Print), 23335769 (Online) Copyright The Author(s). All Rights Reserved. Published by American Research
More informationTheories of propositions
Theories of propositions phil 93515 Jeff Speaks January 16, 2007 1 Commitment to propositions.......................... 1 2 A Fregean theory of reference.......................... 2 3 Three theories of
More informationOn Interpretation. Section 1. Aristotle Translated by E. M. Edghill. Part 1
On Interpretation Aristotle Translated by E. M. Edghill Section 1 Part 1 First we must define the terms noun and verb, then the terms denial and affirmation, then proposition and sentence. Spoken words
More informationI. In the ongoing debate on the meaning of logical connectives 1, two families of
What does & mean? Axel Arturo Barceló Aspeitia abarcelo@filosoficas.unam.mx Instituto de Investigaciones Filosóficas, UNAM México Proceedings of the TwentyFirst World Congress of Philosophy, Vol. 5, 2007.
More informationUC Berkeley, Philosophy 142, Spring 2016
Logical Consequence UC Berkeley, Philosophy 142, Spring 2016 John MacFarlane 1 Intuitive characterizations of consequence Modal: It is necessary (or apriori) that, if the premises are true, the conclusion
More informationPart II: How to Evaluate Deductive Arguments
Part II: How to Evaluate Deductive Arguments Week 4: Propositional Logic and Truth Tables Lecture 4.1: Introduction to deductive logic Deductive arguments = presented as being valid, and successful only
More informationSymbolic Logic. 8.1 Modern Logic and Its Symbolic Language
M08_COPI1396_13_SE_C08.QXD 10/16/07 9:19 PM Page 315 Symbolic Logic 8 8.1 Modern Logic and Its Symbolic Language 8.2 The Symbols for Conjunction, Negation, and Disjunction 8.3 Conditional Statements and
More informationMCQ IN TRADITIONAL LOGIC. 1. Logic is the science of A) Thought. B) Beauty. C) Mind. D) Goodness
MCQ IN TRADITIONAL LOGIC FOR PRIVATE REGISTRATION TO BA PHILOSOPHY PROGRAMME 1. Logic is the science of. A) Thought B) Beauty C) Mind D) Goodness 2. Aesthetics is the science of .
More information15. Russell on definite descriptions
15. Russell on definite descriptions Martín Abreu Zavaleta July 30, 2015 Russell was another top logician and philosopher of his time. Like Frege, Russell got interested in denotational expressions as
More informationPhilosophy 12 Study Guide #4 Ch. 2, Sections IV.iii VI
Philosophy 12 Study Guide #4 Ch. 2, Sections IV.iii VI Precising definition Theoretical definition Persuasive definition Syntactic definition Operational definition 1. Are questions about defining a phrase
More information9 Methods of Deduction
M09_COPI1396_13_SE_C09.QXD 10/19/07 3:46 AM Page 372 9 Methods of Deduction 9.1 Formal Proof of Validity 9.2 The Elementary Valid Argument Forms 9.3 Formal Proofs of Validity Exhibited 9.4 Constructing
More informationb) The meaning of "child" would need to be taken in the sense of age, as most people would find the idea of a young child going to jail as wrong.
Explanation for Question 1 in Quiz 8 by Norva Lo  Tuesday, 18 September 2012, 9:39 AM The following is the solution for Question 1 in Quiz 8: (a) Which term in the argument is being equivocated. (b) What
More information2.3. Failed proofs and counterexamples
2.3. Failed proofs and counterexamples 2.3.0. Overview Derivations can also be used to tell when a claim of entailment does not follow from the principles for conjunction. 2.3.1. When enough is enough
More informationOn Truth At Jeffrey C. King Rutgers University
On Truth At Jeffrey C. King Rutgers University I. Introduction A. At least some propositions exist contingently (Fine 1977, 1985) B. Given this, motivations for a notion of truth on which propositions
More informationIn this section you will learn three basic aspects of logic. When you are done, you will understand the following:
Basic Principles of Deductive Logic Part One: In this section you will learn three basic aspects of logic. When you are done, you will understand the following: Mental Act Simple Apprehension Judgment
More informationTRUTH VIRTUAL ISSUE NO. 1. Tr u t h MICHAEL DUMMETT
TRUTH VIRTUAL ISSUE NO. 1 Tr u t h MICHAEL DUMMETT PROCEEDINGS OF THE ARISTOTELIAN SOCIETY THE VIRTUAL ISSUE NO. I 2013 Featuring classic papers from the archive & commentaries by contemporary philosophers
More informationTHE FORM OF REDUCTIO AD ABSURDUM J. M. LEE. A recent discussion of this topic by Donald Scherer in [6], pp , begins thus:
Notre Dame Journal of Formal Logic Volume XIV, Number 3, July 1973 NDJFAM 381 THE FORM OF REDUCTIO AD ABSURDUM J. M. LEE A recent discussion of this topic by Donald Scherer in [6], pp. 247252, begins
More informationNecessity and Truth Makers
JAN WOLEŃSKI Instytut Filozofii Uniwersytetu Jagiellońskiego ul. Gołębia 24 31007 Kraków Poland Email: jan.wolenski@uj.edu.pl Web: http://www.filozofia.uj.edu.pl/janwolenski Keywords: Barry Smith, logic,
More information4.1 A problem with semantic demonstrations of validity
4. Proofs 4.1 A problem with semantic demonstrations of validity Given that we can test an argument for validity, it might seem that we have a fully developed system to study arguments. However, there
More informationA Judgmental Formulation of Modal Logic
A Judgmental Formulation of Modal Logic Sungwoo Park Pohang University of Science and Technology South Korea Estonian Theory Days Jan 30, 2009 Outline Study of logic Model theory vs Proof theory Classical
More informationIntroducing truth tables. Hello, I m Marianne Talbot and this is the first video in the series supplementing the Formal Logic podcasts.
Introducing truth tables Marianne: Hello, I m Marianne Talbot and this is the first video in the series supplementing the Formal Logic podcasts. Okay, introducing truth tables. (Slide 2) This video supplements
More informationA Brief Introduction to Key Terms
1 A Brief Introduction to Key Terms 5 A Brief Introduction to Key Terms 1.1 Arguments Arguments crop up in conversations, political debates, lectures, editorials, comic strips, novels, television programs,
More informationEntailment, with nods to Lewy and Smiley
Entailment, with nods to Lewy and Smiley Peter Smith November 20, 2009 Last week, we talked a bit about the AndersonBelnap logic of entailment, as discussed in Priest s Introduction to NonClassical Logic.
More informationDeontic Logic. G. H. von Wright. Mind, New Series, Vol. 60, No (Jan., 1951), pp
Deontic Logic G. H. von Wright Mind, New Series, Vol. 60, No. 237. (Jan., 1951), pp. 115. Stable URL: http://links.jstor.org/sici?sici=00264423%28195101%292%3a60%3a237%3c1%3adl%3e2.0.co%3b2c Mind is
More informationhigherorder attitudes, frege s abyss, and the truth in propositions
Mark Schroeder University of Southern California November 28, 2011 higherorder attitudes, frege s abyss, and the truth in propositions In nearly forty years of work, Simon Blackburn has done more than
More informationFaith indeed tells what the senses do not tell, but not the contrary of what they see. It is above them and not contrary to them.
19 Chapter 3 19 CHAPTER 3: Logic Faith indeed tells what the senses do not tell, but not the contrary of what they see. It is above them and not contrary to them. The last proceeding of reason is to recognize
More informationA Semantic Paradox concerning Error Theory
Aporia vol. 26 no. 1 2016 A Semantic Paradox concerning Error Theory Stephen Harrop J. L. Mackie famously argued for a moral error theory that is, the thesis that our statements concerning objective moral
More informationThe Coherence and Correspondence Theories of Truth
The Coherence and Correspondence Theories of Truth The correspondence theory of truth considers the truth of propositions to consist in the correspondence between a given proposition and reality. To pin
More information1. Introduction Formal deductive logic Overview
1. Introduction 1.1. Formal deductive logic 1.1.0. Overview In this course we will study reasoning, but we will study only certain aspects of reasoning and study them only from one perspective. The special
More information10.3 Universal and Existential Quantifiers
M10_COPI1396_13_SE_C10.QXD 10/22/07 8:42 AM Page 441 10.3 Universal and Existential Quantifiers 441 and Wx, and so on. We call these propositional functions simple predicates, to distinguish them from
More informationON THE TRUTH CONDITIONS OF INDICATIVE AND COUNTERFACTUAL CONDITIONALS Wylie Breckenridge
ON THE TRUTH CONDITIONS OF INDICATIVE AND COUNTERFACTUAL CONDITIONALS Wylie Breckenridge In this essay I will survey some theories about the truth conditions of indicative and counterfactual conditionals.
More informationAnnouncements. CS243: Discrete Structures. First Order Logic, Rules of Inference. Review of Last Lecture. Translating English into FirstOrder Logic
Announcements CS243: Discrete Structures First Order Logic, Rules of Inference Işıl Dillig Homework 1 is due now Homework 2 is handed out today Homework 2 is due next Tuesday Işıl Dillig, CS243: Discrete
More informationGeneric truth and mixed conjunctions: some alternatives
Analysis Advance Access published June 15, 2009 Generic truth and mixed conjunctions: some alternatives AARON J. COTNOIR Christine Tappolet (2000) posed a problem for alethic pluralism: either deny the
More informationSECTION 18. Correlation: How does it fit together?
SECTION 18 Correlation: How does it fit together? CORRELATION (How does it fit together?) Because Scripture is the Word of God written in the words of men we operate from the premise that it is both unified
More informationSHORT ANSWER. Write the word or phrase that best completes each statement or answers the question.
Exam Name SHORT ANSWER. Write the word or phrase that best completes each statement or answers the question. Draw a Venn diagram for the given sets. In words, explain why you drew one set as a subset of
More informationFrom Necessary Truth to Necessary Existence
Prequel for Section 4.2 of Defending the Correspondence Theory Published by PJP VII, 1 From Necessary Truth to Necessary Existence Abstract I introduce new details in an argument for necessarily existing
More informationThe Backward Induction Solution to the Centipede Game*
The Backward Induction Solution to the Centipede Game* Graciela Rodríguez Mariné University of California, Los Angeles Department of Economics November, 1995 Abstract In extensive form games of perfect
More informationOn a philosophical motivation for mutilating truth tables
2 nd International Colloquium on Colous and Numbers ortaleza https://sites.google.com/site/iccn2015/ March 26, 2015 On a philosophical motivation for mutilating truth tables Marcos Silva marcossilvarj@gmail.com
More informationFundamentals of Philosophy
Logic Logic is a comprehensive introduction to the major concepts and techniques involved in the study of logic. It explores both formal and philosophical logic and examines the ways in which we can achieve
More informationNegative Facts. Negative Facts Kyle Spoor
54 Kyle Spoor Logical Atomism was a view held by many philosophers; Bertrand Russell among them. This theory held that language consists of logical parts which are simplifiable until they can no longer
More informationRUSSELL, NEGATIVE FACTS, AND ONTOLOGY* L. NATHAN OAKLANDERt SILVANO MIRACCHI
RUSSELL, NEGATIVE FACTS, AND ONTOLOGY* L. NATHAN OAKLANDERt University of MichiganFlint SILVANO MIRACCHI Beverly Hills, California Russell's introduction of negative facts to account for the truth of
More informationAre Logical Truths Analytic? The Philosophical Review, Vol. 74, No. 2 (Apr., 1965), Jaakko Hintikka
Are Logical Truths Analytic? Jaakko Hintikka The Philosophical Review, Vol. 74, No. 2 (Apr., 1965), 178203. Stable URL: http://links.jstor.org/sici?sici=003 18108%28 196504%2974%3A2%3C 178%3AALTA%3E2.O.C0%3B2%23
More informationThe distinction between truthfunctional and nontruthfunctional logical and linguistic
FORMAL CRITERIA OF NONTRUTHFUNCTIONALITY Dale Jacquette The Pennsylvania State University 1. TruthFunctional Meaning The distinction between truthfunctional and nontruthfunctional logical and linguistic
More informationResponses to the sorites paradox
Responses to the sorites paradox phil 20229 Jeff Speaks April 21, 2008 1 Rejecting the initial premise: nihilism....................... 1 2 Rejecting one or more of the other premises....................
More informationPropositions as Cognitive Event Types
Propositions as Cognitive Event Types By Scott Soames USC School of Philosophy Chapter 6 New Thinking about Propositions By Jeff King, Scott Soames, Jeff Speaks Oxford University Press 1 Propositions as
More informationAUXILIARIES AND MODALS
AUXILIARIES AND MODALS IAuxiliaries: According to Encyclopedia Britannica, an auxiliary is a helping element, typically a verb, that adds meaning to the basic meaning of the main verb in a clause. Auxiliaries
More informationThe myth of the categorical counterfactual
Philos Stud (2009) 144:281 296 DOI 10.1007/s1109800892108 The myth of the categorical counterfactual David Barnett Published online: 12 February 2008 Ó Springer Science+Business Media B.V. 2008 Abstract
More informationTo appear in Philosophical Studies 150 (3): (2010).
To appear in Philosophical Studies 150 (3): 373 89 (2010). Universals CHAD CARMICHAEL Stanford University In this paper, I argue that there are universals. I begin (section 1) by proposing a sufficient
More informationTWO VERSIONS OF HUME S LAW
DISCUSSION NOTE BY CAMPBELL BROWN JOURNAL OF ETHICS & SOCIAL PHILOSOPHY DISCUSSION NOTE MAY 2015 URL: WWW.JESP.ORG COPYRIGHT CAMPBELL BROWN 2015 Two Versions of Hume s Law MORAL CONCLUSIONS CANNOT VALIDLY
More informationThe Knowability Paradox in the light of a Logic for Pragmatics
The Knowability Paradox in the light of a Logic for Pragmatics Massimiliano Carrara and Daniele Chiffi Abstract The Knowability Paradox is a logical argument showing that if all truths are knowable in
More informationBASIC CONCEPTS OF LOGIC
BASIC CONCEPTS OF LOGIC 1. What is Logic?...2 2. Inferences and Arguments...2 3. Deductive Logic versus Inductive Logic...5 4. Statements versus Propositions...6 5. Form versus Content...7 6. Preliminary
More informationLogic Dictionary Keith BurgessJackson 12 August 2017
Logic Dictionary Keith BurgessJackson 12 August 2017 addition (Add). In propositional logic, a rule of inference (i.e., an elementary valid argument form) in which (1) the conclusion is a disjunction
More informationRussell on Descriptions
Russell on Descriptions Bertrand Russell s analysis of descriptions is certainly one of the most famous (perhaps the most famous) theories in philosophy not just philosophy of language over the last century.
More information1 FELLOWSHIP WITH GOD (1 JOHN 1:14)
1 FELLOWSHIP WITH GOD (1 JOHN 1:14) Introduction In the opening paragraph of 1 John we are somewhat abruptly, yet quite wonderfully brought face to face with truth that is both profound and precious.
More informationExercise Sets. KS Philosophical Logic: Modality, Conditionals Vagueness. Dirk Kindermann University of Graz July 2014
Exercise Sets KS Philosophical Logic: Modality, Conditionals Vagueness Dirk Kindermann University of Graz July 2014 1 Exercise Set 1 Propositional and Predicate Logic 1. Use Definition 1.1 (Handout I Propositional
More informationPHILOSOPHY 102 INTRODUCTION TO LOGIC PRACTICE EXAM 1. W# Section (10 or 11) 4. T F The statements that compose a disjunction are called conjuncts.
PHILOSOPHY 102 INTRODUCTION TO LOGIC PRACTICE EXAM 1 W# Section (10 or 11) 1. True or False (5 points) Directions: Circle the letter next to the best answer. 1. T F All true statements are valid. 2. T
More informationLogic: Deductive and Inductive by Carveth Read M.A. CHAPTER IX CHAPTER IX FORMAL CONDITIONS OF MEDIATE INFERENCE
CHAPTER IX CHAPTER IX FORMAL CONDITIONS OF MEDIATE INFERENCE Section 1. A Mediate Inference is a proposition that depends for proof upon two or more other propositions, so connected together by one or
More informationA SOLUTION TO FORRESTER'S PARADOX OF GENTLE MURDER*
162 THE JOURNAL OF PHILOSOPHY cial or political order, without this secondorder dilemma of who is to do the ordering and how. This is not to claim that A2 is a sufficient condition for solving the world's
More informationII. THE MEANING OF IMPLICATION.
II. THE MEANING OF IMPLICATION. BY DANIEL J. BBONSTETN. LOGICIANS, who have been more interested in the meaning of implication than philosophers or mathematicians, have for the most part subordinated this
More informationEntailment as Plural Modal Anaphora
Entailment as Plural Modal Anaphora Adrian Brasoveanu SURGE 09/08/2005 I. Introduction. Meaning vs. Content. The Partee marble examples:  (1 1 ) and (2 1 ): different meanings (different anaphora licensing
More informationLogic and Argument Analysis: An Introduction to Formal Logic and Philosophic Method (REVISED)
Carnegie Mellon University Research Showcase @ CMU Department of Philosophy Dietrich College of Humanities and Social Sciences 1985 Logic and Argument Analysis: An Introduction to Formal Logic and Philosophic
More informationAnalyticity and reference determiners
Analyticity and reference determiners Jeff Speaks November 9, 2011 1. The language myth... 1 2. The definition of analyticity... 3 3. Defining containment... 4 4. Some remaining questions... 6 4.1. Reference
More informationName: Course: CAP 4601 Semester: Summer 2013 Assignment: Assignment 06 Date: 08 JUL Complete the following written problems:
Name: Course: CAP 4601 Semester: Summer 2013 Assignment: Assignment 06 Date: 08 JUL 2013 Complete the following written problems: 1. AlphaBeta Pruning (40 Points). Consider the following minmax tree.
More informationDispositionalism and the Modal Operators
Philosophy and Phenomenological Research Philosophy and Phenomenological Research doi: 10.1111/phpr.12132 2014 Philosophy and Phenomenological Research, LLC Dispositionalism and the Modal Operators DAVID
More informationCircumscribing Inconsistency
Circumscribing Inconsistency Philippe Besnard IRISA Campus de Beaulieu F35042 Rennes Cedex Torsten H. Schaub* Institut fur Informatik Universitat Potsdam, Postfach 60 15 53 D14415 Potsdam Abstract We
More informationCRITICAL THINKING (CT) MODEL PART 1 GENERAL CONCEPTS
Fall 2001 ENGLISH 20 Professor Tanaka CRITICAL THINKING (CT) MODEL PART 1 GENERAL CONCEPTS In this first handout, I would like to simply give you the basic outlines of our critical thinking model
More informationBasic Concepts and Distinctions 1 Logic Keith BurgessJackson 14 August 2017
Basic Concepts and Distinctions 1 Logic Keith BurgessJackson 14 August 2017 Terms in boldface type are defined somewhere in this handout. 1. Logic is the science of implication, or of valid inference
More informationShieva Kleinschmidt [This is a draft I completed while at Rutgers. Please do not cite without permission.] Conditional Desires.
Shieva Kleinschmidt [This is a draft I completed while at Rutgers. Please do not cite without permission.] Conditional Desires Abstract: There s an intuitive distinction between two types of desires: conditional
More informationWhat is the Frege/Russell Analysis of Quantification? Scott Soames
What is the Frege/Russell Analysis of Quantification? Scott Soames The FregeRussell analysis of quantification was a fundamental advance in semantics and philosophical logic. Abstracting away from details
More informationIntroductory Matters
1 Introductory Matters The readings in this section take up some topics that set the stage for discussion to follow. The first addresses the value of philosophy, the second the nature of truth, and the
More informationRevisiting the Socrates Example
Section 1.6 Section Summary Valid Arguments Inference Rules for Propositional Logic Using Rules of Inference to Build Arguments Rules of Inference for Quantified Statements Building Arguments for Quantified
More informationDigital Logic Lecture 5 Boolean Algebra and Logic Gates Part I
Digital Logic Lecture 5 Boolean Algebra and Logic Gates Part I By Ghada AlMashaqbeh The Hashemite University Computer Engineering Department Outline Introduction. Boolean variables and truth tables. Fundamental
More informationLogic is the study of the quality of arguments. An argument consists of a set of
Logic: Inductive Logic is the study of the quality of arguments. An argument consists of a set of premises and a conclusion. The quality of an argument depends on at least two factors: the truth of the
More information