Elements of Science (cont.); Conditional Statements. Phil 12: Logic and Decision Making Fall 2010 UC San Diego 9/29/2010

Size: px
Start display at page:

Download "Elements of Science (cont.); Conditional Statements. Phil 12: Logic and Decision Making Fall 2010 UC San Diego 9/29/2010"

Transcription

1 Elements of Science (cont.); Conditional Statements Phil 12: Logic and Decision Making Fall 2010 UC San Diego 9/29/2010 1

2 Why cover statements and arguments Decision making (whether in science or elsewhere) involves reasoning based on evidence Question: when does some piece of information count as (good) evidence for or against a conclusion? - When does some piece of information (evidence) serve to support (confirm) or count against (disconfirm) a hypothesis or theory? To answer these questions we need to discuss arguments, and the statements of which they re composed 2

3 Clicker question 1 What type of statement is the following sentence: It is sunny, but it is not sunny. A. tautology B. contingent statement C. contradiction 3

4 Review - 1 Statements are sentences that have a truth value are either true or false - Contingent statements: could be true or could be false - Contradictions: always false - Tautologies: always true 4

5 Trying to define ordinary terms Necessary and sufficient conditions can generally only be provided for technical terms (e.g., in mathematics or in legal contracts) Most ordinary terms defy such definition: For any attempted definition, a counterexample can be found A counterexample is either: 1. An example that fits the definition but we would not count as an instance of a term; or 2. An example that does not fit the definition but we would count as an instance of a term 5

6 Clicker question 2 Which of the following is an adequate definition of bird? A. an animal that can fly B. an animal with feathers C. an animal with a beak D. an animal with feathers and a beak that can fly 6

7 Define bird Flying: is every animal that flies a bird? - Not all birds fly, and most insects do Feathers: is every animal with feathers a bird? - Caudipteryx, Microraptor seem to have had feathers but not be birds 7

8 Doing without definitions Start with typical cases Robin Blue jay Sparrow Extend to unusual cases 8

9 Arguments and justification If someone asserts something which you do not believe,you frequently ask them to justify what they say An argument is a set of statements, some of which are offered as support for other statements in the set - An argument provides reasons to believe something - An argument need not involve another person: you can construct an argument to demonstrate that something is true without showing it to anyone 9

10 Elements of arguments Premises: statements offered in support - Often indicated by words such as because, since, given that, on account of, etc. Conclusion: the statement that is supported - Often indicated by words such as thus, therefore, this establishes that, etc. Example: Premises Conclusion The car has a large dent in it. Dents don t just appear in cars. You had an accident. 10

11 Good and bad arguments We don t just care whether the conclusion is true We also want to know whether the reasons stated in the premises give us good logical grounds for thinking that the conclusion is true The goal is not actual persuasion (people can be persuaded for bad reasons), but establishing the truth Two factors relevant to the evaluation of arguments: 1. Are the premises true? 2. Is the connection between the premises and the conclusion such that: if the premises were true, would they establish that the conclusion is true? 11

12 Valid arguments An argument is valid iff it meets the following condition: if the premises were true, the conclusion must also be true - A valid argument cannot have true premises and a false conclusion This relationship is modal: it tells us what would be the case were certain conditions to be met - These conditions might not be satisfied in reality - The definition tells you nothing about what happens when they are not satisfied A way to test for validity: if you can imagine a situation in which the premises are true and the conclusion false, then the argument is not valid 12

13 Sound arguments An argument is sound iff: 1. the premises are true 2. the argument is valid This definition of a sound argument does not say anything about the truth of the conclusion - But the conclusion of a sound argument must be true A sound argument meets both of the desiderata of a good argument: - True premises - Valid 13

14 Clicker question 3 A valid argument cannot have a false conclusion. A. True B. False 14

15 Clicker question 4 A sound argument cannot have a false conclusion. A. True B. False 15

16 Clicker question 5 An argument with a true conclusion is sound. A. True B. False 16

17 Conditional statements Conditional statements consist of two component statements linked by the logical connective IF, THEN - If it rains today, then there will be no game If and then are not marking premises and conclusion of an argument antecedent consequent - If it rains today, then there will be no game is not an argument! It simply asserts a conditional relationship between two statements - Compare: On account of the fact that it is raining today, there will be no picnic. 17

18 Truth values of conditional statements IF, THEN is a truth functional connective: the truth of a compound (whole) statement depends only on the truth values of the component statements If A, then B is false when the antecedent is true and the consequent is false. Otherwise, it is true. You trespass You are arrested If you trespass, then you will be arrested TRUE FALSE FALSE TRUE TRUE TRUE FALSE FALSE TRUE FALSE TRUE TRUE 18

