Photos
Works

book

Essays in Logical Semantics (Studies in Linguistics and Philosophy) (Volume 29)

(Recent developments in the semantics of natural language ...)

Recent developments in the semantics of natural language seem to lead to a genuine synthesis of ideas from linguistics and logic, producing novel concepts and questions of interest to both parent disciplines. This book is a collection of essays on such new topics, which have arisen over the past few years. Taking a broad view, developments in formal semantics over the past decade can be seen as follows. At the beginning stands Montague's pioneering work, showing how a rigorous semantics can be given for complete fragments of natural language by creating a suitable fit between syntactic categories and semantic types. This very enterprise already dispelled entrenched prejudices concerning the separation of linguistics and logic. Having seen the light, however, there is no reason at all to stick to the letter of Montague's proposals, which are often debatable. Subsequently, then, many improvements have been made upon virtually every aspect of the enterprise. More sophisticated grammars have been inserted (lately, lexical-functional grammar and generalized phrase structure grammar), more sensitive model structures have been developed (lately, 'partial' rather than 'total' in their com position), and even the mechanism of interpretation itself may be fine-tuned more delicately, using various forms of 'representations' mediating between linguistic items and semantic reality. In addition to all these refinements of the semantic format, descriptive coverage has extended considerably.

http://www.amazon.com/gp/product/9027720924/?tag=2022091-20

(Handbook of Logic and Language) Author: Johan Van Benthem published on (December, 2010)

http://www.amazon.com/gp/product/B00Y2UL7DI/?tag=2022091-20

Exploring Logical Dynamics (Center for the Study of Language and Information - Lecture Notes) First , First edition by van Benthem, Johan (1996) Paperback

http://www.amazon.com/gp/product/B010WFEUEO/?tag=2022091-20

Exploring Logical Dynamics (Center for the Study of Language and Information - Lecture Notes)

(This book is an exploration of current trends in logical ...)

This book is an exploration of current trends in logical theories of information flow across various fields, such as belief revision in computer science or dynamic semantics in linguistics. It provides one mathematical perspective encompassing all of these. This framework generates a new agenda of questions concerning dynamic inference and dynamic operators. The result is a mathematical theory of process models, simulations between these, and modal languages over them, which is developed in quite some detail. New results include theorems on expressive completeness, representation of styles of inference, and new kinds of decidable remodeling for standard logics. This theory is also confronted with practice in computer science, linguistics and philosophy.

http://www.amazon.com/gp/product/1575860589/?tag=2022091-20

(Essays in Logical Semantics) Author: Johan Van Benthem published on (March, 1986)

http://www.amazon.com/gp/product/B00Y2UKU1S/?tag=2022091-20

The Logic of Time: A Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse (Synthese Library)

(That philosophical themes could be studied in an exact ma...)

That philosophical themes could be studied in an exact manner by logical meanS was a delightful discovery to make. Until then, the only outlet for a philosophical interest known to me was the production of poetry or essays. These means of expression remain inconclusive, however, with a tendency towards profuseness. The logical discipline provides so me intellectual backbone, without excluding the literary modes. A master's thesis by Erik Krabbe introduced me to the subject of tense logic. The doctoral dissertation of Paul N eedham awaked me (as so many others) from my dogmatic slumbers concerning the latter's mono poly on the logical study of Time. Finally, a set of lecture notes by Frank Veltman showed me how classical model theory is just as relevant to that study as more exotic intensional techniques. Of the authors whose work inspired me most, I would mention Arthur Prior, for his irresistible blend of logic and philosophy, Krister Segerberg, for his technical opening up of a systematic theory, and Hans Kamp, for his mastery of all these things at once. Many colleagues have made helpful comments on the two previous versions of this text. I would like to thank especially my students Ed Brinksma, Jan van Eyck and Wilfried Meyer-Viol for their logical and cultural criticism. The drawings were contributed by the versatile Bauke Mulder. Finally, Professor H intikka's kind appreciation provided the stimulus to write this book.

http://www.amazon.com/gp/product/9401098700/?tag=2022091-20

Handbook of Logic and Language (Elsevier Insights) HANDBOOK OF LOGIC AND LANGUAGE (ELSEVIER INSIGHTS) BY Van Benthem, Johan ( Author ) Dec-31-2010 HANDBOOK OF LOGIC AND LANGUAGE (ELSEVIER INSIGHTS) HANDBOOK OF LOGIC AND LANGUAGE (ELSEVIER INSIGHTS)

http://www.amazon.com/gp/product/B00D5F9C8S/?tag=2022091-20

