defter*
defter / katalog / PHIL 101
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 <I>Tarski's World</I> may be used to construct derivations of valid arguments.

Credit3
ECTS5
BölümPhilosophy
FacultyFaculty of Humanities and Letters
MüfredatY1 Güz

Hocalar 2 bu dönem · 3 geçmiş

Bu dönem (2025-2026 Spring) · 3 section
Alireza Fatollahi ×2, Nazım Keven
Geçmişte ders veren (3 kişi)
Murali Ramachandran, Istvan Albert Aranyosi, Varol Akman

→ STARS müfredatı / syllabus

Materyal — 0 dosya

Bu derste henüz materyal yok.

İlk dosyayı sen ekleyebilirsin — notlar, geçmiş finaller, çözümler, cheat-sheet, ne varsa. Drive linki / PDF / ZIP / fotoğraf, hepsi olur.

Şu an: mail at, ben düzenleyip yayına alayım. Form/upload UX yakında geliyor (Kimya tasarlıyor).

+ mail at ← katalog
↑ konuya PHIL 101 yaz

Geçmiş GPA dağılımı 22 dönem · ort. 2.24

DönemCourse CPA
2025-2026 Fall 2.39 3 sec · 85 öğr
2024-2025 Fall 2.58 2 sec · 66 öğr
2024-2025 Spring 2.54 3 sec · 97 öğr
2023-2024 Fall 1.88 2 sec · 62 öğr
2023-2024 Spring 2.49 2 sec · 75 öğr
2022-2023 Fall 1.91 2 sec · 48 öğr
2022-2023 Spring 1.74 2 sec · 62 öğr
2021-2022 Fall 2.84 2 sec · 45 öğr
2020-2021 Fall 2.45 2 sec · 59 öğr
2019-2020 Fall 2.42 1 sec · 32 öğr

Aggregate course GPA — Bilkent STARS'tan public data. Hoca-bazlı per-section detayı için STARS evaluation report →. Öğrenci anket cevapları KVKK kapsamında defter'de tutulmaz.

Müfredat detayı STARS syllabus

📚 Önerilen kaynaklar

  • Zorunlu Logic: The Laws of Truth Nicholas J. J. Smith · 2012 · Princeton University Press
  • Önerilen An Introduction to Formal Logic Peter Smith · 2003 · Cambridge University Press
  • Önerilen The Logic Manual Volker Halbach · 2010 · Oxford University Press

⚖️ Değerlendirme

  • 25% — Lab work: Column Eval A (×1)
  • 30% — Midterm:Practical (skills): Combined Eval B (×1)
  • 45% — Final: Combined Eval C (×1)

⚠️ FZ engelleyen şartlar

You must have collected at least 10 percentage points from your midterm exam + all five quizzes (they add up to 45 percentage points in total).

📅 Haftalık müfredat

Propositions and Arguments The Language of Propositional Logic Semantics of Propositional Logic Uses of Truth Tables Logical Form Connectives: Translation and Adequacy Trees for Propositional Logic The Language of Monadic Predicate Logic Semantics of Monadic Predicate Logic Trees for Monadic Predicate Logic Models, Propositions, and Ways the World Could Be General Predicate Logic Identity; Metatheory Other Methods of Proof ECTS - Workload Table: Activities Number Hours Workload Preparation for Midterm exam 1 15 15 Report (including preparation and presentation if applicable) 1 20 20 Preparation for Quiz 5 5 25 Quiz 5 1 5 Course hours 14 3 42 Preparation for Final exam 1 20 20 Presentation (including preparation) 1 10 10 Project (including preparation and presentation if applicable) 1 15 15 Midterm exam 1 2 2 Final exam 1 3 3 Total Workload: 157 Total Workload / 30: 157 / 30 5.23 ECTS Credits of the Course: 5 Type of Course: Lecture Course Material: Written Teaching Methods: Lecture - Assignment - Exercises - Presentations - Independent study