# Chapter 3: More Deductive Reasoning (Symbolic Logic)

Size: px
Start display at page:

Download "Chapter 3: More Deductive Reasoning (Symbolic Logic)"

Transcription

1 Chapter 3: More Deductive Reasoning (Symbolic Logic) There's no easy way to say this, the material you're about to learn in this chapter can be pretty hard for some students. Other students, on the other hand, absolutely love this stuff. Whichever camp you are in, I suggest taking it slowly. This material is really not all that difficult if you go step by step, trying to understand each idea fully before moving on to the next one. The good thing is that, from last chapter, you already know the basics of deductive reasoning. This prior knowledge will be useful, considering that the current material is formal deductive reasoning. Sometimes this sort of logic is called symbolic logic since we are basically reducing arguments to symbols. It can be called truth functional logic, referring to the idea that with deduction itself, the truth of the conclusion is a direct function of the truth (or lack thereof) of the premises. However, we will use the term symbolic logic. Ultimately you are going to be turning deductive arguments into symbols and then manipulating those symbols to show that the arguments are valid. This part of logic and critical thinking is where math and language come together, so those of you who like clear answers are going to like this material. There is no ambiguity here, either you get the correct answer or you don t, just like with math. In fact, there are direct similarities between math and symbolic logic. For example, when we show that arguments are valid we call them proofs proofs are also done in math classes (to prove a theorem, for example). Symbolic Reasoning We all know what symbols are, don t we? To oversimplify the definition, symbols are things that stand for other things. In our culture, with traffic lights, the color red symbolizes stop and the color green symbolizes go. Symbols make the world easier for us

2 to navigate. We don t have to write out stop and go because we have collectively agreed to represent those actions with colors. Something similar happens with symbolic logic. Symbolic deductive reasoning is used when other forms of reasoning would be too slow. Let's take validity, for example. It s easy to see that simple arguments are valid or invalid. Here are a couple of examples: This argument is obviously valid: 1. All men love hot dogs. 2. Steve is a man. So Steve loves hot dogs. If it s true that all men love hot dogs (remember, we only assume truth with validity) then it has to be true that Steve loves hot dogs if Steve is a man. Clearly this is a valid argument that is easy to assess if the premises are assumed to be true, then the conclusion follows with certainty. This argument is obviously invalid: 1. Some women love hot dogs. 2. Joanne is a woman. So Joanne loves hot dogs. If only some women love hot dogs, it does not follow that, just because she is a woman, Joanne loves hot dogs. If only some women love hot dogs, then Joanne might be one of the women who does not like them. So the argument is obviously invalid since the conclusion can be false, even when we assume the premises are true. Now, the above are simple arguments that are easy to assess. But what about more complicated arguments with long, complex premises? Consider a religious debate between two people. One,

3 call him Tim, argues that there is a God and that sinners will suffer eternal damnation. The other, call her Julie, argues that, if God is all good, forgiving, and compassionate, then there can be no hell of eternal suffering when we die. Here is the way Julie s argument looks when put it in premise/conclusion format: 1. If God does not exist, then there will be neither a heaven nor a hell for us when we die. 2. If he does exist, then there should be human suffering only if this suffering contributes to fulfilling God s purpose. 3. However, if there is to be human suffering and eternal suffering, then this cannot contribute to fulfilling God s purpose (because God is supposed to be good, forgiving, and compassionate). 4. There will be human suffering and eternal suffering, if there is a hell for us when we die. It follows that there will not be a hell for us when we die. Now, given your skills in determining validity, you could probably take some time to determine whether or not the above is valid or invalid. But it would take a while, and it might not be a very fun thing to do. Luckily for us, there is an easier way this is where symbolic logic comes in. Similar to mathematics, symbolic logic was invented so we can follow long trails of reasoning that are not easy to otherwise assess. Sometimes logic or reasoning in general is defined as systematic common sense. This definition applies especially to symbolic logic, which puts arguments and common sense into a system, as we ll see. Think about math. When you are solving an equation, however simple, do you write out the numbers? Is it 75 X 6 or Seventy five times six? Clearly, the first way is the way we do math. Equations would be incredibly difficult to figure out if we didn t have symbols for numbers and functions. In math, we systematize