19 Clicker question 6 The statement The alarm will not sound if the window is opened is false when: A. The alarm sounds and the window is opened B. The alarm sounds and the window is not opened C. The alarm does not sound and the window is opened D. The alarm does not sound and the window is not opened 19

20 Reversing antecedent and consequent IF A, THEN B is not equivalent to IF B, THEN A - - IF A, THEN B is false when A is true and B is false IF B, THEN A is false when B is true and A is false IF A, THEN B is equivalent to IF NOT B, THEN NOT A. If you trespass, then you will be arrested is equivalent to If you are NOT arrested, then you did NOT trespass 20

UC Berkeley, Philosophy 142, Spring 2016

UC 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 information

Deduction by Daniel Bonevac. Chapter 1 Basic Concepts of Logic

Deduction by Daniel Bonevac. Chapter 1 Basic Concepts of Logic Deduction by Daniel Bonevac Chapter 1 Basic Concepts of Logic Logic defined Logic is the study of correct reasoning. Informal logic is the attempt to represent correct reasoning using the natural language

More information

The way we convince people is generally to refer to sufficiently many things that they already know are correct.

The way we convince people is generally to refer to sufficiently many things that they already know are correct. Theorem A Theorem is a valid deduction. One of the key activities in higher mathematics is identifying whether or not a deduction is actually a theorem and then trying to convince other people that you

More information

Logic Appendix: More detailed instruction in deductive logic

Logic Appendix: More detailed instruction in deductive logic Logic Appendix: More detailed instruction in deductive logic Standardizing and Diagramming In Reason and the Balance we have taken the approach of using a simple outline to standardize short arguments,

More information

Quantifiers: Their Semantic Type (Part 3) Heim and Kratzer Chapter 6

Quantifiers: Their Semantic Type (Part 3) Heim and Kratzer Chapter 6 Quantifiers: Their Semantic Type (Part 3) Heim and Kratzer Chapter 6 1 6.7 Presuppositional quantifier phrases 2 6.7.1 Both and neither (1a) Neither cat has stripes. (1b) Both cats have stripes. (1a) and

More information

What are Truth-Tables and What Are They For?

What are Truth-Tables and What Are They For? PY114: Work Obscenely Hard Week 9 (Meeting 7) 30 November, 2010 What are Truth-Tables and What Are They For? 0. Business Matters: The last marked homework of term will be due on Monday, 6 December, at

More information

LOGIC ANTHONY KAPOLKA FYF 101-9/3/2010

LOGIC ANTHONY KAPOLKA FYF 101-9/3/2010 LOGIC ANTHONY KAPOLKA FYF 101-9/3/2010 LIBERALLY EDUCATED PEOPLE......RESPECT RIGOR NOT SO MUCH FOR ITS OWN SAKE BUT AS A WAY OF SEEKING TRUTH. LOGIC PUZZLE COOPER IS MURDERED. 3 SUSPECTS: SMITH, JONES,

More information

Philosophy 1100: Introduction to Ethics. Critical Thinking Lecture 1. Background Material for the Exercise on Validity

Philosophy 1100: Introduction to Ethics. Critical Thinking Lecture 1. Background Material for the Exercise on Validity Philosophy 1100: Introduction to Ethics Critical Thinking Lecture 1 Background Material for the Exercise on Validity Reasons, Arguments, and the Concept of Validity 1. The Concept of Validity Consider

More information

HANDBOOK (New or substantially modified material appears in boxes.)

