www.wikidata.de-de.nina.az

Johan van Benthem eigentlich Johannes Franciscus Abraham Karel van Benthem 12 Juni 1949 in Rijswijk ist ein niederländis

Johan van Benthem

Johan van Benthem, eigentlich Johannes Franciscus Abraham Karel van Benthem (* 12. Juni 1949 in Rijswijk), ist ein niederländischer mathematischer und philosophischer Logiker.

Johan van Benthem

Leben und Wirken Bearbeiten

Van Benthem studierte zunächst Physik (Bachelor-Abschluss 1969) und dann Mathematik (Master-Abschluss 1973) und Philosophie (Master-Abschluss 1972) an der Universität Amsterdam, wo er 1977 bei Martin Löb promoviert wurde (Modal correspondence theory). Von 1973 bis 1977 war er an der Fakultät für Philosophie der Universität Amsterdam, danach an der Universität Groningen und ab 1986 wieder an der Universität Amsterdam in der Fakultät für Mathematik und Informatik. Seit 2003 ist er in Amsterdam Professor für Reine und Angewandte Logik und außerdem seit 2005 Professor für Philosophie an der Stanford University, wo er seit 1988 forscht und seit 1991 eine Gastprofessur hatte (Bonsall Chair). 2008/2009 war er Weilun-Professor an der Tsinghua-Universität in Peking und er war Gastprofessor an der Sun Yat-tsen University in Guangzhou.

Van Benthem tritt für ein breites Verständnis und Anwendung der Logik in vielen Wissenschaftsbereichen wie Philosophie, Informatik und Linguistik ein. Er befasste sich zunächst seit seiner Dissertation mit Modaler Logik, mit der er sich auch ab den 1990er Jahren beschäftigte. Hier bewies er einen nach ihm benannten Satz, dass die modale Logik der Teil der Prädikatenlogik ist, der unter Bisimulation geschlossen ist. Ab 1980 wandte er sich der Wissenschaftsphilosophie zu und Anwendungen der Logik auf Raum, Zeit und Topologie und Ende der 1980er Jahre mit der logischen Struktur natürlicher Sprachen (generalized quantifier theory, substructural proof theory, categorical grammar). In den 1990er Jahren befasste er sich mit dynamischer Logik in Information und Berechnung und Anwendungen der Logik auf Spiele (und umgekehrt).

Er war auch Teil einer Gruppe niederländischer Logiker, die als L. T. F. Gamut publizierte (mit Jeroen Groenendijk, Dick de Jong, Martin Stokhof, Henk Verkuyl), wobei Gamut für die Universitäten Groningen, Amsterdam und Utrecht steht.

Er wurde für die Tarski Lectures für 2012 ausgewählt. 1996 erhielt er die höchste niederländische Wissenschaftsauszeichnung, den Spinoza-Preis, und führte mit den Preisgeldern ein Forschungsprogramm Logic in Action durch. 1998 wurde er Ehrendoktor der Universität Lüttich.

Van Benthem ist Herausgeber der Zeitschrift Synthese.

Er ist Mitglied der Königlich Niederländischen Akademie der Wissenschaften (1992), der Academia Europaea (1991) und der American Academy of Arts and Sciences (2015).

Schriften Bearbeiten

  • The Logic of Time, Reidel 1983, 1991
  • Temporal Logic in D. Gabbay u. a. Handbook of Logic in artificial intelligence and logic programming, Oxford University Press 1995, S. 241–350
  • Modal Logic and Classical Logic, Bibliopolis, Neapel, 1985
  • Correspondence Theory in Handbook of Philosophical Logic, Kluwer-Springer 1984, 2001
  • Essays in Logical Semantics, Reidel, Studies in Linguistics and Philosophy 29, 1986
  • Manual of Intensional Logic, CSLI Publications, Stanford & University of Chicago Press 1988
  • Language in Action: Categories, Lambdas and Dynamic Logic, North Holland, Studies in Logic, Band 130, 1991, MIT Press 1995
  • Exploring Logical Dynamics, 1996
  • Logic in Games, ILLC, Amsterdam, 2001 (Neuauflage soll bei Springer erscheinen)
  • mit Jens Erik Fenstad, P.-K. Halvorsen, T. Langholm Situations, Language and Logic, Reidel 1987
  • (als L. T. F. Gamut) Logic, Language and Meaning, 2 Bände, Spectrum, Utrecht 1982 (Logica, taal en betekenis), University of Chicago Press 1991
  • mit Hans van Ditmarsch, J. Ketting, W. Meyer Viol Logica voor Informatica, Addison-Wesley, Amsterdam, 1991, erweiterte Ausgabe mit H. van Ditmarsch, Josje Lodder 2003
  • mit Robbert Dijkgraaf Hoe Wiskunde werkt, 2005
  • Modal logic for open minds, CSLI Publications, Stanford 2010
  • A door to logic. Selected papers, 4 Bände, Peking, Science Press 2010 (chinesisch)
  • Herausgeber mit Alice ter Meulen Handbook of Logic and Language, MIT Press 1997
  • Herausgeber mit Patrick Blackburn, Frank Wolter Handbook of Modal Logic, Elsevier 2006
  • Herausgeber mit Marco Aiello, Ian Pratt-Hartmann Handbook of Spatial Logic, Springer 2007
  • Herausgeber mit Pieter Adriaans Handbook of Philosophy of Information, Elsevier 2008

Weblinks Bearbeiten