4 numbers and their relations; in symbolic logic we systematize language. This being said, just like math, symbolic logic can get incredibly complicated and full classes are devoted to it in upper division philosophy departments. The history of symbolic logic actually goes all the way back to Aristotle, who was the first well-known Western philosopher to turn arguments into symbols over two thousand years ago in ancient Greece. 1 Many other Roman, Christian, and Islamic thinkers helped to develop symbolic logic over the years. But it wasn t until the late 19 th century/early 20 th century that symbolic logic had its renaissance. Important founding figures here are George Boole, Gottlob Frege, Bertrand Russell, and more. 2 If we go later into the 20 th century, we also find figures like Kurt Gödel and Alfred Tarski. 3 Since this is an introduction to logic class, we ll just scratch the surface here. Nevertheless, I hope you will see the importance of symbolic logic to our present age, particularly with respect to computers. The contributions that the founding figures mentioned above made to symbolic logic were a major factor in the computer revolution, and ultimately our development of the sophisticated technology we have today, as we will see. Symbolic Translation The beginning of symbolic logic is learning to translate ordinary, natural language, like what I m writing now, into more basic 1 Aristotle. (2012). The Organon. R. B. Jones (Ed.). CreateSpace. 2 See the following: Boole, G. (2016). The Mathematical Analysis of Logic. CreateSpace; Frege, G. (1980). The Foundations of Arithmetic. Evanston, Il: Northwestern University Press; Russell, B. (2010). Mysticism and Logic: And Other Essays. CreateSpace. 3 Gödel, K. (1992). On Formally Undecided Propositions of Principia Mathematica and Related Systems. Cambridge, UK: Cambridge University Press; Tarski, A. (1956). Logic, Semantics, Mathematics. Oxford, UK: Clarendon Press.

5 symbols. 4 First of all, this little symbol /.: means therefore and refers to the conclusion of an argument. That will be important to remember for this material, but as you ll see below, there is much more to convert to symbols. Completely understanding symbolic logic is like learning a new language (in fact, some philosophy graduate programs will consider proficiency in symbolic logic suitable for a foreign language requirement). The beginning stage is often referred to as propositional logic because it is concerned with trying to understand the connections between propositions (or claims/statements) in ordinary, natural language. Consider the following: Either John passes the final or he will not pass the course. There are two statements here that are linked: John passes the final and John passes the course. They are linked by or and not. These linking terms are called logical connectives. Logical Connectives: and, or, not, if/then, if and only if. Then there are variables. In symbolic logic, we use variables to stand for statements. For example, we use F to stand for John passes the final exam. Notice that we could have used J instead. There is no exact science to choosing a variable the idea is to choose a term from the statement that seems to represent that statement best. So, now we are seeing the components of the symbolic language we ll be using: variables and logical connectives. There are symbols that are used to stand for logical connectives, they are below. No matter how complicated this stuff gets, just remember 4 Language after all, is in some sense a representation/symbol for the literal sound of speaking.

6 that all we're dealing with (at least in this class) boils down to variables and logical connectives, that's it. Variables: A, B, C... Symbols for Logical Connectives: And: & Or: v Not: ~ If/then: If and only if: Logicians (people who study symbolic logic) give labels to statements with each of these connectives: Conjunctions are and statements (&). Disjunctions are or statements (v). Negations are not statements (~). Conditionals are if/then statements ( ). Biconditionals are if and only if statements ( ). Although a conditional is a single symbol, it often contains two terms in ordinary language: if and then. This can be confusing, but just remember the nature of the claim is that one thing depends on the other. If we eat, then we ll be full. In conditionals, what comes first is called the antecedent and what follows is called the consequent. However, sometimes I will also refer to the first term in other types of claims as the antecedent and the second term as the consequent. Given the symbols above, how would we translate the following into symbolic notation? Juan went to the store and Mary stayed home. The first step is to choose variables. Let s choose S for Juan went to the store and H for Mary stayed home. Now, the final symbolic notation would be: S & H. I hope you re able to see why this is the case. Here are a few more examples:

7 If I eat fish, then you ll eat pork: F P (this is a conditional). We ll go to the mall if and only if you get out of bed: M B (this is a biconditional). Either we get a house or an apartment: H v A (this is a disjunction). We re not going to the beach: ~ B (this is a negation). We are going to the beach: B (this is an affirmation that B took place/happened) The essential point is to see that language can be put into a system of symbols, and this is exactly what symbolic logic does. But this stuff can get complicated quickly. Here s an example of what a full argument of symbolic logic looks like. 1. (A & B) [A (D & E)] 2. (A & B) & C /.: D v E 3. A & B 4. A (D & E) 5. A 6. D & E 7. D /.: D v E It's important to note that we could replace the variables and logical connectives in this entire argument, and we would have an argument in natural language. Just to be completely clear, when I refer to natural language, I simply mean the ordinary, everyday language that you read and speak on a daily basis. What about the fact that people speak different languages? Does that change the logic? Do different languages have different logic? They might. Though it s only anecdotal evidence, or non-