Modal Logic and Classical Logic (A Classic work in the model theory of Modal Logic, and wh...)
The Logic of Time: A Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse (Synthese Library) (The subject of Time has a wide intellectual appeal across...)
The Logic of Time: A Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse (Synthese Library) by Johan van Benthem (2012-05-19)

General
Education
Career
Works
Life Stance
Personality
Connections
References
Album

People Also Searched For

Willem Jan van van Rooij
Willem Frederik Duisenberg
Georgius Pletho
Nicholas Kalliakis
Henri De Groot
Eric Ambel

Johan Franciscus Abraham Karel van Benthem

Edit Profile

philosophy mathematics-computer science educator

Johan Franciscus Abraham Karel van Benthem, Dutch Philosophy, mathematics-computer science educator. Member European Association for Logic, Language and Information (chairman of the executive board 1991-1995), Royal Dutch Academy Sciences, European Academy.

Background

Benthem, Johan Franciscus Abraham Karel van was born on June 12, 1949 in Rijswijk, The Netherlands. Son of Abraham K. and Janna M.G. (Eggermont) van Benthem. came to the United States, 1991.

Education

Bachelor Physics, University Amsterdam, The Netherlands, 1969. Master of Philosophy, University Amsterdam, The Netherlands, 1972. MMath., University Amsterdam, The Netherlands, 1973.

Doctor of Philosophy in Mathematics, University Amsterdam, The Netherlands, 1977. Doctor of Philosophy (honorary), University Liège, 1998.

Career

Assistant professor department philosophy University Amsterdam, 1972-1977, professor department mathematics and computer science, 1986—2003, university professor, since 2003. Associate professor University Groningen, The Netherlands, 1977-1986. Professor department philosophy Stanford (California) University, since 1991, Bonsall professor for distinguished visitors in humanities, 1994—2005.

Visiting professor Zhongshan University, Guangzhou, China.

Achievements

Johan Franciscus Abraham Karel van Benthem has been listed as a noteworthy science educator by Marquis Who's Who.

Works

Essays in Logical Semantics (Studies in Linguistics and Philosophy) (Volume 29) Essays in Logical Semantics (Studies in Linguistics and Philosophy) (Volume 29)

(Handbook of Logic and Language) Author: Johan Van Benthem published on (December, 2010) (Handbook of Logic and Language) Author: Johan Van Benthem published on (December, 2010)

Exploring Logical Dynamics (Center for the Study of Language and Information - Lecture Notes) First , First edition by van Benthem, Johan (1996) Paperback Exploring Logical Dynamics (Center for the Study of Language and Information - Lecture Notes) First , First edition by van Benthem, Johan (1996) Paperback

Exploring Logical Dynamics (Center for the Study of Language and Information - Lecture Notes) Exploring Logical Dynamics (Center for the Study of Language and Information - Lecture Notes)

(Essays in Logical Semantics) Author: Johan Van Benthem published on (March, 1986) (Essays in Logical Semantics) Author: Johan Van Benthem published on (March, 1986)

The Logic of Time: A Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse (Synthese Library) The Logic of Time: A Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse (Synthese Library)

Handbook of Logic and Language (Elsevier Insights) HANDBOOK OF LOGIC AND LANGUAGE (ELSEVIER INSIGHTS) BY Van Benthem, Johan ( Author ) Dec-31-2010 HANDBOOK OF LOGIC AND LANGUAGE (ELSEVIER INSIGHTS) HANDBOOK OF LOGIC AND LANGUAGE (ELSEVIER INSIGHTS) Handbook of Logic and Language (Elsevier Insights) HANDBOOK OF LOGIC AND LANGUAGE (ELSEVIER INSIGHTS) BY Van Benthem, Johan ( Author ) Dec-31-2010 HANDBOOK OF LOGIC AND LANGUAGE (ELSEVIER INSIGHTS) HANDBOOK OF LOGIC AND LANGUAGE (ELSEVIER INSIGHTS)

More photos

book
- Essays in Logical Semantics (Studies in Linguistics and Philosophy) (Volume 29)
  (Recent developments in the semantics of natural language ...)
- Exploring Logical Dynamics (Center for the Study of Language and Information - Lecture Notes)
  (This book is an exploration of current trends in logical ...)
- The Logic of Time: A Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse (Synthese Library)
  (That philosophical themes could be studied in an exact ma...)
- Modal Logic and Classical Logic
  (A Classic work in the model theory of Modal Logic, and wh...)
- The Logic of Time: A Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse (Synthese Library)
  (The subject of Time has a wide intellectual appeal across...)
