Review. Logic is significant because it is the foundation of reason and well constructed-arguments

Size: px
Start display at page:

Download "Review. Logic is significant because it is the foundation of reason and well constructed-arguments"

Transcription

1

2 Review Identify and explain the significance to the study of logic of each of the following terms: Logic The area of philosophy that studies correct reasoning and sound judgment Logic is significant because it is the foundation of reason and well constructed-arguments

3 Review Deduction a reasoning process that involves drawing a specific conclusion from a general statement or premise Deduction is significant because it is a formal reasoning process that allows people to arrive at logical conclusion

4 Review Induction A reasoning process that involves drawing a general conclusion from specific observations. Induction is significant because it enables people to arrive at conclusions based on their best evidence

5 Review The three laws of thought Developed by Aristotle, law of non contradiction, law of the excluded middle, the law of identity. Significant because they provide the underlying structure of logic

6 Review Logical Consistency Statements that do not contradict each other Significant because it is a necessary element of correct reasoning and sound judgement.

7 Review Logical Contradiction Statements that contradict each other or violate Aristotle s law of non-contradiction Significant because it helps people recognize arguments that are not sound or not reliable

8 Review Syllogism A form of formal deductive argument that consists of premises that lead to a conclusion Significant because they establish a structure that can be used to test the soundness of an argument

9 Review Validity The correctness of the reasoning in deductive arguments. Provides criteria for evaluating the logic of arguments

10

11 Types of Syllogisms Syllogisms are often categorized into three categories: Categorical Disjunctive Hypothetical Syllogisms can also be expressed by using letters (all A are B)

12 Types of Syllogisms Categorical Syllogism Aristotle was the first to use categorical syllogisms which states that things belong-or do not belong- in categories In categorical syllogisms there is a major premise, minor premise, and a conclusion

13 Types of Syllogisms Categorical Syllogism All categorical syllogisms include A middle term that appears in the major and minor premises A Predicate term that appears in the major premise and the conclusion A subject term that appears in the minor premise and the conclusion

14 Types of Syllogisms Categorical Syllogism All humans are mortals Socrates is a human Therefore, Socrates is mortal

15 Types of Syllogisms Categorical Syllogism All humans are mortals Socrates is a human Therefore, Socrates is mortal In letters: All A are B C is an A Therefore, C is a B

16 Types of Syllogisms Categorical Syllogism All humans are mortals Socrates is a human Therefore, Socrates is mortal

17 Types of Syllogisms Categorical Syllogism All humans are mortals Socrates is a human Therefore, Socrates is mortal

18 Types of Syllogisms Categorical Syllogism All humans are mortals Socrates is a human Therefore, Socrates is mortal

19 Types of Syllogisms Categorical Syllogism All humans are mortals Socrates is a human Therefore, Socrates is mortal

20 Types of Syllogisms Categorical Syllogism All cats are pigs Garfield is a cat Therefore, Garfield is a pig

21 Types of Syllogisms Categorical Syllogism All cats are pigs Garfield is a cat Therefore, Garfield is a pig Is there anything wrong with this argument? Is it logical and sound?

22 Types of Syllogisms Categorical Syllogism All cats are pigs Garfield is a cat Therefore, Garfield is a pig If either one of the premises are false the argument can t be sound, even though it may be valid

23 Categorical Syllogisms Testing Validity How do we know if a categorical syllogism is valid or invalid? Logicians have governed rules to test the validity of an argument

24 Categorical Syllogisms Testing Validity 1. Two negative propositions can never result in a positive conclusion a negative proposition says that something does not belong in a class of things. As a result the conclusion cannot go on to say that something does belong in a class

25 Categorical Syllogisms Testing Validity 1. Two negative propositions can never result in a positive conclusion No cats are fashion designers No dogs are cats Therefore, dogs are fashion designers

26 Categorical Syllogisms Testing Validity 2. When one of the premises expresses a negative, the conclusion must also be a negative. No cars are toys Toys are things you play with Therefore, cars are things you play with

27 Categorical Syllogisms Testing Validity No cars are toys Toys are things you play with Therefore, cars are things you play with The idea of playing with cars may be appealing, but the syllogism is invalid because it draws a positive conclusion when one of the premises expresses a negative proposition.

28 Categorical Syllogisms Testing Validity 3. No conclusion can be drawn from two particular propositions John is a student Some students are members of the school swim team Therefore, John is a member of the school swim team

29 Categorical Syllogisms Testing Validity All correct syllogisms can be shown in a Venn diagram All teachers are educators Nahla is a teacher Therefore, Nahla is an educator

30 Categorical Syllogisms Testing Validity All correct syllogisms can be shown in a Venn diagram Teachers Nahla Educators

31 Disjunctive Syllogisms Open with either-or statements In logic, the word disjunctive means involving a choice A disjunctive syllogism, therefore, expresses a choice

32 Disjunctive Syllogisms It states that either one thing or another is true and leaves in the possibility that both could be true When logicians do not want to mean both, they specifically say, either, but not both

33 Disjunctive Syllogisms Either Tom or Sasha (not both) is a baseball fan (Either A or B is C) Tom is not a baseball fan (A is not a C) Therefore, Sasha is a baseball fan (Therefore, B is a C)

