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