Logical truth
منطقی سچائی منطق کے سب سے بنیادی تصورات میں سے ایک ہے۔ وسیع پیمانے پر، منطقی سچائی ایک ایسا بیان ہے جو اس کی آئینی تجاویز کی سچائی یا جھوٹ سے قطع نظر سچ ہے۔ دوسرے لفظوں میں، منطقی سچائی ایک ایسا بیان ہے جو نہ صرف سچ ہے، بلکہ وہ ہے جو اس کے منطقی اجزاء (اس کے منطقی مستقلات کے علاوہ) کی تمام تشریحات کے تحت درست ہے۔ اس طرح "اگر p، تو p" جیسی منطقی سچائیوں کو تعریفیں سمجھا جا سکتا ہے۔ منطقی سچائیوں کو ان بیانات کا سب سے آسان معاملہ سمجھا جاتا ہے جو تجزیاتی طور پر سچ ہیں (یا دوسرے الفاظ میں، تعریف کے لحاظ سے سچ ہیں)۔ تمام فلسفیانہ منطق کو منطقی سچائی کی نوعیت کے ساتھ ساتھ منطقی نتائج فراہم کرنے کے طور پر سوچا جا سکتا ہے۔ منطقی سچائیوں کو عام طور پر لازمی طور پر سچ سمجھا جاتا ہے۔ اس کا مطلب یہ ہے کہ وہ ایسے ہیں کہ کوئی ایسی صورتحال پیدا نہیں ہو سکتی جس میں وہ سچ ہونے میں ناکام ہو جائیں۔ یہ نظریہ کہ منطقی بیانات لازمی طور پر سچ ہیں بعض اوقات یہ کہنے کے مترادف سمجھا جاتا ہے کہ منطقی سچائیاں تمام ممکنہ دنیاؤں میں سچ ہیں۔ تاہم، یہ سوال کہ کون سے بیانات لازمی طور پر سچ ہیں، مسلسل بحث کا موضوع بنا ہوا ہے۔ منطقی سچائیوں، تجزیاتی سچائیوں اور ضروری سچائیوں کو مساوی، منطقی سچائیوں کے طور پر سمجھنا حقائق سے متصادم ہو سکتا ہے (جسے عارضی دعوے یا مصنوعی دعوے بھی کہا جا سکتا ہے)۔ اس دنیا میں ہنگامی سچائیاں سچ ہیں، لیکن دوسری صورت میں سامنے آسکتی ہیں (دوسرے لفظوں میں، وہ کم از کم ایک ممکنہ دنیا میں جھوٹی ہیں)۔ منطقی طور پر صحیح تجاویز جیسے "اگر پی اور کیو، تو پی" اور "تمام شادی شدہ لوگ شادی شدہ ہیں" منطقی سچائیاں ہیں کیونکہ وہ اپنے اندرونی ڈھانچے کی وجہ سے سچ ہیں اور دنیا کے کسی بھی حقائق کی وجہ سے نہیں (جبکہ "تمام شادی شدہ لوگ خوش ہیں"، چاہے وہ سچ ہی کیوں نہ ہوں، صرف اس کے منطقی ڈھانچے کی وجہ سے سچ نہیں ہو سکتے)۔ عقلی فلسفیوں نے تجویز کیا ہے کہ منطقی سچائیوں کے وجود کی وضاحت تجرباتیت سے نہیں کی جا سکتی، کیونکہ ان کا خیال ہے کہ تجرباتی بنیادوں پر منطقی سچائیوں کے بارے میں ہمارے علم کا حساب دینا ناممکن ہے۔ تجربہ کار عام طور پر اس اعتراض کا جواب یہ دلیل دے کر دیتے ہیں کہ منطقی سچائیاں (جنہیں وہ عام طور پر محض تعریفیں سمجھتے ہیں)، تجزیاتی ہیں اور اس طرح دنیا کو بیان کرنے کا ارادہ نہیں رکھتے ہیں۔ مؤخر الذکر کے نقطہ نظر کا 20 ویں صدی کے اوائل میں منطقی مثبت ماہرین نے نمایاں طور پر دفاع کیا۔ منطقی سچائیاں اور تجزیاتی سچائیاں منطقی سچائیاں، تجزیاتی بیانات ہونے کے ناطے، حقیقت کے کسی بھی معاملے کے بارے میں کوئی معلومات نہیں رکھتی ہیں۔ منطقی سچائیوں کے علاوہ، تجزیاتی بیانات کا ایک دوسرا درجہ بھی ہے، جس کی قسم "کوئی بیچلر شادی شدہ نہیں ہے" ہے۔ اس طرح کے بیان کی خصوصیت یہ ہے کہ مترادفات سلوا ویریٹیٹ کے مترادفات کو تبدیل کر کے اسے منطقی سچائی میں تبدیل کیا جا سکتا ہے۔ "کوئی بھی کنواری شادی شدہ نہیں ہے" اس کے مترادف "بیچلر" کے لیے "غیر شادی شدہ آدمی" کو تبدیل کر کے "کوئی بھی غیر شادی شدہ آدمی شادی شدہ نہیں ہے" میں تبدیل کیا جا سکتا ہے۔ اپنے مضمون ٹو ڈوگماس آف ایمپیرزمزم میں فلسفی ڈبلیو وی او کوائن نے تجزیاتی اور مصنوعی بیانات کے درمیان فرق پر سوال اٹھایا۔ یہ تجزیاتی بیانات کا یہ دوسرا درجہ تھا جس نے اسے یہ نوٹ کرنے پر مجبور کیا کہ تجزیات کے تصور کو خود وضاحت کی ضرورت ہے، کیونکہ ایسا لگتا ہے کہ یہ مترادف کے تصور پر منحصر ہے، جس کی وضاحت کی ضرورت ہے۔ اپنے نتیجے میں، کوئین اس بات کو مسترد کرتا ہے کہ منطقی سچائیاں ضروری سچائیاں ہیں۔ اس کے بجائے وہ یہ کہتے ہیں کہ کسی بھی بیان کی سچائی کی قدر کو تبدیل کیا جا سکتا ہے، بشمول منطقی سچائیوں کو، کسی کے مکمل نظریہ میں ہر دوسرے بیان کی سچائی کی اقدار کا ازسر نو جائزہ دیا جاتا ہے۔ ایک ہی بیان کی مختلف تشریحات پر غور کرنا سچائی کی قدر کے تصور کی طرف لے جاتا ہے۔ سچائی کی اقدار کے لیے سب سے آسان نقطہ نظر کا مطلب ہے کہ بیان ایک معاملے میں "سچ" ہو سکتا ہے، لیکن دوسرے میں "غلط" ہو سکتا ہے۔ ٹاٹولوجی کی اصطلاح کے ایک معنی میں، یہ کسی بھی قسم کا فارمولا یا تجویز ہے جو اس کی شرائط کی کسی بھی ممکنہ تشریح کے تحت درست ثابت ہوتا ہے (سیاق و سباق کے لحاظ سے اسے تشخیص یا تفویض بھی کہا جا سکتا ہے)۔ یہ منطقی سچائی کا مترادف ہے۔ تاہم، ٹاٹولوجی کی اصطلاح عام طور پر اس کی طرف اشارہ کرنے کے لیے بھی استعمال ہوتی ہے جسے زیادہ خاص طور پر ٹروتھ فنکشنل ٹاٹولوجیز کہا جا سکتا ہے۔ جب کہ کوئی ٹاٹولوجی یا منطقی سچائی صرف اس وجہ سے درست ہوتی ہے کہ اس میں عام طور پر منطقی اصطلاحات شامل ہوتی ہیں (جیسے. "ہر"، "کچھ"، اور "ہے")، ایک سچائی سے متعلق فنکشنل ٹاٹولوجی اس میں موجود منطقی اصطلاحات کی وجہ سے درست ہے جو منطقی کنیکٹو ہیں (مثال کے طور پر۔ "یا"، "اور"، اور "نہ")۔ تمام منطقی سچائیاں اس طرح کی تعریفیں نہیں ہیں۔ منطقی سچائی اور منطقی مستقلات منطقی مستقلات، بشمول منطقی کنیکٹیوز اور کوانٹیفائرز، سبھی کو تصوراتی طور پر منطقی سچائی تک کم کیا جا سکتا ہے۔ مثال کے طور پر، دو یا اس سے زیادہ بیانات منطقی طور پر مطابقت نہیں رکھتے ہیں اگر، اور صرف اس صورت میں جب ان کا امتزاج منطقی طور پر غلط ہو۔ ایک بیان منطقی طور پر دوسرے کا اشارہ کرتا ہے جب یہ دوسرے کی نفی کے ساتھ منطقی طور پر مطابقت نہیں رکھتا ہے۔ ایک بیان منطقی طور پر درست ہے اگر، اور صرف اس صورت میں جب اس کے برعکس منطقی طور پر غلط ہو۔ مخالف بیانات کو ایک دوسرے سے متصادم ہونا چاہیے۔ اس طرح تمام منطقی رابطوں کا اظہار منطقی سچائی کے تحفظ کے لحاظ سے کیا جا سکتا ہے۔ کسی جملے کی منطقی شکل کا تعین اس کے لفظی یا نحو ڈھانچے اور منطقی مستقلات کی تعیناتی سے ہوتا ہے۔ منطقی مستقلات اس بات کا تعین کرتے ہیں کہ آیا کوئی بیان منطقی سچائی ہے جب انہیں کسی ایسی زبان کے ساتھ جوڑا جاتا ہے جو اس کے معنی کو محدود کرتی ہے۔ لہذا، جب تک یہ طے نہیں ہو جاتا کہ تمام منطقی مستقلات کے درمیان ان کی زبان سے قطع نظر فرق کیسے کیا جائے، تب تک کسی بیان یا دلیل کی مکمل سچائی کو جاننا ناممکن ہے۔ منطقی سچائی اور قیاس کے اصول منطقی سچائی کا تصور قیاس کے اصول کے تصور سے قریب سے جڑا ہوا ہے۔ منطقی سچائی اور منطقی مثبتیت 20 ویں صدی کے اوائل میں ایک تحریک تھی جس نے سائنس کے استدلال کے عمل کو خالص منطق تک کم کرنے کی کوشش کی۔ دوسری چیزوں کے علاوہ، منطقی مثبت ماہرین نے دعوی کیا کہ کوئی بھی تجویز جو تجرباتی طور پر قابل تصدیق نہیں ہے وہ نہ تو سچ ہے اور نہ ہی غلط، بلکہ بکواس ہے۔ یہ تحریک ان کے نقطہ نظر کے ساتھ مختلف مسائل کی وجہ سے ختم ہو گئی جس میں ایک بڑھتی ہوئی تفہیم تھی کہ سائنس اس طرح کام نہیں کرتی جس طرح سے مثبت ماہرین نے بیان کیا تھا۔ ایک اور مسئلہ یہ تھا کہ تحریک کے پسندیدہ نعروں میں سے ایک: "کوئی بھی تجویز جس کی تجرباتی طور پر تصدیق نہیں کی جا سکتی وہ بکواس ہے" خود تجرباتی طور پر قابل تصدیق نہیں تھی، اور اس لیے، اپنی شرائط سے، بکواس تھی۔ غیر کلاسیکی منطق رسمی نظاموں کو دیا گیا نام ہے جو معیاری منطقی نظاموں جیسے پروپوزیشنل اور پریڈیکیٹ منطق سے نمایاں طور پر مختلف ہوتے ہیں۔ کئی طریقے ہیں جن میں یہ کیا جاتا ہے، بشمول توسیع، انحراف اور تغیرات کے ذریعے۔ ان روانگیوں کا مقصد منطقی نتائج اور منطقی سچائی کے مختلف نمونوں کی تعمیر کو ممکن بنانا ہے۔ یہ بھی دیکھیں تضاد غلط (منطق) منطقی سچائی کی میز، منطق میں استعمال ہونے والی ریاضیاتی میز اطمینان بخش ٹاٹولوجی (منطق) (منطقی سچائی کی علامت کے لیے) تھیوریم ویلڈیٹی حوالہ جات بیرونی روابط فلسفیانہ منطق منطق میں تصورات سچائی منطق کا فلسفہ ca: ویلور ورٹیڈر