Modal collapse
موڈل منطق میں، موڈل کولاپس وہ حالت ہے جس میں ہر سچا بیان لازمی طور پر درست ہوتا ہے، اور اس کے برعکس ؛ یعنی، کوئی عارضی سچائیاں نہیں ہیں، یا اسے دوسرے طریقے سے رکھنا، کہ "سب کچھ لازمی طور پر موجود ہے"۔ موڈل منطق کے اشارے میں، اسے اس طرح لکھا جا سکتا ہے۔ فلسفہ کے تناظر میں، یہ اصطلاح عام طور پر خدا کے وجود اور الہی سادگی کے اصول کے لیے آنٹولوجیکل دلائل کی تنقید میں استعمال ہوتی ہے۔ مثال کے طور پر، گوڈل کا آنٹولوجیکل ثبوت ایک نظریہ کے طور پر موجود ہے، جو نظام S5 کے محوریات کے ساتھ مل کر موڈل تباہی کا باعث بنتا ہے۔ چونکہ کچھ لوگ الہی آزادی کو خدا کی نوعیت کے لیے ضروری سمجھتے ہیں، اور موڈل کا خاتمہ آزاد مرضی کے تصور کی نفی کرتا ہے، اس کے بعد یہ گوڈل کی دلیل کو توڑنے کا باعث بنتا ہے۔ حوالہ جات کا خاتمہ فلسفیانہ منطق تھیولوجی کی ضرورت