Week 2: Critical Thinking

Slides:



Advertisements
Similar presentations
Artificial Intelligence
Advertisements

Rules of Inferences Section 1.5. Definitions Argument: is a sequence of propositions (premises) that end with a proposition called conclusion. Valid Argument:
Sentential Logic. One of our main critical thinking questions was: Does the evidence support the conclusion? How do we evaluate whether specific evidence.
Intro to Logic: the tools of the trade You need to be able to: Recognize an argument when you see one (in media, articles, people’s claims). Organize arguments.
This is Introductory Logic PHI 120 Get a syllabus online, if you don't already have one Presentation: "Good Arguments"
Syllabus Every Week: 2 Hourly Exams +Final - as noted on Syllabus
Logic. what is an argument? People argue all the time ― that is, they have arguments.  It is not often, however, that in the course of having an argument.
For Friday, read chapter 2, sections 1-2 (pp ). As nongraded homework, do the problems on p. 19. Graded homework #1 is due at the beginning of class.
Critical Thinking: A User’s Manual
Basic Argumentation.
Logic and Philosophy Alan Hausman PART ONE Sentential Logic Sentential Logic.
MA 110: Finite Math Lecture 1/14/2009 Section 1.1 Homework: 5, 9-15, (56 BP)
Proofs1 Elementary Discrete Mathematics Jim Skon.
The Science of Good Reasons
Question of the Day!  We shared a lot of examples of illogical arguments!  But how do you make a LOGICAL argument? What does your argument need? What.
1 CMSC 250 Discrete Structures CMSC 250 Lecture 1.
1 DISJUNCTIVE AND HYPOTHETICAL SYLLOGISMS DISJUNCTIVE PROPOSITIONS: E.G EITHER WHALES ARE MAMMALS OR THEY ARE VERY LARGE FISH. DISJUNCTS: WHALES ARE MAMMALS.(P)
Arguments Arguments: premises provide grounds for the truth of the conclusion Two different ways a conclusion may be supported by premises. Deductive Arguments.
Mathematics for Comter I Lecture 2: Logic (1) Basic definitions Logical operators Translating English sentences.
Symbolic Logic ⊃ ≡ · v ~ ∴. What is a logical argument? Logic is the science of reasoning, proof, thinking, or inference. Logic allows us to analyze a.
What is an argument? An argument is, to quote the Monty Python sketch, "a connected series of statements to establish a definite proposition." Huh? Three.
Deductive Reasoning. Inductive: premise offers support and evidenceInductive: premise offers support and evidence Deductive: premises offers proof that.
THE NATURE OF ARGUMENT. THE MAIN CONCERN OF LOGIC Basically in logic we deal with ARGUMENTS. Mainly we deal with learning of the principles with which.
L = # of lines n = # of different simple propositions L = 2 n EXAMPLE: consider the statement, (A ⋅ B) ⊃ C A, B, C are three simple statements 2 3 L =
PHIL102 SUM2014, M-F12:00-1:00, SAV 264 Instructor: Benjamin Hole
Making Inferences with Propositions (Rules of Inference)
Logic and Reasoning.
Chapter 3 Basic Logical Concepts (Please read book.)
2. The Logic of Compound Statements Summary
Discrete Mathematics Lecture 1 Logic of Compound Statements
CAS LX 502 3b. Truth and logic
Discrete Mathematics Logic.
Chapter 1 Logic and Proofs Homework 1 Two merchants publish new marketing campaign to attract more customers. The first merchant launches a motto “Good.
Critical Thinking Lecture 1 What is Critical Thinking?
Deductive Arguments.
Relevance Premises are relevant to the conclusion when the truth of the premises provide some evidence that the conclusion is true Premises are irrelevant.
Inductive / Deductive reasoning
Natural Deduction: Using simple valid argument forms –as demonstrated by truth-tables—as rules of inference. A rule of inference is a rule stating that.
Logic programming ( Handbook of Logic in Artificial Intelligence, Vol) by D. M. Gabbay, C. Hogger, J.A. Robinson .
Proof Techniques.
Principles of Computing – UFCFA3-30-1
Chapter 1 The Foundations: Logic and Proof, Sets, and Functions
Logic, Philosophical Tools Quiz Review…20 minutes 10/31
CS201: Data Structures and Discrete Mathematics I
Methods of Proof. Methods of Proof Definitions A theorem is a valid logical assertion which can be proved using Axioms: statements which are given.
Hurley … Chapter 6.5 Indirect Truth Tables
Logical Forms.
Natural Deduction.
Applied Discrete Mathematics Week 1: Logic
Propositional Logic.
Making Sense of Arguments
Concise Guide to Critical Thinking
Discrete Mathematics Logic.
MAT 3100 Introduction to Proof
Introduction to Philosophy Lecture 1b What is Philosophy? (part 2)
Critical Thinking Lecture 2 Arguments
8C Truth Tables, 8D, 8E Implications 8F Valid Arguments
“Still I Look to Find a Reason to Believe”
Logical and Rule-Based Reasoning Part I
Arguments in Sentential Logic
TODAY’S OBJECTIVE: Standard: MM1G2
TODAY’S OBJECTIVE: Standard: MM1G2
Argumentation.
CS201: Data Structures and Discrete Mathematics I
Introduction to Computational Linguistics
Deductive vs Non-Deductive Arguments
What is an Argument?.
ID1050– Quantitative & Qualitative Reasoning
Evaluating Deductive Arguments
Introducing Natural Deduction
Presentation transcript:

