defter*
defter / katalog / PHIL 101

PHIL 101 Introduction to Logic

Türkçe kataloğunda Mantığa Giriş diye geçiyor.

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.

Kredi 3 ECTS 5 Fakülte İnsani Bilimler ve Edebiyat Fakültesi Bölüm Felsefe Koordinatör Simon Drummond Wigley Müfredat Y1 Güz

→ STARS müfredatı (resmi syllabus)

PHIL 101 zor mu?

Son 23 dönemde dersin ortalaması 2,25 (1.120 öğrencinin notu, 4,00 üzerinden), yani sınıf ortalaması C+ civarında. Zorluk hocaya ve şubeye göre değişir; ölçülebilir olan bu sayı. Diğer derslerle karşılaştır →

PHIL 101 dersinde kaç midterm var, ağırlıkları ne?

İzlencede 1 midterm var, ağırlığı %30. Final %45. Kalan %25 dersin öteki kalemlerinde. Tam dağılım aşağıda.

PHIL 101 dersinin ön koşulu var mı?

Bilkent kataloğunda bu ders için ön koşul yazılı değil.

PHIL 101 bu dönem kim veriyor?

2026-2027 Güz döneminde 3 şube açık, dersi Alireza Fatollahi, Nazım Keven veriyor. Şube saatleri ve kontenjanlar aşağıda.

PHIL 101 dersinde hangi kitap okunuyor?

İzlencede zorunlu kitap: Logic: The Laws of Truth, Nicholas J. J. Smith, 2012, Princeton University Press. İzlence toplam 3 kaynak sayıyor.

PHIL 101 kaç kredi?

3 Bilkent kredisi, 5 AKTS.

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 · 23 dönem ortalaması 2.25 (1120 öğrenci) nasıl hesaplanıyor
Notunu hesapla
KalemAğırlık Notun (100 üzerinden)
Column Eval A%25
Combined Eval B%30
Combined Eval C%45
Bildiğin notları gir; girmediklerin hesaba katılmaz.

Ağırlıklar PHIL 101 izlencesinden. Hocanın bu dönemki dağılımı farklı olabilir; bağlayıcı olan ders izlencesidir. Harf notu sınırlarını hoca belirliyor, o yüzden hedefi sen giriyorsun. İzlencede FZ şartı var, sayfanın sonundaki kutuda.

Ö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ı

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ı 23 dönem · ort. 2.25

DönemDers ort.
2025-2026 Spring 2.39 3 şube · 87 öğr
2025-2026 Fall 2.39 3 şube · 85 öğr
2024-2025 Spring 2.54 3 şube · 97 öğr
2024-2025 Fall 2.58 2 şube · 66 öğr
2023-2024 Spring 2.49 2 şube · 75 öğr
2023-2024 Fall 1.88 2 şube · 62 öğr
2022-2023 Spring 1.74 2 şube · 62 öğr
2022-2023 Fall 1.91 2 şube · 48 öğr
2021-2022 Fall 2.84 2 şube · 45 öğr
2020-2021 Fall 2.45 2 şube · 59 öğr

Dersin dönem ortalaması, o dönemin bütün şubeleri birlikte. Kaynak STARS'ın ders değerlendirme raporu. Rapor yalnız kampüs ağından ya da Bilkent VPN ile açılıyor: PHIL 101 raporu · Bilkent VPN bilgisi. Öğrenci anket cevaplarını defter'de tutmuyoruz. Tüm derslerin ortalamaları →

Bu dönem · 2026-2027 Güz · 3 şube · 94 kontenjan · 8 boş

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.

1
Alireza Fatollahi
Pzt15:30–17:20SA-Z03Per10:30–12:20SA-Z03
0
kontenjan doldu
▾ 30 doldu · 21 gün
2
Alireza Fatollahi
Pzt13:30–15:20SA-Z02Per08:30–10:20SA-Z02
0
kontenjan doldu
▾ 32 doldu · 21 gün
3
Nazım Keven
Pzt10:30–12:20H-335Çar15:30–17:20H-335
8
boş / 31
▾ 23 doldu · 21 gün
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.

Felsefe 1. 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.

Bu ders 26 programın seçmeli havuzunda.

Humanities Core Elective Grafik Tasarım · havuzda 6 ders Humanities Core Elective Kentsel Tasarım ve Peyzaj Mimarlığı · havuzda 6 ders Humanities Core Elective Müzik · havuzda 6 ders

ve 23 program daha.

Havuz listesi bölümün QME müfredatından; en küçük havuzlar önce yazılıyor, çünkü büyük "serbest seçmeli" havuzunda olmak dersi anlatmıyor. Seçmeli havuzunda olmak o dersi alabileceğin anlamına gelmez: ön koşul ve kontenjan ayrıca geçerli.

Aynı koddan diğer dersler · katalogda 46 PHIL dersi · PHIL nedir?

PHIL 102Ancient PhilosophyPHIL 103Introduction to Philosophy IPHIL 104Introduction to Philosophy IIPHIL 201EpistemologyPHIL 202EthicsPHIL 203RationalistsPHIL 204Empiricists