34 Disjunctive Syllogisms (MP) Either Tom or Sasha (or both) is a baseball fan (MP) Tom is not a baseball fan (CON) Therefore, Sasha is a baseball fan The major premise states that one of two things is the case The use of the word or includes the idea or both. It is understood that or both is included.

35 Disjunctive Syllogisms (MP) Either Tom or Sasha (or both) is a baseball fan (MIP) Tom is not a baseball fan (CON) Therefore, Sasha is a baseball fan The minor premise of this syllogism denies one of the alternatives The conclusion then accepts the other alternative.

36 Disjunctive Syllogisms (MP) Either Tom or Sasha (or both) is a baseball fan (MIP) Tom is not a baseball fan (CON) Therefore, Sasha is a baseball fan This is a valid form of the argument. Compare it to the following example:

37 Disjunctive Syllogisms Either Tom or Sasha (or both) is a baseball fan (MIP) Sasha is a baseball fan (CON) Therefore, Tom is not a baseball fan Is this valid? NO..The word or in the first statement includes the idea or both. Just because Sasha is a baseball fan, it does not follow that Tim is NOT a baseball fan. Both could be fans as the premise stated

38 Disjunctive Syllogisms Either Tom or Sasha (or both) is a baseball fan (MIP) Sasha is a baseball fan (CON) Therefore, Tom is not a baseball fan Only one rule governs disjunctive syllogisms: To be valid, the premises must contain a denial of one alternative, and the conclusion must affirm the other

39 Hypothetical Syllogisms Easy to spot because they usually contain if-then statements At least one of the premises must be a hypothesis, which begins with the word if EX

40 Hypothetical Syllogisms If you water the garden, the tomato plants will grow If the plants grow, you will then have tomatoes to eat Therefore, if you water the garden, then you will have some tomatoes to eat If A, then B If B, then C Therefore If A then C

41 Hypothetical Syllogisms If you water the garden, the tomato plants will grow If the plants grow, you will then have tomatoes to eat Therefore, if you water the garden, then you will have some tomatoes to eat This argument is: Valid? Sound?

42 Hypothetical Syllogism What happens if hypothetical propositions do not express a true cause-and-effect relationship? If you buy that shirt, you will get a date If you get a date, you will be married in one year Therefore, if you buy that shirt, you will be married within one year Valid? Sond?

Deductive reasoning is the application of a general statement to a specific instance.

Deductive reasoning is the application of a general statement to a specific instance. Section1.1: Deductive versus Inductive Reasoning Logic is the science of correct reasoning. Websters New World College Dictionary defines reasoning as the drawing of inferences or conclusions from known

More information

Hypothetical Syllogisms 1

