Logic0902 - HSS105 Logic first-order Logic]P 1 2 3 Administrative information Smullyan and his Logical Labyrinths Content introduction If you

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

View Full Document Right Arrow Icon
Background image of page 1

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

View Full DocumentRight Arrow Icon
Who am I? Jeongmin Lee, KAIST class of 2000 Picture taken 12 years ago for KAIST Times Email: [email protected] Office hours: 2-3pm or by appointment at Room 1210 Website: http://web.kaist.ac.kr/~philist (check out later)
Background image of page 2
What is this course about? Logic, of course. Especially what lo- gicians call first-order logic With a new textbook, advanced topics In the previous semesters, I removed some of these contents to make it easier. No compromise anymore. This should be one of the most advanced logic courses for undergraduates.
Background image of page 3

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

View Full DocumentRight Arrow Icon
Textbook ONE copy of the Course Reader available from the Undergraduate Lib- rary Copier (1st floor) What’s in the Course Reader?
Background image of page 4
Smullyan’s Logical Labyrinths (pub- lished in 2009) THE logic textbook I was looking for. What is a labyrinth? (literally) structure with intricate paths and blind alleys (metaphorically) complicated situation H “labyrinths of human thought” (Leibniz’s ex- pression)
Background image of page 5

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

View Full DocumentRight Arrow Icon
Pros: everything! Friendly introduction for beginners with
Background image of page 6
Image of page 7
This is the end of the preview. Sign up to access the rest of the document.

This note was uploaded on 02/04/2010 for the course HSS Hss105 taught by Professor Yeelee during the Fall '09 term at Korea Advanced Institute of Science and Technology.

Page1 / 18

Logic0902 - HSS105 Logic first-order Logic]P 1 2 3 Administrative information Smullyan and his Logical Labyrinths Content introduction If you

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

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