विनय का तर्क

मॉडर्लिटी, तर्क में, उनके दावे के अनुसार तार्किक प्रस्तावों का वर्गीकरण या उनकी सामग्री की संभावना, असंभवता, आकस्मिकता या आवश्यकता को नकारना। मोडल लॉजिक, जो इस तरह की अवधारणाओं की तार्किक विशेषताओं का अध्ययन करता है, अरस्तू के साथ उत्पन्न हुआ था, प्राचीन काल में प्राचीन और यूरोपीय मध्य युग में तर्कशास्त्रियों द्वारा बड़े पैमाने पर अध्ययन किया गया था, और अधिकांश भाग के लिए, आधुनिक गणितीय तर्क में पुनर्जागरण के बाद उपेक्षित किया गया था। इस विषय पर मूल वक्तव्य, अधिकांश समकालीन चर्चाओं में रखा गया है, सिम्बोलिक लॉजिक (1932) में सीआई लुईस और कूपर हेरोल्ड लैंगफोर्ड द्वारा है, जो "अगर" के तार्किक बल की व्याख्या करने के लिए "सख्त निहितार्थ" की एक मोडल प्रणाली विकसित करता है। । । फिर।"