Logic: A Brief Introduction. Ronald L. Hall, Stetson University

Similar documents
Study Guides. Chapter 1 - Basic Training

Chapter 8 - Sentential Truth Tables and Argument Forms

Chapter 9- Sentential Proofs

Chapter 1. What is Philosophy? Thinking Philosophically About Life

Logic Appendix: More detailed instruction in deductive logic

Revisiting the Socrates Example

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.

MCQ IN TRADITIONAL LOGIC. 1. Logic is the science of A) Thought. B) Beauty. C) Mind. D) Goodness

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

Baronett, Logic (4th ed.) Chapter Guide

PHI 1500: Major Issues in Philosophy

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

GENERAL NOTES ON THIS CLASS

LOGIC ANTHONY KAPOLKA FYF 101-9/3/2010

Chapter 1. Introduction. 1.1 Deductive and Plausible Reasoning Strong Syllogism

PART III - Symbolic Logic Chapter 7 - Sentential Propositions

Logic: A Brief Introduction

Part II: How to Evaluate Deductive Arguments

Complications for Categorical Syllogisms. PHIL 121: Methods of Reasoning February 27, 2013 Instructor:Karin Howe Binghamton University

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

HOW TO ANALYZE AN ARGUMENT

Artificial Intelligence: Valid Arguments and Proof Systems. Prof. Deepak Khemani. Department of Computer Science and Engineering

Tutorial A03: Patterns of Valid Arguments By: Jonathan Chan

Philosophy 1100: Ethics

What are Truth-Tables and What Are They For?

(Refer Slide Time 03:00)

INTERMEDIATE LOGIC Glossary of key terms

Thinking and Reasoning

Chapter 3: More Deductive Reasoning (Symbolic Logic)

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

SHORT ANSWER. Write the word or phrase that best completes each statement or answers the question.

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

10.3 Universal and Existential Quantifiers

how to be an expressivist about truth

Philosophical Arguments

Logic Book Part 1! by Skylar Ruloff!

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

Chapter 2 Analyzing Arguments

Selections from Aristotle s Prior Analytics 41a21 41b5

ILLOCUTIONARY ORIGINS OF FAMILIAR LOGICAL OPERATORS

What is the Nature of Logic? Judy Pelham Philosophy, York University, Canada July 16, 2013 Pan-Hellenic Logic Symposium Athens, Greece

PHI Introduction Lecture 4. An Overview of the Two Branches of Logic

Part 2 Module 4: Categorical Syllogisms

Logic: Deductive and Inductive by Carveth Read M.A. CHAPTER IX CHAPTER IX FORMAL CONDITIONS OF MEDIATE INFERENCE

An Introduction to. Formal Logic. Second edition. Peter Smith, February 27, 2019

A BRIEF INTRODUCTION TO LOGIC FOR METAPHYSICIANS

In this section you will learn three basic aspects of logic. When you are done, you will understand the following:

Semantic Entailment and Natural Deduction

Also, in Argument #1 (Lecture 11, Slide 11), the inference from steps 2 and 3 to 4 is stated as:

Philosophy 12 Study Guide #4 Ch. 2, Sections IV.iii VI

Unit. Categorical Syllogism. What is a syllogism? Types of Syllogism

Transition to Quantified Predicate Logic

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

In view of the fact that IN CLASS LOGIC EXERCISES

4.1 A problem with semantic demonstrations of validity

Relevance. Premises are relevant to the conclusion when the truth of the premises provide some evidence that the conclusion is true

Pitt State Pathway (Undergraduate Course Numbers through 699)

9 Methods of Deduction

Logicola Truth Evaluation Exercises

Courses providing assessment data PHL 202. Semester/Year

Conditionals II: no truth conditions?

VERITAS EVANGELICAL SEMINARY

KRISHNA KANTA HANDIQUI STATE OPEN UNIVERSITY Patgaon, Ranigate, Guwahati SEMESTER: 1 PHILOSOPHY PAPER : 1 LOGIC: 1 BLOCK: 2

Logic Dictionary Keith Burgess-Jackson 12 August 2017

What is an argument? PHIL 110. Is this an argument? Is this an argument? What about this? And what about this?

