Subjunctive possibility
سبجنکٹو امکان (جسے الیتھک امکان بھی کہا جاتا ہے) موڈل منطق میں زیر مطالعہ طریقہ کار کی ایک شکل ہے۔ سبجنکٹو امکانات ان قسم کے امکانات ہیں جن پر متضاد حالات کا تصور کرتے وقت غور کیا جاتا ہے۔ سبجنکٹو طریقہ کار وہ طریقے ہیں جو اس بات پر منحصر ہوتے ہیں کہ آیا کوئی بیان سچ ہو سکتا ہے یا ہو سکتا ہے-جیسے کہ ہو سکتا ہے، ہو سکتا ہے، ہونا چاہیے، ممکنہ طور پر، ضروری طور پر، ہنگامی طور پر، بنیادی طور پر، حادثاتی طور پر، اور اسی طرح۔ ذیلی امکانات میں منطقی امکان، مابعد الطبیعاتی امکان، نامیاتی امکان، اور عارضی امکان شامل ہیں۔ سبجنکٹو امکان اور دیگر طریقوں سبجنکٹو امکان (دوسری چیزوں کے علاوہ) علمی امکان (جو اس بات سے متعلق ہے کہ دنیا کیسی ہو سکتی ہے، ہم سب جانتے ہیں) اور ڈیونٹک امکان (جو اس بات سے متعلق ہے کہ دنیا کو کیسا ہونا چاہیے) سے متصادم ہے۔ مہاماری کا امکان مہاماری کے امکان کے ساتھ موازنہ کرنا خاص طور پر اہم ہے، کیونکہ عام زبان میں وہی جملے ("یہ ممکن ہے"، "یہ نہیں ہو سکتا"، "یہ ہونا چاہیے") اکثر کسی بھی قسم کے امکان کو ظاہر کرنے کے لیے استعمال ہوتے ہیں۔ لیکن وہ ایک جیسے نہیں ہیں۔ ہم نہیں جانتے کہ گولڈباخ کا قیاس درست ہے یا نہیں (ابھی تک کوئی ثبوت کے ساتھ نہیں آیا ہے) ؛ لہذا یہ (علمی طور پر) ممکن ہے کہ یہ سچ ہو اور یہ (علمی طور پر) ممکن ہے کہ یہ غلط ہو۔ لیکن اگر یہ حقیقت میں ثابت طور پر سچ ہے (جیسا کہ ہم سب جانتے ہیں)، تو اسے لازمی طور پر سچ ہونا پڑے گا۔ ثابت ہونے کا مطلب یہ ہے کہ اس کا غلط ہونا (منطقی طور پر) ممکن نہیں ہوگا۔ اسی طرح، یہ بالکل (علمی طور پر) ممکن نہیں ہو سکتا کہ باہر بارش ہو رہی ہو-ہم کسی شک کے سائے سے بالاتر جان سکتے ہیں کہ ایسا نہیں ہے-لیکن اس کا شاید ہی یہ مطلب ہو کہ باہر بارش کرنا (ذیلی طور پر) ناممکن ہے۔ یہ بات نارمن سوارٹز اور ریمنڈ بریڈلی نے بھی کہی ہے۔ غیر متزلزل امکانات اور غیر متزلزل امکانات کے درمیان زبان میں کچھ اوورلیپ ہوتا ہے: مثال کے طور پر، ہم بعض اوقات یہ بیان استعمال کرتے ہیں کہ "آپ یہ کر سکتے ہیں/نہیں کر سکتے ہیں" اس بات کا اظہار کرنے کے لیے کہ (i) آپ کے لیے کیا کرنا غیر متزلزل طور پر ممکن ہے یا نہیں، اور ہم بعض اوقات اسے اس بات کا اظہار کرنے کے لیے استعمال کرتے ہیں کہ (ii) آپ کے لیے کیا کرنا درست ہوگا یا نہیں۔ سبجنکٹو اور علمی امکان کے مقابلے میں عام زبان میں دونوں کے الجھن میں پڑنے کا امکان کم ہے کیونکہ سبجنکٹو طریقوں اور ڈیونٹک طریقوں کی منطق میں کچھ اہم اختلافات ہیں۔ خاص طور پر، ذیلی ضرورت میں سچائی شامل ہوتی ہے: اگر لوگوں کو منطقی طور پر ایسا کرنا چاہیے، تو آپ اندازہ لگا سکتے ہیں کہ وہ اصل میں ایسا کرتے ہیں۔ لیکن اس غیر مثالی دنیا میں، ایک غیر اخلاقی 'لازمی' اخلاقی یقین نہیں رکھتا ہے کہ لوگوں کو اخلاقی طور پر ایسا کرنا چاہیے۔ سبجنکٹو امکان کی اقسام سبجنکٹو موڈلٹی کی کئی مختلف قسمیں ہیں، جن کی درجہ بندی ایک دوسرے سے زیادہ وسیع یا زیادہ تنگ کے طور پر کی جا سکتی ہے، اس بات پر منحصر ہے کہ "ممکن" کے طور پر شمار ہونے والے قوانین کتنے پابند ہیں۔ سب سے زیادہ زیر بحث میں سے کچھ یہ ہیں: منطقی امکان کو عام طور پر وسیع ترین قسم کا امکان سمجھا جاتا ہے۔ کسی تجویز کو منطقی طور پر ممکن کہا جاتا ہے اگر اس کے سچ ہونے میں کوئی منطقی تضاد شامل نہ ہو۔ "ڈک چینی ایک بیچلر ہے" منطقی طور پر ممکن ہے، حالانکہ حقیقت میں غلط ہے۔ زیادہ تر فلسفیوں نے سوچا ہے کہ "اگر میں اپنے بازوؤں کو بہت زور سے فلاپ کرتا ہوں، تو میں اڑجاؤں گا" جیسے بیانات منطقی طور پر ممکن ہیں، حالانکہ وہ برائے نام ناممکن ہیں۔ دوسری طرف "ڈک چینی ایک شادی شدہ بیچلر ہے"، منطقی طور پر ناممکن ہے ؛ کوئی بھی جو بیچلر ہے اس لیے شادی شدہ نہیں ہے، اس لیے یہ تجویز منطقی طور پر خود متضاد ہے (حالانکہ یہ جملہ نہیں ہے، کیونکہ "بیچلر" کا مطلب "شادی شدہ آدمی" ہونا منطقی طور پر ممکن ہے)۔ مابعد الطبیعاتی امکان یا تو منطقی امکان کے مساوی ہے یا اس سے زیادہ تنگ (جو ایک فلسفی سمجھتا ہے کہ دونوں کے درمیان تعلق کا انحصار جزوی طور پر فلسفی کے منطق کے نقطہ نظر پر ہوتا ہے)۔ کچھ فلسفیوں کا خیال ہے کہ دریافت شدہ شناخت جیسے کہ کرپکے کی "پانی H2O ہے" مابعد الطبیعاتی طور پر ضروری ہے لیکن منطقی طور پر ضروری نہیں ہے (وہ دعوی کریں گے کہ "پانی H2O نہیں ہے" میں کوئی رسمی تضاد شامل نہیں ہے حالانکہ یہ مابعد الطبیعاتی طور پر ناممکن ثابت ہوتا ہے)۔ نومولوجیکل امکان قدرت کے اصل قوانین کے تحت امکان ہے۔ ڈیوڈ ہیوم کے بعد سے زیادہ تر فلسفیوں کا خیال ہے کہ فطرت کے قوانین مابعد الطبیعاتی طور پر غیر متزلزل ہیں-کہ اصل میں حاصل ہونے والے قوانین سے مختلف قدرتی قوانین ہو سکتے ہیں۔ اگر ایسا ہے، تو یہ منطقی یا مابعد الطبیعاتی طور پر ناممکن نہیں ہوگا، مثال کے طور پر، آپ کے لیے ایک دن میں الفا سینٹوری کا سفر کرنا ؛ یہ صرف اس صورت میں ہونا چاہیے کہ آپ روشنی کی رفتار سے زیادہ تیزی سے سفر کر سکیں۔ لیکن یقینا ایک اہم احساس ہے جس میں یہ ممکن نہیں ہے ؛ یہ دیکھتے ہوئے کہ فطرت کے قوانین وہی ہیں جو وہ ہیں، ایسا کرنے کا کوئی طریقہ نہیں ہے۔ (کچھ فلسفیوں، جیسے سڈنی شومیکر نے استدلال کیا ہے کہ فطرت کے قوانین حقیقت میں ضروری ہیں، عارضی نہیں ؛ اگر ایسا ہے تو، نامیاتی امکان مابعد الطبیعاتی امکان کے برابر ہے۔) دنیا کی اصل تاریخ کو دیکھتے ہوئے عارضی امکان امکان ہے۔ ڈیوڈ لیوس فلسفہ کے بجائے اکاؤنٹنگ میں اپنی ڈگری لینے کا انتخاب کر سکتے تھے ؛ لیکن ایک اہم احساس ہے جس میں وہ اب نہیں کر سکتے۔ "ہو سکتا ہے" اس حقیقت کا اظہار کرتا ہے کہ لیوس کے فلسفہ کے بجائے معاشیات میں ڈگری حاصل کرنے میں کوئی منطقی، مابعد الطبیعاتی، یا یہاں تک کہ نامیاتی ناممکن نہیں ہے۔ "اب نہیں" اس حقیقت کا اظہار کرتا ہے کہ یہ امکان اب حقیقی بننے کے لیے کھلا نہیں ہے، یہ دیکھتے ہوئے کہ ماضی جیسا ہے ویسا ہی ہے۔ اسی طرح ڈیوڈ لیوس معاشیات میں ڈگری لے سکتے تھے لیکن ایوی ایشن میں نہیں (کیونکہ یہ ہارورڈ میں نہیں پڑھایا جاتا تھا) یا علمی نیورو سائنس (کیونکہ اس طرح کے میجر کے لیے نام نہاد 'تصوراتی جگہ' موجود نہیں تھی)۔ اس بات پر کچھ بحث ہے کہ آیا یہ حتمی قسم کا امکان درحقیقت ایک قسم کا امکان ہے جو عارضی سے الگ ہے، اور بعض اوقات ایان ہیکنگ جیسے مفکرین اسے تاریخی امکان کہتے ہیں۔ حوالہ جات ماڈل منطق امکان مابعد الطبیعات میں تصورات منطق میں تصورات