กิริยา - ตรรกะ -

กิริยาในตรรกะการจำแนกประเภทของข้อเสนอตรรกะตามเข้าไปยุ่งเกี่ยวกับพวกเขาหรือปฏิเสธความเป็นไปได้เป็นไปไม่ได้, ฉุกเฉินหรือจำเป็นของเนื้อหาของพวกเขา ตรรกะแบบโมดอลซึ่งศึกษาคุณสมบัติเชิงตรรกะของแนวคิดดังกล่าวซึ่งมีต้นกำเนิดมาจากอริสโตเติลได้รับการศึกษาอย่างกว้างขวางโดยนักตรรกวิทยาในสมัยโบราณและยุคกลางของยุโรปและส่วนใหญ่ถูกละเลยหลังจากยุคฟื้นฟูศิลปวิทยาจนกระทั่งฟื้นขึ้นมาในตรรกะทางคณิตศาสตร์สมัยใหม่ ข้อความพื้นฐานเกี่ยวกับเรื่องนี้ซึ่งคาดการณ์ไว้ในการอภิปรายร่วมสมัยส่วนใหญ่คือโดย CI Lewis และ Cooper Harold Langford ในSymbolic Logic (1932) ซึ่งพัฒนาระบบโมดอลของ "นัยที่เข้มงวด" สำหรับการตีความแรงเชิงตรรกะของ "if . . แล้ว”

บทความนี้ได้รับการแก้ไขและปรับปรุงล่าสุดโดย Brian Duignan บรรณาธิการอาวุโส