8 generalizable evidence from my own experience (see chapters 4 and 7), I have a few friends who claim that it is more difficult to represent Western logical arguments in Mandarin Chinese. I don t speak Spanish very well, though I ve written and spoken it a little, but it s a Western language, so the logic doesn t seem to me to differ too much from English, aside from things like word order, adjective placement, and the like. How is language related to logic and reasoning? It s a deep question, one that many brilliant thinkers have pondered, and continue to ponder. 5 Computers: Logic Machines Websites are constructed using HyperText Markup Language (HTML). If you've built webpages, or worked with more complicated programming languages (like C++), you'll be quite familiar with all of this. Like these programming languages, and giving rise to them, symbolic logic is a language of symbols with different names and functions. It is languages like these that underlie the computer revolution and the general functioning of computers. Like most human achievements, the computer revolution has many different fields of study to thank, but the development of deductive, symbolic languages played a huge role. In this sense, as noted in the last chapter, computers are logic machines, carrying out operations to their logical conclusions, dictated by the rules of the programming language. Proofs of Validity But now, back to the central concerns of this chapter. To reiterate, symbolic logic was originally used to show the validity or 5 For example see the works of Noam Chomsky, Richard Rorty, Susan Haack, and Ludwig Wittgenstein on the topic.

9 invalidity of arguments that are long and complex. We ve learned how to translate from ordinary language to symbolic logic, and the next step is to test whether arguments in this symbolic language are valid these are usually called proofs of validity. There are different ways to prove validity, but we ll be focusing on one. In the chapter 2 homework, you had to determine whether shorter arguments are valid. Again, keep in mind that all we're doing with this current material is proving validity with longer arguments that have been turned into symbols. There are other methods of proving validity (as well as invalidity) of long arguments. For example, one common method that we won't be covering in this class is the truth table method. 6 In this class we will be focusing on the method with which I have the most expertise. The method we re using is sometimes called deduction. We will be using deductive reasoning to construct proofs of validity. Basically, we are going to be taking argument patterns or forms that are already valid and using them to derive a conclusion from a group of premises. It sounds more difficult than it is. However, I do suggest that you read carefully from this point forward, and make sure that you ve understood each section before moving on to the next. The 9 Valid Argument Forms We ll be working with 9 valid argument forms, all explained in detail below. After the explanations, the argument forms are listed on a single page; when you begin to solve the proofs in the homework, you will be heavily referencing that page. When discussing each form below, I use natural language arguments to show why each is valid, then I show the argument in symbolic form. Hopefully the natural language will help you see 6 See the Wikipedia article on it for an overview if you re interested: Truth table method. (n. d.). In Wikipedia. Retrieved July, 17, 2017, from

10 that the argument forms are not arbitrary. However, once you start constructing proofs, there will only be symbols involved. Modus Ponens Here is the first argument form in natural language: 1. If we ever see a gas station, we always stop. 2. We saw a gas station. Therefore, we stopped. Now, let s translate it. First, our variables. We ll let seeing a gas station be represented by G and stopping be represented by S. Now, how does the argument look in symbolic form given our variables? Something like this: 1. G S 2. G /.: S This is one of the most basic valid argument forms: modus ponens. Notice that if the two premises are assumed to be true, then the conclusion must also be true so it is indeed valid. Just to be absolutely clear, we are going to be using this and the other argument forms discussed below (for a total of 9) to show that a conclusion can be derived/proved from a set of premises. Modus Tollens Here is the 2 nd argument form in natural language: 1. If I am Socrates, then I invented the Socratic Method. 2. I did not invent the Socratic Method. So I am not Socrates.

11 Let me being Socrates be represented by S and me inventing the Socratic Method be represented by M. Now, let s see what the argument looks like in symbolic form: 1. S M 2. ~M /.: ~S If I didn t invent the Socratic Method, then I can t be Socrates. The argument is valid since the conclusion follows with certainty assuming the premises are true. Chain Argument Here is the 3 rd argument form in natural language: 1. If I go to school, I ll get a job. 2. If I get a job, I ll get money. So if I go to school, I ll get money. Let me going to school be represented by G, let me getting a job be represented by J, and let me getting money be represented by M. So in symbolic form, the argument looks like this: 1. G J 2. J M /.: G M Perhaps this form in particular shows the usefulness of symbolic logic best: when you look at this argument in symbolic form, it seems easier to see the link between premises and conclusion, and the central role the middle term J plays. Again, notice that if the premises are assumed to be true, then the conclusion follows with certainty. For the last 6 rules, I will refrain

12 from mentioning validity in all cases, and I will assume that the validity of the arguments is understood. Disjunctive Argument Here is the 4 th argument form in natural language: 1. I will eat or I will sleep. 2. I did not eat. Thus, I slept. Let me eating be represented by E and me sleeping be represented by S. Here is the argument in symbolic form: 1. E v S 2. ~ E /.: S Notice that the following would be equally valid: 1. E v S 2. ~ S /.: E In contrast to a conditional claim, with a disjunction the antecedent and consequent are interchangeable. To understand this clearly, just see that when we turn the immediately prior argument into natural language, it is still valid: 1. I will eat or I will sleep. 2. I did not sleep. Thus, I ate. Conjunction Here is the 5 th argument form in natural language: 1. It s raining.

