Frege–Church ontology
फ्रेज-चर्च ऑन्टोलॉजी एक ऑन्टोलॉजी है, जो अस्तित्व का एक सिद्धांत है। हर चीज को तीन श्रेणियों में माना जाता है, वस्तु (संदर्भ, संकेत), नाम या अवधारणा (भावना)। ऑन्टोलॉजी को अलोंजो चर्च द्वारा कुछ विरोधाभासों को हल करने के लिए गॉटलोब फ्रेज के विचारों के आधार पर विकसित किया गया था। ऑन्टोलॉजी कुछ मोडल लॉजिक्स से संबंधित है। नाम संबंध का विरोधाभास मान लीजिए कि हम वर्ष 1995 में हैं। मान लीजिए कि मैरी का मानना है कि प्लूटो (उस समय भी एक ग्रह माना जाता था) सूर्य से सबसे दूर का ग्रह है। प्लूटो की अनियमित कक्षा के कारण, प्लूटो की कक्षा ने नेपच्यून की कक्षा को पार कर लिया, ताकि 1995 में, सूर्य से सबसे दूर का ग्रह नेपच्यून हो। मान लीजिए कि मैरी इस तथ्य को नहीं जानती है। यदि x = y और y = z, तो y के लिए z को प्रतिस्थापित करते हुए, x = z। (1) मैरी का मानना है कि प्लूटो = सूर्य से सबसे दूर का ग्रह। (2) नेपच्यून = सूर्य से सबसे दूर का ग्रह। इसलिए, (1) में 'सूर्य से सबसे दूर के ग्रह' के लिए 'नेपच्यून' को प्रतिस्थापित करते हुए, हम पाते हैं (3) मैरी का मानना है कि प्लूटो = नेपच्यून। हालाँकि, मैरी को विश्वास नहीं है कि प्लूटो नेप्च्यून है, एक विरोधाभास है। फ्रेज-चर्च ऑन्टोलॉजी इसे यह कहकर हल करती है कि विश्वास एक "गहन संदर्भ" का परिचय देता है जिसके तहत "विश्वास करता है कि" शब्दों के बाद आने वाले शब्द एक ऐसे संदर्भ में हैं जिसमें वे शब्दों के अर्थ को नहीं, बल्कि विश्वास करने वाले के लिए शब्दों से जुड़ी अवधारणा को संदर्भित करते हैं। प्रत्येक शब्द का एक नाम, एक अर्थ और उससे जुड़ी एक अवधारणा होती है। शब्दावली प्रस्ताव, गुण और संबंध एक वस्तु के गुण होते हैं। केले में पीला होने का गुण होता है। प्रस्ताव एक ऐसा वाक्य है जो या तो सही है या गलत। एक प्रस्ताव को एक कार्य माना जा सकता है, जिसमें वस्तुओं को चर माना जाता है, और कार्य का मूल्य या तो सत्य या असत्य, एक सत्य कार्य है। उदाहरण के लिए, "x पीला है" को Y (x) के रूप में लिखें, ताकि Y (x) = सत्य हो, यदि और केवल यदि "x पीला है" तो सत्य हो, और Y (x) = असत्य हो यदि और केवल यदि "x पीला है" गलत हो। उदाहरण के लिए, Y (केला) = सत्य, क्योंकि केला पीला होता है। हालाँकि, Y (सेब) = सत्य भी है, क्योंकि कुछ सेब पीले होते हैं। इसी तरह दो वस्तुओं के बीच संबंध व्यक्त करने वाले वाक्य को दो चर का सत्य फलन माना जा सकता है, यानी दो वस्तुओं के बीच संबंध को दो चर का सत्य फलन माना जा सकता है। उदाहरण के लिए, मान लीजिए कि S (x, y) = "x, y से छोटा है।" तो एस (चूहा, हाथी) = सत्य, क्योंकि चूहा हाथी से छोटा होता है, लेकिन एस (चूहा, चींटी) = झूठ, क्योंकि चूहा चींटी से छोटा नहीं होता है। वस्तु, नाम, अवधारणा एक वस्तु (संदर्भ, संकेतन) का एक नाम होता है, वस्तु का नाम। वस्तु की एक अवधारणा (भावना) होती है, वस्तु की अवधारणा, जो वस्तु के नाम से जुड़ी होती है। एक नाम या अवधारणा स्वयं वस्तु होती है, और इसमें नाम, वस्तु के नाम का नाम और वस्तु की अवधारणा का नाम होता है। इसी तरह उनके पास किसी भी अन्य वस्तु की तरह अवधारणाएँ हैं। एक नाम को उस वस्तु को दर्शाने के लिए कहा जाता है जिसके लिए यह नाम है। फ्रेज-चर्च ऑन्टोलॉजी का उपयोग करके नाम संबंध के विरोधाभास का समाधान सामान्य भाषा में अस्पष्टताएँ भ्रम पैदा करती हैं अंग्रेजी साधारण भाषा में अस्पष्टताएँ हैं जिन्हें स्पष्ट करने की आवश्यकता होती है क्योंकि हम कभी-कभी एक शब्द के साथ एक वस्तु का उल्लेख करते हैं, जैसे कि एक बिल्ली। हम डराने वाले उद्धरणों, बिल्ली के नाम, जैसे "बिल्ली" शब्द का उपयोग करके नाम का उल्लेख करते हैं। बिल्ली को एक अवधारणा और बिल्ली को एक वस्तु के रूप में संदर्भित करने के संबंध में भाषा में अस्पष्टता है। गहन संदर्भ "विश्वास करता है" जैसी अभिव्यक्ति को एक गहन संदर्भ का परिचय देने के लिए कहा जाता है। एक गहन संदर्भ में, जो नाम होते हैं वे आस्तिक के लिए वस्तुओं की अवधारणाओं को दर्शाते हैं। वे स्वयं वस्तुओं को नहीं दर्शाते हैं। संकल्प "सूर्य से सबसे दूर का ग्रह", जैसा कि प्रस्ताव (1) में दिखाई देता है, मैरी की "सूर्य से सबसे दूर का ग्रह" की अवधारणा है, न कि सूर्य से वास्तविक सबसे दूर के ग्रह के बारे में जैसा कि यह (2) में दिखाई देता है, इसलिए प्रतिस्थापन नहीं किया जा सकता है। चर्च द्वारा इसका अधिक कठोर और औपचारिक उपचार किया जाता है। संदर्भ बाहरी लिंक दार्शनिक श्रेणियाँ मॉडल तर्क