defter / katalog / PHIL 101

PHIL 101

Introduction to Logic

Logic 101 trains you to think about reasoning itself: when does a conclusion actually follow from premises, and how do you prove it rigorously rather than just feeling persuaded. You'll translate English arguments into propositional and predicate logic, run truth tables, build tree proofs, and construct models or countermodels, often with software like Tarski's World, to certify validity or expose the gap. As a first-year requirement, it lays the groundwork for any later course where precise argument matters, from philosophy and linguistics to CS theory and math proofs.

Kredi3ECTS5FakülteFaculty of Humanities and LettersBölümPhilosophyKoordinatörSimon Drummond WigleyMüfredatY1 Güz

→ STARS müfredatı (resmi syllabus)

Haftalık müfredat 14 hafta

Hafta 114–20 Eyl

Önermeler ve argümanlar

Propositions and Arguments

propositionargument

Hafta 221–27 Eyl

Propositional logic dili

The Language of Propositional Logic

propositional logic

Hafta 328 Eyl – 4 Eki

Propositional logic semantics

Semantics of Propositional Logic

semanticspropositional logic

Hafta 45–11 Eki

Truth table kullanım alanları

Uses of Truth Tables

truth table

Hafta 512–18 Eki

Mantıksal form

Logical Form

Hafta 619–25 Eki

Connective'lerin çevirisi ve adequacy

Connectives: Translation and Adequacy

connectivetranslationadequacy

Hafta 726 Eki – 1 Kas

Önermeler mantığı için ağaçlar

Trees for Propositional Logic

propositional logictruth treetutarlılık

Hafta 82–8 Kas

Monadic predicate logic dili

The Language of Monadic Predicate Logic

monadic predicate logic

Hafta 99–15 Kas

Monadic predicate logic semantics

Semantics of Monadic Predicate Logic

semanticsmonadic predicate logic

Hafta 1016–22 Kas

Monadic predicate logic için ağaçlar

Trees for Monadic Predicate Logic

monadic predicate logictruth treegeçerlilik

Hafta 1123–29 Kas

Model, proposition ve olası dünyalar

Models, Propositions, and Ways the World Could Be

modelpropositionpossible worlds

Hafta 1230 Kas – 6 Ara

Genel Predicate Logic

General Predicate Logic

predicate logic

Hafta 137–13 Ara

Kimlik ve metateori

Identity; Metatheory

identitymetatheory

Hafta 1414–20 Ara

Diğer ispat yöntemleri

Other Methods of Proof

methods of proofispat teknikleri

Değerlendirme 100% · 3 adım

25%

30%

45%

Lab work Column Eval A 25%

Midterm:Practical (skills) Combined Eval B 30%

Final Combined Eval C 45%

en büyük tek kalem %45 · sınav ağırlığı %75 · 22 dönem ortalaması 2.24 (1033 öğrenci) nasıl hesaplanıyor

Önerilen kaynaklar 3 kitap

📕

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

Bu dersi alınca · 6 öğrenme çıktısı

Students demonstrate proficiency in critical thinking and competence in basic set theory.Combined Eval C, Quiz
Students translate English arguments into symbolic form (and vice versa).Column Eval A
Students identify and assess the validity (and invalidity) of simple deductive arguments by means of Venn diagrams and truth tables.Combined Eval B
Students apply rules of inference to determine the validity of deductive arguments in propositional and predicate logic, via tree proofs within these symbolic formal systems.Column Eval A
Students demonstrate proficiency in elementary model theory by constructing models (and countermodels) showing validity (respectively, invalidity) of an argument in predicate logic.Quiz
Students analyze, by reading it from its original source, an important technical contribution by a major logician and reformulate it in contemporary terminology and symbolism (while appreciating the contribution in its historical context)Column Eval A, Combined Eval B

Bilkent'in resmî syllabus'ünden. Sağdaki etiket o çıktının hangi değerlendirmeyle ölçüldüğünü söylüyor.

Ders notları · henüz yok

PHIL 101 için defter ekibi henüz not yazmadı.

İlk dosyayı sen atarsan: not, slayt, geçmiş sınav, çözüm, cheat-sheet, ne varsa. defter ekibi öğrenci paylaşımlarından bu dersin notlarını yazar. Drive linki / PDF / ZIP, hepsi olur.

← katalog

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

Dönem	Course 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. Tüm derslerin ortalamaları →

Bu dönem · 2026-2027 Güz · 3 şube · 75 kontenjan

haftada 3 saat ders

Haftalık ızgarada 4 saat görünüyor, kayıt sistemi dersi 3 saat yazıyor. Aradaki 1 saat yedek saat: Bilkent programlarında derse genelde bir fazla saat ayrılır ve çoğu zaman kullanılmaz. Hangisinin düşeceği dönem başlayınca belli olur.

Alireza Fatollahi

Pzt15:30–17:20Per10:30–12:20

kişilik

Alireza Fatollahi

Pzt13:30–15:20Per08:30–10:20

kişilik

Nazım Keven

Pzt10:30–12:20Çar15:30–17:20

kişilik

programıma ekle → CGPA'ya ekle kayıt tarihleri

Genelde sadece güzSon yıllarda 23 kez güz döneminde açılmış, 3 kez bahar. Bu dönem alamazsan bir sonraki güzü beklemen gerekebilir.

⚠️ 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).

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

Bu dönem (2026-2027 Fall) · 3 section

Alireza Fatollahi ×2, Nazım Keven

Geçmişte ders veren (3 kişi)

Murali Ramachandran, Istvan Albert Aranyosi, Varol Akman

Bu ders 1 bölümün müfredatında zorunlu.

Felsefe1. sınıf Güz

Kutulardaki sınıf ve dönem, o bölümün müfredatının dersi hangi sırada önerdiği. Dersin fiilen hangi dönem açıldığı ayrı bir şey.