Bilkent University Logo

Bilkent University

Online Academic Catalog

Undergraduate and Graduate Programs 2024-2025


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 (Alireza Fatollahi)

Bilkent University Main Page

Last regenerated automatically on November 18, 2024 by OAC - Online Academic Catalog Software