W HAT IS L OGIC ? logic as good reasoning In this view, logic is - - PowerPoint PPT Presentation

w hat is l ogic
SMART_READER_LITE
LIVE PREVIEW

W HAT IS L OGIC ? logic as good reasoning In this view, logic is - - PowerPoint PPT Presentation

P HIL 2310: I NTRODUCTION TO D EDUCTIVE L OGIC Wednesday, 25 August Joel Velasco Wednesday, August 25, 2010 1 A GENDA Introductions Course Information What is logic? Wednesday, August 25, 2010 2 C OURSE I NFORMATION Joel Velasco


slide-1
SLIDE 1

PHIL 2310: INTRODUCTION TO DEDUCTIVE LOGIC

Wednesday, 25 August Joel Velasco

1 Wednesday, August 25, 2010

slide-2
SLIDE 2

AGENDA

Introductions Course Information What is logic?

2 Wednesday, August 25, 2010

slide-3
SLIDE 3

COURSE INFORMATION

Joel Velasco joelvelasco@cornell.edu Office: Goldwin Smith 228 2-3pm Tue, 2:30-3:30 W,

  • r email for appointments

Course Requirements 30% Homework 20% x 2 for prelims 30% Final Language, Proof and Logic Barwise and Etchemendy Software Tarski’s World, Fitch and Boole

3 Wednesday, August 25, 2010

slide-4
SLIDE 4

HOMEWORK

Assignments posted online one week before due date: Everything is posted at: http:// courses.cit.cornell.edu/ jdv55/teaching/2310/ Submission

  • nline: Grade Grinder

written: bring to class typically due Monday No Late Work Collaboration

  • discuss anything you want
  • we encourage working

in groups!

  • complete/submit your

work without consulting

  • thers or group work

4 Wednesday, August 25, 2010

slide-5
SLIDE 5

GRADE GRINDER

1 2 3

5 Wednesday, August 25, 2010

slide-6
SLIDE 6

WHAT IS LOGIC?

logic as good reasoning In this view, logic is about the difference between valid and invalid arguments In a valid argument, the conclusion follows from the

  • premises. IF all of the premises are true, then the

conclusion is (must be, would be...) true. Equivalently: It is impossible for all of the premises to be true and the conclusion false.

6 Wednesday, August 25, 2010

slide-7
SLIDE 7

VALIDITY AND ARGUMENTS

(1) If our currency loses value then our trade deficit will narrow. (2) Our currency will lose value. Conclusion: Our trade deficit will narrow (1) If our currency loses value then our trade deficit will narrow. (2) Our trade deficit will narrow. Conclusion: Our currency will lose value

7 Wednesday, August 25, 2010

slide-8
SLIDE 8

VALIDITY AND ARGUMENTS

(1) If our currency loses value then our trade deficit will narrow. (2) Our currency will lose value. Conclusion: Our trade deficit will narrow

P → Q P Q

V ALID

8 Wednesday, August 25, 2010

slide-9
SLIDE 9

VALIDITY AND ARGUMENTS

(1) If our currency loses value then our trade deficit will narrow. (2) Our trade deficit will narrow Conclusion: Our currency will lose value.

P → Q Q P

INVALID

9 Wednesday, August 25, 2010

slide-10
SLIDE 10

VALIDITY AND ARGUMENTS

(1) If the continuum hypothesis is true then the set theoretic universe is constructible (2) The continuum hypothesis is true Conclusion: The set theoretic universe is constructible

P → Q P Q

V ALID

10 Wednesday, August 25, 2010

slide-11
SLIDE 11

VALIDITY

From these examples we can see that validity as a property of arguments is: (1) topic neutral (2) independent of actual truth and falsity We didn’t need to know any economics or any facts about the world to judge the validity of the previous two arguments.

11 Wednesday, August 25, 2010

slide-12
SLIDE 12

WHAT IS LOGIC?

logic as good reasoning versus logic as a system First-Order Logic (FOL) computers and programming languages differences between FOL and natural language; the role of formal logic logical consequence and methods of proof

12 Wednesday, August 25, 2010

slide-13
SLIDE 13

THIS COURSE

Learn two systems of FOL: propositional logic and predicate logic Convert natural language arguments into FOL Create and assess proofs in FOL Keep in mind advantages of FOL; possible limitations of FOL; relationship between FOL and natural language

13 Wednesday, August 25, 2010

slide-14
SLIDE 14

Recognizing versus Diagnosing Bad Reasoning

14 Wednesday, August 25, 2010