khía cạnh

english aspect

tóm lược

  • cảm xúc thể hiện trên khuôn mặt của một người
    • một biểu cảm buồn
    • một cái nhìn chiến thắng
    • một khuôn mặt giận dữ
  • một đặc điểm được xem xét
  • một tính năng hoặc yếu tố riêng biệt trong một vấn đề
    • ông đã nghiên cứu mọi khía cạnh của câu hỏi
  • nhận thức trực quan của một khu vực
    • Điểm hấp dẫn nhất của công viên là những khung cảnh đẹp
  • bắt đầu hoặc thời gian hoặc hoàn thành hoặc lặp lại hành động của động từ

Tổng quan

Logic phương thức là một loại logic hình thức chủ yếu được phát triển vào những năm 1960, mở rộng logic mệnh đề và vị ngữ cổ điển để bao gồm các toán tử biểu thị phương thức. Một modal Modal một từ thể hiện một modality, đủ điều kiện tuyên bố. Ví dụ: tuyên bố "John hạnh phúc" có thể đủ điều kiện bằng cách nói rằng John thường hạnh phúc, trong trường hợp đó, thuật ngữ "thường" hoạt động như một phương thức. Các phương thức alethic truyền thống, hoặc phương thức của sự thật, bao gồm khả năng ("Có thể, p ", "Có thể là p "), sự cần thiết ("Nhất thiết, p ", "Điều cần thiết là p "), và không thể chấp nhận được , p "," Không thể nào p "). Các phương thức khác đã được chính thức hóa trong logic phương thức bao gồm các phương thức tạm thời hoặc phương thức thời gian (đáng chú ý là "Đó là trường hợp p ", "Luôn luôn là p ", "Nó sẽ luôn là p ", "Nó sẽ luôn luôn là p "), phương thức deontic (đáng chú ý là" Điều bắt buộc là p "và" Được phép là p "), phương thức nhận thức, hoặc phương thức tri thức (" Người ta biết rằng p ") và phương thức doxastic, hoặc phương thức của niềm tin ("Người ta tin rằng p ").
Một logic phương thức chính thức đại diện cho các phương thức sử dụng các toán tử phương thức. Ví dụ: "Hôm nay trời có thể mưa" và "Có thể mưa sẽ rơi hôm nay", cả hai đều chứa đựng khái niệm về khả năng. Trong một logic phương thức, điều này được biểu diễn dưới dạng toán tử, "Có thể", được gắn với câu "Hôm nay trời sẽ mưa".
Thật sai lầm khi nhầm lẫn giữa sự cần thiết và khả năng. Đặc biệt, điều này được gọi là ngụy biện phương thức.
Các toán tử phương thức đơn nguyên (1 vị trí) cơ bản thường được viết "□" cho "Nhất thiết" và "" cho "Có thể". Trong một logic phương thức cổ điển, mỗi cái có thể được thể hiện bằng cái khác với sự phủ định:
Dịch thuật phương thức tiếng Anh, vv Cách thức của sự việc, phân loại theo mức độ chắc chắn của sự phán xét . <Không thể tránh khỏi> <tình cờ> <có thể>, v.v. Logic hình thái Chủ đề của logic phương thức, bởi vì thế giới và thời gian có thể trở thành một vấn đề, tôi đang xem xét sự phát triển như ngữ nghĩa đa thế giới của S. Kripke, v.v.