Frege–Church ontology
ফ্রেজ-চার্চ সত্তাতত্ত্ব হল একটি সত্তাতত্ত্ব, অস্তিত্বের একটি তত্ত্ব। সবকিছুকে তিনটি বিভাগে বিবেচনা করা হয়, বস্তু (রেফারেন্স, ডেনোটেশন), নাম বা ধারণা (ইন্দ্রিয়)। কিছু বৈপরীত্য সমাধানের জন্য গটলব ফ্রেজের ধারণার উপর ভিত্তি করে অ্যালোঞ্জো চার্চ দ্বারা সত্তাতত্ত্বটি তৈরি করা হয়েছিল। অন্টোলজি নির্দিষ্ট মোডাল লজিক্সের সাথে সম্পর্কিত। নাম সম্পর্কের প্যারাডক্স ধরুন আমরা 1995 সালে আছি। ধরুন মেরি বিশ্বাস করেন যে প্লুটো (সেই সময়ে এখনও একটি গ্রহ হিসাবে বিবেচিত) সূর্য থেকে সবচেয়ে দূরবর্তী গ্রহ। প্লুটোর অনিয়মিত কক্ষপথের কারণে, প্লুটোর কক্ষপথ নেপচুনের কক্ষপথ অতিক্রম করে, যাতে 1995 সালে, সূর্য থেকে সবচেয়ে দূরবর্তী গ্রহটি নেপচুন হয়। মনে করুন মেরি এই সত্যটি জানেন না। যদি x = y এবং y = z হয়, তাহলে y, x = z এর জন্য z প্রতিস্থাপন করুন। (1) মেরি বিশ্বাস করেন যে প্লুটো = সূর্য থেকে সবচেয়ে দূরবর্তী গ্রহ। (2) নেপচুন = সূর্য থেকে সবচেয়ে দূরে অবস্থিত গ্রহ। অতএব, (1)-এ 'নেপচুন' কে 'সূর্য থেকে সবচেয়ে দূরবর্তী গ্রহ' হিসাবে প্রতিস্থাপন করলে আমরা পাই (3) মেরি বিশ্বাস করেন যে প্লুটো = নেপচুন। যাইহোক, মেরি বিশ্বাস করেন না যে প্লুটো নেপচুন, একটি প্যারাডক্স। ফ্রেজ-চার্চ সত্তাতত্ত্ব এই বলে এর সমাধান করে যে বিশ্বাস একটি "তীব্র প্রসঙ্গ" প্রবর্তন করে যার মাধ্যমে "বিশ্বাস করে যে" শব্দের অনুসরণকারী পদগুলি এমন একটি প্রসঙ্গে রয়েছে যার মাধ্যমে তারা শব্দের অর্থকে বোঝায় না, বরং বিশ্বাসীদের জন্য শব্দের সাথে সম্পর্কিত ধারণাকে বোঝায়। প্রতিটি শব্দের একটি নাম, একটি সংজ্ঞা এবং এর সাথে সম্পর্কিত একটি ধারণা রয়েছে। পরিভাষা প্রস্তাবনা, বৈশিষ্ট্য এবং সম্পর্ক একটি বস্তুর বৈশিষ্ট্য রয়েছে। কলার হলুদ হওয়ার বৈশিষ্ট্য রয়েছে। প্রস্তাব হল এমন একটি বাক্য যা সত্য বা মিথ্যা হয়। একটি প্রস্তাবকে একটি ফাংশন হিসাবে বিবেচনা করা যেতে পারে, যার মধ্যে বস্তুগুলিকে পরিবর্তনশীল হিসাবে বিবেচনা করা হয় এবং ফাংশনের মান হয় সত্য বা মিথ্যা, একটি সত্য ফাংশন। উদাহরণস্বরূপ, "x হল হলুদ" কে Y (x) হিসাবে লিখুন, যাতে Y (x) = সত্য হয়, যদি এবং শুধুমাত্র যদি "x হল হলুদ" সত্য হয়, এবং Y (x) = মিথ্যা হয় যদি এবং শুধুমাত্র যদি "x হল হলুদ" মিথ্যা হয়। উদাহরণস্বরূপ, ওয়াই (কলা) = সত্য, যেহেতু একটি কলা হলুদ। তবে, ওয়াই (আপেল) = সত্যও, কারণ কিছু আপেল হলুদ হয়। একইভাবে দুটি বস্তুর মধ্যে সম্পর্ক প্রকাশকারী একটি বাক্যকে দুটি চলকের সত্য ফাংশন হিসাবে বিবেচনা করা যেতে পারে, অর্থাৎ দুটি বস্তুর মধ্যে সম্পর্ককে দুটি চলকের সত্য ফাংশন হিসাবে বিবেচনা করা যেতে পারে। উদাহরণস্বরূপ, ধরা যাক S (x, y) = "x হল y এর চেয়ে ছোট"। সুতরাং এস (ইঁদুর, হাতি) = সত্য, যেহেতু একটি ইঁদুর হাতির চেয়ে ছোট, কিন্তু এস (ইঁদুর, পিঁপড়া) = মিথ্যা, যেহেতু একটি ইঁদুর পিঁপড়ার চেয়ে ছোট নয়। বস্তু, নাম, ধারণা একটি বস্তুর (রেফারেন্স, ডেনোটেশন) একটি নাম থাকে, বস্তুর নাম। বস্তুটির একটি ধারণা (ইন্দ্রিয়) রয়েছে, বস্তুর ধারণা, যা বস্তুর নামের সাথে যুক্ত। একটি নাম বা ধারণা নিজেই বস্তু, এবং নাম, বস্তুর নামের নাম এবং বস্তুর ধারণার নাম রয়েছে। একইভাবে তাদের অন্য যে কোনও বস্তুর মতো ধারণা রয়েছে। বলা হয় যে নামটি সেই বস্তুকে বোঝায় যার জন্য এটি নাম। ফ্রেজ-চার্চ সত্ত্বত্ত্ব ব্যবহার করে নাম সম্পর্কের বৈপরীত্যের সমাধান সাধারণ ভাষায় অস্পষ্টতা বিভ্রান্তির সৃষ্টি করে ইংরেজি সাধারণ ভাষায় অস্পষ্টতা রয়েছে যা স্পষ্ট করা দরকার কারণ আমরা কখনও কখনও একটি শব্দ সহ একটি বস্তুকে উল্লেখ করি, যেমন একটি বিড়াল। আমরা বিড়ালের নাম, যেমন "বিড়াল" শব্দটি ব্যবহার করে নামটি উল্লেখ করি। বিড়ালকে একটি ধারণা এবং বিড়ালকে একটি বস্তু হিসাবে উল্লেখ করার ক্ষেত্রে ভাষায় অস্পষ্টতা রয়েছে। তীব্র প্রসঙ্গ "বিশ্বাস করে" এর মতো একটি অভিব্যক্তি একটি তীব্র প্রসঙ্গের পরিচয় দেয় বলে মনে করা হয়। একটি গভীর প্রসঙ্গে, যে নামগুলি ঘটে তা বিশ্বাসীদের জন্য বস্তুর ধারণাগুলি নির্দেশ করে। এগুলি বস্তুগুলিকে নিজেরাই নির্দেশ করে না। রেজোলিউশন "সূর্য থেকে সবচেয়ে দূরবর্তী গ্রহ", যেমনটি প্রস্তাবনায় দেখা যায় (1) মেরির "সূর্য থেকে সবচেয়ে দূরবর্তী গ্রহ" ধারণাটি, সূর্য থেকে প্রকৃত দূরবর্তী গ্রহ সম্পর্কে নয় যেমনটি দেখা যায় (2), তাই প্রতিস্থাপন করা যাবে না। এর আরও কঠোর এবং আনুষ্ঠানিক চিকিৎসা চার্চ দ্বারা দেওয়া হয়। রেফারেন্স বাহ্যিক লিঙ্ক দার্শনিক বিভাগ মডেল লজিক