Johan van Benthem (logician)
جوہانس فرانسسکس ابراہم کیرل (جوہان) وین بینتھیم (پیدائش 12 جون 1949 کو ریزویجک میں) یونیورسٹی آف ایمسٹرڈیم میں انسٹی ٹیوٹ فار لاجک، لینگویج اینڈ کمپیوٹیشن میں منطق کے پروفیسر اور اسٹینفورڈ یونیورسٹی (سی ایس ایل آئی) میں فلسفہ کے پروفیسر ہیں۔ انہیں 1996 میں سپینوزا پریمی سے نوازا گیا اور 2015 میں امریکن اکیڈمی آف آرٹس اینڈ سائنسز کا فارن فیلو منتخب کیا گیا۔ سوانحی وان بینتھیم نے طبیعیات (بی ایس سی) کا مطالعہ کیا۔ 1969)، فلسفہ (ایم۔ اے۔ 1972) اور ریاضی (ایم ایس سی۔ 1973) ایمسٹرڈیم یونیورسٹی میں اور 1977 میں مارٹن لوب کی نگرانی میں اسی یونیورسٹی سے پی ایچ ڈی حاصل کی۔ 2003 میں یونیورسٹی پروفیسر بننے سے پہلے، انہوں نے یونیورسٹی آف ایمسٹرڈیم (1973-1977)، یونیورسٹی آف گروننگن (1977-1986)، اور یونیورسٹی آف ایمسٹرڈیم (1986-2003) میں پروفیسر کے طور پر تقرریاں کیں۔ 1992 میں وہ رائل نیدرلینڈز اکیڈمی آف آرٹس اینڈ سائنسز کے رکن منتخب ہوئے۔ وان بینتھیم موڈل منطق کے شعبے میں اپنی تحقیق کے لیے جانے جاتے ہیں۔ اس تحقیق کے نتیجے میں وان بینتھیم کا نظریہ سامنے آیا ہے، جس میں کہا گیا ہے کہ پروپوزیشنل موڈل منطق فرسٹ آرڈر منطق کا وہ ٹکڑا ہے جو بائیسیمولیشن کے تحت غیر متغیر ہے۔ وہ سائنس کے فلسفے، قدرتی زبان میں منطقی ڈھانچے (عمومی مقداریں، زمرہ بندی گرائمر، سب اسٹرکچرل پروف تھیوری)، متحرک منطق اور اپ ڈیٹ منطق، اور گیم تھیوری میں منطق کے اطلاق کے ساتھ ساتھ گیم تھیوری کے منطق (گیم سیمنٹکس) کے شعبوں میں بھی سرگرم رہے ہیں۔ وان بینتھیم اس گروپ کا رکن ہے جو اجتماعی طور پر ایل ٹی ایف گامٹ کے فرضی نام سے شائع ہوتا ہے۔ انہوں نے چین میں بھی پڑھایا ہے۔ انہوں نے چینی اور مغربی منطقوں کے درمیان بین الاقوامی تعاون کی حوصلہ افزائی اور منظم کرنے کی کوشش کی۔ پروفیسر وان بینتھیم ستمبر 2014 میں انسٹی ٹیوٹ فار لاجک، لینگویج اینڈ کمپیوٹیشن سے ریٹائر ہوئے۔ اشاعت لاجک ان ایکشن، نارتھ ہالینڈ، 1991 ہینڈ بک آف لاجک اینڈ لینگویج، ایڈ۔ ایلس ٹیر میولن، ایلسیویئر/ایم آئی ٹی پریس، 1997 ماڈل لاجک: اے سیمنٹک پرسپکٹو، ود پیٹرک بلیک برن ماڈل لاجک فار اوپن مائنڈز، سی ایس ایل آئی پبلکیشنز، 2010 لاجک ان گیمز، ایم آئی ٹی پریس، جنوری 2014 حوالہ جات بیرونی لنکس وان بینتھم کا ذاتی ہوم پیج 1949 پیدائشیں 20 ویں صدی کے ڈچ ریاضی دان 20 ویں صدی کے ڈچ فلسفی ڈچ منطقین رائل نیدرلینڈز اکیڈمی آف آرٹس اینڈ سائنسز کے لوگ رجیجک اسٹینفورڈ یونیورسٹی کے شعبہ فلسفہ کے فیکلٹی اسپنزا انعام یافتہ یونیورسٹی آف ایمسٹرڈیم یونیورسٹی کے سابق طلباء کا تعلیمی عملہ گروننگن یونیورسٹی کا تعلیمی عملہ