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 (સફરજન) = સત્ય પણ છે, કારણ કે કેટલાક સફરજન પીળા હોય છે. તેવી જ રીતે બે પદાર્થો વચ્ચેના સંબંધને વ્યક્ત કરતા વાક્યને બે ચલોનું સત્ય કાર્ય ગણી શકાય, એટલે કે, બે પદાર્થો વચ્ચેના સંબંધને બે ચલોનું સત્ય કાર્ય ગણી શકાય. ઉદાહરણ તરીકે, ચાલો S (x, y) = "x એ y કરતા નાનું છે". તો એસ (ઉંદર, હાથી) = સત્ય, કારણ કે ઉંદર હાથી કરતા નાનો હોય છે, પરંતુ એસ (ઉંદર, કીડી) = અસત્ય, કારણ કે ઉંદર કીડી કરતા નાનો નથી. ઓબ્જેક્ટ, નામ, ખ્યાલ ઓબ્જેક્ટ (સંદર્ભ, સંકેત) નું નામ, ઓબ્જેક્ટનું નામ હોય છે. પદાર્થમાં એક ખ્યાલ (અર્થ) હોય છે, જે પદાર્થનો ખ્યાલ છે, જે પદાર્થના નામ સાથે સંકળાયેલ છે. નામ અથવા ખ્યાલ પોતે પદાર્થો છે, અને તેમાં નામો, પદાર્થના નામનું નામ અને પદાર્થના ખ્યાલનું નામ છે. તેવી જ રીતે તેમની પાસે અન્ય કોઈપણ વસ્તુની જેમ વિભાવનાઓ છે. એક નામ તે પદાર્થને સૂચવે છે જેના માટે તે નામ છે. ફ્રેજ-ચર્ચ ઑન્ટોલોજીનો ઉપયોગ કરીને નામ સંબંધના વિરોધાભાસનું નિરાકરણ સામાન્ય ભાષામાં અસ્પષ્ટતા મૂંઝવણ તરફ દોરી જાય છે અંગ્રેજી સામાન્ય ભાષામાં અસ્પષ્ટતા છે જેને સ્પષ્ટ કરવાની જરૂર છે કારણ કે આપણે કેટલીકવાર શબ્દ સાથે ઑબ્જેક્ટનો સંદર્ભ આપીએ છીએ, દા. ત., એક બિલાડી. અમે ડરાવવાના અવતરણોનો ઉપયોગ કરીને નામનો સંદર્ભ લઈએ છીએ, બિલાડીનું નામ, દા. ત., શબ્દ "બિલાડી". બિલાડીને એક ખ્યાલ તરીકે અને બિલાડીને એક વસ્તુ તરીકે ઉલ્લેખ કરવાના સંદર્ભમાં ભાષામાં અસ્પષ્ટતા છે. સઘન સંદર્ભ "માને છે" જેવી અભિવ્યક્તિને સઘન સંદર્ભ રજૂ કરવા માટે કહેવામાં આવે છે. સઘન સંદર્ભમાં, જે નામો આવે છે તે આસ્તિક માટે વસ્તુઓની વિભાવનાઓને સૂચવે છે. તેઓ વસ્તુઓને પોતે દર્શાવતા નથી. ઠરાવ "સૂર્યથી સૌથી દૂરનો ગ્રહ", જેમ કે તે દરખાસ્ત (1) માં દેખાય છે તે મેરીની "સૂર્યથી સૌથી દૂરનો ગ્રહ" ની વિભાવના છે, સૂર્યથી વાસ્તવિક સૌથી દૂરના ગ્રહ વિશે નહીં જે તે (2) માં દેખાય છે, તેથી અવેજી કરી શકાતો નથી. ચર્ચ દ્વારા આની વધુ સખત અને ઔપચારિક સારવાર આપવામાં આવે છે. સંદર્ભો બાહ્ય કડીઓ ફિલોસોફિકલ વર્ગો મોડલ તર્ક