Hypothetical Syllogisms 1 Phil 2302 Intro to Logic Dr. Naugle Hypothetical Syllogisms 1 Compound syllogisms are composed of different kinds of sentences in their premises and conclusions (not just categorical propositions, statements

More information

def: An axiom is a statement that is assumed to be true, or in the case of a mathematical system, is used to specify the system.

def: An axiom is a statement that is assumed to be true, or in the case of a mathematical system, is used to specify the system. Section 1.5 Methods of Proof 1.5.1 1.5 METHODS OF PROOF Some forms of argument ( valid ) never lead from correct statements to an incorrect. Some other forms of argument ( fallacies ) can lead from true

More information

CHAPTER 3. Methods of Proofs. 1. Logical Arguments and Formal Proofs

CHAPTER 3. Methods of Proofs. 1. Logical Arguments and Formal Proofs CHAPTER 3 Methods of Proofs 1. Logical Arguments and Formal Proofs 1.1. Basic Terminology. An axiom is a statement that is given to be true. A rule of inference is a logical rule that is used to deduce

More information

6.1 Standard Form, Mood, and Figure

6.1 Standard Form, Mood, and Figure 6.1 Standard Form, Mood, and Figure Definition: A syllogism is an argument with two premises and a conclusion. Definition: A categorical syllogism is a syllogism whose premises and conclusion are all categorical

More information

1.2 Forms and Validity

1.2 Forms and Validity 1.2 Forms and Validity Deductive Logic is the study of methods for determining whether or not an argument is valid. In this section we identify some famous valid argument forms. Argument Forms Consider

More information

Predicate logic Proofs Artificial intelligence. Predicate logic. SET07106 Mathematics for Software Engineering

Predicate logic Proofs Artificial intelligence. Predicate logic. SET07106 Mathematics for Software Engineering Predicate logic SET07106 Mathematics for Software Engineering School of Computing Edinburgh Napier University Module Leader: Uta Priss 2010 Copyright Edinburgh Napier University Predicate logic Slide 1/24

More information

Beyond Propositional Logic Lukasiewicz s System

Beyond Propositional Logic Lukasiewicz s System Beyond Propositional Logic Lukasiewicz s System Consider the following set of truth tables: 1 0 0 1 # # 1 0 # 1 1 0 # 0 0 0 0 # # 0 # 1 0 # 1 1 1 1 0 1 0 # # 1 # # 1 0 # 1 1 0 # 0 1 1 1 # 1 # 1 Brandon

More information

PHILOSOPHY 101: CRITICAL THINKING

PHILOSOPHY 101: CRITICAL THINKING PHILOSOPHY 101: CRITICAL THINKING [days and times] [classroom] [semester] 20YY, [campus] [instructor s name] [office hours: days and times] [instructor s e-mail] COURSE OBJECTIVES AND OUTCOMES 1. Identify

More information

Philosophical argument

Philosophical argument Michael Lacewing Philosophical argument At the heart of philosophy is philosophical argument. Arguments are different from assertions. Assertions are simply stated; arguments always involve giving reasons.

More information

Kant s deontological ethics

Kant s deontological ethics Michael Lacewing Kant s deontological ethics DEONTOLOGY Deontologists believe that morality is a matter of duty. We have moral duties to do things which it is right to do and moral duties not to do things

More information

Claims of Fact, Value, and Policy. A multidisciplinary approach to informal argumentation

Claims of Fact, Value, and Policy. A multidisciplinary approach to informal argumentation Claims of Fact, Value, and Policy A multidisciplinary approach to informal argumentation Claims of Fact A claim of fact posits whether something is true or untrue, but there must always be the potential

More information

Deductive versus Inductive Reasoning

Deductive versus Inductive Reasoning Deductive Arguments 1 Deductive versus Inductive Reasoning Govier has pointed out that there are four basic types of argument: deductive, inductive generalization, analogical, and conductive. For our purposes,

More information

Inductive Reasoning Page 1 of 7. Inductive Reasoning

Inductive Reasoning Page 1 of 7. Inductive Reasoning Inductive Reasoning Page 1 of 7 Inductive Reasoning We learned that valid deductive thinking begins with at least one universal premise and leads to a conclusion that is believed to be contained in the

More information

HUMN-218 COURSE SYLLABUS FOR LOGIC AND CRITICAL THINKING. Jill R. Wood Instructor

HUMN-218 COURSE SYLLABUS FOR LOGIC AND CRITICAL THINKING. Jill R. Wood Instructor Coffeyville Community College HUMN-218 COURSE SYLLABUS FOR LOGIC AND CRITICAL THINKING Jill R. Wood Instructor COURSE NUMBER: HUMN-218 COURSE TITLE: Logic and Critical Thinking CREDIT HOURS: 3 INSTRUCTOR:

More information

Predicate Logic. Example: All men are mortal. Socrates is a man. Socrates is mortal.

Predicate Logic. Example: All men are mortal. Socrates is a man. Socrates is mortal. Predicate Logic Example: All men are mortal. Socrates is a man. Socrates is mortal. Note: We need logic laws that work for statements involving quantities like some and all. In English, the predicate is

More information

Rules of Inference Friday, January 18, 2013 Chittu Tripathy Lecture 05

Rules of Inference Friday, January 18, 2013 Chittu Tripathy Lecture 05 Rules of Inference Today s Menu Rules of Inference Quantifiers: Universal and Existential Nesting of Quantifiers Applications Old Example Re-Revisited Our Old Example: Suppose we have: All human beings

More information

Likewise, we have contradictions: formulas that can only be false, e.g. (p p).

Likewise, we have contradictions: formulas that can only be false, e.g. (p p). CHAPTER 4. STATEMENT LOGIC 59 The rightmost column of this truth table contains instances of T and instances of F. Notice that there are no degrees of contingency. If both values are possible, the formula

More information

Syllogisms and Fallacies 101

Syllogisms and Fallacies 101 1 Syllogisms and Fallacies 101 This isn t a course in logic, but all educated people should know the basic vocabulary and the basic underlying logic of the syllogism. Major premise: No reptiles have fur.

More information

Logic Appendix. Section 1 Truth Tables CONJUNCTION EXAMPLE 1

Logic Appendix. Section 1 Truth Tables CONJUNCTION EXAMPLE 1 Logic Appendix T F F T Section 1 Truth Tables Recall that a statement is a group of words or symbols that can be classified collectively as true or false. The claim 5 7 12 is a true statement, whereas

More information

Logic and Reasoning Practice Final Exam Spring 2015. Section Number

Logic and Reasoning Practice Final Exam Spring 2015. Section Number Logic and Reasoning Practice Final Exam Spring 2015 Name Section Number The final examination is worth 100 points. 1. (5 points) What is an argument? Explain what is meant when one says that logic is the

More information

CATEGORICAL SYLLOGISMS AND DIAGRAMMING. Some lawyers are judges. Some judges are politicians. Therefore, some lawyers are politicians.

CATEGORICAL SYLLOGISMS AND DIAGRAMMING. Some lawyers are judges. Some judges are politicians. Therefore, some lawyers are politicians. PART 2 MODULE 4 CATEGORICAL SYLLOGISMS AND DIAGRAMMING Consider the following argument: Some lawyers are judges. Some judges are politicians. Therefore, some lawyers are politicians. Although the premises

More information

P1. All of the students will understand validity P2. You are one of the students -------------------- C. You will understand validity

P1. All of the students will understand validity P2. You are one of the students -------------------- C. You will understand validity Validity Philosophy 130 O Rourke I. The Data A. Here are examples of arguments that are valid: P1. If I am in my office, my lights are on P2. I am in my office C. My lights are on P1. He is either in class

More information

DEDUCTIVE & INDUCTIVE REASONING

DEDUCTIVE & INDUCTIVE REASONING DEDUCTIVE & INDUCTIVE REASONING Expectations 1. Take notes on inductive and deductive reasoning. 2. This is an information based presentation -- I simply want you to be able to apply this information to

More information

Structuring and Analyzing Arguments: The Classical, Rogerian, and Toulmin Models. Junior AP English

Structuring and Analyzing Arguments: The Classical, Rogerian, and Toulmin Models. Junior AP English Structuring and Analyzing Arguments: The Classical, Rogerian, and Toulmin Models Junior AP English Key Terms: Deductive vs. Inductive Reasoning Deductive Reasoning = in traditional Aristotelian logic,

More information

A Few Basics of Probability

A Few Basics of Probability A Few Basics of Probability Philosophy 57 Spring, 2004 1 Introduction This handout distinguishes between inductive and deductive logic, and then introduces probability, a concept essential to the study

More information

Teaching Critical Thinking Skills to English for Academic Purposes Students

Teaching Critical Thinking Skills to English for Academic Purposes Students Teaching Critical Thinking Skills to English for Academic Purposes Students Agenda 1. What is critical thinking? 2. Critical thinking and culture 3. Critical thinking tasks, Bloom s Taxonomy 4. Structuring

More information

Lecture 2: Moral Reasoning & Evaluating Ethical Theories

Lecture 2: Moral Reasoning & Evaluating Ethical Theories Lecture 2: Moral Reasoning & Evaluating Ethical Theories I. Introduction In this ethics course, we are going to avoid divine command theory and various appeals to authority and put our trust in critical

More information

Math 166 - Week in Review #4. A proposition, or statement, is a declarative sentence that can be classified as either true or false, but not both.

Math 166 - Week in Review #4. A proposition, or statement, is a declarative sentence that can be classified as either true or false, but not both. Math 166 Spring 2007 c Heather Ramsey Page 1 Math 166 - Week in Review #4 Sections A.1 and A.2 - Propositions, Connectives, and Truth Tables A proposition, or statement, is a declarative sentence that

More information

Philosophy 3: Critical Thinking University of California, Santa Barbara Fall 2011

Philosophy 3: Critical Thinking University of California, Santa Barbara Fall 2011 Philosophy 3: Critical Thinking University of California, Santa Barbara Fall 2011 General Information Lecture Time: MWF 8-8:50 AM Location: BUCHN 1910 Course Webpage: www.albert-shin.com/teaching/phil3.html

More information

Philosophy 120: Introductory Logic Summer 2007

Philosophy 120: Introductory Logic Summer 2007 Class: Date: Philosophy 120: Introductory Logic Summer 2007 Multiple Choice Identify the letter of the choice that best completes the statement or answers the question. INSTRUCTIONS: The following selections

More information

What happens when logic and psychology meet?

What happens when logic and psychology meet? Logic meets psychology 1 What happens when logic and psychology meet? 27 September 2005 Core Logic Logic and Cognition Group m.e.counihan@uva.nl kamer 218 (Vendelstraat 8) tel. 020-525 4531 Logic meets

More information

Existence Is Not a Predicate by Immanuel Kant

Existence Is Not a Predicate by Immanuel Kant Existence Is Not a Predicate by Immanuel Kant Immanuel Kant, Thoemmes About the author.... Immanuel Kant (1724-1804) studied in Königsberg, East Prussia. Before he fully developed an interest in philosophy,

More information

Divine command theory

Divine command theory Today we will be discussing divine command theory. But first I will give a (very) brief overview of the semester, and the discipline of philosophy. Why do this? One of the functions of an introductory

More information

A DIVISION OF THE MENO. Meno proposes a question: whether virtue can be taught. Three conversations or discussions following question

A DIVISION OF THE MENO. Meno proposes a question: whether virtue can be taught. Three conversations or discussions following question A DIVISION OF THE MENO 70A 70B-100B Meno proposes a question: whether virtue can be taught Three conversations or discussions following question 70B-80D Conversation on a question before Meno's: what is

More information

What Is Induction and Why Study It?

What Is Induction and Why Study It? 1 What Is Induction and Why Study It? Evan Heit Why study induction, and indeed, why should there be a whole book devoted to the study of induction? The first reason is that inductive reasoning corresponds

More information

Development of a computer system to support knowledge acquisition of basic logical forms using fairy tale "Alice in Wonderland"

Development of a computer system to support knowledge acquisition of basic logical forms using fairy tale Alice in Wonderland Development of a computer system to support knowledge acquisition of basic logical forms using fairy tale "Alice in Wonderland" Antonija Mihaljević Španjić *, Alen Jakupović *, Matea Tomić * * Polytechnic

More information

Artificial Intelligence

Artificial Intelligence Artificial Intelligence ICS461 Fall 2010 1 Lecture #12B More Representations Outline Logics Rules Frames Nancy E. Reed nreed@hawaii.edu 2 Representation Agents deal with knowledge (data) Facts (believe

More information

2.5 If-Then Statements and

2.5 If-Then Statements and Page 1 of 6 2.5 If-Then Statements and Deductive Reasoning Goal Use if-then statements. Apply laws of logic. An if-then statement has two parts. The if part contains the hypothesis. The then part contains

More information

CRITICAL THINKING REASONS FOR BELIEF AND DOUBT (VAUGHN CH. 4)

CRITICAL THINKING REASONS FOR BELIEF AND DOUBT (VAUGHN CH. 4) CRITICAL THINKING REASONS FOR BELIEF AND DOUBT (VAUGHN CH. 4) LECTURE PROFESSOR JULIE YOO Claims Without Arguments When Claims Conflict Conflicting Claims Conflict With Your Background Information Experts

More information

What Is Circular Reasoning?

What Is Circular Reasoning? What Is Circular Reasoning? Logical fallacies are a type of error in reasoning, errors which may be recognized and corrected by observant thinkers. There are a large number of informal fallacies that are

More information

INDUCTIVE & DEDUCTIVE RESEARCH APPROACH

INDUCTIVE & DEDUCTIVE RESEARCH APPROACH INDUCTIVE & DEDUCTIVE RESEARCH APPROACH Meritorious Prof. Dr. S. M. Aqil Burney Director UBIT Chairman Department of Computer Science University of Karachi burney@computer.org www.drburney.net Designed

More information

L.A. Mission College Sylmar, California Spring 2012 Philosophy 06: Logic in Practice (3395) Thur 6:50-10:00 pm in Instr 1002

L.A. Mission College Sylmar, California Spring 2012 Philosophy 06: Logic in Practice (3395) Thur 6:50-10:00 pm in Instr 1002 Professor: Lucas J. Mather Email: matherlj@lamission.edu Office Hours: Thur from 10:05 to 10:40 pm. REQUIRED TEXTBOOK: Patrick Hurley, A Concise Introduction to Logic, 2011. This is a standard, well-regarded

More information

1/9. Locke 1: Critique of Innate Ideas

1/9. Locke 1: Critique of Innate Ideas 1/9 Locke 1: Critique of Innate Ideas This week we are going to begin looking at a new area by turning our attention to the work of John Locke, who is probably the most famous English philosopher of all

More information

Building a Better Argument

Building a Better Argument Building a Better Argument Summary Whether it s an ad for burger chains, the closing scene of a Law & Order spinoff, a discussion with the parents about your social life or a coach disputing a close call,

More information

Gödel s Ontological Proof of the Existence of God

Gödel s Ontological Proof of the Existence of God Prof. Dr. Elke Brendel Institut für Philosophie Lehrstuhl für Logik und Grundlagenforschung g Rheinische Friedrich-Wilhelms-Universität Bonn ebrendel@uni-bonn.de Gödel s Ontological Proof of the Existence

More information

Scientific Reasoning: A Solution to the Problem of Induction

Scientific Reasoning: A Solution to the Problem of Induction International Journal of Basic & Applied Sciences IJBAS-IJENS Vol:10 No:03 49 Scientific Reasoning: A Solution to the Problem of Induction Wilayat Khan and Habib Ullah COMSATS Institute of Information

More information

The Refutation of Relativism

The Refutation of Relativism The Refutation of Relativism There are many different versions of relativism: ethical relativism conceptual relativism, and epistemic relativism are three. In this paper, I will be concerned with only

More information

The Mathematics of GIS. Wolfgang Kainz

The Mathematics of GIS. Wolfgang Kainz The Mathematics of GIS Wolfgang Kainz Wolfgang Kainz Department of Geography and Regional Research University of Vienna Universitätsstraße 7, A-00 Vienna, Austria E-Mail: wolfgang.kainz@univie.ac.at Version.

More information

Mathematics for Computer Science/Software Engineering. Notes for the course MSM1F3 Dr. R. A. Wilson

Mathematics for Computer Science/Software Engineering. Notes for the course MSM1F3 Dr. R. A. Wilson Mathematics for Computer Science/Software Engineering Notes for the course MSM1F3 Dr. R. A. Wilson October 1996 Chapter 1 Logic Lecture no. 1. We introduce the concept of a proposition, which is a statement

More information

Phil 2302 Intro to Logic. Introduction to Induction i

Phil 2302 Intro to Logic. Introduction to Induction i Phil 2302 Intro to Logic Introduction to Induction i "The object of reasoning is to find out, from the consideration of what we already know, something else which we do not know. Consequently, reasoning

More information

A. Arguments are made up of statements, which can be either true or false. Which of the following are statements?

A. Arguments are made up of statements, which can be either true or false. Which of the following are statements? Critical Thinking University of St Andrews March 2007 Bullet point material is not on the students copies. Feel free to use the material as you see fit, depending on timing, ability, enthusiasm etc. Good

More information

First Affirmative Speaker Template 1

First Affirmative Speaker Template 1 First Affirmative Speaker Template 1 upon the gender of the Chairman.) DEFINITION 2A. We define the topic as (Explain what the topic means. Define the key or important words in the topic. Use a dictionary

More information

GLOBAL GOAL 1: THE STUDENT WILL ACQUIRE CRITICAL THINKING SKILLS. Instructional Learning objectives: The student will be able to...

GLOBAL GOAL 1: THE STUDENT WILL ACQUIRE CRITICAL THINKING SKILLS. Instructional Learning objectives: The student will be able to... A B C D E F G H I PHL 100*#^ PHL 125#^ PHL 203 PHL 209 1 2 3 Philosophy Major Program Applied Ethics Concentration Philosophy of Art & Culture Concentration Intro. to Philosophy Critical Reasoning Business

More information

ACTIVITY: Identifying Common Multiples

ACTIVITY: Identifying Common Multiples 1.6 Least Common Multiple of two numbers? How can you find the least common multiple 1 ACTIVITY: Identifying Common Work with a partner. Using the first several multiples of each number, copy and complete

More information

Logic in general. Inference rules and theorem proving

Logic in general. Inference rules and theorem proving Logical Agents Knowledge-based agents Logic in general Propositional logic Inference rules and theorem proving First order logic Knowledge-based agents Inference engine Knowledge base Domain-independent

More information

2nd Grade Language Arts Practice Test

2nd Grade Language Arts Practice Test 2nd Grade Language Arts Practice Name: Instructions: Copyright 2000-2002 Measured Progress, All Rights Reserved : 1. Which word in the paragraph below is used too much? My music teacher is nice. He plays

More information

Check Skills You ll Need. New Vocabulary union intersection disjoint sets. Union of Sets

Check Skills You ll Need. New Vocabulary union intersection disjoint sets. Union of Sets NY-4 nion and Intersection of Sets Learning Standards for Mathematics..31 Find the intersection of sets (no more than three sets) and/or union of sets (no more than three sets). Check Skills You ll Need

More information

Invalidity in Predicate Logic

Invalidity in Predicate Logic Invalidity in Predicate Logic So far we ve got a method for establishing that a predicate logic argument is valid: do a derivation. But we ve got no method for establishing invalidity. In propositional

More information

1. Implication. Example 1. Each of the following statements is an implication: You can view Statement 1 above as a promise.

1. Implication. Example 1. Each of the following statements is an implication: You can view Statement 1 above as a promise. 1. Implication The statement means that if p is true, then q must also be true. The statement is also written if p then q or sometimes q if p. Statement p is called the premise of the implication and q

More information

Program Level Learning Outcomes for the Department of Philosophy Page 1

Program Level Learning Outcomes for the Department of Philosophy Page 1 Page 1 PHILOSOPHY General Major I. Depth and Breadth of Knowledge. A. Will be able to recall what a worldview is and recognize that we all possess one. B. Should recognize that philosophy is most broadly

More information

COURSE SYLLABUS PHILOSOPHY 001 CRITICAL THINKING AND WRITING SPRING 2012

COURSE SYLLABUS PHILOSOPHY 001 CRITICAL THINKING AND WRITING SPRING 2012 1 COURSE SYLLABUS PHILOSOPHY 001 CRITICAL THINKING AND WRITING SPRING 2012 All students are required to read and have a thorough understanding of the syllabus. Any questions or concerns need to be addressed

More information

OA3-10 Patterns in Addition Tables

OA3-10 Patterns in Addition Tables OA3-10 Patterns in Addition Tables Pages 60 63 Standards: 3.OA.D.9 Goals: Students will identify and describe various patterns in addition tables. Prior Knowledge Required: Can add two numbers within 20

More information

Examination paper for MA0301 Elementær diskret matematikk

Examination paper for MA0301 Elementær diskret matematikk Department of Mathematical Sciences Examination paper for MA0301 Elementær diskret matematikk Academic contact during examination: Iris Marjan Smit a, Sverre Olaf Smalø b Phone: a 9285 0781, b 7359 1750

More information

A Short Course in Logic Example 8

A Short Course in Logic Example 8 A Short ourse in Logic xample 8 I) Recognizing Arguments III) valuating Arguments II) Analyzing Arguments valuating Arguments with More than one Line of Reasoning valuating If then Premises Independent

