যুক্তিবিদ্যার দর্শন হল দর্শনের ক্ষেত্র যা যুক্তিবিদ্যার সুযোগ এবং প্রকৃতি অধ্যয়ন করে। এটি যুক্তি দ্বারা উত্থাপিত দার্শনিক সমস্যাগুলি তদন্ত করে, যেমন অনুমানগুলি প্রায়শই যুক্তিবিদ্যার তত্ত্ব এবং তাদের প্রয়োগে নিহিতভাবে কাজ করে। এতে যুক্তিকে কীভাবে সংজ্ঞায়িত করা যায় এবং কীভাবে বিভিন্ন লজিক্যাল সিস্টেম একে অপরের সাথে সংযুক্ত থাকে সে সম্পর্কে প্রশ্ন জড়িত। এটি যুক্তিবিদ্যা দ্বারা ব্যবহৃত মৌলিক ধারণাগুলির প্রকৃতি এবং অন্যান্য শাখার সাথে যুক্তিবিদ্যার সম্পর্ক অধ্যয়ন অন্তর্ভুক্ত করে। একটি সাধারণ বৈশিষ্ট্য অনুসারে, দার্শনিক যুক্তি হল যুক্তিবিদ্যার দর্শনের একটি অংশ যা দার্শনিক সমস্যায় যৌক্তিক পদ্ধতির প্রয়োগ অধ্যয়ন করে, প্রায়শই মোডাল লজিকের মতো বর্ধিত লজিক্যাল সিস্টেমের আকারে। কিন্তু অন্যান্য তাত্ত্বিকরা যুক্তির দর্শন এবং দার্শনিক যুক্তিবিদ্যার মধ্যে পার্থক্যটি আলাদাভাবে করেন বা একেবারেই করেন না। মেটালজিক যুক্তিবিদ্যার দর্শনের সাথে ঘনিষ্ঠভাবে সম্পর্কিত কারণ নিয়মানুবর্তিতা এবং সম্পূর্ণতার মতো আনুষ্ঠানিক লজিক্যাল সিস্টেমের বৈশিষ্ট্যগুলি তদন্ত করে।

একাডেমিক সাহিত্যে যুক্তির প্রকৃতির বিভিন্ন বৈশিষ্ট্য পাওয়া যায়। যুক্তিবিদ্যাকে প্রায়শই চিন্তার আইন, সঠিক যুক্তি, বৈধ অনুমান বা যৌক্তিক সত্যের অধ্যয়ন হিসাবে দেখা হয়। এটি একটি আনুষ্ঠানিক বিজ্ঞান যা তদন্ত করে যে কীভাবে প্রাঙ্গণ থেকে একটি বিষয়-নিরপেক্ষ পদ্ধতিতে সিদ্ধান্তগুলি অনুসরণ করা হয়, অর্থাৎ আলোচিত নির্দিষ্ট বিষয়বস্তু থেকে স্বাধীন। যুক্তিবিদ্যার প্রকৃতি সম্পর্কে অনুসন্ধানের একটি ফর্ম বিভিন্ন যৌক্তিক আনুষ্ঠানিক সিস্টেমের মধ্যে সাধারণতার উপর এবং কীভাবে তারা অ-যৌক্তিক আনুষ্ঠানিক সিস্টেমের থেকে আলাদা তা নিয়ে ফোকাস করে। এই বিষয়ে গুরুত্বপূর্ণ বিবেচ্য বিষয়গুলি হল প্রশ্নে থাকা আনুষ্ঠানিক ব্যবস্থাটি মৌলিক যৌক্তিক অন্তর্দৃষ্টিগুলির সাথে সামঞ্জস্যপূর্ণ কিনা এবং সম্পূর্ণ কিনা। যুক্তিবিদ্যার বিভিন্ন ধারণা যুক্তিকে বৈধ অনুমান বা যৌক্তিক সত্যের অধ্যয়ন হিসাবে সংজ্ঞায়িত করে কিনা সে অনুসারে আলাদা করা যেতে পারে। যুক্তিবিদ্যার ধারণাগুলির মধ্যে আরও পার্থক্য হল বৈধ অনুমান এবং যৌক্তিক সত্যের মানদণ্ড বাক্য গঠন বা শব্দার্থবিদ্যার পরিপ্রেক্ষিতে নির্দিষ্ট করা হয়েছে কিনা তার উপর ভিত্তি করে।

