Slides / Bullets

• Introduction to Logic
• What is logic?
  • Logic is the systematic study of logical consequence
  • In other words: what follows from what, what entails or implies what.
• Why care about logic?
  • One reason: understanding what follows from what is of great importance to the universal human activity of reasoning, trying to figure out what to believe in a reasonable manner.
    • If I believe that P, and I understand that Q follows from P, then I should believe Q, or else give up my belief that P.
  • It’Äôs also of great importance to those who want to persuade others, and to resist being persuaded by them.
• Arguments
  • ’ÄòAn argument is any series of statements in which one (called the conclusion) is meant to follow from, or be supported by, the others (called the premises)’Äô (B&E, 41)
  • If the conclusion really does follow from the premises, we say that the argument is valid (a.k.a. ’Äòdeductively valid’Äô, ’Äòlogically valid’Äô.)
• • Not all invalid arguments are bad arguments: the premises might support the conclusion even if they don’Äôt entail it.
  • Example: ’ÄòThe murderer was a one-armed man with a grudge against the victim; Jones was a one-armed man with a grudge against the victim; therefore, Jones was the murderer.’Äô
• • We’Äôll sometimes use ’ÄúFitch format’Äù for presenting arguments, thus:
  • All healthy dogs are active dogs.
  • Fido is an active dog.
  • Fido is a healthy dog.
• What is it for an argument to be valid?
  • The conclusion follows from, or is entailed by, or is a (logical) consequence of, its premises.
  • If the premises are all true, the conclusion must be true too.
  • The premises can’Äôt all be true without the conclusion being true too.
• Soundness
  • Definition: A sound argument is a valid argument, all of whose premises are true.
    • Could there be a sound argument with a false conclusion?
    • Could there be an unsound argument with a true conclusion?
    • Could there be an unsound but valid argument with a true conclusion?
• Which of these arguments are valid?
  • All dogs have fleas. Lassie is a dog. Therefore, Lassie has fleas.
  • Donald Trump is a bachelor. Therefore, Donald Trump is unmarried.
  • The Atlantic Ocean contains water. Therefore, the Atlantic Ocean contains hydrogen.
  • 1 and 2 are valid. The status of 3 is doubtful: it depends on what we mean by ’Äòvalid’Äô, ’Äòfollows from’Äô, ’Äòmust’Äô, etc.
• • What we’Äôre concerned with in logic is validity insofar as it is explained by grammatical structure together with the meanings of certain words (the ’Äòlogical vocabulary’Äô)
  • In this course, we’Äôll be primarily concerned with words like ’Äòand’Äô, ’Äòor’Äô, ’Äònot’Äô, ’Äòif...then’Äô, ’Äòsome’Äô, and ’Äòall’Äô, and grammatical structures involving them.
  • Given this restricted focus, it doesn’Äôt matter whether we understand ’Äòvalid’Äô in such a way that argument 3 counts as valid. The only argument whose validity is explained by the meanings of the words on our list is 1.
• • Terminological note: people sometimes use ’Äòlogically valid’Äô to mean ’Äòvalid in virtue of grammatical structure and the meanings of logical words’Äô (and similarly for ’Äòlogical consequence’Äô and so forth.) But that’Äôs not how B&E use the expression.
    • When I want to talk about this notion, I’Äôll speak of an argument being logically valid in the restricted sense.
• Why is this restricted notion interesting?
  • You’Äôve got to start somewhere...
  • The process of determining the validity of an argument involving complicated sentences with multiple occurrences of ’Äòand’Äô, ’Äòor’Äô, etc., can be quite complex, even once you have mastered the basic principles.
    • That’Äôs why you’Äôll have to acquire some special new skills, and why this course satisfies your math requirement.
• • Consider argument (2) again: ’ÄòDonald Trump is a bachelor, therefore Donald Trump is unmarried’Äô.
  • It seems we can define ’Äòbachelor’Äô as ’Äòunmarried man’Äô. Given this definition, the argument is equivalent to ’ÄòDonald Trump is an unmarried man, therefore Donald Trump is unmarried’Äô.
  • Perhaps all valid arguments can be reduced, via ’Äúdefinitions’Äù, to arguments that are valid in the restricted sense.