Ought implies can
"اوگٹ ایمپس کین" ایک اخلاقی فارمولا ہے جو ایمانوئل کانٹ سے منسوب ہے جو دعوی کرتا ہے کہ ایک ایجنٹ، اگر اخلاقی طور پر کسی خاص عمل کو انجام دینے کا پابند ہے، تو اسے منطقی طور پر اسے انجام دینے کے قابل ہونا چاہیے: کانٹ کا خیال تھا کہ یہ اصول ایک واضح آزادی ہے، جو صرف آزاد مرضی سے پابند ہے جو کہ ہیومین فرضی آزادی کے برخلاف ہے ("اگر میں نے ایسا انتخاب کیا ہوتا تو دوسری صورت میں کرنے کے لیے آزاد")۔ فارمولہ حاصل کرنے کے کئی طریقے ہیں-مثال کے طور پر، یہ دلیل کہ لوگوں کو ان چیزوں کے لیے مورد الزام ٹھہرانا غلط ہے جن پر وہ قابو نہیں رکھ سکتے ہیں (بنیادی طور پر فارمولے کو متضاد "'نہیں کر سکتے' کے طور پر بیان کرنے کا کوئی فرض نہیں ہے")۔ اس اخلاقی فارمولے کا اظہار ڈیونٹک منطق میں ملٹی موڈل محور کے ساتھ کیا جا سکتا ہے:، جہاں ڈیونٹک آپریٹر کا مطلب ہے "یہ لازمی ہے"۔ اور الیتھک آپریٹر کا مطلب ہے "یہ ممکن ہے کہ"۔ تاہم، عملی حالات میں، ذمہ داریاں عام طور پر مستقبل کے واقعات کی پیش گوئی میں تفویض کی جاتی ہیں، ایسی صورت میں غیر اخلاقی امکانات کا اندازہ لگانا مشکل ہو سکتا ہے۔ لہذا، ذمہ داریوں کے تفویض کو مستقبل میں ٹائم لائنز کی مختلف شاخوں پر مختلف شرائط کے مفروضے کے تحت انجام دیا جا سکتا ہے، اور ٹائم لائن کے ساتھ ہونے والی غیر متوقع پیشرفتوں کی وجہ سے ماضی کی ذمہ داریوں کے تفویض کو اپ ڈیٹ کیا جا سکتا ہے۔ "اوگٹ کا مطلب ہے" منطقی طور پر فارمولے کے مساوی ہے، جس کا مطلب ہے "ناممکن کا مطلب قابل قبول ہے"۔ حوالہ جات آزاد مرضی اخلاقی اصول ڈیونٹک منطق