প্রথাগত যুক্তিবিদ্যা অর্থাৎ ক্লাসিকাল লজিক আমাদের চিন্তার ভেতরে এক নিরব কিন্তু কড়া শৃঙ্খলার মতো কাজ করে। যেন এক অলিখিত নিয়ম, যেখানে সত্য আর মিথ্যার মাঝখানে অন্য কোনো অবস্থান স্বীকৃত নয়। আপনি হয় ‘হ্যাঁ’ বলবেন, নয়তো ‘না’। হয় আলো, নয়তো আঁধার।
কিন্তু বাস্তব জগত কি এতটাই দ্বিবাচক? ধরুন কেউ আপনাকে প্রশ্ন করল, “এই লোকটি কি সৎ?” আপনি দীর্ঘদিন ধরে তার আচরণ দেখেছেন। কখনও সে অসাধারণ ন্যায়পরায়ণ, আবার কখনও নিজস্ব স্বার্থে আপোষ করে। আপনি নিশ্চয়ই বলবেন, “আংশিকভাবে”।কিন্তু ক্লাসিকাল লজিক আপনাকে সেই অনুমতির সুযোগ দেয় না। এমন অস্পষ্ট, অনিশ্চিত বাস্তবতার ভেতরে চিন্তার নতুন দরজা খুলেছে এক ভিন্ন ধারার যুক্তিবিদ্যা, নন-ক্লাসিকাল লজিক। এটি এমন এক যুক্তি-ভাষা, যা ধূসরতায় স্বাচ্ছন্দ্য খোঁজে।
প্রথাগত যুক্তিবিদ্যা তিনটি প্রধান নীতির ওপর দাঁড়িয়ে আছে:
Law of Identity: একটি বস্তু যা, তা-ই। (A is A)
Law of Non-Contradiction: একটি বক্তব্য একসাথে সত্য এবং মিথ্যা হতে পারে না।
Law of Excluded Middle: কোনো উক্তি হয় সত্য নয়তো মিথ্যা, মধ্যপথ নেই।
এই তিনটি সূত্র দীর্ঘদিন ধরে বিজ্ঞানের ভাষা, গাণিতিক যুক্তি এবং নীতিশাস্ত্রের ভিত হিসেবে কাজ করেছে। কিন্তু এদের মধ্যে এমন কোনো কাঠামো নেই যা বাস্তব জীবনের অস্পষ্টতা ধারণ করতে পারে। উদাহরণ দিলে, প্রেম কি সত্য? কিংবা ‘ভালো মানুষ’ হওয়ার সংজ্ঞা কি সর্বজনীন? এই প্রশ্নগুলোর উত্তর ক্লাসিকাল লজিকের দ্বিমাত্রিক কাঠামোতে আটকে পড়ে।
১৯৬৫ সালে ইরানি বংশোদ্ভূত গণিতবিদ লোফি জাদে Fuzzy Logic আবিষ্কার করে একটি বিপ্লব ঘটালেন যুক্তির জগতে । এখানে সত্য কোনো দুই পয়েন্টের মধ্যকার স্কেল। ‘গরম’ শব্দটি ৫০ ডিগ্রিতে কতটা প্রযোজ্য, এমন প্রশ্নের উত্তর হবে, “০.৭ মাত্রায় গরম”ভএকটি পরিমাপক সত্য।
আধুনিক সময়ের অনেক স্মার্ট যন্ত্র যেমন এয়ার কন্ডিশন, ওয়াশিং মেশিন—ফাজি লজিক ব্যবহার করে। কারণ এইসব যন্ত্র শুধু চালু- বন্ধ নয়, বরং ধীরে ধীরে পরিবর্তনের প্রয়োজন বুঝতে পারে। ফাজি লজিক আসলে সেই যুক্তিবিদ্যা, যেখানে মানুষের আবেগ, সংশয়, এবং তুলনামূলকতা প্রকাশ করা যায় যা দ্বিমাত্রিক সত্য ধারণ করতে পারে না।
এবার চলি ইন্টিউশনিস্টিক লজিক-এর দিকে, যার জন্মদাতা ডাচ গণিতবিদ L.E.J. Brouwer। তার মতে, “যা আপনি প্রমাণ করতে পারেন, শুধু সেটাই সত্য বলা যেতে পারে।” এখানে ক্লাসিকাল লজিকের “A অথবা না-A” নিয়ম খাটে না। যদি আপনি A-কে প্রমাণ করতে না পারেন, আবার তার বিপরীতকেও না পারেন, তবে আপনি নিরুত্তর থাকবেন। এটি মূলত ব্যবহার হয় গণিতে, যেখানে গাণিতিক নিখুঁত প্রমাণ ছাড়া কোনো সিদ্ধান্ত নেওয়া যায় না। কিন্তু এটি দর্শন ও মেটাফিজিক্সেও একটি তীক্ষ্ণ হাতিয়ার যেখানে আমরা প্রতিটি সিদ্ধান্তের পেছনে প্রমাণ খুঁজি, অনুমান নয়।
নন-ক্লাসিকাল যুক্তির ভাণ্ডার কেবল ফাজি বা ইন্টিউশনিস্টিক লজিকেই সীমাবদ্ধ নয়। আরও কিছু বিস্ময়কর ধারার নাম জেনে নেওয়া যাক—Paraconsistent Logic: যেখানে একটি উক্তি একইসাথে সত্য এবং মিথ্যা হতে পারে। যেমন: “এই বাক্যটি মিথ্যা”। এটি যদি সত্য হয়, তবে সে নিজেই মিথ্যা।
Modal Logic: সম্ভাবনা ও বাস্তবতার পার্থক্য নির্ণয় করে।
Relevant Logic: যেখানে ফলাফল তখনই যুক্তিসঙ্গত, যদি সেটির ভিত্তি পূর্বতথ্যের সাথে প্রাসঙ্গিক হয়।
এই ধারাগুলো একে একে যুক্তিবিদ্যাকে মানুষের মতো করে চিন্তা করতে শেখায়।
নন-ক্লাসিকাল যুক্তিবিদ্যা কেন গুরুত্বপূর্ণ?
আমরা দৈনন্দিন জীবনে এমন অসংখ্য সিদ্ধান্তের সম্মুখীন হই, যেগুলো ‘হ্যাঁ’ বা ‘না’তে মাপা যায় না। নন-ক্লাসিকাল লজিক আমাদের সেই আবছা বাস্তবতার ভিতরে সিদ্ধান্ত নেওয়ার একটি সূক্ষ্ম পরিমাপক দেয়। রোবটকে যদি মানুষের মতো করে সিদ্ধান্ত নিতে হয়, তবে তাকে শেখাতে হবে কীভাবে অনিশ্চয়তা ও দ্বৈততা গ্রহণ করতে হয়। তাই AI, মেশিন লার্নিং, এবং অটোনমাস সিস্টেমে এসব লজিক অপরিহার্য হয়ে উঠছে। “কোনো কাজ ন্যায় কি অন্যায়”—এ প্রশ্নের উত্তর সবসময় সাদা-কালো হয় না। নন-ক্লাসিকাল লজিক আমাদের সেই সিদ্ধান্তগুলোতে তুলনামূলক বিশ্লেষণের সুযোগ দেয়।
সত্য সবসময় সাদা নয়, মিথ্যাও সবসময় কালো নয় এই মাঝের অনির্ধারিত ধূসরতাকেই ধারণ করে নন-ক্লাসিকাল যুক্তিবিদ্যা। এটি আমাদের শেখায় চিন্তার ক্ষেত্রেও তৃতীয় একটি জায়গা থাকতে পারে। যেখানে আমরা “অজানা”, “অসম্পূর্ণ” বা “আংশিক সত্য”কে সম্মান করি।
বস্তুনিষ্ঠ সিদ্ধান্ত ও ভবিষ্যৎ প্রযুক্তি-চিন্তায় এই ধারাগুলো হয়ে উঠতে পারে আমাদের নতুন ভাষা—যেখানে ক্লাসিকাল লজিকের কাঠামো ভেঙে সৃষ্টি হয় মানবিক যুক্তির সত্যিকারের প্রকাশ। এই ভাবনাগুলোর মধ্য দিয়ে আমরা প্রবেশ করি যুক্তিবিদ্যার সেই অধ্যায়ে, যেখানে সত্য শুধু একটি পয়েন্ট নয়, একটি পরিপূর্ণ স্পেকট্রাম।