ফরমাল লজিক এবং ইনফরমাল লজিক
ফরমাল লজিক এবং ইনফরমাল লজিক
ফরমাল লজিক (Formal Logic) এবং ইমফরমাল লজিক (Informal Logic) উভয়ই যুক্তি ও যুক্তি বিশ্লেষণের শাখা, কিন্তু তাদের উদ্দেশ্য, পদ্ধতি এবং প্রয়োগের মধ্যে গুরুত্বপূর্ণ পার্থক্য রয়েছে।
ফরমাল লজিক (Formal Logic):
ফরমাল লজিক হল যুক্তিবিদ্যার একটি শাখা যা যুক্তির গঠন (structure) এবং ফর্ম (form) নিয়ে আলোচনা করে। এটি সঠিক যুক্তি নির্মাণের জন্য নিয়ম ও নীতিমালা প্রদান করে। ফরমাল লজিকের মূল লক্ষ্য হল যুক্তির বৈধতা (validity) নির্ধারণ করা, অর্থাৎ যুক্তির গঠন সঠিক কিনা তা যাচাই করা। এটি প্রায়শই গাণিতিক পদ্ধতি ব্যবহার করে এবং প্রতীকী যুক্তি (symbolic logic) এর মাধ্যমে প্রকাশ করা হয়।
ফরমাল লজিকের দুটি প্রধান শাখা:
- প্রস্তাবনামূলক লজিক (Propositional Logic): এটি সরল প্রস্তাবনা (propositions) এবং তাদের মধ্যে যৌক্তিক সংযোগ (logical connectives) যেমন AND, OR, NOT, IF…THEN ইত্যাদি নিয়ে কাজ করে।
- প্রেডিকেট লজিক (Predicate Logic): এটি প্রস্তাবনামূলক লজিকের চেয়ে জটিল এবং এটি প্রেডিকেট (predicates), কোয়ান্টিফায়ার (quantifiers) যেমন “সকল” (for all) এবং “কিছু” (there exists) নিয়ে কাজ করে।
অভ্যন্তরীণ পদ্ধতি:
ফরমাল লজিকের মধ্যে সিম্বলিজম এবং গণনা ব্যবহৃত হয়, যেমনঃ
-
- প্রমাণ পদ্ধতি (Deductive Proofs)
- ইনফারেন্স রুলস
- সিম্বলিক বা গণনাযোগ্য ভাষা (যেমন: প্রপোজিশনাল ক্যালকুলাস, সিলোজিজম, ইত্যাদি)।
গঠন (Structure):
ফরমাল লজিকে যুক্তির কাঠামো বা গঠনকে গুরুত্ব দেওয়া হয়। এটি কিছু নির্দিষ্ট নিয়ম বা ফর্ম্যাট অনুসরণ করে তৈরি হয়। যেমন:
-
- Modus Ponens
- Modus Tollens, ইত্যাদি।
যেমন, যদি A, তবে B।
A সত্য।
তাই B সত্য। (এটি একটি ফরমাল লজিক্যাল ইনফারেন্স।)
ইনফরমাল লজিক (Informal Logic):
ইনফরমাল লজিক হল যুক্তিবিদ্যার একটি শাখা যা দৈনন্দিন জীবনে ব্যবহৃত যুক্তি এবং যুক্তির প্রয়োগ নিয়ে আলোচনা করে। এটি যুক্তির গঠনের চেয়ে বরং যুক্তির বিষয়বস্তু (content) এবং প্রাসঙ্গিকতা (context) নিয়ে বেশি গুরুত্ব দেয়। ইনফরমাল লজিকের মূল লক্ষ্য হল যুক্তির কার্যকারিতা (effectiveness) এবং বিশ্বাসযোগ্যতা (credibility) যাচাই করা।
ইনফরমাল লজিকের কিছু গুরুত্বপূর্ণ দিক:
- যুক্তির বিশ্লেষণ (Argument Analysis): এটি যুক্তির বিভিন্ন অংশ যেমন প্রমাণ (premises) এবং সিদ্ধান্ত (conclusion) বিশ্লেষণ করে।
- যুক্তির মূল্যায়ন (Argument Evaluation): এটি যুক্তির শক্তি (strength) এবং দুর্বলতা (weakness) মূল্যায়ন করে।
- যুক্তির নির্মাণ (Argument Construction): এটি কার্যকর এবং বিশ্বাসযোগ্য যুক্তি নির্মাণের কৌশল নিয়ে আলোচনা করে।
ফ্যালাসি এবং অন্যান্য ভুল যুক্তি:
ইমফরমাল লজিকে সাধারণত ফ্যালাসি বা ভুল যুক্তি বিশ্লেষণ করা হয়, যেমনঃ
-
- Ad Hominem
- Straw Man
- Appeal to Authority
- False Dilemma
উদাহরণ: আমার প্রিয় অভিনেতা বলেছেন যে এই ওষুধ সব রোগ ভালো করতে পারে, তাই এটা অবশ্যই কার্যকর।
| বিষয় | ফরমাল লজিক (Formal Logic) | ইনফরমাল লজিক (Informal Logic) |
|---|---|---|
| সংজ্ঞা | যুক্তির গঠন (structure) এবং ফর্ম (form) নিয়ে আলোচনা করে। | যুক্তির বিষয়বস্তু (content) এবং প্রাসঙ্গিকতা (context) নিয়ে আলোচনা করে। |
| ফোকাস | যুক্তির গঠন এবং ফর্ম। | যুক্তির বিষয়বস্তু এবং প্রাসঙ্গিকতা। |
| পদ্ধতি | গাণিতিক এবং প্রতীকী পদ্ধতি ব্যবহার করে। | ভাষাগত এবং প্রাসঙ্গিক পদ্ধতি ব্যবহার করে। |
| লক্ষ্য | যুক্তির বৈধতা (validity) নির্ধারণ করা। | যুক্তির কার্যকারিতা (effectiveness) এবং বিশ্বাসযোগ্যতা (credibility) যাচাই করা। |
| প্রয়োগ ক্ষেত্র | গণিত, কম্পিউটার বিজ্ঞান, দর্শন। | দৈনন্দিন জীবন, আইন, রাজনীতি, নীতিশাস্ত্র। |
| উদাহরণ | “যদি সব মানুষ মরণশীল হয় এবং সক্রেটিস একজন মানুষ হয়, তাহলে সক্রেটিস মরণশীল।” | “সব রাজনীতিবিদ অসৎ। এই ব্যক্তি একজন রাজনীতিবিদ, তাই সে অসৎ।” |
| যুক্তির ধরন | প্রস্তাবনামূলক লজিক (Propositional Logic) এবং প্রেডিকেট লজিক (Predicate Logic)। | যুক্তির বিশ্লেষণ (Argument Analysis), মূল্যায়ন (Evaluation), এবং নির্মাণ (Construction)। |
| গাণিতিকতা | উচ্চ মাত্রায় গাণিতিক এবং বিমূর্ত (abstract)। | কম গাণিতিক এবং বাস্তব জীবনের সাথে সম্পর্কিত। |
| সঠিকতা যাচাই | যুক্তির গঠন সঠিক কিনা তা যাচাই করে। | যুক্তির বিষয়বস্তু এবং প্রাসঙ্গিকতা সঠিক কিনা তা যাচাই করে। |
যুক্তিবিদ্যা সম্পর্কে আরো জানতে পড়ুনঃ যুক্তিবিদ্যা কি ? – ইনসাইট জোন