logicSept16th - Conscious inference: logic Thursday,...

Info iconThis preview shows pages 1–19. Sign up to view the full content.

View Full Document Right Arrow Icon
Conscious inference: logic Thursday, September 16 th 2010 Thursday, September 16, 2010
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Good reasoning? Premise 1 : my keys aren’t simultaneously on the dresser and in the car Premise 2 : my keys are in the car Conclusion: my keys are not on the dresser Thursday, September 16, 2010
Background image of page 2
Good reasoning? Yes, the argument is valid. Premise 1 : my keys aren’t simultaneously on the dresser and in the car Premise 2 : my keys are in the car Conclusion: my keys are not on the dresser Thursday, September 16, 2010
Background image of page 3

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Good reasoning? Premise 1 : Max saw Claire Premise 2 : if Max saw Claire, then Claire is in trouble Conclusion: Claire is in trouble Thursday, September 16, 2010
Background image of page 4
Good reasoning? Yes, the argument is valid. Premise 1 : Max saw Claire Premise 2 : if Max saw Claire, then Claire is in trouble Conclusion: Claire is in trouble Thursday, September 16, 2010
Background image of page 5

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Good reasoning? Premise 1 : if you complete the extra credit, then your grade gets bumped-up Premise 2 :I d i d not complete the extra credit Conclusion: my grade gets bumped up Thursday, September 16, 2010
Background image of page 6
Good reasoning? No, the argument is invalid. Premise 1 : if you complete the extra credit, then your grade gets bumped-up Premise 2 :I d i d not complete the extra credit Conclusion: my grade gets bumped up Thursday, September 16, 2010
Background image of page 7

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
McCarthy’s advice-taker Thursday, September 16, 2010
Background image of page 8
Today’s agenda 1. formalize propositional logic 2. upgrade to predicate logic 3. explore a runnable version, Prolog Thursday, September 16, 2010
Background image of page 9

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Today’s agenda 1. formalize propositional logic 2. upgrade to predicate logic 3. explore a runnable version, Prolog Thursday, September 16, 2010
Background image of page 10
Formal logic Thursday, September 16, 2010
Background image of page 11

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Formal logic syntax form or shape (of possible elements) semantics meaning-related Thursday, September 16, 2010
Background image of page 12
Syntax vs semantics It is raining Es regnet Thursday, September 16, 2010
Background image of page 13

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Syntax vs semantics Thursday, September 16, 2010
Background image of page 14
Preserve meaning by treating symbols the right way Jack carries a pail AND Jill carries a pail Jack carries a pail Jill carries a pail Jack carries a pail & Jill carries a pail Jack carries a pail et Jill carries a pail Thursday, September 16, 2010
Background image of page 15

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
proposition symbol proposition in English P it is raining Q Alison eats cake ¬ Q Alison does not eat cake (False!) Possible world Propositions Thursday, September 16, 2010
Background image of page 16
proposition symbol proposition in English P it is raining Q Alison eats cake P Q it is raining and Alison eats cake ¬ Q Alison does not eat cake (False!) Possible world Propositions Thursday, September 16, 2010
Background image of page 17

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
proposition symbol proposition in English P
Background image of page 18
Image of page 19
This is the end of the preview. Sign up to access the rest of the document.

Page1 / 51

logicSept16th - Conscious inference: logic Thursday,...

This preview shows document pages 1 - 19. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online