மாதிரி தர்க்கம், தேவை, சாத்தியம், சாத்தியமற்றது, தற்செயல், கடுமையான உட்குறிப்பு மற்றும் நெருங்கிய தொடர்புடைய சில கருத்துக்கள் போன்ற முறைகளை உள்ளடக்கிய முறையான அமைப்புகள்.
முறையான தர்க்கம்: மாதிரி தர்க்கம்
உண்மையான முன்மொழிவுகளை “2 + 2 = 4” எனப் பிரிக்கலாம் - இது தர்க்கரீதியான தேவை (தேவையான முன்மொழிவுகள்) மூலம் உண்மை, மற்றும் அவை போன்றவை
ஒரு மாதிரி தர்க்கத்தை உருவாக்குவதற்கான மிக நேரடியான வழி என்னவென்றால், சில நிலையான அல்லாத தருக்க அமைப்பில் ஒரு புதிய பழமையான ஆபரேட்டர் ஒரு முறையை பிரதிநிதித்துவப்படுத்தும் நோக்கம் கொண்டது, மற்ற மோடல் ஆபரேட்டர்களை அதன் அடிப்படையில் வரையறுக்க வேண்டும், மேலும் அந்த மாதிரி சம்பந்தப்பட்ட கோட்பாடுகள் அல்லது உருமாற்ற விதிகளைச் சேர்ப்பது ஆபரேட்டர்கள். எடுத்துக்காட்டாக, ஒருவர் எல் என்ற குறியீட்டைச் சேர்க்கலாம், அதாவது கிளாசிக்கல் முன்மொழிவு கால்குலஸில் “இது அவசியம்”; எனவே, எல்பி "ப. அவசியம்." சாத்தியமான ஆபரேட்டர் M (“இது சாத்தியம்”) L இன் அடிப்படையில் Mp = ¬L¬p என வரையறுக்கப்படலாம் (இங்கு ¬ என்றால் “இல்லை” என்று பொருள்). கிளாசிக்கல் முன்மொழிவு தர்க்கத்தின் அனுமானத்தின் கோட்பாடுகள் மற்றும் விதிகளுக்கு மேலதிகமாக, அத்தகைய அமைப்பு இரண்டு கோட்பாடுகளையும் அதன் சொந்த அனுமானத்தின் ஒரு விதியையும் கொண்டிருக்கக்கூடும். மாதிரி தர்க்கத்தின் சில சிறப்பியல்பு கோட்பாடுகள்: Lp ⊃ p மற்றும் L (p ⊃ q) (Lp Lq). இந்த அமைப்பில் அனுமானத்தின் புதிய விதி அவசியத்தின் விதி: p என்பது அமைப்பின் ஒரு தேற்றம் என்றால், எல்.பி. கூடுதல் கோட்பாடுகளைச் சேர்ப்பதன் மூலம் மாதிரி தர்க்கத்தின் வலுவான அமைப்புகளைப் பெறலாம். எடுத்துக்காட்டாக, சிலர் Lp ⊃ LLp என்ற ஆக்சியத்தையும், மற்றவர்கள் Mp M LMp என்ற ஆக்சியத்தையும் சேர்க்கிறார்கள். முறையான தர்க்கத்தைக் காண்க: மாதிரி தர்க்கம்.