More information

p: I am elected q: I will lower the taxes

p: I am elected q: I will lower the taxes Implication Conditional Statement p q (p implies q) (if p then q) is the proposition that is false when p is true and q is false and true otherwise. Equivalent to not p or q Ex. If I am elected then I

More information

Cornell Critical Thinking Test Series THE CORNELL CLASS-REASONING TEST, FORM X

Cornell Critical Thinking Test Series THE CORNELL CLASS-REASONING TEST, FORM X Cornell Critical Thinking Test Series THE CORNELL CLASS-REASONING TEST, FORM X by Robert H. Ennis William L. Gardiner Richard Morrow Dieter Paulus LuciIIe Ringel Fill in the blanks when you are asked to

More information

Buridan and the Avicenna-Johnston semantics

Buridan and the Avicenna-Johnston semantics 1 2 Buridan and the Avicenna-Johnston semantics Wilfrid Hodges Medieval Philosophy Network Warburg Institute, 1 April 2016 wilfridhodges.co.uk/history24.pdf Avicenna, c. 980 1037 3 4 Fak r al-dīn Rāzī

More information

Fasit til øvingshefte

Fasit til øvingshefte Fasit til øvingshefte Engelsk Mellomtrinn Leseferdighet Copyright Fagbokforlaget Vigmostad & Bjørke AS Kartleggeren øvingshefte Fasit Engelsk Mellomtrinn 1 Leseferdighet Fasit Seksjon 1 Oppgave 1.1 Find

