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