বিভিন্ন ধরনের যুক্তি প্রায়ই আলাদা করা হয়। যুক্তি সাধারণত আনুষ্ঠানিক যুক্তি হিসাবে বোঝা হয় এবং এই নিবন্ধের বেশিরভাগ ক্ষেত্রে এই অর্থে ব্যবহার করা হয়েছে। আনুষ্ঠানিক যুক্তি শুধুমাত্র আর্গুমেন্ট আকারে আগ্রহী, একটি আনুষ্ঠানিক ভাষায় প্রকাশ করা হয়, এবং অনুমানমূলক অনুমানের উপর ফোকাস করে। অনানুষ্ঠানিক যুক্তি প্রাকৃতিক ভাষায় পাওয়া যুক্তির অনেক বিস্তৃত পরিসরকে সম্বোধন করে, যার মধ্যে অ-নির্মাণমূলক যুক্তি রয়েছে। আর্গুমেন্টের শুদ্ধতা তাদের ফর্মের পরিবর্তে অন্যান্য কারণের উপর নির্ভর করতে পারে, যেমন তাদের বিষয়বস্তু বা প্রসঙ্গ। বিংশ শতাব্দীতে বিভিন্ন লজিক্যাল ফর্মাল সিস্টেম বা লজিক তৈরি করা হয়েছে । এগুলির শ্রেণীবিভাগ করা, কীভাবে একে অপরের সাথে সম্পর্কিত তা দেখানো যুক্তিবিদ্যার দর্শনের কাজ। একটি সর্বজনীন সত্য যুক্তির বিপরীতে যুক্তিবিদ্যা। এই যুক্তিগুলিকে ক্লাসিকাল লজিকগুলিতে ভাগ করা যায়, সাধারণত প্রথম-ক্রম লজিক, বর্ধিত লজিক এবং বিচ্যুত যুক্তি দ্বারা চিহ্নিত করা হয়। বর্ধিত যুক্তিবিদ্যা মৌলিক আনুষ্ঠানিকতা এবং ধ্রুপদী যুক্তিবিদ্যার স্বতঃসিদ্ধ গ্রহণ করে কিন্তু নতুন যৌক্তিক শব্দভান্ডারের সাথে প্রসারিত করে। অন্যদিকে বিচ্যুত যুক্তিবিদ্যা শাস্ত্রীয় যুক্তিবিদ্যার কিছু মূল অনুমানকে প্রত্যাখ্যান করে এবং তাই এর সাথে বেমানান।