Personendaten
NAME Benthem, Johan van
ALTERNATIVNAMEN Benthem, Johannes Franciscus Abraham Karel van (vollständiger Name)
KURZBESCHREIBUNG niederländischer Logiker
GEBURTSDATUM 12. Juni 1949
GEBURTSORT Rijswijk
wikipedia, wiki, deutsches, deutschland, buch, bücher, bibliothek artikel lesen, herunterladen kostenlos kostenloser herunterladen, MP3, Video, MP4, 3GP, JPG, JPEG, GIF, PNG, Bild, Musik, Lied, Film, Buch, Spiel, Spiele
Veröffentlichungsdatum:
Johan van Benthem eigentlich Johannes Franciscus Abraham Karel van Benthem 12 Juni 1949 in Rijswijk ist ein niederlandischer mathematischer und philosophischer Logiker Johan van BenthemLeben und Wirken BearbeitenVan Benthem studierte zunachst Physik Bachelor Abschluss 1969 und dann Mathematik Master Abschluss 1973 und Philosophie Master Abschluss 1972 an der Universitat Amsterdam wo er 1977 bei Martin Lob promoviert wurde Modal correspondence theory Von 1973 bis 1977 war er an der Fakultat fur Philosophie der Universitat Amsterdam danach an der Universitat Groningen und ab 1986 wieder an der Universitat Amsterdam in der Fakultat fur Mathematik und Informatik Seit 2003 ist er in Amsterdam Professor fur Reine und Angewandte Logik und ausserdem seit 2005 Professor fur Philosophie an der Stanford University wo er seit 1988 forscht und seit 1991 eine Gastprofessur hatte Bonsall Chair 2008 2009 war er Weilun Professor an der Tsinghua Universitat in Peking und er war Gastprofessor an der Sun Yat tsen University in Guangzhou Van Benthem tritt fur ein breites Verstandnis und Anwendung der Logik in vielen Wissenschaftsbereichen wie Philosophie Informatik und Linguistik ein Er befasste sich zunachst seit seiner Dissertation mit Modaler Logik mit der er sich auch ab den 1990er Jahren beschaftigte Hier bewies er einen nach ihm benannten Satz dass die modale Logik der Teil der Pradikatenlogik ist der unter Bisimulation geschlossen ist Ab 1980 wandte er sich der Wissenschaftsphilosophie zu und Anwendungen der Logik auf Raum Zeit und Topologie und Ende der 1980er Jahre mit der logischen Struktur naturlicher Sprachen generalized quantifier theory substructural proof theory categorical grammar In den 1990er Jahren befasste er sich mit dynamischer Logik in Information und Berechnung und Anwendungen der Logik auf Spiele und umgekehrt Er war auch Teil einer Gruppe niederlandischer Logiker die als L T F Gamut publizierte mit Jeroen Groenendijk Dick de Jong Martin Stokhof Henk Verkuyl wobei Gamut fur die Universitaten Groningen Amsterdam und Utrecht steht Er wurde fur die Tarski Lectures fur 2012 ausgewahlt 1996 erhielt er die hochste niederlandische Wissenschaftsauszeichnung den Spinoza Preis und fuhrte mit den Preisgeldern ein Forschungsprogramm Logic in Action durch 1998 wurde er Ehrendoktor der Universitat Luttich Van Benthem ist Herausgeber der Zeitschrift Synthese Er ist Mitglied der Koniglich Niederlandischen Akademie der Wissenschaften 1992 der Academia Europaea 1991 und der American Academy of Arts and Sciences 2015 Schriften BearbeitenThe Logic of Time Reidel 1983 1991 Temporal Logic in D Gabbay u a Handbook of Logic in artificial intelligence and logic programming Oxford University Press 1995 S 241 350 Modal Logic and Classical Logic Bibliopolis Neapel 1985 Correspondence Theory in Handbook of Philosophical Logic Kluwer Springer 1984 2001 Essays in Logical Semantics Reidel Studies in Linguistics and Philosophy 29 1986 Manual of Intensional Logic CSLI Publications Stanford amp University of Chicago Press 1988 Language in Action Categories Lambdas and Dynamic Logic North Holland Studies in Logic Band 130 1991 MIT Press 1995 Exploring Logical Dynamics 1996 Logic in Games ILLC Amsterdam 2001 Neuauflage soll bei Springer erscheinen mit Jens Erik Fenstad P K Halvorsen T Langholm Situations Language and Logic Reidel 1987 als L T F Gamut Logic Language and Meaning 2 Bande Spectrum Utrecht 1982 Logica taal en betekenis University of Chicago Press 1991 mit Hans van Ditmarsch J Ketting W Meyer Viol Logica voor Informatica Addison Wesley Amsterdam 1991 erweiterte Ausgabe mit H van Ditmarsch Josje Lodder 2003 mit Robbert Dijkgraaf Hoe Wiskunde werkt 2005 Modal logic for open minds CSLI Publications Stanford 2010 A door to logic Selected papers 4 Bande Peking Science Press 2010 chinesisch Herausgeber mit Alice ter Meulen Handbook of Logic and Language MIT Press 1997 Herausgeber mit Patrick Blackburn Frank Wolter Handbook of Modal Logic Elsevier 2006 Herausgeber mit Marco Aiello Ian Pratt Hartmann Handbook of Spatial Logic Springer 2007 Herausgeber mit Pieter Adriaans Handbook of Philosophy of Information Elsevier 2008Weblinks BearbeitenHomepage an der Universitat Amsterdam mit Curriculum VitaeNormdaten Person GND 124543286 lobid OGND AKS LCCN n82138606 VIAF 94809147 Wikipedia Personensuche PersonendatenNAME Benthem Johan vanALTERNATIVNAMEN Benthem Johannes Franciscus Abraham Karel van vollstandiger Name KURZBESCHREIBUNG niederlandischer LogikerGEBURTSDATUM 12 Juni 1949GEBURTSORT Rijswijk Abgerufen von https de wikipedia org w index php title Johan van Benthem amp oldid 216832830