More information

DISCRETE MATH: LECTURE 3

DISCRETE MATH: LECTURE 3 DISCRETE MATH: LECTURE 3 DR. DANIEL FREEMAN 1. Chapter 2.2 Conditional Statements If p and q are statement variables, the conditional of q by p is If p then q or p implies q and is denoted p q. It is false

More information

PHIL 103-001: CRITICAL THINKING

PHIL 103-001: CRITICAL THINKING PHIL103-001 Critical Thinking Dr. R. England - Syllabus subject to revision at instructor s discretion 1 PHIL 103-001: CRITICAL THINKING Dr. Richard England Philosophy House, Room 106 410-677-3718 Office

More information

Basic Set Theory. 1. Motivation. Fido Sue. Fred Aristotle Bob. LX 502 - Semantics I September 11, 2008

Basic Set Theory. 1. Motivation. Fido Sue. Fred Aristotle Bob. LX 502 - Semantics I September 11, 2008 Basic Set Theory LX 502 - Semantics I September 11, 2008 1. Motivation When you start reading these notes, the first thing you should be asking yourselves is What is Set Theory and why is it relevant?

More information

Full details of the course syllabus, support and examination arrangements are provided below.

Full details of the course syllabus, support and examination arrangements are provided below. A Level Studies in conjunction with Oxford College Study House is pleased to be able to offer students the opportunity to study A levels through our partner Oxford College who will provide study materials