13 2. It s cold. Therefore, it s raining and it s cold. Let it s raining be represented by R and it s cold be represented by C. In symbolic form the argument looks like this: 1. R 2. C /.: R & C If two things are both true separately in this case that it s raining and that it s cold then they are equally true when we state them together, which is what makes this argument valid. Similar to a disjunctive argument, and unlike a conditional, in the conclusion of a conjunction the antecedent or consequent are interchangeable. So the following would also be valid: 1. R 2. C /.: C & R Simplification Here is the 6 th argument form in natural language: 1. I am tired and hungry. Therefore, I am tired. Let me being tired be represented by T and let me being hungry be represented by H. In symbolic form the argument looks like this: 1. T & H /.: T If it s true that I am both tired and hungry, then we can derive with certainty either that you are tired or hungry. So the argument is

14 valid. We can simplify the argument down to the antecedent or consequent, hence the name of this argument form. Again, similar to a disjunctive argument, and unlike a conditional, the simplification can take either the antecedent or consequent in the conclusion. For example, this is still valid: Addition 1. T & H /.: H Here is the 7 th argument form in natural language: 1. I will eat. So I will eat or sleep. Or So I will eat or do homework. Yes, you see that right. There are two possible conclusions, and in fact there are an infinite amount of possible conclusions. This is because a disjunctive claim can be true even if the antecedent or consequent is false, so we can join any claim to a conjunction that is a part of an argument and the argument can still be valid. Let me sleeping be represented by S, let me eating be represented by E, and let me doing homework be represented by H. Here is the argument in symbolic form: 1. E /.: E v S Or

15 /.: E v H Again, remember that we could join any claim we want. Instead of S or H we could add, for example, G to stand for me believing in God. Constructive Dilemma Here is the 8 th argument form in natural language: 1. If there is food, I will eat. 2. If there is a bed, I will sleep. 3. There is food or there is a bed. So I will eat or sleep. Let there being food be represented by F, let me eating be represented by E, let there being a bed be represented by B, and let me sleeping be represented by S. So in symbolic form the argument looks like this: 1. F E 2. B S 3. F v B /.: E v S This and the next are the most complicated of the argument forms, so it may take some practice to recognize them. Destructive Dilemma Here is the 9 th argument form in natural language: 1. If there is food, I will eat. 2. If there is a bed, I will sleep. 3. I did not eat or I did not sleep. So there was not food or there was not a bed.

16 The variables here are the same as with the constructive dilemma, so refer back to the last argument form. Here is what the destructive dilemma given above looks like in symbolic form: 1. F E 2. B S 3. ~ E v ~ S /.: ~ F v ~ B Before moving onto recognizing the argument forms in operation and, ultimately, solving proofs, let s look at two prominent deductive fallacies. Deductive Fallacies Recall that fallacies are mistakes in reasoning. Chapter 6 focuses on relevance fallacies, or fallacies in which the premises are not relevant to the conclusion of an attempted argument. Chapter 7 focuses on inductive fallacies, in which the premises given are not adequate or sufficient to support the conclusion. However the deductive fallacies we are studying in this chapter are a bit different, sometimes called formal fallacies. Basically, the fallacies in the last two chapters of this reader focus on the content within an attempted argument (or the soundness), while the deductive fallacies in this chapter focus on the form of an attempted argument (or the validity). So deductive fallacies are common types of invalid arguments the opposite of the 9 argument forms, which are common types of valid arguments. Affirming the Consequent This is basically a bad modus ponens argument. Whereas modus ponens rightly affirms the antecedent, this one fallaciously affirms the consequent. Here is the form of this fallacy:

17 1. P F 2. F /.: P Kind of looks like modus ponens, right? Wrong. Modus ponens has P in the second premise, but this one has F in that spot. It is an invalid argument, or a fallacy. Consider the attempted argument in natural language with content: 1. If Juanita is pregnant, then she is a female. 2. Juanita is a female. So she is pregnant. Now it s easier to see why this is invalid. Clearly the premises do not prove the conclusion, since according to the argument s logic, Juanita could be one of the many females who is not pregnant. Notice, however, that we could turn it into a valid argument by switching the first premise to this: If Juanita is a female, then she is pregnant. Although this change would make the argument unsound, the argument would still be valid and, therefore, no longer the affirming the consequent fallacy (again, these fallacies are related to validity, not soundness). Denying the Antecedent Now we turn to what is basically a bad modus tollens argument. Whereas modus tollens rightly denies the consequent, this fallacy fallaciously denies the antecedent. Here is the form: 1. M P 2. ~M /.: ~P Kind of looks like modus tollens, right? Again, wrong. Modus tollens has ~P in the second premise, whereas this one has ~M in

