Bilkent University Logo

Bilkent University

Online Academic Catalog

Undergraduate and Graduate Programs 2019-2020


PHIL 101 Introduction to Logic

A self-contained introduction to the basic notions of logic, including language, truth, argument, consequence, proof, and counter example. Both propositional logic and predicate logic are studied (their syntax plus semantics), with an emphasis on translating English sentences into logical symbols. A contemporary software package such as Tarski's World may be used to construct derivations of valid arguments. Credit units: 3 ECTS Credit units: 5.

Autumn Semester (Istvan Albert Aranyosi)

Bilkent University Main Page

Last regenerated automatically on December 12, 2019 by OAC - Online Academic Catalog Software