More information

Nombre: Today is Monday. Yesterday was. Tomorrow will be. Today is Friday. Yesterday was. Tomorrow will be. Today is Wednesday.

Nombre: Today is Monday. Yesterday was. Tomorrow will be. Today is Friday. Yesterday was. Tomorrow will be. Today is Wednesday. Nombre: Days of the week. Read and complete. Today is Monday. Yesterday was Tomorrow will be. Today is Friday. Yesterday was Tomorrow will be. Today is Wednesday. Yesterday was Tomorrow will be. Today

More information

Cosmological Arguments for the Existence of God S. Clarke

Cosmological Arguments for the Existence of God S. Clarke Cosmological Arguments for the Existence of God S. Clarke [Modified Fall 2009] 1. Large class of arguments. Sometimes they get very complex, as in Clarke s argument, but the basic idea is simple. Lets

More information

The History of Logic. Aristotle (384 322 BC) invented logic.

The History of Logic. Aristotle (384 322 BC) invented logic. The History of Logic Aristotle (384 322 BC) invented logic. Predecessors: Fred Flintstone, geometry, sophists, pre-socratic philosophers, Socrates & Plato. Syllogistic logic, laws of non-contradiction

More information

Mathematics Test Book 2

Mathematics Test Book 2 Mathematics Test Grade 6 March 6 12, 2008 Name 20298 Developed and published by CTB/McGraw-Hill LLC, a subsidiary of The McGraw-Hill Companies, Inc., 20 Ryan Ranch Road, Monterey, California 93940-5703.

