Predicate abstraction
যুক্তিতে, প্রেডিকেট বিমূর্ততা হল একটি সূত্র থেকে একটি প্রেডিকেট তৈরি করার ফলাফল। যদি Q কোনও সূত্র হয় তবে সেই বাক্য থেকে গঠিত বিধেয় বিমূর্ত হল (λx. Q), যেখানে λ একটি বিমূর্ত অপারেটর এবং যেখানে Q-এ মুক্ত x-এর প্রতিটি ঘটনা λ in (λx. Q) দ্বারা আবদ্ধ। ফলস্বরূপ প্রেডিকেট (λx. Q (x)) হল একটি মনাডিক প্রেডিকেট যা (λx. Q (x)) (t)-এর মতো একটি শব্দ t-কে যুক্তি হিসাবে নিতে সক্ষম, যা বলে যে 't' দ্বারা চিহ্নিত বস্তুটির এমন বৈশিষ্ট্য রয়েছে যেটি হল Q। (λx. Q (x)) (t) ষ্ণ (t/x) অবস্থাগুলি যেখানে Q (t/x) হল Q-তে x-এর সমস্ত মুক্ত ঘটনাকে t দ্বারা প্রতিস্থাপনের ফলাফল। এই সূত্রটি কমপক্ষে দুটি ক্ষেত্রে সাধারণভাবে ব্যর্থ হতে দেখা যায়ঃ (i) যখন t অনির্দিষ্ট হয় এবং (ii) যখন Q-তে মডেল অপারেটর থাকে। মোডাল লজিক-এ "ডি রে/ডি ডিক্টো পার্থক্য" কে 1 হিসাবে উল্লেখ করা হয়েছে। (ডি ডি সি টি ও): 2। (ডিই আরই): (1)-এ মডেল অপারেটর সূত্র এ (টি)-এর ক্ষেত্রে প্রযোজ্য এবং টি শব্দটি মডেল অপারেটরের আওতায় রয়েছে। ইন (2) টি মডেল অপারেটরের আওতার মধ্যে নেই। শব্দার্থবিজ্ঞান এবং ভবিষ্যদ্বাণী বিমূর্ততার আরও দার্শনিক বিকাশের জন্য রেফারেন্স দেখুন ফিটিং এবং মেন্ডেলসন, ফার্স্ট-অর্ডার মডেল লজিক, স্প্রিঙ্গার, 1999। মডেল লজিক দার্শনিক লজিক