Frege–Church ontology
ஃப்ரீஜ்-சர்ச் ஆன்டாலஜி என்பது ஒரு ஆன்டாலஜி, இருப்பு கோட்பாடு ஆகும். அனைத்தும் பொருள் (குறிப்பு, குறிப்பு), பெயர் அல்லது கருத்து (உணர்வு) ஆகிய மூன்று பிரிவுகளாகக் கருதப்படுகின்றன. சில முரண்பாடுகளைத் தீர்க்க கோட்லோப் ஃப்ரீஜின் கருத்துக்களை அடிப்படையாகக் கொண்டு அலோன்சோ தேவாலயத்தால் ஆன்டாலஜி உருவாக்கப்பட்டது. ஆன்டாலஜி சில மாதிரி தர்க்கங்களுடன் தொடர்புடையது. பெயர் உறவின் முரண்பாடு நாம் 1995 ஆம் ஆண்டில் இருக்கிறோம் என்று வைத்துக்கொள்வோம். புளூட்டோ (அந்த நேரத்தில் இன்னும் ஒரு கிரகமாகக் கருதப்பட்டது) சூரியனில் இருந்து மிகவும் தொலைவில் உள்ள கிரகம் என்று மேரி நம்புகிறார் என்று வைத்துக்கொள்வோம். புளூட்டோவின் ஒழுங்கற்ற சுற்றுப்பாதையின் காரணமாக, புளூட்டோவின் சுற்றுப்பாதை நெப்டியூனின் சுற்றுப்பாதையை கடந்தது, இதனால் 1995 ஆம் ஆண்டில், சூரியனில் இருந்து வெகு தொலைவில் உள்ள கிரகம் நெப்டியூன் ஆகும். மேரிக்கு இந்த உண்மை தெரியாது என்று வைத்துக்கொள்வோம். x = y மற்றும் y = z என்றால், y க்கு z ஐ மாற்றுவதன் மூலம், x = z. (1) புளூட்டோ = சூரியனில் இருந்து மிகத் தொலைவில் உள்ள கிரகம் என்று மேரி நம்புகிறார். (2) நெப்டியூன் = சூரியனில் இருந்து மிகத் தொலைவில் உள்ள கிரகம். எனவே, (1) இல் 'சூரியனிலிருந்து வெகு தொலைவில் உள்ள கிரகம்' என்று 'நெப்டியூன்' என்று மாற்றுவதன் மூலம், (3) புளூட்டோ = நெப்டியூன் என்று மேரி நம்புகிறார். இருப்பினும், புளூட்டோ நெப்டியூன், ஒரு முரண்பாடு என்று மேரி நம்பவில்லை. ஃப்ரீஜ்-சர்ச் ஆன்ட்டாலஜி இதைத் தீர்க்கிறது, நம்பிக்கை ஒரு "தீவிரமான சூழலை" அறிமுகப்படுத்துகிறது, இதன் மூலம் "நம்புகிறது" என்ற சொற்களைப் பின்தொடரும் சொற்கள் ஒரு சூழலில் உள்ளன, இதன் மூலம் அவை சொற்களின் குறிப்பைக் குறிக்கவில்லை, ஆனால் நம்பிக்கையாளருக்கான சொற்களுடன் தொடர்புடைய கருத்தைக் குறிக்கின்றன. ஒவ்வொரு வார்த்தையும் ஒரு பெயர், ஒரு குறிப்பு மற்றும் அதனுடன் தொடர்புடைய ஒரு கருத்தைக் கொண்டுள்ளது. சொற்களஞ்சியம் முன்மொழிவுகள், பண்புகள் மற்றும் உறவுகள் ஒரு பொருளுக்கு பண்புகள் உள்ளன. வாழைப்பழம் மஞ்சள் நிறமாக இருக்கும் பண்பு கொண்டது. ஒரு முன்மொழிவு என்பது உண்மை அல்லது தவறான ஒரு வாக்கியமாகும். ஒரு முன்மொழிவு ஒரு செயல்பாடாகக் கருதப்படலாம், அதில் உள்ள பொருள்கள் மாறிகளாகக் கருதப்படுகின்றன, மேலும் செயல்பாட்டின் மதிப்பு உண்மை அல்லது பொய்மை, ஒரு உண்மை செயல்பாடு. எடுத்துக்காட்டாக, "x என்பது மஞ்சள்" என்பதை Y (x) என்று எழுதுங்கள், இதனால் Y (x) = உண்மை, "x என்பது மஞ்சள்" என்றால் மட்டுமே உண்மை, மற்றும் "x என்பது மஞ்சள் என்றால் மட்டுமே Y (x) = பொய். உதாரணமாக, Y (வாழைப்பழம்) = உண்மை, ஏனெனில் வாழைப்பழம் மஞ்சள் நிறத்தில் உள்ளது. இருப்பினும், Y (ஆப்பிள்) = உண்மை, ஏனெனில் சில ஆப்பிள்கள் மஞ்சள் நிறத்தில் இருக்கும். இதேபோல், இரண்டு பொருள்களுக்கு இடையிலான உறவை வெளிப்படுத்தும் ஒரு வாக்கியம் இரண்டு மாறிகளின் உண்மைச் செயல்பாடாகக் கருதப்படலாம், அதாவது, இரண்டு பொருட்களுக்கு இடையிலான உறவை இரண்டு மாறிகளின் உண்மைச் செயல்பாடாகக் கருதலாம். எடுத்துக்காட்டாக, S (x, y) = "x என்பது y ஐ விட சிறியது" என்று வைத்துக்கொள்வோம். எனவே எஸ் (சுட்டி, யானை) = உண்மை, ஏனெனில் ஒரு சுட்டி யானையை விட சிறியது, ஆனால் எஸ் (சுட்டி, எறும்பு) = பொய், ஏனெனில் ஒரு சுட்டி ஒரு எறும்புக்கு சிறியது அல்ல. பொருள், பெயர், கருத்து ஒரு பொருள் (குறிப்பு, குறிப்பு) ஒரு பெயரைக் கொண்டுள்ளது, பொருளின் பெயர். பொருளுக்கு ஒரு கருத்து (உணர்வு) உள்ளது, பொருளின் கருத்து, பொருளின் பெயருடன் தொடர்புடையது. ஒரு பெயர் அல்லது கருத்து தானாகவே பொருள்கள், மற்றும் பெயர்கள், பொருளின் பெயரின் பெயர் மற்றும் பொருளின் கருத்தாக்கத்தின் பெயர் ஆகியவற்றைக் கொண்டுள்ளன. இதேபோல் அவை வேறு எந்த பொருளையும் போலவே கருத்துகளையும் கொண்டுள்ளன. ஒரு பெயர் அது பெயராக இருக்கும் பொருளைக் குறிக்கும் என்று கூறப்படுகிறது. சாதாரண மொழியில் ஃப்ரீஜ்-சர்ச் ஆன்டாலஜி தெளிவற்ற தன்மைகளைப் பயன்படுத்தி பெயர் உறவின் முரண்பாட்டைத் தீர்ப்பது குழப்பத்திற்கு வழிவகுக்கிறது ஆங்கில சாதாரண மொழியில் தெளிவற்ற தன்மைகள் உள்ளன, அவை சில நேரங்களில் ஒரு வார்த்தையுடன் ஒரு பொருளைக் குறிப்பிடுவதால் தெளிவுபடுத்தப்பட வேண்டும், எ. கா., ஒரு பூனை. பயமுறுத்தும் மேற்கோள்கள், பூனையின் பெயர், எ. கா., "பூனை" என்ற வார்த்தையைப் பயன்படுத்தி பெயரைக் குறிப்பிடுகிறோம். பூனையை ஒரு கருத்தாகவும், பூனையை ஒரு பொருளாகவும் குறிப்பிடுவது குறித்து மொழியில் தெளிவின்மை உள்ளது. தீவிரமான சூழல் "நம்புகிறது" போன்ற ஒரு வெளிப்பாடு ஒரு தீவிரமான சூழலை அறிமுகப்படுத்துவதாகக் கூறப்படுகிறது. ஒரு தீவிரமான சூழலில், நிகழும் பெயர்கள் விசுவாசிகளுக்கான பொருட்களின் கருத்துக்களைக் குறிக்கின்றன. அவை பொருள்களைத் தாங்களே குறிக்கவில்லை. தீர்மானம் "சூரியனிலிருந்து மிகத் தொலைவில் உள்ள கிரகம்", இது முன்மொழிவில் (1) தோன்றுவது போல "சூரியனிலிருந்து மிகத் தொலைவில் உள்ள கிரகம்" என்ற மேரியின் கருத்தாகும், இது (2) இல் தோன்றுவதைப் போல சூரியனிலிருந்து உண்மையில் மிகத் தொலைவில் உள்ள கிரகத்தைப் பற்றியது அல்ல, எனவே மாற்றீடு செய்ய முடியாது. இதற்கு மிகவும் கடுமையான மற்றும் முறையான சிகிச்சை தேவாலயத்தால் வழங்கப்படுகிறது. குறிப்புகள் வெளிப்புற இணைப்புகள் தத்துவப் பிரிவுகள் மாதிரி தர்க்கம்