- (Handbook of Logic and Language) Author: Johan Van Benthem published on (December, 2010)
- Exploring Logical Dynamics (Center for the Study of Language and Information - Lecture Notes) First , First edition by van Benthem, Johan (1996) Paperback
- The Logic of Time: A Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse (Synthese Library) by Johan van Benthem (2012-05-19)
- (Essays in Logical Semantics) Author: Johan Van Benthem published on (March, 1986)
- Handbook of Logic and Language (Elsevier Insights) HANDBOOK OF LOGIC AND LANGUAGE (ELSEVIER INSIGHTS) BY Van Benthem, Johan ( Author ) Dec-31-2010 HANDBOOK OF LOGIC AND LANGUAGE (ELSEVIER INSIGHTS) HANDBOOK OF LOGIC AND LANGUAGE (ELSEVIER INSIGHTS)

Membership

Member of Hollandsche Maatschappij van Wetenschappen, Institut International de Philosophie, International Federation for Computational Logic (vice president since 2000), European Academy of Sciences, Royal Dutch Academy of Sciences, European Association for Logic, Language and Information (honorary. Life, chairman executive board 1991-1995, 1st Honorary life member 2004).

Connections

Married Alida T. Blom, July 22, 1977. Children: Arthur A., Lucas L.

Father:: Abraham K. Benthem
Mother:: Janna M.G. (Eggermont) Benthem
Spouse:: Alida T. Blom
child:: Arthur A. Benthem
child:: Lucas L. Benthem

View map

Born

June 12, 1949

Rijswijk, The Netherlands
Nationality
Dutch
Ethnicity

Dutch

Education

1969

University Amsterdam , Bachelor
1972

University Amsterdam , Master of Philosophy
1973

University Amsterdam
1977

University Amsterdam , Doctor of Philosophy in mathematical
1998

University Liege , Doctor of Philosophy

Career

Assistant professor department philosophy , University Amsterdam
university professor professor department philosophy , University Amsterdam
professor department philosophy , Stanford (California) University
1977 - 1986

associate professor , University Groningen

Awards

Recipient Spinoza award Dutch Research Council, 1997-2001.

Recipient Spinoza award Dutch Research Council, 1997-2001.

Main Photo

School period

College/University

Career

Achievements

Membership

Awards

Other Photos

Other photo of Johan Franciscus Abraham Karel van Benthem

Other photo of Johan Franciscus Abraham Karel van Benthem

Other photo of Johan Franciscus Abraham Karel van Benthem

Other photo of Johan Franciscus Abraham Karel van Benthem

Other photo of Johan Franciscus Abraham Karel van Benthem

Other photo of Johan Franciscus Abraham Karel van Benthem

Other photo of Johan Franciscus Abraham Karel van Benthem

Other photo of Johan Franciscus Abraham Karel van Benthem

Other photo of Johan Franciscus Abraham Karel van Benthem

Other photo of Johan Franciscus Abraham Karel van Benthem

Other photo of Johan Franciscus Abraham Karel van Benthem

Other photo of Johan Franciscus Abraham Karel van Benthem

Other photo of Johan Franciscus Abraham Karel van Benthem

Other photo of Johan Franciscus Abraham Karel van Benthem

Other photo of Johan Franciscus Abraham Karel van Benthem

Other photo of Johan Franciscus Abraham Karel van Benthem

Other photo of Johan Franciscus Abraham Karel van Benthem

Other photo of Johan Franciscus Abraham Karel van Benthem

Other photo of Johan Franciscus Abraham Karel van Benthem

Other photo of Johan Franciscus Abraham Karel van Benthem

Connections

Connections

book

Essays in Logical Semantics (Studies in Linguistics and Philosophy) (Volume 29)

(Handbook of Logic and Language) Author: Johan Van Benthem published on (December, 2010)

Exploring Logical Dynamics (Center for the Study of Language and Information - Lecture Notes) First , First edition by van Benthem, Johan (1996) Paperback

Exploring Logical Dynamics (Center for the Study of Language and Information - Lecture Notes)

(Essays in Logical Semantics) Author: Johan Van Benthem published on (March, 1986)

The Logic of Time: A Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse (Synthese Library)

Handbook of Logic and Language (Elsevier Insights) HANDBOOK OF LOGIC AND LANGUAGE (ELSEVIER INSIGHTS) BY Van Benthem, Johan ( Author ) Dec-31-2010 HANDBOOK OF LOGIC AND LANGUAGE (ELSEVIER INSIGHTS) HANDBOOK OF LOGIC AND LANGUAGE (ELSEVIER INSIGHTS)

Johan Franciscus Abraham Karel van Benthem

Background

Education

Career

Achievements

Works

book

Membership

Connections

Born

Nationality

Ethnicity

Education

1969

1972

1973

1977

1998

Career

1977 - 1986

Awards