5.6.1 Formal validity in categorical deductive arguments

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

Introduction to Philosophy

PHILOSOPHY OF LOGIC AND LANGUAGE OVERVIEW FREGE JONNY MCINTOSH 1. FREGE'S CONCEPTION OF LOGIC

Verificationism. PHIL September 27, 2011

Logic and Argument Analysis: An Introduction to Formal Logic and Philosophic Method (REVISED)

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.

1 Clarion Logic Notes Chapter 4

TWO VERSIONS OF HUME S LAW

Overview of Today s Lecture

Appendix: The Logic Behind the Inferential Test

Deccan Education Society s FERGUSSON COLLEGE, PUNE (AUTONOMOUS) SYLLABUS UNDER AUTONOMY FIRST YEAR B.A. LOGIC SEMESTER I

Ayer on the criterion of verifiability

Venn Diagrams and Categorical Syllogisms. Unit 5

Unit 4. Reason as a way of knowing. Tuesday, March 4, 14

What would count as Ibn Sīnā (11th century Persia) having first order logic?

An alternative understanding of interpretations: Incompatibility Semantics

What could be some limitations to using fingerprints as evidence? Sep 2 12:58 PM

Syllogism. Exam Importance Exam Importance. CAT Very Important IBPS/Bank PO Very Important. XAT Very Important BANK Clerk Very Important

Indian Philosophy Paper-I

CHAPTER THREE Philosophical Argument

SYLLOGISTIC LOGIC CATEGORICAL PROPOSITIONS

Alice E. Fischer. CSCI 1166 Discrete Mathematics for Computing February, 2018

16. Universal derivation

Logic: Deductive and Inductive by Carveth Read M.A. CHAPTER VI CONDITIONS OF IMMEDIATE INFERENCE

Criticizing Arguments

Basic Concepts and Skills!

Russell: On Denoting

7. Some recent rulings of the Supreme Court were politically motivated decisions that flouted the entire history of U.S. legal practice.

Critical Thinking 5.7 Validity in inductive, conductive, and abductive arguments

Workbook Unit 3: Symbolizations

A short introduction to formal logic

Lecture 17:Inference Michael Fourman

Artificial Intelligence Prof. P. Dasgupta Department of Computer Science & Engineering Indian Institute of Technology, Kharagpur

Deductive Forms: Elementary Logic By R.A. Neidorf READ ONLINE

Transcription:

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 1.4 Truth, Validity and Soundness Chapter 2 Recognizing and Analyzing Arguments 2.1 Introduction 2.2 Language Uses 2.3 Recognizing Propositions 2.4 Recognizing Arguments 2.5 Recognizing Good Arguments 2.6 Analyzing Arguments 2.7 Further Analysis Chapter 3 Disputes and Definitions 3.1 Disputes I: Attitudes and Beliefs 3.2 Disputes II: Genuine and Verbal 3.3 Avoiding Verbal Disputes: Defining Our Terms 3.4 Recognizing Defective Definitions Chapter 4 Identifying Fallacies 4.1 Introduction 4.2 Fallacies of Relevance 4.3 Fallacies of Ambiguity Part II Categorical Logic Chapter 5 Categorical Propositions 5.1 Introduction 5.2 Standard Form Propositions 5 3 More Complex Translation 5.4 The Traditional Square of Opposition 5.5 The Existential Assumption 5.6 Other Immediate Inferences Chapter 6 Categorical Arguments 6.1 Introduction 6.2 Standard Form Syllogisms 6.3 Testing Validity: The Rule Method 6.4 Testing Validity: Venn Diagrams 6.5 Translating and Testing More Arguments Part III Symbolic Logic Chapter 7 Sentential Propositions 7.1 Introduction 7.2 The Conjunction 7.3 The Negation 7.4 The Disjunction 7.5 The Conditional 7.6 The Biconditional Chapter 8 Sentential Truth Tables And Argument Forms 8.1 Introduction 8.2 Constructing Truth Tables 8.3 Testing for Validity with Truth-Tables 8.4 A Short-Cut Test for Validity 8.5 Argument Forms Chapter 9 Sentential Proofs 9.1 Introduction 9.2 Simplification, Conjunction, Absorption 9.3 The Method of Deduction 9.4 The Replacement Rule 9.5 The Assumption Rules Chapter 10 Predicate Logic 10.1 Introduction 10.2 Predicate Symbolization 10.3 Quantifiers 10.4 Predicate Proofs 10.5 The Quantification Rules Glossary