Week 2: Critical Thinking

Critical Thinking How do we make progress on a philosophical issue? Critical Thinking involves thinking objectively without prejudice, emotion or bias Reasoning/giving arguments for one’s own views Raising objections to someone else’s reasons/arguments thinking clearly by defining one’s own concepts Critical thinking is the right way to think in any area of life: math, science, business and in philosophy

A Philosophical Debate Main Ways to Advance a Philosophical Issue Definition Define a central concept: e.g. moral right/wrong, Apply concepts to issue Arguments: any two (or more) statements where one is the reason for the other Deductive argument (e.g. mathematical proof) Inductive argument (e.g. scientific argument) Objections to Arguments

Propositions and Arguments 1 From Clear and Present Thinking, Chapter 3.1-3.3

Argument Form Ordinary Language to Argument Form Ordinary Language Three years after its handover from Britain to China, Hong Kong is unlearning English. The city's "ghost men" must go to ever greater lengths to catch the oldest taxi driver available to maximize their chances of comprehension. Hotel managers are complaining that they can no longer find enough English- speakers to act as receptionists. Departing tourists, polled at the airport, voice growing frustration at not being understood. The Economist 2001. Argument Form ………. ……….. 1-3 must be propositions 1, 2 are reasons for 3 We say one makes an inference from 1, 2 to 3 Premises Conclusion

Indicator Words Inferences are often embodied in certain indicator words, which show you which way the direction of the argument is flowing. Here are a few examples of indicator words: Because Since Given that... Which means that... We can conclude that... Hence It follows that...

A Philosophical Debate Person A gives an argument in ordinary English Convery A’s argument into precise form Identify Properties of A’s argument Evaluate A’s argument

Propositions (3.1) The premises and conclusion in an argument form must be propositions Proposition/Statement/Claim a sentence that is simple and has one meaning a sentence that asserts something IS the case or IS NOT the case

“The other day, I was really pissed off “The other day, I was really pissed off. I ordered this new computer from the Internet. And it took three weeks to get here, which was bad enough. Then when it arrived I got so mad again! Because the one I ordered was silver, but the one they sent me was black! Somebody in that company is asleep at the wheel.” “The other day, I was really pissed off. I ordered this new computer from the Internet. And it took three weeks to get here, which was bad enough. Then when it arrived I got so mad again! Because the one I ordered was silver, but the one they sent me was black! Somebody in that company is really asleep at the wheel.”

Part of Argument (3.3) Propositions are true or false an argument is valid if its inferences lead you properly from premises to conclusions. An argument is sound if it has true premises and valid inferences Two Kinds of Arguments a deductive argument is an argument that, if it begins with true premises, logically guarantees that the conclusion is also true. Logical connectives: ~ (NOT), & (AND), v (OR), → (IF), ↔ (IF and only IF) Simple statements are propositions without logical connectives

