Frege–Church ontology
فریج-چرچ آنٹولوجی ایک آنٹولوجی، وجود کا نظریہ ہے۔ ہر چیز کو تین زمروں میں سمجھا جاتا ہے، آبجیکٹ (حوالہ، اشارہ)، نام، یا تصور (احساس)۔ آنٹولوجی کو الونزو چرچ نے گوٹلوب فریج کے خیالات پر مبنی کچھ تضادات کو حل کرنے کے لیے تیار کیا تھا۔ آنٹولوجی کا تعلق بعض موڈل منطق سے ہے۔ نام کے رشتے کا تضاد فرض کریں کہ ہم سال 1995 میں ہیں۔ فرض کریں کہ میری کا ماننا ہے کہ پلوٹو (اس وقت بھی ایک سیارہ سمجھا جاتا تھا) سورج سے سب سے دور سیارہ ہے۔ پلوٹو کے بے قاعدہ مدار کی وجہ سے، پلوٹو کا مدار نیپٹون کے مدار کو عبور کر گیا، تاکہ 1995 میں سورج سے سب سے دور سیارہ نیپٹون ہو۔ فرض کریں کہ مریم کو یہ حقیقت معلوم نہیں ہے۔ اگر x = y اور y = z، تو z کو y، x = z کے لیے تبدیل کریں۔ (1) میری کا ماننا ہے کہ پلوٹو = سورج سے سب سے دور کا سیارہ۔ (2) نیپٹون = سورج سے سب سے دور سیارہ۔ لہذا، (1) میں 'سورج سے سب سے دور سیارے' کے لیے 'نیپٹون' کو تبدیل کرتے ہوئے، ہمیں ملتا ہے (3) مریم کا ماننا ہے کہ پلوٹو = نیپٹون۔ تاہم، مریم کو یقین نہیں ہے کہ پلوٹو نیپٹون ہے، جو ایک تضاد ہے۔ فریج-چرچ آنٹولوجی یہ کہہ کر اس کا حل کرتی ہے کہ عقیدہ ایک "شدید سیاق و سباق" کا تعارف کرتا ہے جس کے تحت الفاظ کی پیروی کرنے والی اصطلاحات "یقین رکھتی ہیں کہ" ایک ایسے سیاق و سباق میں ہیں جس کے تحت وہ الفاظ کی نشاندہی نہیں کرتے، بلکہ الفاظ سے وابستہ تصور کا حوالہ دیتے ہیں۔ ہر لفظ کا ایک نام، ایک اشارہ اور اس سے وابستہ ایک تصور ہوتا ہے۔ اصطلاحات تجاویز، خصوصیات اور تعلقات ایک شے کی خصوصیات ہوتی ہیں۔ کیلے میں پیلا ہونے کی خاصیت ہوتی ہے۔ تجویز ایک ایسا جملہ ہے جو یا تو درست ہے یا غلط۔ کسی پروپوزیشن کو ایک فنکشن سمجھا جا سکتا ہے، جس میں موجود اشیاء کو متغیر سمجھا جاتا ہے، اور فنکشن کی قدر یا تو سچائی یا جھوٹ ہے، جو ایک سچائی فنکشن ہے۔ مثال کے طور پر، "x پیلا ہے" کو Y (x) کے طور پر لکھیں، تاکہ Y (x) = سچائی، اگر اور صرف اس صورت میں جب "x پیلا ہے" سچ ہو، اور Y (x) = جھوٹ اگر اور صرف اس صورت میں جب "x پیلا ہے" غلط ہو۔ مثال کے طور پر، Y (کیلا) = سچائی، کیونکہ کیلا پیلا ہوتا ہے۔ تاہم، Y (سیب) = سچائی بھی، کیونکہ کچھ سیب پیلے رنگ کے ہوتے ہیں۔ اسی طرح دو اشیاء کے درمیان تعلق کا اظہار کرنے والے جملے کو دو متغیرات کا سچائی فعل سمجھا جا سکتا ہے، یعنی دو اشیاء کے درمیان تعلق کو دو متغیرات کا سچائی فعل سمجھا جا سکتا ہے۔ مثال کے طور پر، فرض کریں کہ S (x، y) = "x، y سے چھوٹا ہے"۔ تو S (ماؤس، ہاتھی) = سچائی، چونکہ ماؤس ہاتھی سے چھوٹا ہوتا ہے، لیکن S (ماؤس، چیونٹی) = جھوٹ، کیونکہ ماؤس چیونٹی سے چھوٹا نہیں ہوتا ہے۔ آبجیکٹ، نام، تصور ایک آبجیکٹ (حوالہ، اشارہ) کا ایک نام ہوتا ہے، آبجیکٹ کا نام۔ آبجیکٹ کا ایک تصور (احساس) ہے، آبجیکٹ کا تصور، جو آبجیکٹ کے نام سے وابستہ ہے۔ ایک نام یا تصور خود آبجیکٹ ہوتے ہیں، اور ان کے نام، آبجیکٹ کے نام کا نام، اور آبجیکٹ کے تصور کا نام ہوتا ہے۔ اسی طرح ان کے پاس کسی بھی دوسرے شے کی طرح تصورات ہوتے ہیں۔ کہا جاتا ہے کہ نام اس شے کی نشاندہی کرتا ہے جس کے لیے یہ نام ہے۔ عام زبان میں فریج-چرچ آنٹولوجی کا استعمال کرتے ہوئے نام کے تعلقات کے تضاد کا حل الجھن کا باعث بنتا ہے۔ انگریزی عام زبان میں ابہام ہیں جن کی وضاحت کرنے کی ضرورت ہے کیونکہ ہم بعض اوقات کسی لفظ کے ساتھ کسی شے کا حوالہ دیتے ہیں، جیسے کہ بلی۔ ہم ڈراؤنے اقتباسات، بلی کا نام، مثال کے طور پر، لفظ "بلی" کا استعمال کرتے ہوئے نام کا حوالہ دیتے ہیں۔ بلی کو ایک تصور اور بلی کو ایک شے کے طور پر حوالہ دینے کے حوالے سے زبان میں ابہام ہے۔ شدید سیاق و سباق ایک اظہار جیسے کہ "یقین کرتا ہے کہ" ایک شدید سیاق و سباق کو متعارف کرانے کے لیے کہا جاتا ہے۔ ایک شدید سیاق و سباق میں، جو نام پائے جاتے ہیں وہ مومن کے لیے اشیاء کے تصورات کی نشاندہی کرتے ہیں۔ وہ خود اشیاء کی نشاندہی نہیں کرتے ہیں۔ قرارداد "سورج سے سب سے دور سیارہ"، جیسا کہ یہ تجویز (1) میں ظاہر ہوتا ہے، مریم کا "سورج سے سب سے دور سیارہ" کا تصور ہے، سورج سے اصل سب سے دور سیارے کے بارے میں نہیں جیسا کہ یہ (2) میں ظاہر ہوتا ہے، اس لیے متبادل نہیں کیا جا سکتا۔ چرچ کی طرف سے اس کا زیادہ سخت اور رسمی علاج کیا جاتا ہے۔ حوالہ جات بیرونی روابط فلسفیانہ زمرے ماڈل منطق