যুক্তিবিদ্যা হলো এমন একটি বিজ্ঞান যা যুক্তির বৈধতা ও অবৈধতা নিয়ে আলোচনা করে। যখন আমরা কোনো যুক্তি উপস্থাপন করি, তখন আমরা কিছু পূর্বনির্ধারিত ধারণা বা বিবৃতিকে (যাকে বলা হয় আশ্রয়বাক্য বা premises) ভিত্তি করে একটি নতুন সিদ্ধান্তে উপনীত হই। এই প্রক্রিয়াটি সঠিক কিনা, তা যাচাই করাই যুক্তিবিদ্যার কাজ।

বৈধ যুক্তি (Valid Argument)

একটি যুক্তিকে বৈধ বলা হয় যখন তার আশ্রয়বাক্যগুলো সত্য হলে সিদ্ধান্তটিও অবশ্যই সত্য হবে। সহজ কথায়, আশ্রয়বাক্য থেকে সিদ্ধান্তটি অনিবার্যভাবে নিঃসৃত হয়। একটি বৈধ যুক্তির ক্ষেত্রে, এটি অসম্ভব যে আশ্রয়বাক্য সত্য কিন্তু সিদ্ধান্ত মিথ্যা।

এখানে মনে রাখা জরুরি যে বৈধতা শুধুমাত্র যুক্তির গঠনের ওপর নির্ভর করে, আশ্রয়বাক্যের বাস্তব সত্যতার ওপর নয়।

উদাহরণ:

• আশ্রয়বাক্য ১: সকল মানুষ মরণশীল।

• আশ্রয়বাক্য ২: সক্রেটিস একজন মানুষ।

• সিদ্ধান্ত: অতএব, সক্রেটিস মরণশীল।

এই যুক্তিটি বৈধ, কারণ এর গঠন এমন যে যদি প্রথম দুটি বাক্য সত্য হয়, তাহলে তৃতীয় বাক্যটি মিথ্যা হতে পারে না।

অবৈধ যুক্তি (Invalid Argument)

একটি যুক্তিকে অবৈধ বলা হয় যখন আশ্রয়বাক্যগুলো সত্য হলেও সিদ্ধান্তটি মিথ্যা হওয়ার সম্ভাবনা থাকে। এখানে আশ্রয়বাক্য এবং সিদ্ধান্তের মধ্যে কোনো অনিবার্য সম্পর্ক থাকে না।

উদাহরণ:

• আশ্রয়বাক্য ১: সকল পাখি উড়তে পারে।

• আশ্রয়বাক্য ২: বিমান উড়তে পারে।

• সিদ্ধান্ত: অতএব, বিমান একটি পাখি।

এই যুক্তিটি অবৈধ, কারণ প্রথম দুটি বাক্য সত্য হলেও সিদ্ধান্তটি মিথ্যা। বিমান উড়তে পারে, কিন্তু তার মানে এই নয় যে এটি একটি পাখি।

সংক্ষেপে পার্থক্য

যুক্তিবিদ্যায়, একটি ভালো যুক্তি কেবল বৈধ হলেই যথেষ্ট নয়, তার আশ্রয়বাক্যগুলোকেও বাস্তবিকভাবে সত্য হতে হয়। যখন একটি যুক্তি বৈধ এবং তার সকল আশ্রয়বাক্য সত্য, তখন তাকে সবল যুক্তি (sound argument) বলা হয়। এটি হলো যুক্তিবিদ্যার চূড়ান্ত লক্ষ্য।