মোডাল যুক্তি, আনুষ্ঠানিক ব্যবস্থা যেমন প্রয়োজনীয়তা, সম্ভাবনা, অসম্ভবতা, ক্রমশক্তি, কঠোর জড়িততা এবং কিছু অন্যান্য ঘনিষ্ঠভাবে সম্পর্কিত ধারণাগুলি অন্তর্ভুক্ত করে al
আনুষ্ঠানিক যুক্তি: মডেল লজিক
সত্য প্রস্তাবগুলি সেগুলিতে ভাগ করা যায় - যেমন "2 + 2 = 4" - এটি যৌক্তিক প্রয়োজনীয়তার দ্বারা প্রয়োজনীয় (প্রয়োজনীয় প্রস্তাবগুলি) এবং সেগুলি - এর মতো
।
মডেল লজিক তৈরির সর্বাধিক সোজা উপায় হ'ল কিছু স্ট্যান্ডার্ড ননমডাল লজিক্যাল সিস্টেমে একটি নতুন প্রিমিটিভ অপারেটর যুক্ত করা যা কোনও একটি মোডালটির প্রতিনিধিত্ব করে, অন্য মডেল অপারেটরগুলির শর্তাবলী সংজ্ঞায়িত করে, এবং সেই মডেলের সাথে জড়িত অক্ষ বা ট্রান্সফর্মেশন বিধি যুক্ত করে to অপারেটর। উদাহরণস্বরূপ, কেউ ক্লাসিকাল প্রপোজেনশনাল ক্যালকুলাসে এল চিহ্ন প্রতীক যুক্ত করতে পারে যার অর্থ "এটি প্রয়োজনীয়"; সুতরাং, এলপিকে "এটি প্রয়োজনীয় যে পি।" হিসাবে পড়া হয় সম্ভাব্য অপারেটর এম ("এটি সম্ভব যে") এল এর পরিভাষায় এমপি = ¬ল্যাপ (যেখানে ¬ এর অর্থ "নয়") হিসাবে সংজ্ঞায়িত হতে পারে। ধ্রুপদী প্রস্তাবনামূলক যুক্তির স্বতন্ত্রতা এবং নিয়মগুলি ছাড়াও, এই জাতীয় ব্যবস্থার নিজস্ব স্বতন্ত্রতার দুটি অক্ষ এবং একটি নিয়ম থাকতে পারে। মডেল লজিকের কয়েকটি বৈশিষ্ট্যযুক্ত অক্ষগুলি হ'ল: এলপি ⊃ পি এবং এল (পি ⊃ কিউ) ⊃ (এলপি ⊃ এলকিউ)। এই সিস্টেমে আনুগত্যের নতুন নিয়মটি প্রয়োজনীয়তার নিয়ম: পি যদি সিস্টেমের উপপাদ্য হয় তবে এলপিও তাই। মোডাল লজিকের শক্তিশালী সিস্টেমগুলি অতিরিক্ত অক্ষগুলি যুক্ত করে প্রাপ্ত করা যেতে পারে। উদাহরণস্বরূপ, কেউ অক্ষরেখা Lp ⊃ LLp যুক্ত করেন, আবার অন্যরা axiom Mp ⊃ LMp যুক্ত করেন। আনুষ্ঠানিক যুক্তি দেখুন: মডেল লজিক।
