Philosophy | Elementary Logic
P150 | 3760 | Demir
As the title suggests, this course is an introduction to Logic,
which is one of the oldest theoretical disciplines in the history of
mankind. Logic is about the most common and the only unstoppable
human activity: thinking. One can stop drinking, eating, mating,
even breathing (at least for a while), but one can never stop
thinking. If you do not believe me, go ahead and try not to think
for 10 seconds. It is impossible, isn’t it? We express the outputs
of this important activity, i.e. thoughts, mainly by natural
languages such as English, Spanish, German etc.
Generally speaking, in Logic, we try to formalize human thinking
(reasoning) as expressed in natural languages. In this course, we
will take the first step towards this goal: propositional logic.
This first step consists of analyzing arguments via symbolization,
evaluating them with truth tables and the representation of
inferences using natural deduction derivations. After this first
step, we will briefly visit the second step towards the
formalization of human reasoning: predicate logic, which is an
extension of propositional logic. It is simply propositional logic
plus quantifiers. The latter enables us to represent terms
like ‘all’ and ‘some’.
Required texts: Howard Pospesel's two paperback volumes,
Propositional Logic and Predicate Logic, supplemented by a reading
Along with occasional quizzes and homework, students will be
expected to complete three in-class, written examinations and the
PS: This course-design is originally developed by Prof. David
McCarty. I simply took his design, and revised it. I am thankful to
him for letting me to use his course design.