Foreword Welcome! This text is designed to introduce you to the basic concepts of logic and to develop your skills in applying these concepts. To get started, perhaps I need to ask a very basic question, namely, Why do we need to study logic anyway? Now I know that you might be thinking that there is no need to study logic because everybody already knows what it means to be logical and what it means to be illogical. Indeed I have little doubt that the word logic is well entrenched in your vocabulary. Clearly, you know perfectly well what it means to say of someone, perhaps even of yourself, that he or she, is not very logical. I am also aware that you have some important models of what it means to be logical or illogical. For example, you probably associate being logical with someone like Mr. Spock (of Star Trek), who is portrayed as being guided more by logic than Captain Kirk, who is portrayed as all too human. You may take this contrast to put logic in a rather bad light. You might associate it with mechanistic, cold, robotic calculation and as opposed to human emotions and feelings. At the same time, I am confident that logic or being logical carries some value for you. You may even think, as many do, that one of the greatest things about us as human beings is that we can reason things out, make sound judgments, and act on our reasoning. Indeed, you may even think, again as many do, that our human capacity for reasoning, for being logical, is what separates us, at least in part, from our animal brothers and sisters. In any case, it is pretty safe to say that there is hardly a soul who would want to live without this capacity to reason, and to reason well. Accordingly, my task here, in part, is to enhance your appreciation for our capacity for logical thinking. But I do aspire to more than this: this course is intended to make you a sharper, better thinker. Well of course you are already well equipped with some logic skills. You can tell when someone has blatantly contradicted herself. For example, if someone were to say that it is a bad thing to hate other people and then, in the same breath, to say it is a good thing to hate people who feel otherwise, we would have no trouble seeing that this person has contradicted herself. Sometimes, however, the mistakes we make in logic are not so obvious. It is these mistakes that we need to be aware of, and it takes some study in logic to gain this awareness. Let us start out with some simple examples that may show how the study of logic does have some practical value. Let s set the context for these examples. Suppose that a young man is sitting by the phone awaiting a call from his girlfriend. He knows this much is true: if she loves me, she will call me before midnight. Now he thinks of four possibilities:

1. She loves me. 2. She does not love me. 3. She calls me. 4. She does not call me. He can construct four different arguments. These are as follows: A. She calls me. Therefore she loves me. B. She loves me. Therefore she will call me before midnight. C. She does not call me. Therefore she does not love me. D. She does not love me. Therefore she does not call me. Now, can you tell which of these arguments, if any, is (are) good? In your analysis, keep in mind that in these arguments we are assuming that the first two statements are true. Of course they may not be true, but if they were, which "therefore" would be warranted and which not? I suspect that your intuitions will not be sufficient to guide you in this analysis. But I could be wrong. In any case, even if your analysis of these arguments is correct, you may not know why you are correct. By the end of this course you will know. Oh, so you want to know which of these arguments are good and which are not? OK, B and C are good arguments whereas arguments A and D are not. In fact, these forms of reasoning, good and bad, are so common, that they have been given names. A is called "The Fallacy of Affirming the Consequent." B is called "Modus Ponens." C is called "Modus Tollens." D is called "The Fallacy of Denying the Antecedent." If you are having trouble seeing that B and C are good arguments and that A and D are bad ones, just change the content of the argument. For example, let the first statement be: "If I go to the movies then I

will see Jane." Then ring the changes on the possible second statements. That is, combine the first statement with "I do or do not go the movies," and with "I do or do not see Jane." Very well then, let's get started. Before we do, however, I want to give you just one friendly piece of advice that will help you make your trek through this course successful. The advice is captured in that old joke about the visitor in New York who asked someone on the street, "How do you get to Carnegie Hall?" The reply was: "Practice, practice, practice." Well, that is my advice to you. I have included lots of exercises so that you can get lots of practice. So keep up with your assignments. If you do, you should have smooth sailing. Bon Voyage!