logicSept16th

# logicSept16th - Conscious inference logic Thursday...

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

Conscious inference: logic Thursday, September 16 th 2010 Thursday, September 16, 2010

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

View Full Document
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
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

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

View Full Document
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
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

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

View Full Document
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
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

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

View Full Document
McCarthy’s advice-taker Thursday, September 16, 2010
Today’s agenda 1. formalize propositional logic 2. upgrade to predicate logic 3. explore a runnable version, Prolog Thursday, September 16, 2010

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

View Full Document
Today’s agenda 1. formalize propositional logic 2. upgrade to predicate logic 3. explore a runnable version, Prolog Thursday, September 16, 2010
Formal logic Thursday, September 16, 2010

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

View Full Document
Formal logic syntax form or shape (of possible elements) semantics meaning-related Thursday, September 16, 2010
Syntax vs semantics It is raining Es regnet Thursday, September 16, 2010

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

View Full Document
Syntax vs semantics Thursday, September 16, 2010
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

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

View Full Document
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
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

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

View Full Document
proposition symbol proposition in English P
This is the end of the preview. Sign up to access the rest of the document.

{[ snackBarMessage ]}

### Page1 / 51

logicSept16th - Conscious inference logic Thursday...

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

View Full Document
Ask a homework question - tutors are online