Lesson 05 — Ngữ nghĩa & quy chiếu (Sense & Reference)

Ba module tương tác minh họa lý thuyết Frege và Russell: sơ đồ nhiều nghĩa cùng quy chiếu, so sánh a=a vs a=b, và máy phân tích mô tả xác định.

1. Sơ đồ: Nghĩa (Sinn) → Quy chiếu (Bedeutung)

Mỗi ô vuông là một biểu thức ngôn ngữ với nghĩa (Sinn) riêng. Mũi tên chỉ tới đối tượng quy chiếu (Bedeutung) chung. Chọn nhóm ví dụ để thấy sơ đồ tương ứng.

Di chuột qua biểu thức để làm nổi bật mũi tên tương ứng.

2. Đồng nhất: a = a vs a = b — Tại sao cái sau mang thông tin?

Hiển thị chi tiết phân tích: Tắt
"Sao Mai = Sao Mai"
Tautology — không mang tin
Hai vế cùng nghĩa, cùng quy chiếu. Hiển nhiên đúng — không cần quan sát, không tiết lộ điều gì về thế giới.
"Sao Mai = Sao Hôm"
Mang thông tin — phát hiện thực sự
Hai vế khác nghĩa, cùng quy chiếu. Nối hai "con đường nhận thức" về cùng một đối tượng — đây là phát hiện thực sự, cần quan sát để biết.
Xem ví dụ khác:
Chọn ví dụ để xem phân tích Sinn / Bedeutung.

3. Máy phân tích mô tả xác định (Russell)

Chọn một ví dụ hoặc tự nhập để xem dạng logic ∃x(...) của Russell và đánh giá giá trị chân lý.

Ví dụ nhanh:
Vua nước Pháp hói đầu Tác giả Truyện Kiều là nhà thơ Hành tinh gần Mặt Trời nhất có vành đai Số tự nhiên lớn nhất là số lẻ Vua hiện tại của Anh đang trị vì