Denis Miéville
ڈینس میویل (15 ستمبر 1946-27 اکتوبر 2018) اسٹینسلا لیسنییوسکی کی منطق اور قدرتی منطق کے سوئس ماہر تھے۔ سوانح عمری ڈینس میویل کی پرورش کولمبیئر (نیوچاٹل کے کینٹن) اور ایسرٹ پیٹیٹ (واؤڈ کے کینٹن) کے قصبوں میں ہوئی۔ یونیورسٹی آف نیوچاٹل (سوئٹزرلینڈ) اور باؤلنگ گرین یونیورسٹی (اوہائیو، ریاستہائے متحدہ) میں ریاضی اور منطق کا مطالعہ کرنے کے بعد، ڈینس میویل نے قدرتی منطق کی ترقی اور رسمی شکل میں دلچسپی پیدا کی جس کی وجہ سے وہ اجتماعی کلاسوں کے نظریہ اور تجویز کردہ منطق میں زیادہ سے زیادہ پیش گوئیوں کی بنیادیں دونوں کا مطالعہ کرنے پر مجبور ہوئے۔ ان دلچسپیوں کو ڈاکٹریٹ کے مقالے میں ضم کیا گیا تھا جس کا انہوں نے 1984 میں دفاع کیا تھا ("اسٹینسلا لیسنییوسکی کے منطقی نظام کی ترقی: پروٹوتھیٹک، آنٹولوجی اور محضیات") یونیورسٹی آف نیوچاٹل میں، جس کی نگرانی نامور منطق جین بلیز گریز نے کی تھی۔ 1987 میں نیوچاٹل یونیورسٹی میں پروفیسر مقرر ہوئے (وہ 1999 سے 2003 تک اس کے ریکٹر بنیں گے)، انہوں نے منطق پڑھائی اور سیمیولوجک ریسرچ سینٹر کی صدارت کی۔ پروفیسر میویل نے مختلف اداروں جیسے یونیورسٹی آف جینیوا، فرانس میں یونیورسٹی آف رینس اور رومانیہ میں یونیورسٹی آف آئیسی میں پڑھایا ہے۔ یونیورسٹی آف آئیسی نے انہیں 2003 میں آنورس کاسا کی ڈگری سے نوازا۔ انہیں 2001 میں فرانکوفنی کا اعزازی سرٹیفکیٹ بھی ملا۔ تحقیقی مفادات پروفیسر میویل نے ترقیاتی نظاموں میں اپنی دلچسپی کی وجہ سے لیسنیوسکی کی منطق پر مہارت حاصل کی، جو متحرک، عالمگیر، آزاد اور اعلی درجے کے ہونے کا فائدہ رکھتے ہیں۔ مزید برآں، نحو-لفظی زمروں کا ایک نظریہ تیار کرکے، انہوں نے ایک ایسے طریقہ کار پر توجہ مرکوز کی جو متن میں منطقی-مباحثے کے اشاریوں کی شناخت کرنے کے قابل ہے، انہیں استدلال اور معقول ڈھانچے کے طور پر پیش کرتے ہوئے۔ اس کی دلچسپیاں زیادہ سے زیادہ اس بات کو سمجھنے کی طرف مائل ہو گئیں کہ کس طرح سمجھدار سوچ معنی پیدا کرتی ہے، اسے استدلال کے نیٹ ورک میں درج کرکے۔ یہ ان وجوہات میں سے ایک ہے جس کی وجہ سے پروفیسر میویل نے خاص طور پر ان اختلافی طریقہ کار کا جائزہ لیا جن سے نیا علم تیار ہوتا ہے، جیسے کہ مشابہت کے ذریعے آگے بڑھنے والے، اور تخلیقی تعریفوں کو تشکیل دینے والے۔ علم کی علمی جہت کے لیے بہت حساس، وہ اس بات میں دلچسپی رکھتے رہے ہیں کہ تصورات بتدریج کیسے تیار ہوتے ہیں اور مستحکم ہستیوں میں کیسے تبدیل ہوتے ہیں۔ اشاعتوں کی کتابوں کا تعارف ایس۔ لیشنیوسکی کے کام سے۔ VI: لا میٹلانگیو ڈی یون نحو نوشتہ، نیوچاٹل، ٹراواکس ڈی لاجیک، 2009۔ ایس۔ لینییوسکی کے کام کا تعارف۔ II. آنٹولوجی۔ نیوچاٹل، ٹراواکس ڈی لاجیک، 2004۔ ایس۔ لینییوسکی کے کام کا تعارف۔ I. پروٹوٹائپ۔ نیوچاٹل، ٹراواکس ڈی لاجیک، 2001۔ پینسی لاجیکو ریاضی۔ نوووو آبجیٹس انٹر ڈسپلنائرز۔ پیرس: پی۔ یو۔ ایف۔، 1993 (او۔ ہوڈے کے ساتھ تعاون)۔ منطق کی نوعیت پر غور کریں۔ برن، لینگ، 1992 (جے۔ بی کے ساتھ تعاون۔ گریز اور ایم۔ جے۔ بوریل) سائنٹفک ایڈیٹر ستانیسلا لیشنیوسکی اجورد ہوئی (ایڈ۔، ڈینس ورننٹ کے ساتھ)، گرینوبل/نیوچاٹل، گروپ ڈی ریچرچس سر لا فلاسفی ایٹ لی لینگج/سینٹر ڈی ریچرچس سمیولوجیکس 1995۔ حوالہ جات فیکلٹی آف لیٹرز اینڈ ہیومن سائنسز آف دی یونائن انسٹی ٹیوٹ آف فلاسفی آف دی یونائن کمیونالس کرسس اینڈ مین پبلکیشنز 1946 پیدائش 2018 موت منطق سوئس ریاضی دان سوئس فلسفی 20 ویں صدی کے سوئس فلسفی