LOGIC ANTHONY KAPOLKA FYF 101-9/3/2010
|
|
|
- Aubrie Nelson
- 5 years ago
- Views:
Transcription
1 LOGIC ANTHONY KAPOLKA FYF 101-9/3/2010
2 LIBERALLY EDUCATED PEOPLE......RESPECT RIGOR NOT SO MUCH FOR ITS OWN SAKE BUT AS A WAY OF SEEKING TRUTH.
3 LOGIC PUZZLE COOPER IS MURDERED. 3 SUSPECTS: SMITH, JONES, & WILLIAMS SMITH SAYS: COOPER IS A FRIEND OF JONES & WILLIAM DISLIKES HIM. JONES SAYS: I DON T KNOW COOPER AND I WAS OUT OF TOWN THAT DAY. WILLIAMS SAYS: I SAW BOTH SMITH & JONES WITH COOPER THE DAY OF THE MURDER; ONE OF THEM MUST HAVE KILLED HIM. WHO IS GUILTY?
4 HELPFUL ASSUMPTIONS INNOCENT PEOPLE DO NOT LIE. INNOCENT PEOPLE ARE NOT MISTAKEN. THERE IS ONLY ONE MURDERER. THE MURDERER IS ONE OF THE SUSPECTS.
5 REASONING REASONING IS THE PROCESS OF MOVING TOWARD CONCLUSIONS USING CLEAR, RELEVANT AND COMPELLING SUPPORTIVE STATEMENTS.
6 EXAMPLE REASONING IF INNOCENT PEOPLE DO NOT LIE, AND SINCE SMITH AND JONES CONTRADICT EACH OTHER, THEN EITHER SMITH OR JONES IS GUILTY. IF INNOCENT PEOPLE DO NOT LIE, AND SINCE WILLIAMS AND JONES CONTRADICT EACH OTHER, THEN EITHER WILLIAMS OR JONES IS GUILTY. SINCE THERE IS ONLY ONE MURDERED, THEN SMITH AND WILLIAMS CANNOT BOTH BE GUILTY. JONES IS GUILTY.
7 WHAT IS LOGIC? LOGIC IS A MECHANISM FOR PROVIDING PRECISE MEANING TO STATEMENTS. IT INCLUDES: A FORMAL LANGUAGE FOR EXPRESSING STATEMENTS. RULES FOR OBJECTIVELY REASONING ABOUT THE TRUTH OF STATEMENTS.
8 STATEMENTS PROPOSITIONS ARE DECLARATIVE SENTENCES WHICH ARE EITHER TRUE (T) OR FALSE (F). PROPOSITIONS 2+3=5 FORSTER WROTE BOOKS. FYF101 IS GREAT. NOT PROPOSITIONS DID YOU DO THE READING? DO THE READING! X + Y = 4
9 LOGICAL OPERATORS A LOGICAL OPERATOR IS DEFINED BY A TRUTH TABLE.
10 NEGATION, NOT, S: TODAY IS FRIDAY. S: TODAY IS NOT FRIDAY. TRUTH TABLE P P NEGATION SWITCHES A STATEMENT S TRUTH VALUE. T F F T
11 NEGATION, NOT, IT IS NOT TRUE THAT... THAT IS IRRELEVANT. MY EXAMPLES ARE UNSATISFACTORY.
12 CONJUNCTION, AND, S: TODAY IS FRIDAY T: IT IS RAINING. S T: TODAY IS FRIDAY AND IT IS RAINING. TRUTH TABLE P Q P Q T T T T F F F T F F F F
13 DISJUNCTION, INCLUSIVE OR, S: TODAY IS FRIDAY T: IT IS RAINING. S T: TODAY IS FRIDAY OR IT IS RAINING. TRUTH TABLE P Q P Q T T T T F T F T T F F F
14 IN A RESTAURANT... WAITER OFFERS YOU CHOICE OF FRIES OR A BAKED POTATO. THIS IS NOT A DISJUNCTION - BECAUSE YOU CANNOT HAVE BOTH.
15 EXCLUSIVE OR, XOR, S: TODAY IS FRIDAY T: IT IS RAINING. S T: EITHER TODAY IS FRIDAY OR IT IS RAINING. TRUTH TABLE P Q P Q T T F T F T F T T F F F
16 (ENGLISH) LANGUAGE IS AMBIGUOUS. YOU OR I WILL WIN THE CONTEST. JOE S MAJOR IS ART OR PHARMACY. LOGIC IS MORE PRECISE. S T = (S T) (S T)
17 IMPLICATION, CONDITIONAL, IF S THEN T S IMPLIES T T IS NECESSARY FOR S S IS SUFFICIENT FOR T S IS ANTECEDENT, T IS CONSEQUENT. P Q P Q IF YOU STUDY, YOU WILL DO WELL. T T T T F F F T T F F T
18 BICONDITIONAL, IFF, S IF AND ONLY IF T S IS NECESSARY AND SUFFICIENT FOR T S: YOU CAN TAKE A BUS T: YOU CAN BUY A TICKET S T: YOU CAN TAKE A BUS ONLY IF YOU BUY A TICKET. P Q P Q T T T T F F F T F F F T
19 BICONDITIONAL, IFF, S AND T ARE EQUIVALENT - BOTH TRUE OR FALSE TOGETHER. S P = (S P) (P S)
20 OPERATOR PRECEDENCE ALLOWS YOU TO ORDER OPERATIONS HIGH TO LOW:,,,,,, ARE LEFT ASSOCIATIVE: S T U (S T) U
21 PROPOSITIONS ACCORDING TO UNITY (ABSOLUTE, RELATIVE) ACCORDING TO QUALITY (AFFIRMATIVE, NEGATIVE) ACCORDING TO QUANTITY (ALL, SOME, NONE) ACCORDING TO MODALITY (NECESSARY, POSSIBLE)
22 UNITY: ABSOLUTE OR RELATIVE ABSOLUTE - WE SAY ONE THING OF ANOTHER WITHOUT QUALIFICATION. (THIS IS A CATEGORICAL PROPOSITION.) ALL HUMANS ARE CAPABLE OF USING LOGIC. RELATIVE - THE COMBINATION OF CATEGORICAL PROPOSITIONS BY CERTAIN CONNECTIVES. (THIS IS A COMPOUND OR HYPOTHETICAL PROPOSITION.) IF MAN IS RATIONAL, THEN HE IS CAPABLE OF USING LOGIC.
23 UNITY: ABSOLUTE OR RELATIVE COPULA - CONNECTS SUBJECT & PREDICATE ABSOLUTE - WE SAY ONE THING OF ANOTHER WITHOUT QUALIFICATION. (THIS IS A CATEGORICAL PROPOSITION.) ALL HUMANS ARE CAPABLE OF USING LOGIC. RELATIVE - THE COMBINATION OF CATEGORICAL PROPOSITIONS BY CERTAIN CONNECTIVES. (THIS IS A COMPOUND OR HYPOTHETICAL PROPOSITION.) IF MAN IS RATIONAL, THEN HE IS CAPABLE OF USING LOGIC.
24 QUALITY: AFFIRMATIVE OR NEGATIVE ASK IF PREDICATE BEING AFFIRMED OR DENIED. AFFIRMATIVE - EXPRESSES UNION OF PREDICATE WITH SUBJECT. LOGIC IS FUN. NEGATIVE - EXPRESSES SEPARATION OF PREDICATE FROM SUBJECT. LOGIC IS NOT FUN. NO LOGIC IS FUN.
25 EXAMPLE PEOPLE WHO ARE NOT FRIENDLY ARE UNSOCIABLE.
26 EXAMPLE PEOPLE WHO ARE NOT FRIENDLY ARE UNSOCIABLE. EVEN THOUGH THIS SOUNDS NEGATIVE, THE NEGATIVE PREDICATE IS BEING AFFIRMED OF THE NEGATIVE SUBJECT.
27 QUANTITY: ALL, SOME, NONE ALL - UNIVERSAL - PREDICATE BELONGS TO THE SUBJECT AND ALL ITS SINGULAR MEMBERS. ALL TIGERS ARE MAMMALS. NONE - UNIVERSAL - PREDICATE DENIED OF THE SUBJECT AND ALL ITS SINGULAR MEMBERS. NO TIGERS ARE LIONS. SOME - PARTICULAR - PREDICATE SAID OF THE SUBJECT BUT IS MEANT TO BE LIMITED TO SOME OF ITS SINGULAR MEMBERS. SOME TIGERS ARE FIERCE.
28 FOUR TYPES OF CATEGORICAL PROPOSITIONS - FOR ALL - THERE EXISTS AT LEAST ONE... - EQUAL BY DEFINITION - SUBSET - SET INTERSECTION - THE EMPTY SET.
29 MODALITY: NECESSARY, POSSIBLE, IMPOSSIBLE NECESSARY - S - S MUST BE TRUE POSSIBLE - S - S COULD BE TRUE IMPOSSIBLE - S - S COULD NEVER BE TRUE
30 WHY CARE? (AGAIN) WE BUILD ARGUMENTS OUT OF PROPOSITIONS. SOME OF THESE PROPOSITIONS (THE PREMISES) SHOULD EPISTEMICALLY SUPPORT OTHER PROPOSITIONS (THE CONCLUSIONS) OF THE ARGUMENT. AN ARGUMENT IS VALID IFF THE PREMISES THE CONCLUSIONS. AN ARGUMENT IS SOUND IFF IT IS VALID AND THE PREMISES ARE TRUE. LOGIC WINS ARGUMENTS.
31 EXERCISE LET P Q & R BE THE FOLLOWING PROPOSITIONS: P: YOU GET AN A ON THE FINAL EXAM. Q: YOU DO EVERY EXERCISE IN THE BOOK. R: YOU GET AN A IN THIS CLASS. WRITE AS A LOGICAL STATEMENT: YOU GET AN A IN THE CLASS, BUT YOU DO NOT DO EVERY EXERCISE IN THE BOOK.
32 EXERCISE LET P Q & R BE THE FOLLOWING PROPOSITIONS: P: YOU GET AN A ON THE FINAL EXAM. Q: YOU DO EVERY EXERCISE IN THE BOOK. R: YOU GET AN A IN THIS CLASS. WRITE AS A LOGICAL STATEMENT: YOU GET AN A IN THE CLASS, BUT YOU DO NOT DO EVERY EXERCISE IN THE BOOK. R Q
33 EXERCISE LET P Q & R BE THE FOLLOWING PROPOSITIONS: P: YOU GET AN A ON THE FINAL EXAM. Q: YOU DO EVERY EXERCISE IN THE BOOK. R: YOU GET AN A IN THIS CLASS. WRITE AS A LOGICAL STATEMENT: TO GET AN A IN THIS CLASS, IT IS NECESSARY FOR YOU TO GET AN A ON THE FINAL.
34 EXERCISE LET P Q & R BE THE FOLLOWING PROPOSITIONS: P: YOU GET AN A ON THE FINAL EXAM. Q: YOU DO EVERY EXERCISE IN THE BOOK. R: YOU GET AN A IN THIS CLASS. WRITE AS A LOGICAL STATEMENT: TO GET AN A IN THIS CLASS, IT IS NECESSARY FOR YOU TO GET AN A ON THE FINAL. R P
35 EXERCISE LET P Q & R BE THE FOLLOWING PROPOSITIONS: P: YOU GET AN A ON THE FINAL EXAM. Q: YOU DO EVERY EXERCISE IN THE BOOK. R: YOU GET AN A IN THIS CLASS. WRITE AS A LOGICAL STATEMENT: GETTING AN A ON THE FINAL & DOING EVERY EXERCISE IN THE BOOK IS ENOUGH TO GET AN A IN THIS CLASS.
36 EXERCISE LET P Q & R BE THE FOLLOWING PROPOSITIONS: P: YOU GET AN A ON THE FINAL EXAM. Q: YOU DO EVERY EXERCISE IN THE BOOK. R: YOU GET AN A IN THIS CLASS. WRITE AS A LOGICAL STATEMENT: GETTING AN A ON THE FINAL & DOING EVERY EXERCISE IN THE BOOK IS ENOUGH TO GET AN A IN THIS CLASS. P Q R
7.1. Unit. Terms and Propositions. Nature of propositions. Types of proposition. Classification of propositions
Unit 7.1 Terms and Propositions Nature of propositions A proposition is a unit of reasoning or logical thinking. Both premises and conclusion of reasoning are propositions. Since propositions are so important,
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
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)
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
MCQ IN TRADITIONAL LOGIC. 1. Logic is the science of A) Thought. B) Beauty. C) Mind. D) Goodness
MCQ IN TRADITIONAL LOGIC FOR PRIVATE REGISTRATION TO BA PHILOSOPHY PROGRAMME 1. Logic is the science of-----------. A) Thought B) Beauty C) Mind D) Goodness 2. Aesthetics is the science of ------------.
PART III - Symbolic Logic Chapter 7 - Sentential Propositions
Logic: A Brief Introduction Ronald L. Hall, Stetson University 7.1 Introduction PART III - Symbolic Logic Chapter 7 - Sentential Propositions What has been made abundantly clear in the previous discussion
Logic: A Brief Introduction
Logic: A Brief Introduction Ronald L. Hall, Stetson University PART III - Symbolic Logic Chapter 7 - Sentential Propositions 7.1 Introduction What has been made abundantly clear in the previous discussion
Logic: A Brief Introduction. Ronald L. Hall, Stetson University
Logic: A Brief Introduction Ronald L. Hall, Stetson University 2012 CONTENTS Part I Critical Thinking Chapter 1 Basic Training 1.1 Introduction 1.2 Logic, Propositions and Arguments 1.3 Deduction and Induction
Unit. Categorical Syllogism. What is a syllogism? Types of Syllogism
Unit 8 Categorical yllogism What is a syllogism? Inference or reasoning is the process of passing from one or more propositions to another with some justification. This inference when expressed in language
SYLLOGISTIC LOGIC CATEGORICAL PROPOSITIONS
Prof. C. Byrne Dept. of Philosophy SYLLOGISTIC LOGIC Syllogistic logic is the original form in which formal logic was developed; hence it is sometimes also referred to as Aristotelian logic after Aristotle,
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
1 Clarion Logic Notes Chapter 4
1 Clarion Logic Notes Chapter 4 Summary Notes These are summary notes so that you can really listen in class and not spend the entire time copying notes. These notes will not substitute for reading the
Part II: How to Evaluate Deductive Arguments
Part II: How to Evaluate Deductive Arguments Week 4: Propositional Logic and Truth Tables Lecture 4.1: Introduction to deductive logic Deductive arguments = presented as being valid, and successful only
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.,
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,
5.6.1 Formal validity in categorical deductive arguments
Deductive arguments are commonly used in various kinds of academic writing. In order to be able to perform a critique of deductive arguments, we will need to understand their basic structure. As will be
SHORT ANSWER. Write the word or phrase that best completes each statement or answers the question.
Exam Name SHORT ANSWER. Write the word or phrase that best completes each statement or answers the question. Draw a Venn diagram for the given sets. In words, explain why you drew one set as a subset of
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
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
10.3 Universal and Existential Quantifiers
M10_COPI1396_13_SE_C10.QXD 10/22/07 8:42 AM Page 441 10.3 Universal and Existential Quantifiers 441 and Wx, and so on. We call these propositional functions simple predicates, to distinguish them from
KRISHNA KANTA HANDIQUI STATE OPEN UNIVERSITY Patgaon, Ranigate, Guwahati SEMESTER: 1 PHILOSOPHY PAPER : 1 LOGIC: 1 BLOCK: 2
GPH S1 01 KRISHNA KANTA HANDIQUI STATE OPEN UNIVERSITY Patgaon, Ranigate, Guwahati-781017 SEMESTER: 1 PHILOSOPHY PAPER : 1 LOGIC: 1 BLOCK: 2 CONTENTS UNIT 6 : Modern analysis of proposition UNIT 7 : Square
In this section you will learn three basic aspects of logic. When you are done, you will understand the following:
Basic Principles of Deductive Logic Part One: In this section you will learn three basic aspects of logic. When you are done, you will understand the following: Mental Act Simple Apprehension Judgment
Logic: Deductive and Inductive by Carveth Read M.A. CHAPTER IX CHAPTER IX FORMAL CONDITIONS OF MEDIATE INFERENCE
CHAPTER IX CHAPTER IX FORMAL CONDITIONS OF MEDIATE INFERENCE Section 1. A Mediate Inference is a proposition that depends for proof upon two or more other propositions, so connected together by one or
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
Baronett, Logic (4th ed.) Chapter Guide
Chapter 6: Categorical Syllogisms Baronett, Logic (4th ed.) Chapter Guide A. Standard-form Categorical Syllogisms A categorical syllogism is an argument containing three categorical propositions: two premises
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.
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
Today s Lecture 1/28/10
Chapter 7.1! Symbolizing English Arguments! 5 Important Logical Operators!The Main Logical Operator Today s Lecture 1/28/10 Quiz State from memory (closed book and notes) the five famous valid forms and
ILLOCUTIONARY ORIGINS OF FAMILIAR LOGICAL OPERATORS
ILLOCUTIONARY ORIGINS OF FAMILIAR LOGICAL OPERATORS 1. ACTS OF USING LANGUAGE Illocutionary logic is the logic of speech acts, or language acts. Systems of illocutionary logic have both an ontological,
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
What is a logical argument? What is deductive reasoning? Fundamentals of Academic Writing
What is a logical argument? What is deductive reasoning? Fundamentals of Academic Writing Logical relations Deductive logic Claims to provide conclusive support for the truth of a conclusion Inductive
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
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
Complications for Categorical Syllogisms. PHIL 121: Methods of Reasoning February 27, 2013 Instructor:Karin Howe Binghamton University
Complications for Categorical Syllogisms PHIL 121: Methods of Reasoning February 27, 2013 Instructor:Karin Howe Binghamton University Overall Plan First, I will present some problematic propositions and
1. To arrive at the truth we have to reason correctly. 2. Logic is the study of correct reasoning. B. DEDUCTIVE AND INDUCTIVE ARGUMENTS
I. LOGIC AND ARGUMENTATION 1 A. LOGIC 1. To arrive at the truth we have to reason correctly. 2. Logic is the study of correct reasoning. 3. It doesn t attempt to determine how people in fact reason. 4.
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
VERITAS EVANGELICAL SEMINARY
VERITAS EVANGELICAL SEMINARY A research paper, discussing the terms and definitions of inductive and deductive logic, in partial fulfillment of the requirements for the certificate in Christian Apologetics
Truth At a World for Modal Propositions
Truth At a World for Modal Propositions 1 Introduction Existentialism is a thesis that concerns the ontological status of individual essences and singular propositions. Let us define an individual essence
Symbolic Logic. 8.1 Modern Logic and Its Symbolic Language
M08_COPI1396_13_SE_C08.QXD 10/16/07 9:19 PM Page 315 Symbolic Logic 8 8.1 Modern Logic and Its Symbolic Language 8.2 The Symbols for Conjunction, Negation, and Disjunction 8.3 Conditional Statements and
Semantic Entailment and Natural Deduction
Semantic Entailment and Natural Deduction Alice Gao Lecture 6, September 26, 2017 Entailment 1/55 Learning goals Semantic entailment Define semantic entailment. Explain subtleties of semantic entailment.
PHILOSOPHY 102 INTRODUCTION TO LOGIC PRACTICE EXAM 1. W# Section (10 or 11) 4. T F The statements that compose a disjunction are called conjuncts.
PHILOSOPHY 102 INTRODUCTION TO LOGIC PRACTICE EXAM 1 W# Section (10 or 11) 1. True or False (5 points) Directions: Circle the letter next to the best answer. 1. T F All true statements are valid. 2. T
Introduction to Logic
University of Notre Dame Spring, 2017 Arguments Philosophy has two main methods for trying to answer questions: analysis and arguments Logic is the the study of arguments An argument is a set of sentences,
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
Perry High School. Geometry: Week 5
Geometry: Week 5 Monday: Exam 1a Debrief Tuesday: Exam 1b Wednesday: 2.1 Conditional Statements Thursday: 2.2 Definitions and Biconditional Statements Friday: 2.2 Work Day Next Week 2.3, 2.4, 2.5 1 Monday:
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.
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
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
Exercise Sets. KS Philosophical Logic: Modality, Conditionals Vagueness. Dirk Kindermann University of Graz July 2014
Exercise Sets KS Philosophical Logic: Modality, Conditionals Vagueness Dirk Kindermann University of Graz July 2014 1 Exercise Set 1 Propositional and Predicate Logic 1. Use Definition 1.1 (Handout I Propositional
Logic: Deductive and Inductive by Carveth Read M.A. CHAPTER V THE CLASSIFICATION OF PROPOSITIONS
CHAPTER V THE CLASSIFICATION OF PROPOSITIONS Section 1. Logicians classify Propositions according to Quantity, Quality, Relation and Modality. As to Quantity, propositions are either Universal or Particular;
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
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
Instrumental reasoning* John Broome
Instrumental reasoning* John Broome For: Rationality, Rules and Structure, edited by Julian Nida-Rümelin and Wolfgang Spohn, Kluwer. * This paper was written while I was a visiting fellow at the Swedish
Elements of Science (cont.); Conditional Statements. Phil 12: Logic and Decision Making Fall 2010 UC San Diego 9/29/2010
Elements of Science (cont.); Conditional Statements Phil 12: Logic and Decision Making Fall 2010 UC San Diego 9/29/2010 1 Why cover statements and arguments Decision making (whether in science or elsewhere)
An alternative understanding of interpretations: Incompatibility Semantics
An alternative understanding of interpretations: Incompatibility Semantics 1. In traditional (truth-theoretic) semantics, interpretations serve to specify when statements are true and when they are false.
Durham Research Online
Durham Research Online Deposited in DRO: 20 October 2016 Version of attached le: Published Version Peer-review status of attached le: Not peer-reviewed Citation for published item: Uckelman, Sara L. (2016)
An Introduction to. Formal Logic. Second edition. Peter Smith, February 27, 2019
An Introduction to Formal Logic Second edition Peter Smith February 27, 2019 Peter Smith 2018. Not for re-posting or re-circulation. Comments and corrections please to ps218 at cam dot ac dot uk 1 What
Workbook Unit 3: Symbolizations
Workbook Unit 3: Symbolizations 1. Overview 2 2. Symbolization as an Art and as a Skill 3 3. A Variety of Symbolization Tricks 15 3.1. n-place Conjunctions and Disjunctions 15 3.2. Neither nor, Not both
Artificial Intelligence: Valid Arguments and Proof Systems. Prof. Deepak Khemani. Department of Computer Science and Engineering
Artificial Intelligence: Valid Arguments and Proof Systems Prof. Deepak Khemani Department of Computer Science and Engineering Indian Institute of Technology, Madras Module 02 Lecture - 03 So in the last
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
Ancient Philosophy Handout #1: Logic Overview
Ancient Philosophy Handout #1: Logic Overview I. Stoic Logic A. Proposition types Affirmative P P Negative not P ~P Conjunction P and Q P Q Hypothetical (or Conditional) if P, then Q Disjunction P or Q
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
McCLOSKEY ON RATIONAL ENDS: The Dilemma of Intuitionism
48 McCLOSKEY ON RATIONAL ENDS: The Dilemma of Intuitionism T om R egan In his book, Meta-Ethics and Normative Ethics,* Professor H. J. McCloskey sets forth an argument which he thinks shows that we know,
2.1 Review. 2.2 Inference and justifications
Applied Logic Lecture 2: Evidence Semantics for Intuitionistic Propositional Logic Formal logic and evidence CS 4860 Fall 2012 Tuesday, August 28, 2012 2.1 Review The purpose of logic is to make reasoning
Predicate logic. Miguel Palomino Dpto. Sistemas Informáticos y Computación (UCM) Madrid Spain
Predicate logic Miguel Palomino Dpto. Sistemas Informáticos y Computación (UCM) 28040 Madrid Spain Synonyms. First-order logic. Question 1. Describe this discipline/sub-discipline, and some of its more
9 Methods of Deduction
M09_COPI1396_13_SE_C09.QXD 10/19/07 3:46 AM Page 372 9 Methods of Deduction 9.1 Formal Proof of Validity 9.2 The Elementary Valid Argument Forms 9.3 Formal Proofs of Validity Exhibited 9.4 Constructing
b) The meaning of "child" would need to be taken in the sense of age, as most people would find the idea of a young child going to jail as wrong.
Explanation for Question 1 in Quiz 8 by Norva Lo - Tuesday, 18 September 2012, 9:39 AM The following is the solution for Question 1 in Quiz 8: (a) Which term in the argument is being equivocated. (b) What
6. Truth and Possible Worlds
6. Truth and Possible Worlds We have defined logical entailment, consistency, and the connectives,,, all in terms of belief. In view of the close connection between belief and truth, described in the first
Courses providing assessment data PHL 202. Semester/Year
1 Department/Program 2012-2016 Assessment Plan Department: Philosophy Directions: For each department/program student learning outcome, the department will provide an assessment plan, giving detailed information
Chapter 1. Introduction. 1.1 Deductive and Plausible Reasoning Strong Syllogism
Contents 1 Introduction 3 1.1 Deductive and Plausible Reasoning................... 3 1.1.1 Strong Syllogism......................... 3 1.1.2 Weak Syllogism.......................... 4 1.1.3 Transitivity
A Categorical Imperative. An Introduction to Deontological Ethics
A Categorical Imperative An Introduction to Deontological Ethics Better Consequences, Better Action? More specifically, the better the consequences the better the action from a moral point of view? Compare:
Intersubstitutivity Principles and the Generalization Function of Truth. Anil Gupta University of Pittsburgh. Shawn Standefer University of Melbourne
Intersubstitutivity Principles and the Generalization Function of Truth Anil Gupta University of Pittsburgh Shawn Standefer University of Melbourne Abstract We offer a defense of one aspect of Paul Horwich
Foreknowledge, evil, and compatibility arguments
Foreknowledge, evil, and compatibility arguments Jeff Speaks January 25, 2011 1 Warfield s argument for compatibilism................................ 1 2 Why the argument fails to show that free will and
INTRODUCTION TO LOGIC 1 Sets, Relations, and Arguments
INTRODUCTION TO LOGIC 1 Sets, Relations, and Arguments Volker Halbach Pure logic is the ruin of the spirit. Antoine de Saint-Exupéry The Logic Manual The Logic Manual The Logic Manual The Logic Manual
A Solution to the Gettier Problem Keota Fields. the three traditional conditions for knowledge, have been discussed extensively in the
A Solution to the Gettier Problem Keota Fields Problem cases by Edmund Gettier 1 and others 2, intended to undermine the sufficiency of the three traditional conditions for knowledge, have been discussed
Generic truth and mixed conjunctions: some alternatives
Analysis Advance Access published June 15, 2009 Generic truth and mixed conjunctions: some alternatives AARON J. COTNOIR Christine Tappolet (2000) posed a problem for alethic pluralism: either deny the
Williams on Supervaluationism and Logical Revisionism
Williams on Supervaluationism and Logical Revisionism Nicholas K. Jones Non-citable draft: 26 02 2010. Final version appeared in: The Journal of Philosophy (2011) 108: 11: 633-641 Central to discussion
Introduction to Philosophy
Introduction to Philosophy Philosophy 110W Russell Marcus Hamilton College, Fall 2013 Class 1 - Introduction to Introduction to Philosophy My name is Russell. My office is 202 College Hill Road, Room 210.
PHIL 115: Philosophical Anthropology. I. Propositional Forms (in Stoic Logic) Lecture #4: Stoic Logic
HIL 115: hilosophical Anthropology Lecture #4: Stoic Logic Arguments from the Euthyphro: Meletus Argument (according to Socrates) [3a-b] Argument: Socrates is a maker of gods; so, Socrates corrupts the
HOW TO ANALYZE AN ARGUMENT
What does it mean to provide an argument for a statement? To provide an argument for a statement is an activity we carry out both in our everyday lives and within the sciences. We provide arguments for
A Problem for a Direct-Reference Theory of Belief Reports. Stephen Schiffer New York University
A Problem for a Direct-Reference Theory of Belief Reports Stephen Schiffer New York University The direct-reference theory of belief reports to which I allude is the one held by such theorists as Nathan
PHI Introduction Lecture 4. An Overview of the Two Branches of Logic
PHI 103 - Introduction Lecture 4 An Overview of the wo Branches of Logic he wo Branches of Logic Argument - at least two statements where one provides logical support for the other. I. Deduction - a conclusion
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
Venn Diagrams and Categorical Syllogisms. Unit 5
Venn Diagrams and Categorical Syllogisms Unit 5 John Venn 1834 1923 English logician and philosopher noted for introducing the Venn diagram Used in set theory, probability, logic, statistics, and computer
Deduction. Of all the modes of reasoning, deductive arguments have the strongest relationship between the premises
Deduction Deductive arguments, deduction, deductive logic all means the same thing. They are different ways of referring to the same style of reasoning Deduction is just one mode of reasoning, but it is
Unit 7.3. Contraries E. Contradictories. Sub-contraries
What is opposition of Unit 7.3 Square of Opposition Four categorical propositions A, E, I and O are related and at the same time different from each other. The relation among them is explained by a diagram
Based on the translation by E. M. Edghill, with minor emendations by Daniel Kolak.
On Interpretation By Aristotle Based on the translation by E. M. Edghill, with minor emendations by Daniel Kolak. First we must define the terms 'noun' and 'verb', then the terms 'denial' and 'affirmation',
Is the law of excluded middle a law of logic?
Is the law of excluded middle a law of logic? Introduction I will conclude that the intuitionist s attempt to rule out the law of excluded middle as a law of logic fails. They do so by appealing to harmony
Reductio ad Absurdum, Modulation, and Logical Forms. Miguel López-Astorga 1
International Journal of Philosophy and Theology June 25, Vol. 3, No., pp. 59-65 ISSN: 2333-575 (Print), 2333-5769 (Online) Copyright The Author(s). All Rights Reserved. Published by American Research
Logicola Truth Evaluation Exercises
Logicola Truth Evaluation Exercises The Logicola exercises for Ch. 6.3 concern truth evaluations, and in 6.4 this complicated to include unknown evaluations. I wanted to say a couple of things for those
Chapter 2. A Little Logic
Chapter 2. A Little Logic 2.1 An Intuitive Distinction: Logic can be regarded as the study of certain specific properties and relations among sentences. Those properties and relations are ultimately specified
Subjective Logic: Logic as Rational Belief Dynamics. Richard Johns Department of Philosophy, UBC
Subjective Logic: Logic as Rational Belief Dynamics Richard Johns Department of Philosophy, UBC johns@interchange.ubc.ca May 8, 2004 What I m calling Subjective Logic is a new approach to logic. Fundamentally
7. Some recent rulings of the Supreme Court were politically motivated decisions that flouted the entire history of U.S. legal practice.
M05_COPI1396_13_SE_C05.QXD 10/12/07 9:00 PM Page 193 5.5 The Traditional Square of Opposition 193 EXERCISES Name the quality and quantity of each of the following propositions, and state whether their
PHILOSOPHY OF LOGIC AND LANGUAGE OVERVIEW LOGICAL CONSTANTS WEEK 5: MODEL-THEORETIC CONSEQUENCE JONNY MCINTOSH
PHILOSOPHY OF LOGIC AND LANGUAGE WEEK 5: MODEL-THEORETIC CONSEQUENCE JONNY MCINTOSH OVERVIEW Last week, I discussed various strands of thought about the concept of LOGICAL CONSEQUENCE, introducing Tarski's
In Defense of The Wide-Scope Instrumental Principle. Simon Rippon
In Defense of The Wide-Scope Instrumental Principle Simon Rippon Suppose that people always have reason to take the means to the ends that they intend. 1 Then it would appear that people s intentions to
Ayer on the criterion of verifiability
Ayer on the criterion of verifiability November 19, 2004 1 The critique of metaphysics............................. 1 2 Observation statements............................... 2 3 In principle verifiability...............................
Illustrating Deduction. A Didactic Sequence for Secondary School
Illustrating Deduction. A Didactic Sequence for Secondary School Francisco Saurí Universitat de València. Dpt. de Lògica i Filosofia de la Ciència Cuerpo de Profesores de Secundaria. IES Vilamarxant (España)
Russell: On Denoting
Russell: On Denoting DENOTING PHRASES Russell includes all kinds of quantified subject phrases ( a man, every man, some man etc.) but his main interest is in definite descriptions: the present King of
Pastor-teacher Don Hargrove Faith Bible Church September 8, 2011
Pastor-teacher Don Hargrove Faith Bible Church http://www.fbcweb.org/doctrines.html September 8, 2011 Building Mental Muscle & Growing the Mind through Logic Exercises: Lesson 4a The Three Acts of the
Logic and Pragmatics: linear logic for inferential practice
Logic and Pragmatics: linear logic for inferential practice Daniele Porello danieleporello@gmail.com Institute for Logic, Language & Computation (ILLC) University of Amsterdam, Plantage Muidergracht 24
Am I free? Freedom vs. Fate
Am I free? Freedom vs. Fate We ve been discussing the free will defense as a response to the argument from evil. This response assumes something about us: that we have free will. But what does this mean?