18 that spot. Consider the attempted argument/fallacy in natural language: 1. If I am a man, then I have watched pornography. 2. I am not a man. Thus I have not watched pornography. Do men watch more pornography than women? Probably. But that doesn t mean that women don t watch it too. In particular, according to the logic of the attempted argument, the speaker could be a woman who watches pornography, so the conclusion is not proven, making the argument invalid. Recognizing Argument Forms in Operation With invalid arguments out of the way, the next step is learning to recognize some of the nine valid argument forms in operation. Remember fast and slow thinking? At first, recognizing the argument forms will require slow thinking. But over time, hopefully, you ll be able to train your mind to recognize the forms in different contexts. To make it easier, below is Table 1 that lists all 9 forms with symbols. Remember that the symbols are arbitrary, just like variables in math.

19 Table 1. The 9 Valid Argument Forms Modus Ponens (MP) 1. P Q 2. P /.: Q Modus Tollens (MT) 1. P Q 2. ~ Q /.: ~ P Chain Argument (CA) 1. P Q 2. Q R /.: P R Disjunctive Argument (DA) 1. P v Q 1. P v Q 2. ~ P 2. ~ Q /.: Q /.: P Simplification (SIMP) 1. P & Q 1. P & Q /.: P /.: Q Conjunction (CONJ) 1. P 2. Q /.: P & Q Addition (ADD) 1. P 1. Q /.: P v Q /.: P v Q Constructive Dilemma (CD) 1. P Q 2. R S 3. P v R /.: Q v S Destructive Dilemma (DD) 1. P Q 2. R S 3. ~ Q v ~ S /.: ~ P v ~ R

20 Before trying the homework, there is one more important point to understand about this material: anything in parenthesis can stand for a single term. For example, both of the following are modus ponens arguments: 1. P Q 2. P /.: Q 1. (X & ~ Y) Q 2. X & ~ Y /.: Q I suggest reflecting more deeply on why the above two arguments are both modus ponens if you don t understand why, the proofs will be that much more difficult. Now, let's consider the following examples. What argument form was used to reach the conclusion given? 1. (A ~ B) & (~ C D) /.: A ~B The conclusion, which is A ~ B, was reached by the 5th argument form: simplification. So to properly indicate your use of the form (sometimes known as a rule ) as a line in a proof, you would write "SIMP next to the line it came from. Like this: 1. (A ~ B) & (~ C D) /.: A ~B 2. A ~ B 1, SIMP Notice that the abbreviations for all the argument forms are in Table 1 above. Let's try another: 1. (V W) v (X Y) 2. ~(V W) /.: X Y

21 What rule was used to get the conclusion, X Y? It was rule 4, the disjuntive argument. 1. (V W) v (X Y) 2. ~(V W) /.: X Y 3. X Y 1, 2 DA This should all get clearer as you try this chapter s homework. The idea is to get comfortable with these nine rules and then move on to the rest of the homework where you'll have to construct proofs of validity yourself. With proofs, you won't just be recognizing these rules, you'll be deciding for yourself which ones to use to derive the conclusion. For reference, there is a full solution to a proof below. But, I recommend that you do not look at it until after you have at least tried the homework. At this point, it may just confuse you. After you have tried some of the easier proofs, it may be helpful to come back to this more difficult proof for reference. Step-by-Step Solution to a Proof Here is the proof: 1. H (I J) 2. K (I J) 3. (~H & ~K) (~L v ~M) 4. (~L ~N) & (~M ~O) 5. (P N) & (Q O) 6. ~(I J) /.: ~P v ~Q Here are the terms for lines 7 and 8: 7. ~ H 1, 6, MT 8. ~ K 2, 6, MT

22 Let s stop for a minute before going onto the next lines. How did I get ~H on line 7? Notice that I used modus tollens (MT) from lines 1 and 6, which is written next to ~H on line 7. So let s look at lines 1 and 6: 1. H (I J) 6. ~(I J) And what is the form of modus tollens? Using generic variables, here s the form: A B ~B /.: ~A Do you see how the form fits lines 1 and 6? Don t forget that something in parenthesis can be a single term. Let s put them next to each other: A B 1. H (I J) ~B 6. ~(I J) /.: ~A 7. ~H Notice that the conclusion, ~H, is what we put on line 7, the line we were working with. Getting the ~K is the same, except with line 2 instead of line 1. Now let s look at the next few lines of the proof/deduction: 9. ~H & ~K 7, 8, CONJ 10. ~L v ~M 3, 9, MP 11. ~L ~N 4, SIMP 12. ~M ~O 4, SIMP

