alethic logic

alethic logic

A student studies the principles of alethic logic in a philosophy textbook.

Định nghĩa

Danh từ: - -gíc học về sự tất yếu khả năng: "alethic logic" một nhánh của -gíc học hình thức, nghiên cứu các khái niệm về sự tất yếu (necessity), khả năng (possibility), sự ngẫu nhiên (contingency) trong các mệnh đề. thuộc về -gíc thức (modal logic) tập trung vào các chân trị (truth values) dựa trên các phương thức này.

dụ sử dụng
  • (-gíc học về sự tất yếu khả năng được sử dụng để phân tích các phát biểu như "Tất yếu rằng 2+2=4" hoặc " khả năng rằng ngày mai trời sẽ mưa.")
  • (Trong -gíc học về sự tất yếu khả năng, khái niệm ngẫu nhiên chỉ các phát biểu không tất yếu đúng cũng không tất yếu sai.)
Các cách sử dụng nâng cao
  • "alethic modalities": các phương thức của sự tất yếu khả năng, bao gồm "necessary" (tất yếu), "possible" ( khả năng), "contingent" (ngẫu nhiên).

    • The alethic modalities are fundamental to understanding metaphysical necessity. (Các phương thức của sự tất yếu khả năng nền tảng để hiểu về sự tất yếu siêu hình.)
  • "alethic logic vs. epistemic logic": sự khác biệt giữa -gíc học về sự tất yếu khả năng -gíc học về tri thức (epistemic logic), vốn nghiên cứu các khái niệm như "biết" (know) "tin" (believe).

    • While alethic logic deals with necessity and possibility, epistemic logic deals with knowledge and belief. (Trong khi -gíc học về sự tất yếu khả năng xử lý sự tất yếu khả năng, -gíc học về tri thức xử lý kiến thức niềm tin.)
Biến thể từ gần giống
  • Alêthic (tính từ): thuộc về sự tất yếu khả năng.
    • This is an alethic concept. (Đây một khái niệm thuộc về sự tất yếu khả năng.)
Từ đồng nghĩa
  • Modal logic of necessity and possibility: -gíc thức về sự tất yếu khả năng.
  • Alethic modality: phương thức của sự tất yếu khả năng (thường dùng để chỉ các khái niệm cụ thể hơn).
Các cụm từ (phrasal verbs) liên quan
  • (Không phrasal verbs trực tiếp liên quan đến "alethic logic" đây thuật ngữ kỹ thuật, không phải động từ.)
Thành ngữ liên quan
  • (Không thành ngữ phổ biến liên quan đến "alethic logic".)