HANDBOOK (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 information

Logic & Proofs. Chapter 3 Content. Sentential Logic Semantics. Contents: Studying this chapter will enable you to:

Logic & Proofs. Chapter 3 Content. Sentential Logic Semantics. Contents: Studying this chapter will enable you to: Sentential Logic Semantics Contents: Truth-Value Assignments and Truth-Functions Truth-Value Assignments Truth-Functions Introduction to the TruthLab Truth-Definition Logical Notions Truth-Trees Studying

More information

Overview of Today s Lecture

Overview of Today s Lecture Branden Fitelson Philosophy 12A Notes 1 Overview of Today s Lecture Music: Robin Trower, Daydream (King Biscuit Flower Hour concert, 1977) Administrative Stuff (lots of it) Course Website/Syllabus [i.e.,

More information

Tutorial A02: Validity and Soundness By: Jonathan Chan

Tutorial A02: Validity and Soundness By: Jonathan Chan A02.1 Definition of validity Tutorial A02: Validity and Soundness By: One desirable feature of arguments is that the conclusion should follow from the premises. But what does it mean? Consider these two

More information

THE LARGER LOGICAL PICTURE

THE LARGER LOGICAL PICTURE THE LARGER LOGICAL PICTURE 1. ILLOCUTIONARY ACTS In this paper, I am concerned to articulate a conceptual framework which accommodates speech acts, or language acts, as well as logical theories. I will

More information

Lecture 1 The Concept of Inductive Probability

Lecture 1 The Concept of Inductive Probability Lecture 1 The Concept of Inductive Probability Patrick Maher Philosophy 517 Spring 2007 Two concepts of probability Example 1 You know that a coin is either two-headed or two-tailed but you have no information

More information

Chapter 8 - Sentential Truth Tables and Argument Forms

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 truth-value of a given truth-functional compound proposition depends

More information

Announcements. CS311H: Discrete Mathematics. First Order Logic, Rules of Inference. Satisfiability, Validity in FOL. Example.

Announcements. CS311H: Discrete Mathematics. First Order Logic, Rules of Inference. Satisfiability, Validity in FOL. Example. Announcements CS311H: Discrete Mathematics First Order Logic, Rules of Inference Instructor: Işıl Dillig Homework 1 is due now! Homework 2 is handed out today Homework 2 is due next Wednesday Instructor:

More information

INTERMEDIATE LOGIC Glossary of key terms

INTERMEDIATE 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 information

Conditionals II: no truth conditions?

Conditionals II: no truth conditions? Conditionals II: no truth conditions? UC Berkeley, Philosophy 142, Spring 2016 John MacFarlane 1 Arguments for the material conditional analysis As Edgington [1] notes, there are some powerful reasons

More information

Philosophy 220. Truth Functional Properties Expressed in terms of Consistency

Philosophy 220. Truth Functional Properties Expressed in terms of Consistency Philosophy 220 Truth Functional Properties Expressed in terms of Consistency The concepts of truth-functional logic: Truth-functional: Truth Falsity Indeterminacy Entailment Validity Equivalence Consistency

More information

Introduction to Philosophy Crito. Instructor: Jason Sheley

Introduction to Philosophy Crito. Instructor: Jason Sheley Introduction to Philosophy Crito Instructor: Jason Sheley Recall again our steps for doing philosophy 1) What is the question? 2) What is the basic answer to the question? 3) What reasons are given for

More information

HANDBOOK (New or substantially modified material appears in boxes.)

