Carleton University · LING 4505

Ngữ nghĩa hình thức

Tiêu đề chính thức : Formal Semantics

Tín chỉ : 0.5 tín chỉNăm tham chiếu : 2026-27

Mô tả

Các chủ đề nâng cao về ngữ nghĩa tổng hợp và các giao diện của nó. Các chủ đề có thể bao gồm: logic, loại ngữ nghĩa, lambda calculus, bối cảnh ý định, ngữ nghĩa thế giới khả dĩ, giao diện với cú pháp và ngữ dụng học, lượng từ hóa, tham chiếu, giả định, ngụ ý, phạm vi và ràng buộc, và lý thuyết mô hình.

Tiền đề

  • Yêu cầu tiên quyết: LING 3505 hoặc PHIL 3506, và đang ở năm ba, hoặc được Khoa Triết học hoặc Trường Ngôn ngữ học và Nghiên cứu Ngôn ngữ cho phép.

Điều kiện và thủ tục

  • Cũng được liệt kê là PHIL 4505.
  • Yêu cầu tiên quyết: LING 3505 hoặc PHIL 3506, và đang ở năm ba, hoặc được Khoa Triết học hoặc Trường Ngôn ngữ học và Nghiên cứu Ngôn ngữ cho phép.
  • Hội thảo ba giờ một tuần.
Văn bản tham chiếu bằng ngôn ngữ gốc

Advanced topics in compositional semantics and its interfaces. Topics may include: logic, semantic types, lambda calculus, intentional contexts, possible world semantics, interfaces with syntax and pragmatics quantification, anaphora, presupposition, implicatures, scope and binding, and model theory.

  • Prerequisite(s): LING 3505 or PHIL 3506 , and third-year standing, or permission of the Department of Philosophy or School of Linguistics and Language Studies.
  • Also listed as PHIL 4505 .
  • Seminars three hours a week.

Nguồn và tham khảo

Ngày và nguồn được giữ lại để giúp bạn kiểm tra thông tin. Các bản dịch được cung cấp để dễ đọc; nguồn chính thức là tham chiếu cho các điều kiện và yêu cầu.

Nguồn tham khảo : https://calendar.carleton.ca/undergrad/courses/LING/

Liên hệ StudyCanada

Chia sẻ kế hoạch hoặc câu hỏi của bạn. Chúng ta sẽ tiếp tục trao đổi qua email.

Chúng tôi sử dụng thông tin liên hệ này để trả lời yêu cầu của bạn. Quyền riêng tư

Biểu mẫu này gửi đến StudyCanada. Để liên hệ với trường, hãy dùng thông tin trong hồ sơ trường.