More information

Grade 8 Mathematics Data Analysis, Probability, and Discrete Mathematics: Lesson 3

Grade 8 Mathematics Data Analysis, Probability, and Discrete Mathematics: Lesson 3 Grade 8 Mathematics Data Analysis, Probability, and Discrete Mathematics: Lesson 3 Read aloud to the students the material that is printed in boldface type inside the boxes. Information in regular type

More information

Tom had 5 toy cars. His dad gave him 3 more toy cars. How many toy cars did Tom have in all?

Tom had 5 toy cars. His dad gave him 3 more toy cars. How many toy cars did Tom have in all? How many and in all? How many more than? How many are left? Tom had 5 toy cars. His dad gave him 3 more toy cars. How many toy cars did Tom have in all? 7 birds were in a tree. 2 more birds flew to the

More information

A simple solution to the hardest logic puzzle ever

A simple solution to the hardest logic puzzle ever a simple solution to the hardest logic puzzle ever 105 11 Potts, C. 2005. The Logic of Conventional Implicatures. Oxford: Oxford University Press. Searle, J. R. and D. Vanderveken. 1985. Foundations of

More information

3. Mathematical Induction

3. Mathematical Induction 3. MATHEMATICAL INDUCTION 83 3. Mathematical Induction 3.1. First Principle of Mathematical Induction. Let P (n) be a predicate with domain of discourse (over) the natural numbers N = {0, 1,,...}. If (1)

More information

Lecture Notes in Discrete Mathematics. Marcel B. Finan Arkansas Tech University c All Rights Reserved

Lecture Notes in Discrete Mathematics. Marcel B. Finan Arkansas Tech University c All Rights Reserved Lecture Notes in Discrete Mathematics Marcel B. Finan Arkansas Tech University c All Rights Reserved 2 Preface This book is designed for a one semester course in discrete mathematics for sophomore or junior

More information

Handout #1: Mathematical Reasoning

Handout #1: Mathematical Reasoning Math 101 Rumbos Spring 2010 1 Handout #1: Mathematical Reasoning 1 Propositional Logic A proposition is a mathematical statement that it is either true or false; that is, a statement whose certainty or

More information

Basic Proof Techniques

Basic Proof Techniques Basic Proof Techniques David Ferry dsf43@truman.edu September 13, 010 1 Four Fundamental Proof Techniques When one wishes to prove the statement P Q there are four fundamental approaches. This document

More information

