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 वीं शताब्दी के डच दार्शनिक डच तर्कशास्त्री रॉयल नीदरलैंड अकादमी ऑफ आर्ट्स एंड साइंसेज के लोग रिजस्विज्क स्टैनफोर्ड विश्वविद्यालय के दर्शनशास्त्र विभाग के संकाय स्पिनोजा पुरस्कार विजेता एम्स्टर्डम विश्वविद्यालय के एम्स्टर्डम विश्वविद्यालय के पूर्व छात्रों के अकादमिक कर्मचारी ग्रोनिंगन विश्वविद्यालय के शैक्षणिक कर्मचारी