HANDBOOK (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 information

A Judgmental Formulation of Modal Logic

A 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 information

TWO VERSIONS OF HUME S LAW

TWO 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 information

A BRIEF INTRODUCTION TO LOGIC FOR METAPHYSICIANS

A 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 information

Transition: From A priori To Anselm

Transition: From A priori To Anselm Transition: From A priori To Anselm A PRIORI KNOWLEDGE: Philosophy and Sense Experience We said: Philosophical questions cannot be answered solely by appeal to sense experience. If we can answer a question

More information

Logic. A Primer with Addendum

Logic. A Primer with Addendum Logic A Primer with Addendum The Currency of Philosophy Philosophy trades in arguments. An argument is a set of propositions some one of which is intended to be warranted or entailed by the others. The

More information

Chapter 6. Fate. (F) Fatalism is the belief that whatever happens is unavoidable. (55)

Chapter 6. Fate. (F) Fatalism is the belief that whatever happens is unavoidable. (55) Chapter 6. Fate (F) Fatalism is the belief that whatever happens is unavoidable. (55) The first, and most important thing, to note about Taylor s characterization of fatalism is that it is in modal terms,

More information

Observation and categories. Phil 12: Logic and Decision Making Fall 2010 UC San Diego 10/8/2010

Observation and categories. Phil 12: Logic and Decision Making Fall 2010 UC San Diego 10/8/2010 Observation and categories Phil 12: Logic and Decision Making Fall 2010 UC San Diego 10/8/2010 Review: Confirmation Argument form for confirming hypotheses: If the hypothesis were not approximately true

More information

Recall. Validity: If the premises are true the conclusion must be true. Soundness. Valid; and. Premises are true

Recall. Validity: If the premises are true the conclusion must be true. Soundness. Valid; and. Premises are true Recall Validity: If the premises are true the conclusion must be true Soundness Valid; and Premises are true Validity In order to determine if an argument is valid, we must evaluate all of the sets of

More information

PROSPECTIVE TEACHERS UNDERSTANDING OF PROOF: WHAT IF THE TRUTH SET OF AN OPEN SENTENCE IS BROADER THAN THAT COVERED BY THE PROOF?

PROSPECTIVE TEACHERS UNDERSTANDING OF PROOF: WHAT IF THE TRUTH SET OF AN OPEN SENTENCE IS BROADER THAN THAT COVERED BY THE PROOF? PROSPECTIVE TEACHERS UNDERSTANDING OF PROOF: WHAT IF THE TRUTH SET OF AN OPEN SENTENCE IS BROADER THAN THAT COVERED BY THE PROOF? Andreas J. Stylianides*, Gabriel J. Stylianides*, & George N. Philippou**

More information

Boghossian & Harman on the analytic theory of the a priori

Boghossian & Harman on the analytic theory of the a priori Boghossian & Harman on the analytic theory of the a priori PHIL 83104 November 2, 2011 Both Boghossian and Harman address themselves to the question of whether our a priori knowledge can be explained in

More information

The antecendent always a expresses a sufficient condition for the consequent

The antecendent always a expresses a sufficient condition for the consequent Critical Thinking Lecture Four October 5, 2012 Chapter 3 Deductive Argument Patterns Diagramming Arguments Deductive Argument Patterns - There are some common patterns shared by many deductive arguments

More information

Basic Concepts and Skills!

Basic Concepts and Skills! Basic Concepts and Skills! Critical Thinking tests rationales,! i.e., reasons connected to conclusions by justifying or explaining principles! Why do CT?! Answer: Opinions without logical or evidential

More information

Selections from Aristotle s Prior Analytics 41a21 41b5

Selections from Aristotle s Prior Analytics 41a21 41b5 Lesson Seventeen The Conditional Syllogism Selections from Aristotle s Prior Analytics 41a21 41b5 It is clear then that the ostensive syllogisms are effected by means of the aforesaid figures; these considerations

More information

Argument Mapping. Table of Contents. By James Wallace Gray 2/13/2012

Argument Mapping. Table of Contents. By James Wallace Gray 2/13/2012 Argument Mapping By James Wallace Gray 2/13/2012 Table of Contents Argument Mapping...1 Introduction...2 Chapter 1: Examples of argument maps...2 Chapter 2: The difference between multiple arguments and

More information

HANDBOOK. IV. Argument Construction Determine the Ultimate Conclusion Construct the Chain of Reasoning Communicate the Argument 13

HANDBOOK. IV. Argument Construction Determine the Ultimate Conclusion Construct the Chain of Reasoning Communicate the Argument 13 1 HANDBOOK TABLE OF CONTENTS I. Argument Recognition 2 II. Argument Analysis 3 1. Identify Important Ideas 3 2. Identify Argumentative Role of These Ideas 4 3. Identify Inferences 5 4. Reconstruct the

More information

PHILOSOPHICAL PROBLEMS & THE ANALYSIS OF LANGUAGE

PHILOSOPHICAL PROBLEMS & THE ANALYSIS OF LANGUAGE PHILOSOPHICAL PROBLEMS & THE ANALYSIS OF LANGUAGE Now, it is a defect of [natural] languages that expressions are possible within them, which, in their grammatical form, seemingly determined to designate

More information

Is anything knowable on the basis of understanding alone?

Is anything knowable on the basis of understanding alone? Is anything knowable on the basis of understanding alone? PHIL 83104 November 7, 2011 1. Some linking principles... 1 2. Problems with these linking principles... 2 2.1. False analytic sentences? 2.2.

More information

Introduction to Philosophy

Introduction to Philosophy Introduction to Philosophy PHIL 2000--Call # 41480 Kent Baldner Teaching Assistant: Mitchell Winget Discussion sections ( Labs ) meet on Wednesdays, starting next Wednesday, Sept. 5 th. 10:00-10:50, 1115

More information

Announcements. CS243: Discrete Structures. First Order Logic, Rules of Inference. Review of Last Lecture. Translating English into First-Order Logic

Announcements. CS243: Discrete Structures. First Order Logic, Rules of Inference. Review of Last Lecture. Translating English into First-Order 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 information

A. Problem set #3 it has been posted and is due Tuesday, 15 November

A. 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 information

BENEDIKT PAUL GÖCKE. Ruhr-Universität Bochum

BENEDIKT PAUL GÖCKE. Ruhr-Universität Bochum 264 BOOK REVIEWS AND NOTICES BENEDIKT PAUL GÖCKE Ruhr-Universität Bochum István Aranyosi. God, Mind, and Logical Space: A Revisionary Approach to Divinity. Palgrave Frontiers in Philosophy of Religion.

More information

Logic: inductive. Draft: April 29, Logic is the study of the quality of arguments. An argument consists of a set of premises P1,

Logic: inductive. Draft: April 29, Logic is the study of the quality of arguments. An argument consists of a set of premises P1, Logic: inductive Penultimate version: please cite the entry to appear in: J. Lachs & R. Talisse (eds.), Encyclopedia of American Philosophy. New York: Routledge. Draft: April 29, 2006 Logic is the study

More information

Introduction Symbolic Logic

Introduction Symbolic Logic An Introduction to Symbolic Logic Copyright 2006 by Terence Parsons all rights reserved CONTENTS Chapter One Sentential Logic with 'if' and 'not' 1 SYMBOLIC NOTATION 2 MEANINGS OF THE SYMBOLIC NOTATION

More information

Ayer s linguistic theory of the a priori

Ayer s linguistic theory of the a priori Ayer s linguistic theory of the a priori phil 43904 Jeff Speaks December 4, 2007 1 The problem of a priori knowledge....................... 1 2 Necessity and the a priori............................ 2

More information

There are two common forms of deductively valid conditional argument: modus ponens and modus tollens.

There are two common forms of deductively valid conditional argument: modus ponens and modus tollens. INTRODUCTION TO LOGICAL THINKING Lecture 6: Two types of argument and their role in science: Deduction and induction 1. Deductive arguments Arguments that claim to provide logically conclusive grounds

More information

Lecture 3 Arguments Jim Pryor What is an Argument? Jim Pryor Vocabulary Describing Arguments

Lecture 3 Arguments Jim Pryor What is an Argument? Jim Pryor Vocabulary Describing Arguments Lecture 3 Arguments Jim Pryor What is an Argument? Jim Pryor Vocabulary Describing Arguments 1 Agenda 1. What is an Argument? 2. Evaluating Arguments 3. Validity 4. Soundness 5. Persuasive Arguments 6.

More information

A Priori Knowledge: Analytic? Synthetic A Priori (again) Is All A Priori Knowledge Analytic?

A Priori Knowledge: Analytic? Synthetic A Priori (again) Is All A Priori Knowledge Analytic? A Priori Knowledge: Analytic? Synthetic A Priori (again) Is All A Priori Knowledge Analytic? Recap A Priori Knowledge Knowledge independent of experience Kant: necessary and universal A Posteriori Knowledge

More information

Ling 98a: The Meaning of Negation (Week 1)

Ling 98a: The Meaning of Negation (Week 1) Yimei Xiang yxiang@fas.harvard.edu 17 September 2013 1 What is negation? Negation in two-valued propositional logic Based on your understanding, select out the metaphors that best describe the meaning

More information

Lecture 2.1 INTRO TO LOGIC/ ARGUMENTS. Recognize an argument when you see one (in media, articles, people s claims).

Lecture 2.1 INTRO TO LOGIC/ ARGUMENTS. Recognize an argument when you see one (in media, articles, people s claims). TOPIC: You need to be able to: Lecture 2.1 INTRO TO LOGIC/ ARGUMENTS. Recognize an argument when you see one (in media, articles, people s claims). Organize arguments that we read into a proper argument

More information

Logic is the study of the quality of arguments. An argument consists of a set of

Logic 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

PHI 1500: Major Issues in Philosophy

PHI 1500: Major Issues in Philosophy PHI 1500: Major Issues in Philosophy Session 3 September 9 th, 2015 All About Arguments (Part II) 1 A common theme linking many fallacies is that they make unwarranted assumptions. An assumption is a claim

More information

SOME RADICAL CONSEQUENCES OF GEACH'S LOGICAL THEORIES

SOME RADICAL CONSEQUENCES OF GEACH'S LOGICAL THEORIES SOME RADICAL CONSEQUENCES OF GEACH'S LOGICAL THEORIES By james CAIN ETER Geach's views of relative identity, together with his Paccount of proper names and quantifiers, 1 while presenting what I believe

More information

Intro Viewed from a certain angle, philosophy is about what, if anything, we ought to believe.

Intro Viewed from a certain angle, philosophy is about what, if anything, we ought to believe. Overview Philosophy & logic 1.2 What is philosophy? 1.3 nature of philosophy Why philosophy Rules of engagement Punctuality and regularity is of the essence You should be active in class It is good to

More information

Lonergan on General Transcendent Knowledge. In General Transcendent Knowledge, Chapter 19 of Insight, Lonergan does several things:

Lonergan on General Transcendent Knowledge. In General Transcendent Knowledge, Chapter 19 of Insight, Lonergan does several things: Lonergan on General Transcendent Knowledge In General Transcendent Knowledge, Chapter 19 of Insight, Lonergan does several things: 1-3--He provides a radical reinterpretation of the meaning of transcendence

More information

Constructing the World

Constructing the World Constructing the World Lecture 1: A Scrutable World David Chalmers Plan *1. Laplace s demon 2. Primitive concepts and the Aufbau 3. Problems for the Aufbau 4. The scrutability base 5. Applications Laplace

More information

Let s explore a controversial topic DHMO. (aka Dihydrogen monoxide)

Let s explore a controversial topic DHMO. (aka Dihydrogen monoxide) Let s explore a controversial topic DHMO (aka Dihydrogen monoxide) DHMO.org Dihydrogen-monoxide (Transtronics site) Coalition to Ban DHMO Ban Dihydrogen Monoxide! DHMO Chemical Danger Alert - The Horror

More information

Reasoning and Decision-Making under Uncertainty

Reasoning and Decision-Making under Uncertainty Reasoning and Decision-Making under Uncertainty 3. Termin: Uncertainty, Degrees of Belief and Probabilities Prof. Dr.-Ing. Stefan Kopp Center of Excellence Cognitive Interaction Technology AG A Intelligent

More information

A s a contracts professional, from

A s a contracts professional, from 18 Contract Management June 2015 Contract Management June 2015 19 A s a contracts professional, from time to time you must answer a question, resolve an issue, explain something, or make a decision based

More information

2. Refutations can be stronger or weaker.

2. Refutations can be stronger or weaker. Lecture 8: Refutation Philosophy 130 October 25 & 27, 2016 O Rourke I. Administrative A. Schedule see syllabus as well! B. Questions? II. Refutation A. Arguments are typically used to establish conclusions.

More information

IIE-2015 Workshop December 12 20, K P Mohanan. Types of Reasoning

IIE-2015 Workshop December 12 20, K P Mohanan. Types of Reasoning K P Mohanan Types of Reasoning As mentioned elsewhere (in other documents distributed as part of IIE-2015), what is presented to students as knowledge in school and college textbooks and classrooms is

More information

Critical Thinking is:

Critical Thinking is: Logic: Day 1 Critical Thinking is: Thinking clearly and following rules of logic and rationality It s not being argumentative just for the sake of arguing Academics disagree about which departments do

More information

C. Exam #1 comments on difficult spots; if you have questions about this, please let me know. D. Discussion of extra credit opportunities

C. Exam #1 comments on difficult spots; if you have questions about this, please let me know. D. Discussion of extra credit opportunities Lecture 8: Refutation Philosophy 130 March 19 & 24, 2015 O Rourke I. Administrative A. Roll B. Schedule C. Exam #1 comments on difficult spots; if you have questions about this, please let me know D. Discussion

More information

In his paper Studies of Logical Confirmation, Carl Hempel discusses

In his paper Studies of Logical Confirmation, Carl Hempel discusses Aporia vol. 19 no. 1 2009 Hempel s Raven Joshua Ernst In his paper Studies of Logical Confirmation, Carl Hempel discusses his criteria for an adequate theory of confirmation. In his discussion, he argues

More information

Day 3. Wednesday May 23, Learn the basic building blocks of proofs (specifically, direct proofs)

Day 3. Wednesday May 23, Learn the basic building blocks of proofs (specifically, direct proofs) Day 3 Wednesday May 23, 2012 Objectives: Learn the basics of Propositional Logic Learn the basic building blocks of proofs (specifically, direct proofs) 1 Propositional Logic Today we introduce the concepts

More information

Constructive Logic, Truth and Warranted Assertibility

Constructive Logic, Truth and Warranted Assertibility Constructive Logic, Truth and Warranted Assertibility Greg Restall Department of Philosophy Macquarie University Version of May 20, 2000....................................................................

More information

Wittgenstein s Logical Atomism. Seminar 8 PHIL2120 Topics in Analytic Philosophy 16 November 2012

Wittgenstein s Logical Atomism. Seminar 8 PHIL2120 Topics in Analytic Philosophy 16 November 2012 Wittgenstein s Logical Atomism Seminar 8 PHIL2120 Topics in Analytic Philosophy 16 November 2012 1 Admin Required reading for this seminar: Soames, Ch 9+10 New Schedule: 23 November: The Tractarian Test

More information

Lay75879_ch01 11/17/03 2:03 PM Page x

Lay75879_ch01 11/17/03 2:03 PM Page x Lay75879_ch01 11/17/03 2:03 PM Page x McGraw-Hill Higher Education Layman: The Power of Logic, 3e CHAPTER 1 / Page x Lay75879_ch01 11/17/03 2:03 PM Page 1 McGraw-Hill Higher Education Layman: The Power

More information

Millian responses to Frege s puzzle

Millian responses to Frege s puzzle Millian responses to Frege s puzzle phil 93914 Jeff Speaks February 28, 2008 1 Two kinds of Millian................................. 1 2 Conciliatory Millianism............................... 2 2.1 Hidden

More information

Logic for Computer Science - Week 1 Introduction to Informal Logic

Logic for Computer Science - Week 1 Introduction to Informal Logic Logic for Computer Science - Week 1 Introduction to Informal Logic Ștefan Ciobâcă November 30, 2017 1 Propositions A proposition is a statement that can be true or false. Propositions are sometimes called

More information

Logic: The Science that Evaluates Arguments

Logic: The Science that Evaluates Arguments Logic: The Science that Evaluates Arguments Logic teaches us to develop a system of methods and principles to use as criteria for evaluating the arguments of others to guide us in constructing arguments

More information

Varieties of Apriority

Varieties of Apriority S E V E N T H E X C U R S U S Varieties of Apriority T he notions of a priori knowledge and justification play a central role in this work. There are many ways in which one can understand the a priori,

More information

MAIN BUILDING C

MAIN BUILDING C MAIN BUILDING C1-065 writingcentre@ul.ie www.ul.ie/rwc Writing Centre Resources One-to-One Peer Tutoring Writers Groups Workshops and Seminars Online Resources Writers Space RWC Events UL s One Campus

More information

Module 5. Knowledge Representation and Logic (Propositional Logic) Version 2 CSE IIT, Kharagpur

Module 5. Knowledge Representation and Logic (Propositional Logic) Version 2 CSE IIT, Kharagpur Module 5 Knowledge Representation and Logic (Propositional Logic) Lesson 12 Propositional Logic inference rules 5.5 Rules of Inference Here are some examples of sound rules of inference. Each can be shown

More information

Semantic Foundations for Deductive Methods

Semantic Foundations for Deductive Methods Semantic Foundations for Deductive Methods delineating the scope of deductive reason Roger Bishop Jones Abstract. The scope of deductive reason is considered. First a connection is discussed between the

More information

Rosen, Discrete Mathematics and Its Applications, 6th edition Extra Examples

Rosen, Discrete Mathematics and Its Applications, 6th edition Extra Examples Rosen, Discrete Mathematics and Its Applications, 6th edition Extra Examples Section 1.1 Propositional Logic Page references correspond to locations of Extra Examples icons in the textbook. p.2, icon at

More information

Empty Names and Two-Valued Positive Free Logic

Empty Names and Two-Valued Positive Free Logic Empty Names and Two-Valued Positive Free Logic 1 Introduction Zahra Ahmadianhosseini In order to tackle the problem of handling empty names in logic, Andrew Bacon (2013) takes on an approach based on positive

More information

With prompting and support, identify the reasons an author gives to support points in a text.

With prompting and support, identify the reasons an author gives to support points in a text. Big Idea: Reading for Argumentation ANCHOR STANDARD: Reading #8 HANDOUT TWO Delineate and evaluate the argument and specific claims in a text, including the validity of the reasoning as well as the relevancy

More information

Believing Epistemic Contradictions

Believing Epistemic Contradictions Believing Epistemic Contradictions Bob Beddor & Simon Goldstein Bridges 2 2015 Outline 1 The Puzzle 2 Defending Our Principles 3 Troubles for the Classical Semantics 4 Troubles for Non-Classical Semantics

More information

Chapter 9- Sentential Proofs

Chapter 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 truth-functional arguments.

More information

Constructing the World

Constructing the World Constructing the World Lecture 3: The Case for A Priori Scrutability David Chalmers Plan *1. Sentences vs Propositions 2. Apriority and A Priori Scrutability 3. Argument 1: Suspension of Judgment 4. Argument

More information

2.3. Failed proofs and counterexamples

2.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 information

Cognitivism about imperatives

Cognitivism about imperatives Cognitivism about imperatives JOSH PARSONS 1 Introduction Sentences in the imperative mood imperatives, for short are traditionally supposed to not be truth-apt. They are not in the business of describing

More information

Study Guides. Chapter 1 - Basic Training

Study Guides. Chapter 1 - Basic Training Study Guides Chapter 1 - Basic Training Argument: A group of propositions is an argument when one or more of the propositions in the group is/are used to give evidence (or if you like, reasons, or grounds)

More information

Broad on Theological Arguments. I. The Ontological Argument

Broad on Theological Arguments. I. The Ontological Argument Broad on God Broad on Theological Arguments I. The Ontological Argument Sample Ontological Argument: Suppose that God is the most perfect or most excellent being. Consider two things: (1)An entity that

More information

THE SIX DAYS OF CREATION

THE SIX DAYS OF CREATION THE SIX DAYS OF CREATION USE THE BIBLE, GENESIS, CHAPTER 1 TO FILL IN THE ANSWERS BELOW Day 1: God said, Let there be. (vs. 3) Day 2: God called the firmament. (vs. 8) Day 3: And God called the dry land

More information

From Necessary Truth to Necessary Existence

From 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 information

Chapter 5: Freedom and Determinism

Chapter 5: Freedom and Determinism Chapter 5: Freedom and Determinism Let me state at the outset a basic point that will reappear again below with its justification. The title of this chapter (and many other discussions too) make it appear

More information

IN DEFENCE OF CLOSURE

IN DEFENCE OF CLOSURE IN DEFENCE OF CLOSURE IN DEFENCE OF CLOSURE By RICHARD FELDMAN Closure principles for epistemic justification hold that one is justified in believing the logical consequences, perhaps of a specified sort,

More information

Informalizing Formal Logic

Informalizing Formal Logic Informalizing Formal Logic Antonis Kakas Department of Computer Science, University of Cyprus, Cyprus antonis@ucy.ac.cy Abstract. This paper discusses how the basic notions of formal logic can be expressed

More information

Time, Self and Mind (ATS1835) Introduc;on to Philosophy B Semester 2, Dr Ron Gallagher Week 5: Can Machines Think?

Time, Self and Mind (ATS1835) Introduc;on to Philosophy B Semester 2, Dr Ron Gallagher Week 5: Can Machines Think? Time, Self and Mind (ATS1835) Introduc;on to Philosophy B Semester 2, 2016 Dr Ron Gallagher ron.gallagher@monash.edu Week 5: Can Machines Think? Last week s tutorial discussions on mind Singer s distinction

More information

Philosophy of Mathematics Nominalism

Philosophy of Mathematics Nominalism Philosophy of Mathematics Nominalism Owen Griffiths oeg21@cam.ac.uk Churchill and Newnham, Cambridge 8/11/18 Last week Ante rem structuralism accepts mathematical structures as Platonic universals. We

More information

LENT 2018 THEORY OF MEANING DR MAARTEN STEENHAGEN

LENT 2018 THEORY OF MEANING DR MAARTEN STEENHAGEN LENT 2018 THEORY OF MEANING DR MAARTEN STEENHAGEN HTTP://MSTEENHAGEN.GITHUB.IO/TEACHING/2018TOM THE EINSTEIN-BERGSON DEBATE SCIENCE AND METAPHYSICS Henri Bergson and Albert Einstein met on the 6th of

More information

Critical Thinking, Reasoning, and Argument

Critical Thinking, Reasoning, and Argument Critical Thinking, Reasoning, and Argument Critical thinking is used in many contexts and has different connotations. Often it is applied to contexts such as interpreting texts, evaluating artistic expression,

More information

3.3. Negations as premises Overview

3.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 information

Announcements The Logic of Quantifiers Logical Truth & Consequence in Full Fol. Outline. Overview The Big Picture. William Starr

Announcements The Logic of Quantifiers Logical Truth & Consequence in Full Fol. Outline. Overview The Big Picture. William Starr Announcements 10.27 The Logic of Quantifiers Logical Truth & Consequence in Full Fol William Starr 1 Hang tight on the midterm We ll get it back to you as soon as we can 2 Grades for returned HW will be

More information

A Brief Introduction to Key Terms

A 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 information

The paradox we re discussing today is not a single argument, but a family of arguments. Here s an example of this sort of argument:!

The paradox we re discussing today is not a single argument, but a family of arguments. Here s an example of this sort of argument:! The Sorites Paradox The paradox we re discussing today is not a single argument, but a family of arguments. Here s an example of this sort of argument:! Height Sorites 1) Someone who is 7 feet in height

More information

LGCS 199DR: Independent Study in Pragmatics

LGCS 199DR: Independent Study in Pragmatics LGCS 99DR: Independent Study in Pragmatics Jesse Harris & Meredith Landman September 0, 203 Last class, we discussed the difference between semantics and pragmatics: Semantics The study of the literal

More information

10 CERTAINTY G.E. MOORE: SELECTED WRITINGS

10 CERTAINTY G.E. MOORE: SELECTED WRITINGS 10 170 I am at present, as you can all see, in a room and not in the open air; I am standing up, and not either sitting or lying down; I have clothes on, and am not absolutely naked; I am speaking in a

More information