CHAPTER 7 GENERAL PROOF SYSTEMS

CHAPTER 7 GENERAL PROOF SYSTEMS CHAPTER 7 GENERAL PROOF SYSTEMS 1 Introduction Proof systems are built to prove statements. They can be thought as an inference machine with special statements, called provable statements, or sometimes

More information

LOGIC AND SETS CLAST MATHEMATICS COMPETENCIES

LOGIC AND SETS CLAST MATHEMATICS COMPETENCIES 5 LOGIC AND SETS CLAST MATHEMATICS COMPETENCIES IE1: IIE1: IIE2: IIE3: IIE4: IIIE1: IIIE2: IVE1: Deduce facts of set inclusion or set non-inclusion from a diagram Identify statements equivalent to the

More information

Introduction to Symbolic Logic Vaishali Khandekar, PhD Course Description: PREREQUISITE(S): CO-REQUISITE(S): FREQUENT REQUISITES

Introduction to Symbolic Logic Vaishali Khandekar, PhD Course Description: PREREQUISITE(S): CO-REQUISITE(S): FREQUENT REQUISITES Introduction to Symbolic Logic PHIL 2303-77400 Fall 2013 (3 Credit Hours) HCC Northwest College Tuesday, Thursday 11:00 AM 12:30 PM Instructor: Vaishali Khandekar, PhD Katy Campus, Room 347 Vaishali.khandekar@hccs.edu

More information

Nombre: Today is Monday. Yesterday was. Tomorrow will be. Today is Friday. Yesterday was. Tomorrow will be. Today is Wednesday.

Nombre: Today is Monday. Yesterday was. Tomorrow will be. Today is Friday. Yesterday was. Tomorrow will be. Today is Wednesday. Nombre: Days of the week. Read and write. Today is Monday. Yesterday was Tomorrow will be. Today is Friday. Yesterday was Tomorrow will be. Today is Wednesday. Yesterday was Tomorrow will be. Today is

More information

6.2 Permutations continued

6.2 Permutations continued 6.2 Permutations continued Theorem A permutation on a finite set A is either a cycle or can be expressed as a product (composition of disjoint cycles. Proof is by (strong induction on the number, r, of

More information

Analyzing Marketing Cases

Analyzing Marketing Cases Analyzing Marketing Cases What is a case? A case is a verbal snapshot of the whole or some part of an organization. The cases are all based upon problems and events that actually took place, although in

More information

or conventional implicature [1]. If the implication is only pragmatic, explicating logical truth, and, thus, also consequence and inconsistency.

or conventional implicature [1]. If the implication is only pragmatic, explicating logical truth, and, thus, also consequence and inconsistency. 44 ANALYSIS explicating logical truth, and, thus, also consequence and inconsistency. Let C1 and C2 be distinct moral codes formulated in English. Let C1 contain a norm N and C2 its negation. The moral

More information

Kant s Fundamental Principles of the Metaphysic of Morals

Kant s Fundamental Principles of the Metaphysic of Morals Kant s Fundamental Principles of the Metaphysic of Morals G. J. Mattey Winter, 2015/ Philosophy 1 The Division of Philosophical Labor Kant generally endorses the ancient Greek division of philosophy into

More information

QUANTITATIVE METHODS BIOLOGY FINAL HONOUR SCHOOL NON-PARAMETRIC TESTS

QUANTITATIVE METHODS BIOLOGY FINAL HONOUR SCHOOL NON-PARAMETRIC TESTS QUANTITATIVE METHODS BIOLOGY FINAL HONOUR SCHOOL NON-PARAMETRIC TESTS This booklet contains lecture notes for the nonparametric work in the QM course. This booklet may be online at http://users.ox.ac.uk/~grafen/qmnotes/index.html.

More information

BASIC CONCEPTS OF LOGIC

BASIC CONCEPTS OF LOGIC 1 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 information

PHIL 210 A Logic and Critical Thinking

PHIL 210 A Logic and Critical Thinking Columbia College Online Campus P a g e 1 PHIL 210 A Logic and Critical Thinking Late Fall Session 15/52 October 26 December 19, 2015 Course Description Overview of the principles and methods of critical

More information

Fun for all the Family 3- Quite a few games for articles and determiners

Fun for all the Family 3- Quite a few games for articles and determiners Fun for all the Family 3- Quite a few games for articles and determiners Articles in English is one of those grammar points that are fairly easy to explain the fundamentals of, but even Advanced learners

More information

Course Description. Required Textbook

Course Description. Required Textbook Philosophy 004 Critical Thinking Fall 2013 M/W/F 8:00 AM 8:50 AM Room: Douglas Hall 110 Satisfies General Education Area A3 (see course objectives/requirements below) Instructor: J. Carboni E-mail: philosophy.carboni@gmail.com

More information

Predicate Logic. For example, consider the following argument:

Predicate Logic. For example, consider the following argument: Predicate Logic The analysis of compound statements covers key aspects of human reasoning but does not capture many important, and common, instances of reasoning that are also logically valid. For example,

More information

Zoos Classroom Activity

Zoos Classroom Activity Zoos Classroom Activity The Classroom Activity introduces students to the context of a performance task so they are not disadvantaged in demonstrating the skills the task intends to assess. Contextual

More information