ตรรกศาสตร์แบบฉบับ

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

ลักษณะเฉพาะ
แต่ละระบบตรรกศาสตร์ในประเภทนี้มีคุณสมบัติร่วมกันดังต่อไปนี้Gabbay, Dov, (1994). 'Classical vs non-classical logic'. In D.M. Gabbay, C.J. Hogger, and J.A. Robinson, (Eds), Handbook of Logic in Artificial Intelligence and Logic Programming, volume 2, chapter 2.6. Oxford University Press.
 กฎนิรมัชฌิมและการกำจัดนิเสธซ้อน
 กฎความไม่ขัดแย้งกันและหลักการระเบิด
 ภาวะคู่กันของเดอมอร์แกน: ตัวดำเนินการตรรกะแต่ละตัวจะเป็นคู่กันกับอีกตัวหนึ่ง

แม้ว่าตรรกศาสตร์เชิงประพจน์และตรรกศาสตร์อันดับหนึ่งจะไม่ได้ถูกกำหนดโดยเงื่อนไขที่กล่าวมาก่อนหน้านี้ แต่ในการพูดคุยเกี่ยวกับตรรกศาสตร์แบบฉบับในปัจจุบัน โดยปกติแล้วจะหมายรวมถึงตรรกศาสตร์ทั้งสองประเภทนี้เท่านั้นShapiro, Stewart (2000). Classical Logic. In Stanford Encyclopedia of Philosophy [Web]. Stanford: The Metaphysics Research Lab. Retrieved October 28, 2006, from http://plato.stanford.edu/entries/logic-classical/Haack, Susan, (1996). Deviant Logic, Fuzzy Logic: Beyond the Formalism. Chicago: The University of Chicago Press.  กล่าวอีกนัยหนึ่งคือ เวลาส่วนใหญ่ที่ใช้ในการศึกษาตรรกศาสตร์แบบฉบับนั้น ถูกทุ่มเทไปกับการศึกษาเฉพาะตรรกศาสตร์เชิงประพจน์และตรรกศาสตร์อันดับหนึ่ง โดยเทียบกับการศึกษาตรรกศาสตร์แบบฉบับในรูปแบบอื่น ๆ

อรรถศาสตร์ส่วนใหญ่ของตรรกศาสตร์แบบฉบับเป็นแบบสองค่า ซึ่งหมายความว่า ค่าบ่งชี้ที่เป็นไปได้ทั้งหมดของประพจน์สามารถจัดประเภทได้ว่าเป็นจริงหรือ เท็จอย่างใดอย่างหนึ่งเท่านั้น

อ้างอิง

หมวดหมู่:ตรรกศาสตร์