23 Notice that the ~H and ~K come from the lines we just got, lines 7 and 8. And all we do is bring them together, hence a conjunction (CONJ). But notice that a conjunction only uses the &, so you cannot use another connective, like the or the v. It s important to pay attention to the connectives each time you use a rule. I just gave you an example using modus tollens (MT), and it is quite similar to modus ponens (MP), so you should be able to figure out why line 10 is what it is. Just match up the form of MP to the lines involved (lines 3 and 9), just as I did above for the ~H on line 7. Lines 11 and 12 both come from simplifications (SIMP), which is the opposite of a conjunction. You will see that the terms on line 4 are connected by an &. Because of this, you can take either term and put it on a new line; this is what has been done on lines 11 and 12 above. Again, remember that anything within parenthesis can be used as a single term. The next line of this proof uses a complicated rule, so I am going to focus on this line for a bit: 13. ~N v ~O 10, 11, 12, CD Here is the generic form of the constructive dilemma (CD) rule next to the lines used to derive line 13: A B 11. ~L ~N C D 12. ~M ~O A v C 10. ~L v ~M /.: B v D 13. ~N v ~O This is tricky, because negatives (~) are being used, but the form remains the same. Also, this illustrates the way you may have to

24 look at the lines slightly out of order occasionally to see the form that is necessary. Here are the last lines of the proof/deduction: 14. P N 5, SIMP 15. Q O 5, SIMP 16. ~P v ~Q 13, 14, 15, DD Lines 14 and 15 should be clear at this point, I already went over simplification above. And line 16 is a destructive dilemma (DD), rather than a constructive dilemma (CD). These last two forms are similar, so I m hoping that if you ve followed me this far, you ll be able to see why line 16 is what it is. Keep in mind that there may be slightly different ways to solve this proof, though many of the steps will be similar. Also, the location of the lines is arbitrary in some cases for example I could have reversed lines 14 and 15. Here is the full solution to this proof with everything together: 1. H (I J) 2. K (I J) 3. (~H & ~K) (~L v ~M) 4. (~L ~N) & (~M ~O) 5. (P N) & (Q O) 6. ~(I J) /.: ~P v ~Q 7. ~ H 1, 6, MT 8. ~ K 2, 6, MT 9. ~H & ~K 7, 8, CONJ 10. ~L v ~M 3, 9, MP 11. ~L ~N 4, SIMP 12. ~M ~O 4, SIMP 13. ~N v ~O 10, 11, 12, CD

25 14. P N 5, SIMP 15. Q O 5, SIMP 16. ~P v ~Q 13, 14, 15, DD

26 Major Ideas for More Deductive Reasoning (Symbolic Logic) Although anything from the readings or homework might appear on the assessments, the following major ideas should be clearly understood. Validity (review) Proofs of validity The 9 valid argument forms Deductive Fallacies Recognizing the argument forms in operation

### 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,

### 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

### Appendix: 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 twelve-year-old could understand

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