Types of Statements (3.3) Negation (~A) A = It is raining today ~A = It is not raining today The truth value of ~A depends entirely on the truth value of A If we know the truth value of A, we can calculate the truth value of ~A using a truth table Truth-Table for Negation A ~A T F

Types of Statements (3.3) Conjunctions: A & B Disjunctions: A V B Bill jogs and Ann walks. Ann dances, but Andres sings. Disjunctions: A V B Jones will get a truck or SUV The hoarder will either clean or be evicted. A B A & B T F A B A V B T F

Types of Statements (3.3) Conditional: A → B Biconditionals: A ↔ B A B Example If it is raining then it is cloudy If it is sunny then it is night Example: ~ P → C If you don’t give me that pony, then I’ll cry. I’ll cry only if you don’t give me that pony. When I don’t get my pony, I cry. Biconditionals: A ↔ B You can have cake if and only if you eat pasta. You can have cake just in case you eat pasta. A B A → B T F A B A ↔ B T F

Exercise: Statements Identify the following statements as a simple statement, negation, conjunction, disjunction, conditional, or biconditional (a) Lois is awesome. (b) If you don’t eat your meat, you can’t have any pudding. (c) You can go to the party if and only if your homework is done. (d) You said you would give me a pony, but you didn’t. (e) Either you’re going to the dentist, or I’ll rip that tooth out myself. (f) I’m a wussy little girl. (g) “Hoser” is not an acceptable Scrabble word.

From Clear and Present Thinking, Chapter 3.7 Deductive Arguments 3 From Clear and Present Thinking, Chapter 3.7

Deductive Arguments Deductive arguments: Valid deductive arguments: the conclusion follows necessarily if the premises are true The conclusion MUST be true assuming the premises are true Sound deductive arguments: the argument is valid and the premises are true The validity of a deductive argument is determined by its form only. Some argument forms show that an argument is valid; others show that it is invalid

Modus Ponens Argument Argument Form [Modus Ponens] (P1) If the dog is barking, then there’s an intruder in the house. (P2) The dog is barking! (C) Therefore, there’s an intruder in the house! Argument Form [Modus Ponens] (P1) If P, then Q P → Q (P2) P P (C) Q Q Any argument that has this form is deductively valid: ASSUMING P1, and P2 are true, C MUST be true (it cannot turn out to be false)

Affirming the Consequent Here is a similar argument form that is invalid Argument (P1) If it is raining, then I will need my umbrella. (P2) I will need my umbrella. (P3) Therefore, it is raining Argument Form (P1) If P then Q P → Q (P2) Q Q (P3) P P Invalid! Assuming that the premises are true, the conclusion is NOT necessarily true ( (P3) could turn out to be false)

Hypothetical Syllogism Argument (P1) If it gets below freezing outside, I can make ice out there (P2) If I can make ice, my soft drinks will be deliciously refreshing. (C) If it gets below freezing outside, my soft drinks will be deliciously refreshing Argument Form (P1) If P, then Q P → Q (P2) If Q, then R Q → R (C) If P, then R P → R Invalid! Assuming that the premises are true, the conclusion is NOT necessarily true ( (P3) could turn out to be false)

From Clear and Present Thinking, Chapter 3.7 Inductive Arguments 3 From Clear and Present Thinking, Chapter 3.7

Inductive Arguments Inductive Arguments An induction, or an inductive argument, is a type of argument that asserts the likelihood of the conclusion. In an inductive argument, if the premises are true, then the conclusion is probably true. An argument that show that a conclusion is probably true assuming the premises are true Inductive arguments are more common than deductive arguments; they appear everywhere in daily life and in science

Definitions 4

A Philosophical Debate Definitions Dictionary definitions: imprecise, misleading, circular Philosophical definitions: very precise, clear, no circularity A Philosophical definition Must be stated in proper form D: <defined term> : ……….. E.g. D: refrigerator: a storage device used for keeping food cool Must not be circular: (e.g. contain the defined term) Must have no counter-examples

Exercise: Definition A Philosophical Definition of a CAR

Two Kinds of Counter-Examples Counter-Example: definition is not necessary Dictionary definitions – not very precise, misleading, circular Philosophical definition: very precise, clear, no circularity Counter-Example: definition is not sufficient Must not be circular: (e.g. contain the defined term) Must have no counter-examples