দর্শনের সাথে পরিচয়/যুক্তিবিদ্যা/প্রকরণ যুক্তি
দর্শনের ভূমিকা > তর্ক > প্রকরণ যুক্তি
প্রকরণ
[সম্পাদনা]দ্য গ্রাসহপার লাইস হেভি-এর কপিটি ধরে রবার্ট বললেন, 'এই বইটিতে কোন ধরণের বিকল্প বর্তমানের বর্ণনা দেওয়া হয়েছে??'
কিছুক্ষণ পর বেটি বললেন, 'যে যুদ্ধে জার্মানি এবং জাপান হেরেছিল।'
তারা সবাই চুপ করে রইল।
(ফিলিপ কে. ডিক, দ্য ম্যান ইন দ্য হাই ক্যাসেল)
এটি প্রকরণ যুক্তির মূল ভিত্তি: কিছু জিনিস অন্যথায়ও হতে পারত।
আমাদের দৈনন্দিন যুক্তিতে, আমরা 'প্রয়োজনীয়' সত্য এবং বিবৃতিগুলির মধ্যে পার্থক্য করি যা কেবল সত্য হতে পারে কিন্তু মিথ্যাও হতে পারে। আমরা বলি যে পরেরটি "আকস্মিকভাবে" সত্য, অথবা তাদের অস্বীকার "সম্ভব"। "প্রয়োজনীয়", "আকস্মিক", "সম্ভব" এবং "অসম্ভব" ধারণাগুলি খুব ঘনিষ্ঠভাবে সম্পর্কিত: কিছু "প্রয়োজনীয়" যদি এটি "অসম্ভব" হয় তবে এটি মিথ্যা হতে পারে, এবং কিছু "সম্ভব" যদি এর মিথ্যা "প্রয়োজনীয়" না হয়। "আকস্মিকতা" হল "প্রয়োজনীয়তা" এর অস্বীকার, এবং "অসম্ভবতা" হল "সম্ভাব্যতা" এর অস্বীকার।
প্রকরণ যুক্তি ধ্রুপদী যুক্তির কাঠামোর (প্রস্তাবিত যুক্তি এবং প্রেডিকেট ক্যালকুলাস) মধ্যে প্রকরণের ধারণাগুলি (প্রয়োজনীয়, সাপেক্ষিক, সম্ভব এবং অসম্ভব, অন্যান্য) অন্তর্ভুক্ত করার চেষ্টা করে এবং তাই এটি ধ্রুপদী যুক্তির একটি সম্প্রসারণ।
প্রকরণ প্রস্তাবমূলক ক্যালকুলাস
[সম্পাদনা]সিনট্যাক্স
[সম্পাদনা]প্রকরণ যুক্তি ধ্রুপদি যুক্তিতে তিনটি নতুন প্রতীক প্রবর্তন করে: (প্রয়োজনীয়), (সম্ভব) এবং (যদি, তাহলে)। সূত্রগুলি স্বাভাবিক পদ্ধতিতে তৈরি করা হয়, নিম্নলিখিত নিয়মগুলি ক্লোজার ক্লজের আগে যুক্ত করা হয় (প্রস্তাবমূলক ক্যালকুলাসে সুগঠিত সূত্রের নিয়মগুলি দেখুন):
- যদি একটি সুগঠিত সূত্র হয়, তাহলে এবং ও সুগঠিত সূত্র।
- যদি এবং সুগঠিত সূত্র হয়, তাহলে ও একটি সুগঠিত সূত্র।
প্রকৃতপক্ষে, কেউ কেবল অথবা ব্যবহার করে প্রকরণ প্রস্তাবনামূলক ক্যালকুলাসকে স্বতঃসিদ্ধভাবে সংজ্ঞায়িত করতে পারে। উদাহরণস্বরূপ, যদি আমরা এবং কে এর পরিপ্রেক্ষিতে সংজ্ঞায়িত করতে চাই, তাহলে কে এবং এর জন্য লেখার আরেকটি উপায় হিসেবে সংজ্ঞায়িত করা যেতে পারে।
গ্রন্থপঞ্জি
[সম্পাদনা]- হিউজেস, জি. ই.', এবং ক্রেসওয়েল, এম. জে.': অ্যান ইন্ট্রোডাকশন ফর মডাল লজিক, মেথুয়েন অ্যান্ড কোং লিমিটেড, লন্ডন (১৯৭২)।
- 'হিউজ, জি. ই.', এবং 'ক্রেসওয়েল, এম. জে.': আ কম্প্যানিয়ন টু মডেল লজিক, মেথুয়েন অ্যান্ড কোম্পানি লিমিটেড, লন্ডন (১৯৮৪)।
- স্মুলিয়ান, আর.'': ফরএভার আনডিসিডেড (১৯৮৭)। পার্ট ৯: সম্ভাব্য বিশ্ব।
উপরে: যুক্তিবিদ্যার সূচীপত্র