by SALVATORE - 5 September 2009, 10:44 PM I`m having difficulty understanding what steps to take in applying valid argument forms to do a proof. What determines which given premises one should select to

### 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

### Tutorial A03: Patterns of Valid Arguments By: Jonathan Chan

A03.1 Introduction Tutorial A03: Patterns of Valid Arguments By: With valid arguments, it is impossible to have a false conclusion if the premises are all true. Obviously valid arguments play a very important

### 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

### 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

### 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)

### 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.

### 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.

### Introducing Our New Faculty

Dr. Isidoro Talavera Franklin University, Philosophy Ph.D. in Philosophy - Vanderbilt University M.A. in Philosophy - Vanderbilt University M.A. in Philosophy - University of Missouri M.S.E. in Math Education

### 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

### 4.1 A problem with semantic demonstrations of validity

4. Proofs 4.1 A problem with semantic demonstrations of validity Given that we can test an argument for validity, it might seem that we have a fully developed system to study arguments. However, there

### 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

### 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

### 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

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

1 HANDBOOK (New or substantially modified material appears in boxes.) I. ARGUMENT RECOGNITION Important Concepts An argument is a unit of reasoning that attempts to prove that a certain idea is true by

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

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

### 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

### Chapter 1. What is Philosophy? Thinking Philosophically About Life

Chapter 1 What is Philosophy? Thinking Philosophically About Life Why Study Philosophy? Defining Philosophy Studying philosophy in a serious and reflective way will change you as a person Philosophy Is

### Revisiting the Socrates Example

Section 1.6 Section Summary Valid Arguments Inference Rules for Propositional Logic Using Rules of Inference to Build Arguments Rules of Inference for Quantified Statements Building Arguments for Quantified

### Logic Book Part 1! by Skylar Ruloff!

Logic Book Part 1 by Skylar Ruloff Contents Introduction 3 I Validity and Soundness 4 II Argument Forms 10 III Counterexamples and Categorical Statements 15 IV Strength and Cogency 21 2 Introduction This

### Critical 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

### 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

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

1 HANDBOOK TABLE OF CONTENTS I. Argument Recognition 2 II. Argument Analysis 3 1. Identify Important Ideas 3 2. Identify Argumentative Role of These Ideas 4 3. Identify Inferences 5 4. Reconstruct the

### 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

### Criticizing Arguments

Kareem Khalifa Criticizing Arguments 1 Criticizing Arguments Kareem Khalifa Department of Philosophy Middlebury College Written August, 2012 Table of Contents Introduction... 1 Step 1: Initial Evaluation

### The 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 (385-322

### 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.

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

Unit 4 Reason as a way of knowing I. Reasoning At its core, reasoning is using what is known as building blocks to create new knowledge I use the words logic and reasoning interchangeably. Technically,

### Beyond Symbolic Logic

Beyond Symbolic Logic 1. The Problem of Incompleteness: Many believe that mathematics can explain *everything*. Gottlob Frege proposed that ALL truths can be captured in terms of mathematical entities;

### 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,

### Chapter 2: Two Types of Reasoning

Chapter 2: Two Types of Reasoning In chapter 1, I mentioned deductive and inductive arguments. This chapter goes into more depth on deductive reasoning in particular, but also provides a contrast with

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

What is the Nature of Logic? Judy Pelham Philosophy, York University, Canada July 16, 2013 Pan-Hellenic Logic Symposium Athens, Greece Outline of this Talk 1. What is the nature of logic? Some history

### What 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ā

### CHAPTER 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

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

INTRODUCTION TO LOGICAL THINKING Lecture 6: Two types of argument and their role in science: Deduction and induction 1. Deductive arguments Arguments that claim to provide logically conclusive grounds

### Introduction to Logic

University of Notre Dame Fall, 2015 Arguments Philosophy is difficult. If questions are easy to decide, they usually don t end up in philosophy The easiest way to proceed on difficult questions is to formulate

### Chapter 2 Analyzing Arguments

Logic: A Brief Introduction Ronald L. Hall, Stetson University Chapter 2 Analyzing Arguments 2.1 Introduction Now that we have gotten our "mental muscles" warmed up, let's see how well we can put our newly

### 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 ------------.

### 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

### Chapter 4: More Inductive Reasoning

Chapter 4: More Inductive Reasoning Let s review. You ve learned about the structure of arguments (premises and a conclusion), how to recognize arguments, and about deductive and inductive arguments. Now,

### 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

### 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

### 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.,

### 16. 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

### Does the Skeptic Win? A Defense of Moore. I. Moorean Methodology. In A Proof of the External World, Moore argues as follows:

Does the Skeptic Win? A Defense of Moore I argue that Moore s famous response to the skeptic should be accepted even by the skeptic. My paper has three main stages. First, I will briefly outline G. E.

### 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

### A short introduction to formal logic

A short introduction to formal logic Dan Hicks v0.3.2, July 20, 2012 Thanks to Tim Pawl and my Fall 2011 Intro to Philosophy students for feedback on earlier versions. My approach to teaching logic has

### 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

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

Theorem A Theorem is a valid deduction. One of the key activities in higher mathematics is identifying whether or not a deduction is actually a theorem and then trying to convince other people that you

### Russell's paradox. Contents. Informal presentation. Formal derivation

Russell's paradox From Wikipedia, the free encyclopedia Part of the foundations of mathematics, Russell's paradox (also known as Russell's antinomy), discovered by Bertrand Russell in 1901, showed that

### Full file at

Chapter 1 What is Philosophy? Summary Chapter 1 introduces students to main issues and branches of philosophy. The chapter begins with a basic definition of philosophy. Philosophy is an activity, and addresses

### 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

### Introduction Symbolic Logic

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

### ASPECTS OF PROOF IN MATHEMATICS RESEARCH

ASPECTS OF PROOF IN MATHEMATICS RESEARCH Juan Pablo Mejía-Ramos University of Warwick Without having a clear definition of what proof is, mathematicians distinguish proofs from other types of argument.

### 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

### 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)

### 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

### A romp through the foothills of logic Session 3

A romp through the foothills of logic Session 3 It would be a good idea to watch the short podcast Understanding Truth Tables before attempting this podcast. (Slide 2) In the last session we learnt how

### Lecture 4.2 Aquinas Phil Religion TOPIC: Aquinas Cosmological Arguments for the existence of God. Critiques of Aquinas arguments.

TOPIC: Lecture 4.2 Aquinas Phil Religion Aquinas Cosmological Arguments for the existence of God. Critiques of Aquinas arguments. KEY TERMS/ GOALS: Cosmological argument. The problem of Infinite Regress.

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

Relevance Premises are relevant to the conclusion when the truth of the premises provide some evidence that the conclusion is true Premises are irrelevant when they do not 1 Non Sequitur Latin for it does

### Logic. A Primer with Addendum

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

### 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

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

Deductive Forms: Elementary Logic By R.A. Neidorf READ ONLINE If you are searching for a book Deductive Forms: Elementary Logic by R.A. Neidorf in pdf format, in that case you come on to the correct website.

### 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

### 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

### 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

### 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

### Exposition of Symbolic Logic with Kalish-Montague derivations

An Exposition of Symbolic Logic with Kalish-Montague derivations Copyright 2006-13 by Terence Parsons all rights reserved Aug 2013 Preface The system of logic used here is essentially that of Kalish &

### MITOCW 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

### MPS 17 The Structure of Persuasion Logos: reasoning, reasons, good reasons not necessarily about formal logic

MPS 17 The Structure of Persuasion Logos: reasoning, reasons, good reasons not necessarily about formal logic Making and Refuting Arguments Steps of an Argument You make a claim The conclusion of your

### Portfolio Project. Phil 251A Logic Fall Due: Friday, December 7

Portfolio Project Phil 251A Logic Fall 2012 Due: Friday, December 7 1 Overview The portfolio is a semester-long project that should display your logical prowess applied to real-world arguments. The arguments

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

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

### 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

### The Philosophy of Logic

The Philosophy of Logic PHL 430-001 Spring 2003 MW: 10:20-11:40 EBH, Rm. 114 Instructor Information Matthew McKeon Office: 503 South Kedzie/Rm. 507 Office hours: Friday--10:30-1:00, and by appt. Telephone:

### 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

### To better understand VALIDITY, we now turn to the topic of logical form.

LOGIC GUIDE 2 To better understand VALIDITY, we now turn to the topic of logical form. LOGICAL FORM The logical form of a statement or argument is the skeleton, or structure. If you retain only the words

### Situations in Which Disjunctive Syllogism Can Lead from True Premises to a False Conclusion

398 Notre Dame Journal of Formal Logic Volume 38, Number 3, Summer 1997 Situations in Which Disjunctive Syllogism Can Lead from True Premises to a False Conclusion S. V. BHAVE Abstract Disjunctive Syllogism,

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

Overview Philosophy & logic 1.2 What is philosophy? 1.3 nature of philosophy Why philosophy Rules of engagement Punctuality and regularity is of the essence You should be active in class It is good to

### GENERAL NOTES ON THIS CLASS

PRACTICAL LOGIC Bryan Rennie GENERAL NOTES ON THE CLASS EXPLANATION OF GRADES AND POINTS, ETC. SAMPLE QUIZZES SCHEDULE OF CLASSES THE SIX RULES OF SYLLOGISMS (and corresponding fallacies) SYMBOLS USED

### Christopher N. Foster Curriculum Vitae

Christopher N. Foster Curriculum Vitae Department of Philosophy 1188 W. 1460 N. Brigham Young University Provo, UT 84604 4077 JFSB (801) 623-0525 Provo, UT 84602 chris_foster@byu.edu Areas of Specialization:

### Thinking and Reasoning

Syllogistic Reasoning Thinking and Reasoning Syllogistic Reasoning Erol ÖZÇELİK The other key type of deductive reasoning is syllogistic reasoning, which is based on the use of syllogisms. Syllogisms are

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

Announcements CS243: Discrete Structures First Order Logic, Rules of Inference Işıl Dillig Homework 1 is due now Homework 2 is handed out today Homework 2 is due next Tuesday Işıl Dillig, CS243: Discrete

### 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

### How Gödelian Ontological Arguments Fail

How Gödelian Ontological Arguments Fail Matthew W. Parker Abstract. Ontological arguments like those of Gödel (1995) and Pruss (2009; 2012) rely on premises that initially seem plausible, but on closer

### The Principle of Sufficient Reason and Free Will

Stance Volume 3 April 2010 The Principle of Sufficient Reason and Free Will ABSTRACT: I examine Leibniz s version of the Principle of Sufficient Reason with respect to free will, paying particular attention

### A Guide to FOL Proof Rules ( for Worksheet 6)

A Guide to FOL Proof Rules ( for Worksheet 6) This lesson sheet will be a good deal like last class s. This time, I ll be running through the proof rules relevant to FOL. Of course, when you re doing any

### 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

### Natural 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

### 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

### Does Deduction really rest on a more secure epistemological footing than Induction?

Does Deduction really rest on a more secure epistemological footing than Induction? We argue that, if deduction is taken to at least include classical logic (CL, henceforth), justifying CL - and thus deduction

### 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

### The Ontological Argument for the existence of God. Pedro M. Guimarães Ferreira S.J. PUC-Rio Boston College, July 13th. 2011

The Ontological Argument for the existence of God Pedro M. Guimarães Ferreira S.J. PUC-Rio Boston College, July 13th. 2011 The ontological argument (henceforth, O.A.) for the existence of God has a long

### Lecture 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

### (Refer Slide Time 03:00)

Artificial Intelligence Prof. Anupam Basu Department of Computer Science and Engineering Indian Institute of Technology, Kharagpur Lecture - 15 Resolution in FOPL In the last lecture we had discussed about