← 🏠 Trang chính / Philosophy

Tầng 3 — Advanced Logic & Language

Logic nâng cao & triết học ngôn ngữ: modal, nghịch lý, Gödel, logic mờ, ngữ nghĩa, hành vi ngôn ngữ.

Tầng này dạy gì?

Mở rộng logic cổ điển và soi vào chính ngôn ngữ ta dùng để lập luận: logic của "tất yếu/khả dĩ", những nghịch lý làm vỡ trực giác, giới hạn của hệ hình thức (Gödel), và cách nghĩa & quy chiếu vận hành. Kết bằng capstone phân tích một lập luận triết học thật.

Lộ trình 8 bài · 🚧 đang biên soạn

Lesson 01
Logic modal
Tất yếu ◻, khả dĩ ◇, thế giới khả dĩ (possible worlds), quan hệ truy cập.
▶ Visualization
Lesson 02
Nghịch lý logic
Kẻ nói dối, nghịch lý Russell, sorites (đống cát), Curry.
▶ Visualization
Lesson 03
Định lý bất toàn Gödel
Tự quy chiếu, "câu này không chứng minh được", giới hạn hệ hình thức (preview).
▶ Visualization
Lesson 04
Logic mờ & nhiều giá trị
Giá trị chân lý liên tục [0,1], logic ba trị, ứng dụng.
▶ Visualization
Lesson 05
Ngữ nghĩa & quy chiếu
Nghĩa (sense) vs quy chiếu (reference) — Frege; mô tả xác định — Russell.
▶ Visualization
Lesson 06
Hành vi ngôn ngữ
Locution/illocution/perlocution, câu performative (Austin, Searle).
▶ Visualization
Lesson 07
Logic & tính toán
Đại số Boole ↔ mạch, bài toán SAT, tính quyết định được (decidability).
▶ Visualization
Lesson 08
Capstone: phân tích lập luận
Mổ xẻ một lập luận triết học thật từ A→Z (cấu trúc → hình thức → đánh giá).
▶ Visualization