Philosophical Methods

Slides:



Advertisements
Similar presentations
Copyright 2008, Scott Gray1 Propositional Logic 3) Truth Tables.
Advertisements

Copyright 2008, Scott Gray1 Propositional Logic 4) If.
Artificial Intelligence
Truth Tables The aim of this tutorial is to help you learn to construct truth tables and use them to test the validity of arguments. Go To Next Slide.
Chapter 21: Truth Tables.
Truth Tables How to Make and Use. Making a Truth Table To determine the number of rows other than the heading row. To determine the number of rows other.
Valid arguments A valid argument has the following property:
Deductive Arguments: Categorical Logic
Use a truth table to determine the validity or invalidity of this argument. First, translate into standard form “Martin is not buying a new car, since.
For Wednesday, read Chapter 3, section 4. Nongraded Homework: Problems at the end of section 4, set I only; Power of Logic web tutor, 7.4, A, B, and C.
08 March 2009Instructor: Tasneem Darwish1 University of Palestine Faculty of Applied Engineering and Urban Planning Software Engineering Department Introduction.
BUS 290: Critical Thinking for Managers
Logic 3 Tautological Implications and Tautological Equivalences
Syllabus Every Week: 2 Hourly Exams +Final - as noted on Syllabus
Essential Deduction Techniques of Constructing Formal Expressions and Evaluating Attempts to Create Valid Arguments.
An Introduction to Propositional Logic Translations: Ordinary Language to Propositional Form.
Let remember from the previous lesson what is Knowledge representation
Essential Deduction Techniques of Constructing Formal Expressions Evaluating Attempts to Create Valid Arguments.
Through the Looking Glass, 1865
For Friday, read Chapter 3, section 4. Nongraded Homework: Problems at the end of section 4, set I only; Power of Logic web tutor, 7.4, A, B, and C. Graded.
Copyright © Cengage Learning. All rights reserved.
Part 2 Module 3 Arguments and deductive reasoning Logic is a formal study of the process of reasoning, or using common sense. Deductive reasoning involves.
2.5 Verifying Arguments Write arguments symbolically. Determine when arguments are valid or invalid. Recognize form of standard arguments. Recognize common.
The Inverse Error Jeffrey Martinez Math 170 Dr. Lipika Deka 10/15/13.
Logic Disjunction A disjunction is a compound statement formed by combining two simple sentences using the word “OR”. A disjunction is true when at.
Chapter Three Truth Tables 1. Computing Truth-Values We can use truth tables to determine the truth-value of any compound sentence containing one of.
INTRODUCTION TO LOGIC Jennifer Wang Fall 2009 Midterm Review Quiz Game.
Thinking Mathematically Arguments and Truth Tables.
Mathematics for Comter I Lecture 2: Logic (1) Basic definitions Logical operators Translating English sentences.
Analyzing Arguments Section 1.5. Valid arguments An argument consists of two parts: the hypotheses (premises) and the conclusion. An argument is valid.
Foundations of Discrete Mathematics Chapter 1 By Dr. Dalia M. Gil, Ph.D.
Symbolic Logic and Rules of Inference. whatislogic.php If Tom is a philosopher, then Tom is poor. Tom is a philosopher.
Truth Tables, Continued 6.3 and 6.4 March 14th. 6.3 Truth tables for propositions Remember: a truth table gives the truth value of a compound proposition.
Text Table of Contents #4: What are the Reasons?.
Deductive reasoning.
Conditional Statements
a valid argument with true premises.
Jeffrey Martinez Math 170 Dr. Lipika Deka 10/15/13
Truth Tables – Logic (Continued)
Truth Tables How to build them
Introduction to Logic PHIL 240 Sections
Evaluating truth tables
Chapter 1 The Foundations: Logic and Proof, Sets, and Functions
Argument Lecture 5.
CS201: Data Structures and Discrete Mathematics I
Chapter 3 Introduction to Logic 2012 Pearson Education, Inc.
3.5 Symbolic Arguments.
TRUTH TABLES.
TRUTH TABLES continued.
Discrete Mathematics Lecture # 8.
The Logic of Declarative Statements
Deductive Arguments: Checking for Validity
Deductive Arguments: More Truth Tables
TRUTH TABLES.
Foundations of Discrete Mathematics
Introductory Logic PHI 120
CHAPTER 3 Logic.
6.4 Truth Tables for Arguments
SUMMARY Logic and Reasoning.
Chapter 3 Introduction to Logic © 2008 Pearson Addison-Wesley.
2-2 Logic Part 2 Truth Tables.
CS201: Data Structures and Discrete Mathematics I
If there is any case in which true premises lead to a false conclusion, the argument is invalid. Therefore this argument is INVALID.
Validity and Soundness, Again
3.5 Symbolic Arguments.
If there is any case in which true premises lead to a false conclusion, the argument is invalid. Therefore this argument is INVALID.
Starting out with formal logic
Truth tables.
The conditional and the bi-conditional
CHAPTER 3 Logic.
Presentation transcript:

Philosophical Methods Truth Tables - Logic Philosophical Methods

What do Logicians do? For many philosophical questions, philosophers tend to create arguments in which the premises are deeply-held intuitions. Philosophers use logic to uncover where people's intuitions differ. Philosophers evaluate both reasoning and content of arguments.

Enthymemes The President of the United States is powerful _______________________________ Trump is powerful What is implied here? Trump is the President of the United States Often one or more premises in an argument will be implied because some arguments depend on background knowledge that the author assumes the reader has.

Truth Tables Truth Tables are used to evaluate the validity of arguments more precisely. It is a table that allows us to keep track of all possibilities in a concise manner.

Here are the basics before we create some Truth Tables… Example: -Let P stand for: “The atomic number of hydrogen is 1.” -Let Q stand for: “The atomic number of helium is 2.” -Then “P and Q” means: “The atomic number of hydrogen is 1 and the atomic number of helium is 2.” Example (cont.) P Q __________ P and Q

Here’s a very simple Truth Table... Sooo…..if given this argument: P Q __________ P and Q The Truth Table would look like this: P Q P and Q T F

How do we fill this in, exactly? 1. In this example, the truth values in the first 2 columns are put into the table by running through all of the possibilities. 2. Column 3 – Here we fill in the truth value on each row by thinking about what “P and Q” means. 3. Intuitively, “and” means that both sentences joined by “and” are true. So, P and Q should be true only when “both” P and Q are true. 4. The argument is VALID! OK…Let’s look at this: (Have students help fill this in.)

Here’s another example… Fill-in the Truth Table Below P: Today is a weekday. Q: Tomorrow is a weekday. P ________ Not Q In English: Today is a weekday. Therefore, tomorrow is not a weekday. (All propositional argument premises must be written as affirmative atomic sentences.)

Let’s see if we were correct! P Q Not Q T F Intuitively, “not” tells us that “not Q” is true whenever Q is false and vice versa. There is a column in the truth table for Q even though it’s not a premise because we need it to work out all of the possibilities… so we know the values for “not Q”. Is the argument valid? The Premise (P) is true in rows one and two. The Conclusion is false on one of those rows. There is at least one case where the premise is true and the conclusion is false, so… The argument is INVALID!

What you can look forward to next! In the next PowerPoint, we will learn how to translate English into even more symbols! Stay tuned.