A modal is an expression (like ‘nec

A modal is an expression (like ‘necessarily’ or ‘possibly’) that is used to qualify the truth of a judgement. Modal logic is, strictly speaking, the study of the deductive behavior of the expressions ‘it is necessary that’ and ‘it is possible that’. However, the term ‘modal logic’ may be used more broadly for a family of related systems. These include logics for belief, for tense and other temporal expressions, for the deontic (moral) expressions such as ‘it is obligatory that’ and ‘it is permitted that’, and many others. An understanding of modal logic is particularly valuable in the formal analysis of philosophical argument, where expressions from the modal family are both common and confusing. Modal logic also has important applications in computer science.

ผลลัพธ์ (ไทย) 1:

กิริยาเป็นนิพจน์ (เช่น 'จำเป็น' หรือ 'อาจจะ') ที่ใช้การรับรองความจริงของการตัดสินใจ โมดอลมีตรรกะ พูดอย่างเคร่งครัด การศึกษาการทำงานพลาดของนิพจน์ ' จึงจำเป็นที่ ' และ ' เป็นไปได้ที่ ' อย่างไรก็ตาม คำว่า 'โมดอลตรรกะ' นำวงกว้างขึ้นสำหรับครอบครัวของระบบที่เกี่ยวข้อง เหล่านี้รวมถึง logics สำหรับความเชื่อ กาลและนิพจน์อื่น ๆ ขมับ สำหรับนิพจน์ deontic (คุณธรรม) เช่น ' เป็นที่บังคับที่ ' และ 'มันได้ที่' และอื่น ๆ อีกมากมาย เข้าใจตรรกะโมดอลมีคุณค่าอย่างยิ่งในการวิเคราะห์ทางปรัชญาอาร์กิวเมนต์ นิพจน์จากครอบครัวโมดอลสับสน และทั่วไป โมดอลตรรกะยังมีโปรแกรมประยุกต์ที่สำคัญในวิทยาการคอมพิวเตอร์

ผลลัพธ์ (ไทย) 2:

กิริยาคือการแสดงออก (เช่น 'จำเป็น' หรือ 'อาจ') ที่ถูกนำมาใช้เพื่อให้มีคุณสมบัติความเป็นจริงของการตัดสินที่ ตรรกะกิริยาคือพูดอย่างเคร่งครัด, การศึกษาพฤติกรรมการอนุมานของการแสดงออกที่มันเป็นสิ่งจำเป็นที่ 'และ' เป็นไปได้ว่า ' แต่คำว่า 'ตรรกะกิริยา' อาจจะใช้ในวงกว้างมากขึ้นสำหรับครอบครัวของระบบที่เกี่ยวข้อง เหล่านี้รวมถึง logics สำหรับความเชื่อสำหรับการแสดงออกขมับเครียดและอื่น ๆ สำหรับ deontic (ศีลธรรม) การแสดงออกเช่น 'มันเป็นหน้าที่ที่' และ 'มันจะได้รับอนุญาตว่า' และอื่น ๆ อีกมากมาย ความเข้าใจในตรรกะกิริยาที่มีคุณค่าโดยเฉพาะอย่างยิ่งในการวิเคราะห์อย่างเป็นทางการของการโต้แย้งทางปรัชญาที่แสดงออกมาจากครอบครัวกิริยาทั้งสองร่วมกันและทำให้เกิดความสับสน ตรรกะกิริยานอกจากนี้ยังมีการใช้งานที่มีความสำคัญในด้านวิทยาศาสตร์คอมพิวเตอร์

ผลลัพธ์ (ไทย) 3:

เป็นกิริยาการแสดงออก ( เช่น ' ต้อง ' หรือ ' อาจจะ ' ) ที่ใช้เพื่อรับจริงของการตัดสินใจ คำกริยาตรรกศาสตร์คือการพูดอย่างเคร่งครัด ศึกษาพฤติกรรมการหักลบของนิพจน์ ' ต้อง ' และ ' เป็นไปได้ ' อย่างไรก็ตาม คำว่า ' ' อาจจะใช้ตรรกะแบบวงกว้างมากขึ้นสำหรับครอบครัวของระบบอื่นที่เกี่ยวข้อง เหล่านี้รวมถึงเหตุผลสำหรับความเชื่อ กาล และการแสดงออก และอื่น ๆ สำหรับ deontic ( จริยธรรม ) การแสดงออกเช่น ' มันเป็นภาระที่ ' และ ' จะได้รับอนุญาตที่ ' , และอื่น ๆอีกมากมาย ความเข้าใจของตรรกวิทยาอัญรูปจะมีคุณค่าโดยเฉพาะอย่างยิ่งในการวิเคราะห์อย่างเป็นทางการของการโต้แย้งเชิงปรัชญาที่แสดงออกจากการเป็นครอบครัวทั่วไป และสับสน คำกริยาตรรกศาสตร์ยังมีการใช้งานที่สำคัญในด้านวิทยาศาสตร์คอมพิวเตอร์