Johan Van Benthem
Biographic Data
| ID | 458260 |
|---|---|
| NAME | Johan Van Benthem |
| GIVEN NAMES | Johan |
| FAMILY NAME | Van Benthem |
| SIGNATURE | VAN BENTHEM J |
| AFFILIATIONS | University of Amsterdam |
| ORCID | 0000-0002-7048-785X |
| VERIFIED | Yes |
| TOTAL WORKS | 27 |
| TOTAL CITATIONS | 17 |
| AUTHOR COUNT | 25 |
| EDITOR COUNT | 2 |
| FIRST PUBLICATION YEAR | 1982 |
| LATEST PUBLICATION YEAR | 2025 |
| H-INDEX | 3 |
Krister Segerberg in Memoriam (1936–2025)
Studies in Discourse Representation Theory and the Theory of Generalized Quantifiers
Studies in Modeltheoretic Semantics
Nonstandard Reasoning
Priority Structures in Deontic Logic
This article proposes a systematic application of recent developments in the logic of preference to a number of topics in deontic logic. The key junction is the well‐known H ansson conditional for dyadic obligations. These conditionals are generalized by pairing them with reasoning about syntactic priority structures. The resulting two‐level approach to obligations is tested first against standard scenarios of contrary‐to‐duty obligations, leadin…
The logic of empirical theories revisited
Logic and philosophy of science share a long history, though contacts have gone through ups and downs. This paper is a brief survey of some major themes in logical studies of empirical theories, including links to computer science and current studies of rational agency. The survey has no new results: we just try to make some things into common knowledge
New logical perspectives on physics
This special issue is situated at the interface between Logic and the Foundations of Physics. This interface, though not as active as the logical foundations of mathematics, has long existed-with highlights such as "quantum logic", or studies of the general logical structure of physical theories. In recent years, more themes have come to the fore, and we may be witnessing a revival. The papers presented here emanate from a symposium held at the U…
The dynamics of awareness
Classical epistemic logic describes implicit knowledge of agents about facts and knowledge of other agents based on semantic information. The latter is produced by acts of observation or communication that are described well by dynamic epistemic logics. What these logics do not describe, however, is how significant information is also produced by acts of inference—and key axioms of the system merely postulate “deductive closure”. In this paper, w…
Logic and intelligent interaction
You can think about planet Earth and its natural place for centuries, but to see how it really moves, you need to know the solar system, and all the bodies that interact with it.The basic laws of gravity are about 'social' push and pull.And what is true of physical bodies, is even more true of our human world, where bodies also have minds.You can think about human beings as isolated information processors as much as you want, turning them into id…
The information in intuitionistic logic
Issues about information spring up wherever one scratches the surface of logic. Here is a case that raises delicate issues of ‘factual’ versus ‘procedural’ information, or ‘statics’ versus ‘dynamics’. What does intuitionistic logic, perhaps the earliest source of informational and procedural thinking in contemporary logic, really tell us about information? How does its view relate to its ‘cousin’ epistemic logic? We discuss connections between in…
The many faces of interpolation
Modelling simultaneous games in dynamic logic
We make a proposal for formalizing simultaneous games at the abstraction level of player’s powers, combining ideas from dynamic logic of sequential games and concurrent dynamic logic. We prove completeness for a new system of ‘concurrent game logic’ CDGL with respect to finite non-determined games. We also show how this system raises new mathematical issues, and throws light on branching quantifiers and independence-friendly evaluation games for …
Philosophy of information
Logic and Scientific Methods: Volume One of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995
This is the first of two volumes comprising the papers submitted for publication by the invited participants to the Tenth International Congress of Logic, Methodology and Philosophy of Science, held in Florence, August 1995. The Congress was held under the auspices of the International Union of History and Philosophy of Science, Division of Logic, Methodology and Philosophy of Science. The invited lectures published in the two volumes demonstrate…
Language in Action: Categories, Lambdas, and Dynamic Logic
General Dynamics
Semantics and Contextual Expression
Logical Syntax
Meaning: Interpretation and inference
Boolean Semantics for Natural Language
This report aims to identify the areas where NLP (natural language processing) is expected to be successful, and to suggest how people and organisations can make use of the opportunities it will create, as users, suppliers or investors.(p.4) Tim Johnson has written a very useful guide to the commercial side of NLP applications.It is a large, comprehensive report that runs 459 double-spaced pages.Johnson is a graduate of imperial College and has p…
The Logic of Aspect: An Axiomatic Approach
The variety of consequence, according to Bolzano
Analytic/synthetic: Sharpening a philosophical tool
Determiners and logic
Later Than Late: On the Logical Origin of the Temporal Order
The logical study of science
The dynamics of awareness
Classical epistemic logic describes implicit knowledge of agents about facts and knowledge of other agents based on semantic information. The latter is produced by acts of observation or communication that are described well by dynamic epistemic logics. What these logics do not describe, however, is how significant information is also produced by acts of inference—and key axioms of the system merely postulate “deductive closure”. In this paper, w…
The information in intuitionistic logic
Issues about information spring up wherever one scratches the surface of logic. Here is a case that raises delicate issues of ‘factual’ versus ‘procedural’ information, or ‘statics’ versus ‘dynamics’. What does intuitionistic logic, perhaps the earliest source of informational and procedural thinking in contemporary logic, really tell us about information? How does its view relate to its ‘cousin’ epistemic logic? We discuss connections between in…
Logic and intelligent interaction
You can think about planet Earth and its natural place for centuries, but to see how it really moves, you need to know the solar system, and all the bodies that interact with it.The basic laws of gravity are about 'social' push and pull.And what is true of physical bodies, is even more true of our human world, where bodies also have minds.You can think about human beings as isolated information processors as much as you want, turning them into id…
The many faces of interpolation
Modelling simultaneous games in dynamic logic
We make a proposal for formalizing simultaneous games at the abstraction level of player’s powers, combining ideas from dynamic logic of sequential games and concurrent dynamic logic. We prove completeness for a new system of ‘concurrent game logic’ CDGL with respect to finite non-determined games. We also show how this system raises new mathematical issues, and throws light on branching quantifiers and independence-friendly evaluation games for …
Meaning: Interpretation and inference
Determiners and logic
Later Than Late: On the Logical Origin of the Temporal Order
The Dynamics of Interpretation
In current semantic theory compositional interpretations are assumed to go from linguistic items to their denotations in some model. This perspective still leaves room for a more dynamical account of how such interpretations are actually created. One natural idea is to assume that each sentence in a discourse is understood through some representation, ‘mediating’ between the language and its models. Thus, the old relation of interpretation splits…
The logical study of science
Determiners and logic
Analytic/synthetic: Sharpening a philosophical tool
The variety of consequence, according to Bolzano
Boolean Semantics for Natural Language
This report aims to identify the areas where NLP (natural language processing) is expected to be successful, and to suggest how people and organisations can make use of the opportunities it will create, as users, suppliers or investors.(p.4) Tim Johnson has written a very useful guide to the commercial side of NLP applications.It is a large, comprehensive report that runs 459 double-spaced pages.Johnson is a graduate of imperial College and has p…
The Logic of Aspect: An Axiomatic Approach
Logical Syntax
Meaning: Interpretation and inference
Semantics and Contextual Expression
General Dynamics
Logic and Scientific Methods: Volume One of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995
This is the first of two volumes comprising the papers submitted for publication by the invited participants to the Tenth International Congress of Logic, Methodology and Philosophy of Science, held in Florence, August 1995. The Congress was held under the auspices of the International Union of History and Philosophy of Science, Division of Logic, Methodology and Philosophy of Science. The invited lectures published in the two volumes demonstrate…
Language in Action: Categories, Lambdas, and Dynamic Logic
The many faces of interpolation
Modelling simultaneous games in dynamic logic
We make a proposal for formalizing simultaneous games at the abstraction level of player’s powers, combining ideas from dynamic logic of sequential games and concurrent dynamic logic. We prove completeness for a new system of ‘concurrent game logic’ CDGL with respect to finite non-determined games. We also show how this system raises new mathematical issues, and throws light on branching quantifiers and independence-friendly evaluation games for …
Philosophy of information
Logic and intelligent interaction
You can think about planet Earth and its natural place for centuries, but to see how it really moves, you need to know the solar system, and all the bodies that interact with it.The basic laws of gravity are about 'social' push and pull.And what is true of physical bodies, is even more true of our human world, where bodies also have minds.You can think about human beings as isolated information processors as much as you want, turning them into id…
The information in intuitionistic logic
Issues about information spring up wherever one scratches the surface of logic. Here is a case that raises delicate issues of ‘factual’ versus ‘procedural’ information, or ‘statics’ versus ‘dynamics’. What does intuitionistic logic, perhaps the earliest source of informational and procedural thinking in contemporary logic, really tell us about information? How does its view relate to its ‘cousin’ epistemic logic? We discuss connections between in…
The dynamics of awareness
Classical epistemic logic describes implicit knowledge of agents about facts and knowledge of other agents based on semantic information. The latter is produced by acts of observation or communication that are described well by dynamic epistemic logics. What these logics do not describe, however, is how significant information is also produced by acts of inference—and key axioms of the system merely postulate “deductive closure”. In this paper, w…
The logic of empirical theories revisited
Logic and philosophy of science share a long history, though contacts have gone through ups and downs. This paper is a brief survey of some major themes in logical studies of empirical theories, including links to computer science and current studies of rational agency. The survey has no new results: we just try to make some things into common knowledge
New logical perspectives on physics
This special issue is situated at the interface between Logic and the Foundations of Physics. This interface, though not as active as the logical foundations of mathematics, has long existed-with highlights such as "quantum logic", or studies of the general logical structure of physical theories. In recent years, more themes have come to the fore, and we may be witnessing a revival. The papers presented here emanate from a symposium held at the U…
Priority Structures in Deontic Logic
This article proposes a systematic application of recent developments in the logic of preference to a number of topics in deontic logic. The key junction is the well‐known H ansson conditional for dyadic obligations. These conditionals are generalized by pairing them with reasoning about syntactic priority structures. The resulting two‐level approach to obligations is tested first against standard scenarios of contrary‐to‐duty obligations, leadin…
Nonstandard Reasoning
Studies in Discourse Representation Theory and the Theory of Generalized Quantifiers
Computer Science (23 works) · Philosophy (20 works) · Epistemology (14 works) · Mathematics (9 works) · Philosophy of language (9 works) · Programming language (9 works) · Artificial Intelligence (8 works) · Linguistics (8 works) · Metaphysics (8 works) · Philosophy of science (8 works)