Introduction Symbolic Logic


 Christine Higgins
 3 years ago
 Views:
Transcription
1 An Introduction to Symbolic Logic Copyright 2006 by Terence Parsons all rights reserved
2 CONTENTS Chapter One Sentential Logic with 'if' and 'not' 1 SYMBOLIC NOTATION 2 MEANINGS OF THE SYMBOLIC NOTATION 3 SYMBOLIZATION: TRANSLATING COMPLEX SENTENCES INTO SYMBOLIC NOTATION 4 RULES 5 DIRECT DERIVATIONS 6 CONDITIONAL DERIVATIONS 7 INDIRECT DERIVATIONS 8 SUBDERIVATIONS 9 SHORTCUTS 10 STRATEGY HINTS FOR DERIVATIONS 11 THEOREMS 12 USING PREVIOUSLY PROVED THEOREMS IN DERIVATIONS Chapter Two Sentential Logic with 'and', 'or', ifandonlyif' 1 SYMBOLIC NOTATION 2 ENGLISH EQUIVALENTS OF THE CONNECTIVES 3 COMPLEX SENTENCES 4 RULES 5 SOME DERIVATIONS USING RULES S, ADJ, CB 6 ABBREVIATING DERIVATIONS 7 USING THEOREMS AS RULES 8 DERIVED RULES 9 OFFICIAL CONDITIONS FOR DERIVATIONS 10 TRUTH TABLES AND TAUTOLOGIES 11 TAUTOLOGICAL IMPLICATION Chapter Three Individual constants, Predicates, Variables and Quantifiers 1 INDIVIDUAL CONSTANTS AND PREDICATES 2 QUANTIFIERS, VARIABLES, AND FORMULAS 3 SCOPE AND BINDING 4 MEANINGS OF THE QUANTIFIERS 5 SYMBOLIZING SENTENCES ITH QUANTIFIERS 6 DERIVATIONS ITH QUANTIFIERS 7 UNIVERSAL DERIVATIONS 8 SOME DERIVATIONS 9 DERIVED RULES 10 INVALIDITIES 11 EXPANSIONS Copyrighted material Introduction  2
3 1 DEDUCTIVE REASONING Introduction Logic is concerned with arguments, good and bad. ith the docile and the reasonable, arguments are sometimes useful in settling disputes. ith the reasonable, this utility attaches only to good arguments. It is the logician's business to serve the reasonable. Therefore, in the realm of arguments, it is the logician who distinguishes good from bad. Kalish & Montague 1964 p. 1 Logic is the study of correct reasoning. It is not a study of how this reasoning originates, or what its effects are in persuading people; it is rather a study of what it is that makes some reasoning "correct" as opposed to "incorrect". If you have ever found yourself or someone else making a mistake in reasoning, then this is an example of someone being taken in by incorrect reasoning, and you have some idea of what we mean by correct reasoning: it is reasoning that contains no mistakes, persuasive or otherwise. It is typical in logic to divide reasoning into two kinds: deductive and inductive, or, roughly, "airtight" and "merely probable". Here is an example of probable reasoning. You have just been told that Mary bought a new car, and you say to yourself: In the past, Mary always bought big cars. Big cars are usually gasguzzlers. So she (probably) now has a gasguzzler. Your conclusion, that Mary has a gasguzzler, is not one that you think of as following logically from the information that you have; it is merely a probable inference. Inductive Logic, which is the study of probable reasoning, is not very well understood at present. There are certain rather special cases that are well developed, such as the application of the probability calculus to gambling games. But a general study has not met with great success. This is not a book about probable reasoning, but if you are interested in it, this is the place to start. This is because most studies of Inductive Logic take for granted that you are already familiar with Deductive Logic  the logic of "airtight" reasoning  which forms the subject matter of this book. So you have to start here anyway. Here is an example of deductive reasoning. Suppose that you recall reading that either James Polk or Eli hitney was a president of the United States, but you can't remember which one. Some knowledgeable person tells you that Eli hitney was never president (he was a famous inventor). Based on this information you conclude that Polk was a president. The information that you have, and the conclusion that you draw from this information, is: Either Polk or hitney was a president. hitney was not a president. So Polk was a president. Let us compare this reasoning with the other reasoning given above. They both have one thing in common: the information that you start with is not known for certain. In the first example, you have only been told that Mary bought a new car, and this may be a lie or a mistake. Likewise, you may be misremembering her past preferences for car sizes. The same is true in the second reasoning: you were only told that Eli hitney was not president  by someone else or by a history book  and your memory that either Polk or hitney was a president may also be inaccurate. In both cases the information that you start with is not known for certain, and so in this sense your conclusions are only probable. Reasoning is always reasoning from some claims, called the premises of the reasoning, to some further claim, called the conclusion. If the Copyrighted material Introduction  3
4 premises are not known for certain, then no matter how good the reasoning is, the conclusion will not be known for certain either. (There are certain special exceptions to this; see the exercises below.) There is, however, a difference in the nature of the inferences in the two cases. In the second piece of reasoning the reasoning itself is airtight in the following sense: If the premises that you start with are true, then you are guaranteed that your conclusion is true too. That is, if you were right in thinking that either Polk or hitney was a president, and if you were right in thinking that hitney was not a president, then you must be right in thinking that Polk was a president. In this case, it is logically impossible for your premises to be true and your conclusion, nonetheless, to be false. This is an example of what is called validity. If your reasoning is valid, then, although you are not guaranteed that your conclusion is true, you are guaranteed that it is true if your premises are. This guarantee is absent in the case of inductive reasoning. Suppose that Mary has indeed just bought a new car, and suppose that you are correct in believing that she always bought big cars in the past, and also correct in believing that big cars are usually gasguzzlers. You could still be wrong in your conclusion that she now has a gasguzzler. Maybe she decided this time to buy a smaller car. Or maybe she got a big one with some extraordinary new fuel economy equipment. These may be unlikely, but they are not ruled out, even assuming that all of your premises are true. The reasoning is not deductively valid because there is a logical possibility that the conclusion is false even if the premises are all true. In short, in the case of inductive reasoning, the inconclusiveness of the reasoning itself introduces further uncertainty in addition to the original uncertainty of the premises. e rarely have certain knowledge, and a study of logic will not give it to us. Logic is not a method of achieving certainty in general, though it sometimes yields such knowledge as a byproduct; instead, it is a study of the logical relationships among all our sentences, including those that are only probable. 2 TRUTH & VALIDITY A principle unit of investigation in logic is called an argument. An "argument", in its technical sense, consists of two parts: a set of sentences, called the premises, and a sentence called the conclusion. The term "argument" may suggest a dispute, but in logic something is called an argument whether or not any people ever have or ever will disagree about it. Likewise, the "premises" of such an argument may or may not have been believed or asserted by somebody, and it is sometimes useful to examine arguments whose "premises" would never be believed by any rational person. Likewise, by calling something a "conclusion" we do not suggest that anyone ever has or even should "conclude" this thing on the basis of the premises given. The point of the terminology is this: a major topic in the study of deductive logic is validity. This is a relationship between a set of sentences and another sentence; this relationship holds whenever it is logically impossible for there to be a situation in which all the sentences in the first set are true and the other sentence false. It turns out to be very useful to study this relationship in complete generality. That is, it is useful to have a theory which tells us when this relationship holds between any set of sentences and any other sentence. Since a major practical application of such a theory is to pieces of reasoning that people actually use, the tradition has arisen of calling the first set of sentences the "premises", and the other sentence the "conclusion". And since a practical application of logic is to situations in which people disagree, it is perhaps appropriate to call the whole thing an "argument". But these are now technical terms. An argument is simply something that has two parts: a set of sentences called the premises, and another sentence called the conclusion. For logical purposes, any such combination counts as an argument. In displaying arguments it is customary to write their premises first, and to indicate the conclusion by the word like 'so' or a symbol such as ' ' Either Polk was a president or hitney was a president. hitney was not a president. Polk was a president. Copyrighted material Introduction  4
5 The triangle made of three dots is an abbreviation of the word `therefore', and is a way of identifying the conclusion of an argument. In order to save on writing, and also to begin displaying the form of the arguments under discussion, we will start abbreviating simple sentences by capital letters. For the time being we will abbreviate Polk was a president by `P', and hitney was a president by `'. e will abbreviate hitney was not a president by `not '. So the argument can be shortened to: P or not P A major point of this book is to explore the notion of deductive validity. Since the deductive kind is the only one considered here, we simply refer to it as "validity". In this section we will go over certain consequences of the following definition of validity: An argument is valid if, and only if, there is no logically possible situation in which all of its premises are true and its conclusion false. hen we talk about "truth" here we do not have anything deep or mysterious in mind. For example, we say that the sentence 'There is beer in the refrigerator' is true if there is beer in the refrigerator, and false if there isn't beer in the refrigerator. That's all there is to it. e have already seen one case of a valid argument which has all of its premises true and its conclusion true as well: P or not P hat other possibilities are there? ell, as we noted above, it is possible to have some of the premises false and the conclusion false too. (This is sometimes referred to as a case of the "garbage in, garbage out" principle.) Suppose we use `R' to abbreviate Robert E. Lee was a president. Then this argument does not have all of its premises true, nor is its conclusion true: R or not R False False Yet this argument is just as good, as far as its validity is concerned, as the first one. If its premises were true, then that would guarantee that its conclusion would be true too. There is no logically possible situation in which the premises are all true and the conclusion false. This argument, though it starts with a false premise and ends up with a false conclusion, has exactly the same logical form as the first one. This sameness of logical form lies at the foundation of the theory in this book; it is discussed in the following section. Although false "inputs" can lead to false outputs, there is no guarantee that this will happen, for you can reason validly from false information and accidentally end up with a conclusion that is true. Here is an example of that: P or not P False In this example, one of the premises is false, but the conclusion happens to be true anyway. Mistaken assumptions can sometimes lead to a true conclusion by chance. The one combination that we cannot have is a valid argument which has all true premises and a false conclusion. This is in keeping with the definition given above: a deductively valid argument is one for which it is logically impossible for its conclusion to be false if its premises are all true. e have seen that there are valid arguments of each of these sorts: PREMISES all true not all true not all true CONCLUSION true false true Copyrighted material Introduction  5
6 hat about invalid arguments? (That is, what about arguments that are not deductively valid?) hat combination of truthvalues can the parts of invalid arguments have? The answer is that they can have any combination of truthvalues whatsoever. Here are some examples: P or P PREMISES ALL TRUE False CONCLUSION FALSE P not PREMISES ALL TRUE not R CONCLUSION TRUE P or False PREMISES NOT ALL TRUE P CONCLUSION TRUE or R False P PREMISES NOT ALL TRUE R False CONCLUSION FALSE The moral of the story so far is that if you know that an argument is invalid, that fact alone tells you nothing at all about the actual truthvalues possessed by its parts. And if you know that it is valid, all that that fact tells you about the actual truthvalues of its parts is that it does not have all of its premises true plus its conclusion false. However, there is more to be said. Suppose that you want to show that an argument is invalid, but the argument does not already have all true premises and a false conclusion. How can you do this? One approach is to appeal directly to the characterization of validity, and describe a possible situation in which the premises are all true and the conclusion false. For example, suppose someone has given this (invalid) argument: Either Roosevelt or Truman (or perhaps both) was a president. Truman was a president. Roosevelt was a president. There is no mistake of fact involved here, but the argument is a bad one, and you would like to establish this. You could do so as follows. You say: "Suppose that Truman had been a president, but not Roosevelt. In that situation the premises would have been true, but the conclusion false." This is enough to show the reasoning bad, that is, to show the argument invalid. e can do even more than this, as we will see in the next section. EXERCISES This book provides a stock of exercises as an aid to learning. They were written in the belief that the "hands on" approach to modern logical theory is the best way to master it. You will also be supplied with answers to many of the exercises. You should attempt every exercise on your own, and then check your efforts against the answers that are given. If you do not understand one or more of the exercises, ask for help! Several of the exercises contain material that supplements the explanations in the body of the text. None of the exercises presuppose material that is not provided in the text or in the exercise itself. Copyrighted material Introduction  6
7 1. Decide whether each of the following arguments is valid or invalid. If the argument is invalid then describe a possible situation in which its premises are all true and its conclusion false. a. Either Polk or Lee was a president. Either Lee or hitney was a president. Either Polk or hitney was a president. b. Lee wasn't a president, and Polk was. Either Polk or hitney was a president. hitney was a president. c. Polk was a president and so was Lee. hitney was a president. Polk was a president and so was hitney. d. Either Polk or hitney was a president. Lee was not a president. Lee wasn't a president and Polk was. 2. hich of these are true, and which are false: a. Some valid arguments have false conclusions. b. No invalid argument has all true premises and a false conclusion. c. If an argument is valid, and you produce a new argument from it by adding one or more premises to it, the resulting argument will still be valid. d. If an argument is invalid, and you produce a new argument from it by adding one or more premises to it, the resulting argument must still be invalid. e. If an argument has an impossible premise, it is valid. (An example of an impossible sentence is `Some giraffes aren't giraffes'.) f. If an argument has a necessarily true conclusion, it is valid. (An example of a necessarily true sentence is `Every giraffe is a giraffe'.) g. If an argument has a false premise, it is valid. 3. An argument which is valid and which also has all of its premises true is called sound. Based on this definition, which of the following are true, and which false: a. All valid arguments are sound. b. All invalid arguments are unsound. c. All sound arguments have true conclusions. d. If an argument is sound, and you produce a new argument from it by adding one or more premises to it, the resulting argument will still be sound. e. All unsound arguments are invalid. f. If an argument has a necessarily true conclusion, it is sound. 4. Suppose that we have two arguments which are both valid: Q Q S Copyrighted material Introduction  7
8 what do we know about this argument? S 5. Suppose that the following two simple arguments are both sound: Q Q S what do we know about this argument? S 6. Suppose that the following argument is invalid: S what do we know about these arguments? R R S 7. (a) Give an example of a "reversing" argument, that is, one which is guaranteed to have a false conclusion if its premises are true, and is guaranteed to have a true conclusion if any of its premises are false. (b) Give an example of an argument that must have a true conclusion no matter what the truthvalues of its premises. Is this argument valid? 3 LOGICAL FORM If you want to show that an argument is invalid, you can describe a possible situation in which the premises are all true and the conclusion false. But this direct appeal to possible situations is sometimes difficult to articulate, and judgments of possibility can differ. Fortunately, there is another technique that is often more useful. You could have challenged the above reasoning by saying: "That reasoning is no good. If that reasoning were good, we could prove that McGovern was a president! For we know that: and we know: Either McGovern or Truman was a president, Truman was a president. So, by your reasoning we should be able to conclude that McGovern was a president too!" This challenge, like the first one, also shows that the argument given above is invalid. But whereas the first type of challenge focuses on how the ORIGINAL argument works in some POSSIBLE situation, this second challenge is based on how some OTHER argument works in the ACTUAL situation. hat we do in this second technique is to give an argument that is different than the first, but closely related to it. In the case in question, the new argument is: Either McGovern or Truman was a president. Truman was a president. McGovern was a president. e know the new argument is invalid because it actually has all true premises and a false conclusion (we chose it on purpose to be this way). Since the new argument is invalid, so is the original one. Copyrighted material Introduction  8
9 But why should the original argument be invalid just because this second argument is invalid? The answer is that, intuitively speaking, they both employ the same reasoning, and it is the reasoning that is being assessed when we make a judgment about validity. But how can we tell that they employ the same reasoning? The answer is that they both have the same form. Each argument is one in which one of the premises is an "or" statement, with the other premise being one of the parts of the "or" statement and the conclusion being the other part. This sameness of structure or form indicates a sameness of the reasoning involved. A key assumption on which all of modern logical theory is based is that goodness of deductive reasoning is a matter of form, not a matter of content. Any argument which has just the same form as the argument we were just discussing is invalid, no matter whether its subject matter is religion, politics, mathematics, or baseball. Likewise, any argument which has this form: P or not P is valid, regardless of its subject matter. ith this in mind, we can give a modern account of validity due to form: An argument is formally valid if and only if every argument with exactly the same form is valid. It follows from this definition that if an argument is formally valid, so is any argument with exactly that form, if an argument is not formally valid, neither is any argument with exactly that form. A central preoccupation of modern logic, then, is the investigation and classification of logical forms. (That is why this logic is called "formal logic".) This will be our business throughout the chapters that follow. EXERCISES 1. Decide whether each of the following arguments is valid or invalid. If the argument is invalid then give an argument which has the same form, and which actually has all true premises and a false conclusion. a. Either Polk or Lee was a president. Either hitney or Lee was a president. Either Polk or hitney was a president. b. Lee wasn't a president, and Polk was. Either Polk or hitney was a president. hitney was a president. c. Polk was a president and so was Lee. hitney was a president. Polk was a president and so was hitney. d. Either Polk or hitney was a president. Lee was not a president. Lee wasn't a president and Polk was. 2. hich of these are true, and which are false: a. Some invalid arguments have the same forms as valid ones. b. You can show an argument valid by producing another argument which has the same form and which has true premises and a true conclusion. c. If you are wondering whether an argument is valid or not, and you fail to find another argument which has the same form and all true premises and a false conclusion, that shows the original argument to be valid. Copyrighted material Introduction  9
10 3. Here are some argument forms. For each, say whether every argument with that form is valid. If it is not valid, give an example of an argument with the given form that has true premises and a false conclusion. a. If A then B A B b. If A then B B A c. not (A and B) notb not A d. A or B B A e. A and nota B f. A B or notb g. A or B notb or C A or C 4. Recall that an argument which is valid and which also has all of its premises true is called sound. a. If you are wondering whether an argument is sound, and you manage to find another one with the same form and having all true premises and a false conclusion, does that show the original argument to be unsound? hy? b. If you are wondering whether an argument is sound, and you manage to find another one with the same form and having all true premises and a true conclusion, does that show the original argument to be sound? hy? c. If you are wondering whether an argument is sound, and you manage to find another one with the same form and having all false premises and a false conclusion, does that show the original argument to be sound? To be unsound? hy? 5. For each of the examples in 3, say whether or not every argument with that form is sound, and also say whether some argument with that form is sound. 6. {This question is speculative, and does not necessarily have a straightforward answer} Could there be an argument that is valid but not formally valid? Could there be an argument that is formally valid but not valid? 4 SYMBOLIC NOTATION Our investigation of logical forms will take an indirect route, but one that has proved to be worthwhile. Instead of attempting a direct classification of the logical forms of sentences of English, we will develop an artificial language that is considerably simpler than English. It will in some ways be like English without the logically irrelevant aspects of English. And it will lack some of the characteristics that make the use of English confusing when used in argumentation. For example, the artificial language will lack some of the structural ambiguity of English. Consider this English sentence: Copyrighted material Introduction  10
11 Mary teaches little girls and boys. Does this tell us that Mary teaches little girls and little boys, or that she teaches little girls and regularsize boys? If this sentence occurred in an argument, the validity of the argument might turn on how the sentence was read. In the artificial language to be developed, structural ambiguities of this sort will be absent. The artificial language will be especially designed to make logical form perspicuous. You are already familiar with this from arithmetic. Consider the partly symbolic sentence: For any two numbers x and y, x+y = y+x. It is clear what this says. The same thing can also be said without any symbols: Given any two numbers, the result of adding them together in one order is the same as the result of adding them together in the reverse order. It is apparent that the use of symbols makes the claim clearly and vividly. Our logical symbolism will be like this. In fact, it will be possible in the symbolic language to tell the logical forms of its sentences just by examining the shapes and arrangements of its symbols. And it will be possible to evaluate formal validity and invalidity of arguments expressed in it by a variety of techniques that appeal directly to the visible arrangements of the symbols in the sentences used. This does not mean that we will lose sight of reasoning that is expressed in our native tongue. One of the tasks of learning the artificial language will be to learn how to take sentences of English and reexpress them in the artificial language we are learning. One of our goals, after all, is to learn about reasoning that we encounter every day, in its natural habitat. 5 IDEALIZATIONS The data that we have to deal with are incredibly complex, and this is only an introductory text. So we will idealize from time to time. This is no different from any other art or science. In physics you usually begin by studying the behavior of bodies falling in a perfectly uniform gravitational field, or sliding down frictionless planes. There are no perfectly uniform gravitational fields, and no frictionless planes, yet studying these things gives us clear and simple models that can be applied to real phenomena as approximations. And then in the advanced courses you can learn how friction affects the sliding, and how nonuniform fields affect the movement of things in them. Here are some of the idealizations that we will make in this book: e will look only at arguments with indicative sentences, not with imperative or interrogative. e will ignore any problems due to vagueness. For example, given a perfect understanding of the situation, you may still be unsure whether to say that Mary loves John, because of the vagueness of distinguishing between loving and liking. e will also totally ignore the fact that sentences may change truthvalue over time and with differing situations. If I say today: I'm feeling great! this may be true, but the very same sentence may be false tomorrow. And it may be true when I say it, yet false when someone else utters it. This "context dependence" of truth has aroused a great deal of interest, and there are many theories about how it works. They all presuppose that their readers have already learned the material in this book. e will pretend in our investigations that sentences come with unique truthvalues that do not change with context. The effects of context constitute an advanced study. e will also assume that each sentence is either true or false. Again, the question of whether, and which, sentences lack truthvalue is interesting, but is not to be pursued at the beginning. Many other idealizations will become apparent as we proceed. Copyrighted material Introduction  11
12 6 THE PLAN OF THE TEXT Introduction In this text we will develop a symbolic notation in a stepbystep process. In chapter 1 we consider simple sentences that are combined together with the "connectives" 'or' and 'if...then...'. Even with this very austere notation we can formulate and study a number of formal validities. In chapter 2 we expand this notation by introducing further connectives: 'and', 'or', and 'if and only if'. In chapter 3 we vastly expand our symbolic language with the introduction of variables and quantifiers. Each expansion of the notation builds on what has gone before, so we are continually increasing our ability to validate formally valid arguments and invalidate arguments that are not formally valid. Copyrighted material Introduction  12
Exposition of Symbolic Logic with KalishMontague derivations
An Exposition of Symbolic Logic with KalishMontague derivations Copyright 200613 by Terence Parsons all rights reserved Aug 2013 Preface The system of logic used here is essentially that of Kalish &
More informationStudy 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 informationArtificial 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
More informationRichard L. W. Clarke, Notes REASONING
1 REASONING Reasoning is, broadly speaking, the cognitive process of establishing reasons to justify beliefs, conclusions, actions or feelings. It also refers, more specifically, to the act or process
More informationChapter 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 truthfunctional arguments.
More informationChapter 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 truthvalue of a given truthfunctional compound proposition depends
More informationLecture Notes on Classical Logic
Lecture Notes on Classical Logic 15317: Constructive Logic William Lovas Lecture 7 September 15, 2009 1 Introduction In this lecture, we design a judgmental formulation of classical logic To gain an intuition,
More informationNatural Deduction for Sentence Logic
Natural Deduction for Sentence Logic Derived Rules and Derivations without Premises We will pursue the obvious strategy of getting the conclusion by constructing a subderivation from the assumption of
More informationSemantic 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.
More informationUnderstanding Truth Scott Soames Précis Philosophy and Phenomenological Research Volume LXV, No. 2, 2002
1 Symposium on Understanding Truth By Scott Soames Précis Philosophy and Phenomenological Research Volume LXV, No. 2, 2002 2 Precis of Understanding Truth Scott Soames Understanding Truth aims to illuminate
More informationA 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 informationMCQ 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 .
More informationA 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 informationA Romp through the Foothills of Logic: Session 2
A Romp through the Foothills of Logic: Session 2 You might find it easier to understand this podcast if you first watch the short podcast Introducing Truth Tables. (Slide 2) Right, by the time we finish
More informationArgumentation Module: Philosophy Lesson 7 What do we mean by argument? (Two meanings for the word.) A quarrel or a dispute, expressing a difference
1 2 3 4 5 6 Argumentation Module: Philosophy Lesson 7 What do we mean by argument? (Two meanings for the word.) A quarrel or a dispute, expressing a difference of opinion. Often heated. A statement of
More informationThe 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 informationCHAPTER THREE Philosophical Argument
CHAPTER THREE Philosophical Argument General Overview: As our students often attest, we all live in a complex world filled with demanding issues and bewildering challenges. In order to determine those
More informationHANDBOOK (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 informationILLOCUTIONARY 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,
More information2.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
More information1. Introduction Formal deductive logic Overview
1. Introduction 1.1. Formal deductive logic 1.1.0. Overview In this course we will study reasoning, but we will study only certain aspects of reasoning and study them only from one perspective. The special
More informationBASIC 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 informationCHAPTER 2 THE LARGER LOGICAL LANDSCAPE NOVEMBER 2017
CHAPTER 2 THE LARGER LOGICAL LANDSCAPE NOVEMBER 2017 1. SOME HISTORICAL REMARKS In the preceding chapter, I developed a simple propositional theory for deductive assertive illocutionary arguments. This
More informationWhat are TruthTables and What Are They For?
PY114: Work Obscenely Hard Week 9 (Meeting 7) 30 November, 2010 What are TruthTables and What Are They For? 0. Business Matters: The last marked homework of term will be due on Monday, 6 December, at
More informationThe Relationship between the Truth Value of Premises and the Truth Value of Conclusions in Deductive Arguments
The Relationship between the Truth Value of Premises and the Truth Value of Conclusions in Deductive Arguments I. The Issue in Question This document addresses one single question: What are the relationships,
More informationHANDBOOK (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 informationPhilosophy 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 informationWhat would count as Ibn Sīnā (11th century Persia) having first order logic?
1 2 What would count as Ibn Sīnā (11th century Persia) having first order logic? Wilfrid Hodges Herons Brook, Sticklepath, Okehampton March 2012 http://wilfridhodges.co.uk Ibn Sina, 980 1037 3 4 Ibn Sīnā
More informationAppendix: The Logic Behind the Inferential Test
Appendix: The Logic Behind the Inferential Test In the Introduction, I stated that the basic underlying problem with forensic doctors is so easy to understand that even a twelveyearold could understand
More informationLogic & Proofs. Chapter 3 Content. Sentential Logic Semantics. Contents: Studying this chapter will enable you to:
Sentential Logic Semantics Contents: TruthValue Assignments and TruthFunctions TruthValue Assignments TruthFunctions Introduction to the TruthLab TruthDefinition Logical Notions TruthTrees Studying
More information6.041SC Probabilistic Systems Analysis and Applied Probability, Fall 2013 Transcript Lecture 3
6.041SC Probabilistic Systems Analysis and Applied Probability, Fall 2013 Transcript Lecture 3 The following content is provided under a Creative Commons license. Your support will help MIT OpenCourseWare
More informationCHAPTER 1 A PROPOSITIONAL THEORY OF ASSERTIVE ILLOCUTIONARY ARGUMENTS OCTOBER 2017
CHAPTER 1 A PROPOSITIONAL THEORY OF ASSERTIVE ILLOCUTIONARY ARGUMENTS OCTOBER 2017 Man possesses the capacity of constructing languages, in which every sense can be expressed, without having an idea how
More information2016 Philosophy. Higher. Finalised Marking Instructions
National Qualifications 06 06 Philosophy Higher Finalised Marking Instructions Scottish Qualifications Authority 06 The information in this publication may be reproduced to support SQA qualifications only
More informationTHE MEANING OF OUGHT. Ralph Wedgwood. What does the word ought mean? Strictly speaking, this is an empirical question, about the
THE MEANING OF OUGHT Ralph Wedgwood What does the word ought mean? Strictly speaking, this is an empirical question, about the meaning of a word in English. Such empirical semantic questions should ideally
More informationHANDBOOK. 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 informationTHE FORM OF REDUCTIO AD ABSURDUM J. M. LEE. A recent discussion of this topic by Donald Scherer in [6], pp , begins thus:
Notre Dame Journal of Formal Logic Volume XIV, Number 3, July 1973 NDJFAM 381 THE FORM OF REDUCTIO AD ABSURDUM J. M. LEE A recent discussion of this topic by Donald Scherer in [6], pp. 247252, begins
More informationAn 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 reposting or recirculation. Comments and corrections please to ps218 at cam dot ac dot uk 1 What
More informationLOGIC: An INTRODUCTION to the FORMAL STUDY of REASONING. JOHN L. POLLOCK University of Arizona
LOGIC: An INTRODUCTION to the FORMAL STUDY of REASONING JOHN L. POLLOCK University of Arizona 1 The Formal Study of Reasoning 1. Problem Solving and Reasoning Human beings are unique in their ability
More informationSelections 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 informationIn Search of the Ontological Argument. Richard Oxenberg
1 In Search of the Ontological Argument Richard Oxenberg Abstract We can attend to the logic of Anselm's ontological argument, and amuse ourselves for a few hours unraveling its convoluted wordplay, or
More informationTransition to Quantified Predicate Logic
Transition to Quantified Predicate Logic Predicates You may remember (but of course you do!) during the first class period, I introduced the notion of validity with an argument much like (with the same
More informationBasic 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 informationMITOCW Lec 2 MIT 6.042J Mathematics for Computer Science, Fall 2010
MITOCW Lec 2 MIT 6.042J Mathematics for Computer Science, Fall 2010 The following content is provided under a Creative Commons license. Your support will help MIT OpenCourseWare continue to offer high
More informationPART 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
More informationAyer and Quine on the a priori
Ayer and Quine on the a priori November 23, 2004 1 The problem of a priori knowledge Ayer s book is a defense of a thoroughgoing empiricism, not only about what is required for a belief to be justified
More information9 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
More informationLogic: 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
More informationPastorteacher Don Hargrove Faith Bible Church September 8, 2011
Pastorteacher 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
More informationChapter 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
More informationWilliams on Supervaluationism and Logical Revisionism
Williams on Supervaluationism and Logical Revisionism Nicholas K. Jones Noncitable draft: 26 02 2010. Final version appeared in: The Journal of Philosophy (2011) 108: 11: 633641 Central to discussion
More information16. Universal derivation
16. Universal derivation 16.1 An example: the Meno In one of Plato s dialogues, the Meno, Socrates uses questions and prompts to direct a young slave boy to see that if we want to make a square that has
More informationJeffrey, Richard, Subjective Probability: The Real Thing, Cambridge University Press, 2004, 140 pp, $21.99 (pbk), ISBN
Jeffrey, Richard, Subjective Probability: The Real Thing, Cambridge University Press, 2004, 140 pp, $21.99 (pbk), ISBN 0521536685. Reviewed by: Branden Fitelson University of California Berkeley Richard
More informationLecture 4: Deductive Validity
Lecture 4: Deductive Validity Right, I m told we can start. Hello everyone, and hello everyone on the podcast. This week we re going to do deductive validity. Last week we looked at all these things: have
More informationArtificial Intelligence Prof. P. Dasgupta Department of Computer Science & Engineering Indian Institute of Technology, Kharagpur
Artificial Intelligence Prof. P. Dasgupta Department of Computer Science & Engineering Indian Institute of Technology, Kharagpur Lecture 10 Inference in First Order Logic I had introduced first order
More informationSemantic 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 informationDeduction 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 informationEtchemendy, Tarski, and Logical Consequence 1 Jared Bates, University of Missouri Southwest Philosophy Review 15 (1999):
Etchemendy, Tarski, and Logical Consequence 1 Jared Bates, University of Missouri Southwest Philosophy Review 15 (1999): 47 54. Abstract: John Etchemendy (1990) has argued that Tarski's definition of logical
More informationQualitative and quantitative inference to the best theory. reply to iikka Niiniluoto Kuipers, Theodorus
University of Groningen Qualitative and quantitative inference to the best theory. reply to iikka Niiniluoto Kuipers, Theodorus Published in: EPRINTSBOOKTITLE IMPORTANT NOTE: You are advised to consult
More informationExercise 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
More informationTWO 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 informationIntro 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 informationMISSOURI S FRAMEWORK FOR CURRICULAR DEVELOPMENT IN MATH TOPIC I: PROBLEM SOLVING
Prentice Hall Mathematics:,, 2004 Missouri s Framework for Curricular Development in Mathematics (Grades 912) TOPIC I: PROBLEM SOLVING 1. Problemsolving strategies such as organizing data, drawing a
More informationELEMENTS OF LOGIC. 1.1 What is Logic? Arguments and Propositions
Handout 1 ELEMENTS OF LOGIC 1.1 What is Logic? Arguments and Propositions In our day to day lives, we find ourselves arguing with other people. Sometimes we want someone to do or accept something as true
More informationINTERMEDIATE 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 informationLogic 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 informationA Primer on Logic Part 1: Preliminaries and Vocabulary. Jason Zarri. 1. An Easy $10.00? a 3 c 2. (i) (ii) (iii) (iv)
A Primer on Logic Part 1: Preliminaries and Vocabulary Jason Zarri 1. An Easy $10.00? Suppose someone were to bet you $10.00 that you would fail a seemingly simple test of your reasoning skills. Feeling
More informationIS THE SYLLOGISTIC A LOGIC? it is not a theory or formal ontology, a system concerned with general features of the
IS THE SYLLOGISTIC A LOGIC? Much of the last fifty years of scholarship on Aristotle s syllogistic suggests a conceptual framework under which the syllogistic is a logic, a system of inferential reasoning,
More informationChapter 1 Why Study Logic? Answers and Comments
Chapter 1 Why Study Logic? Answers and Comments WARNING! YOU SHOULD NOT LOOK AT THE ANSWERS UNTIL YOU HAVE SUPPLIED YOUR OWN ANSWERS TO THE EXERCISES FIRST. Answers: I. True and False 1. False. 2. True.
More informationVerificationism. PHIL September 27, 2011
Verificationism PHIL 83104 September 27, 2011 1. The critique of metaphysics... 1 2. Observation statements... 2 3. In principle verifiability... 3 4. Strong verifiability... 3 4.1. Conclusive verifiability
More informationRecall. 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 informationLogical Omniscience in the Many Agent Case
Logical Omniscience in the Many Agent Case Rohit Parikh City University of New York July 25, 2007 Abstract: The problem of logical omniscience arises at two levels. One is the individual level, where an
More informationLogic 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 informationTruth 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
More informationBASIC CONCEPTS OF LOGIC
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 informationThree Kinds of Arguments
Chapter 27 Three Kinds of Arguments Arguments in general We ve been focusing on Moleculananalyzable arguments for several chapters, but now we want to take a step back and look at the big picture, at
More informationFrom Transcendental Logic to Transcendental Deduction
From Transcendental Logic to Transcendental Deduction Let me see if I can say a few things to recap our first discussion of the Transcendental Logic, and help you get a foothold for what follows. Kant
More informationUC 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 informationTruth and Evidence in Validity Theory
Journal of Educational Measurement Spring 2013, Vol. 50, No. 1, pp. 110 114 Truth and Evidence in Validity Theory Denny Borsboom University of Amsterdam Keith A. Markus John Jay College of Criminal Justice
More information1.2. What is said: propositions
1.2. What is said: propositions 1.2.0. Overview In 1.1.5, we saw the close relation between two properties of a deductive inference: (i) it is a transition from premises to conclusion that is free of any
More informationPHI 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
More informationThe Development of Laws of Formal Logic of Aristotle
This paper is dedicated to my unforgettable friend Boris Isaevich Lamdon. The Development of Laws of Formal Logic of Aristotle The essence of formal logic The aim of every science is to discover the laws
More informationMoral Argumentation from a Rhetorical Point of View
Chapter 98 Moral Argumentation from a Rhetorical Point of View Lars Leeten Universität Hildesheim Practical thinking is a tricky business. Its aim will never be fulfilled unless influence on practical
More informationHume. Hume the Empiricist. Judgments about the World. Impressions as Content of the Mind. The Problem of Induction & Knowledge of the External World
Hume Hume the Empiricist The Problem of Induction & Knowledge of the External World As an empiricist, Hume thinks that all knowledge of the world comes from sense experience If all we can know comes from
More informationInstructor s Manual 1
Instructor s Manual 1 PREFACE This instructor s manual will help instructors prepare to teach logic using the 14th edition of Irving M. Copi, Carl Cohen, and Kenneth McMahon s Introduction to Logic. The
More informationMcDougal Littell High School Math Program. correlated to. Oregon Mathematics GradeLevel Standards
Math Program correlated to GradeLevel ( in regular (noncapitalized) font are eligible for inclusion on Oregon Statewide Assessment) CCG: NUMBERS  Understand numbers, ways of representing numbers, relationships
More informationCritical Thinking 5.7 Validity in inductive, conductive, and abductive arguments
5.7 Validity in inductive, conductive, and abductive arguments REMEMBER as explained in an earlier section formal language is used for expressing relations in abstract form, based on clear and unambiguous
More informationLogic I, Fall 2009 Final Exam
24.241 Logic I, Fall 2009 Final Exam You may not use any notes, handouts, or other material during the exam. All cell phones must be turned off. Please read all instructions carefully. Good luck with the
More informationThe Kripkenstein Paradox and the Private World. In his paper, Wittgenstein on Rules and Private Languages, Kripke expands upon a conclusion
24.251: Philosophy of Language Paper 2: S.A. Kripke, On Rules and Private Language 21 December 2011 The Kripkenstein Paradox and the Private World In his paper, Wittgenstein on Rules and Private Languages,
More informationArtificial Intelligence Prof. P. Dasgupta Department of Computer Science & Engineering Indian Institute of Technology, Kharagpur
Artificial Intelligence Prof. P. Dasgupta Department of Computer Science & Engineering Indian Institute of Technology, Kharagpur Lecture 9 First Order Logic In the last class, we had seen we have studied
More informationLecture 1: Validity & Soundness
Lecture 1: Validity & Soundness 1 Goals Today Introduce one of our central topics: validity and soundness, and its connection to one of our primary course goals, namely: learning how to evaluate arguments
More informationSECTION 2 BASIC CONCEPTS
SECTION 2 BASIC CONCEPTS 2.1 Getting Started...9 2.2 Object Language and Metalanguage...10 2.3 Propositions...12 2.4 Arguments...20 2.5 Arguments and Corresponding Conditionals...29 2.6 Valid and Invalid,
More informationLecture 1: The Nature of Arguments
Lecture 1: The Nature of Arguments Right, let s get started. Welcome to everybody here and welcome to everyone on the podcast. Delighted to see so many of you it s very nice to know that so many people
More informationComplications 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
More informationThe Appeal to Reason. Introductory Logic pt. 1
The Appeal to Reason Introductory Logic pt. 1 Argument vs. Argumentation The difference is important as demonstrated by these famous philosophers. The Origins of Logic: (highlights) Aristotle (385322
More informationA SOLUTION TO FORRESTER'S PARADOX OF GENTLE MURDER*
162 THE JOURNAL OF PHILOSOPHY cial or political order, without this secondorder dilemma of who is to do the ordering and how. This is not to claim that A2 is a sufficient condition for solving the world's
More informationAyer 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...............................
More informationThe distinction between truthfunctional and nontruthfunctional logical and linguistic
FORMAL CRITERIA OF NONTRUTHFUNCTIONALITY Dale Jacquette The Pennsylvania State University 1. TruthFunctional Meaning The distinction between truthfunctional and nontruthfunctional logical and linguistic
More information1.6 Validity and Truth
M01_COPI1396_13_SE_C01.QXD 10/10/07 9:48 PM Page 30 30 CHAPTER 1 Basic Logical Concepts deductive arguments about probabilities themselves, in which the probability of a certain combination of events is
More informationPhilosophical Arguments
Philosophical Arguments An introduction to logic and philosophical reasoning. Nathan D. Smith, PhD. Houston Community College Nathan D. Smith. Some rights reserved You are free to copy this book, to distribute
More informationFr. Copleston vs. Bertrand Russell: The Famous 1948 BBC Radio Debate on the Existence of God
Fr. Copleston vs. Bertrand Russell: The Famous 1948 BBC Radio Debate on the Existence of God Father Frederick C. Copleston (Jesuit Catholic priest) versus Bertrand Russell (agnostic philosopher) Copleston:
More information