যুক্তির দর্শন এছাড়াও যুক্তিবিদ্যার মৌলিক ধারণাগুলির প্রকৃতি এবং দার্শনিক প্রভাবগুলি তদন্ত করে। এতে সত্যের সমস্যা রয়েছে, বিশেষ করে যৌক্তিক সত্যের, যা শুধুমাত্র ব্যবহৃত যৌক্তিক পদগুলির অর্থের উপর নির্ভর করে সত্য হিসাবে সংজ্ঞায়িত করা যেতে পারে। আরেকটি প্রশ্ন প্রাঙ্গণ এবং উপসংহার এর প্রকৃতি নিয়ে উদ্বেগ প্রকাশ করে, যেমন তাদের চিন্তা, প্রস্তাবনা বা বাক্য হিসাবে বোঝা যায় কিনা এবং কীভাবে তারা সহজ উপাদানগুলির সমন্বয়ে গঠিত। একত্রে, প্রাঙ্গণ এবং একটি উপসংহার একটি অনুমান গঠন করে, যা হয় অনুমানমূলক এবং পরিবর্ধক হতে পারে তার উপর নির্ভর করে যে এটি অগত্যা সত্য-সংরক্ষণ করছে বা নতুন অথবা সম্ভাব্য মিথ্যা তথ্য প্রবর্তন করছে। যুক্তিবিদ্যার একটি কেন্দ্রীয় উদ্বেগ হল একটি অনুমানমূলক অনুমান বৈধ কি না। বৈধতাকে প্রায়শই প্রয়োজনীয়তার পরিপ্রেক্ষিতে সংজ্ঞায়িত করা হয়, অর্থাৎ একটি অনুমান বৈধ হয় যদি এবং শুধুমাত্র যদি প্রাঙ্গনের পক্ষে সত্য হওয়া এবং উপসংহারটি মিথ্যা হওয়া অসম্ভব। অন্যদিকে, ভুল অনুমান এবং যুক্তিগুলি তাদের উপসংহার সমর্থন করতে ব্যর্থ হয়। তারা আনুষ্ঠানিক বা অনানুষ্ঠানিক যুক্তির অন্তর্গত কিনা তার উপর নির্ভর করে আনুষ্ঠানিক বা অনানুষ্ঠানিক ভুল হিসাবে শ্রেণীবদ্ধ করা যেতে পারে। যুক্তিবিদ্যা বেশিরভাগই সংজ্ঞামূলক নিয়মের সাথে সম্পর্কিত, অর্থাৎ কোন যুক্তিটি বৈধ কি না তা নির্ধারণের নিয়মের প্রশ্নে। তদন্তের একটি পৃথক বিষয় যুক্তিবিদ্যার কৌশলগত নিয়ম বিবেচনা করে : নিয়মগুলি নিয়ন্ত্রণ করে যে কীভাবে একটি নির্দিষ্ট পরিসংখ্যানে পৌঁছাতে হবে, অর্থাৎ সেখানে পৌঁছানোর জন্য কোন কোন অনুমান করতে হবে।

যুক্তিবিদ্যার অধিবিদ্যা যুক্তিবিদ্যার আইন এবং বস্তুর অধিবিদ্যাগত অবস্থার সাথে সম্পর্কিত। এই ক্ষেত্রে একটি গুরুত্বপূর্ণ বিরোধ হল বাস্তববাদীদের মধ্যে (যারা মনে করেন যে যুক্তির ভিত্তি এমন তথ্যের উপর ভিত্তি করে যা মন-স্বাধীন অস্তিত্ব রয়েছে ) এবং প্রচলিতবাদীদের মতো অবাস্তববাদীদের মধ্যে (যারা মনে করে যে যুক্তির আইনগুলি ভাষার ব্যবহারকে নিয়ন্ত্রণ করে সেই নিয়মগুলির উপর ভিত্তি করে)। যুক্তিবিদ্যা বিভিন্ন শাখার সাথে ঘনিষ্ঠভাবে জড়িত। অন্টোলজি সংক্রান্ত একটি কেন্দ্রীয় সমস্যা যুক্তিবিদ্যার ব্যবহারের সাথে যুক্ত অন্টোলজিকাল প্রতিশ্রুতি নিয়ে উদ্বেগ প্রকাশ করে, উদাহরণস্বরূপ, একবচন পদ এবং অস্তিত্বের পরিমাণের সাথে। গণিতের একটি গুরুত্বপূর্ণ প্রশ্ন হল সমস্ত গাণিতিক সত্যকে যুক্তিবিদ্যার স্বতঃসিদ্ধ তত্ত্বের সাথে একত্রে ভিত্তি করা যায় কিনা। অন্যান্য সম্পর্কিত ক্ষেত্রগুলির মধ্যে রয়েছে কম্পিউটার বিজ্ঞান এবং মনোবিজ্ঞান।

অন্যান্য শাখার সাথে সম্পর্ক

সম্পাদনা

তত্ত্ববিদ্যা

সম্পাদনা

কম্পিউটার বিজ্ঞান

সম্পাদনা