UvA-DARE ( Digital Academic Repository ) Inference in action
Van Benthem
2008-01-01
Abstract:Substructural logics arise whenever classical logic is put to new uses, and logicians from Serbia have been in the fore-front here. In this paper, we join the substructural tradition with another recent trend, viz. dynamic logic of information update. We show how these two approaches fit together, in particular, through a number of representation theorems concerning structural rules. The proper background for these results turn out to be modal and dynamic logics of cross-model relations. We connect this finding with recent accounts of generalized inference, interpolation, and preservation results. 1. Inference, structural rules, and information-producing actions Inference entangled with other information sources. In the 1980s, several interesting nonstandard notions of consequence P ⇒ C emerged, claiming to reflect features of our common sense reasoning. Circumscription in AI looked at conclusions C true only in minimal models of the premises P , with minimality measured by some comparison order for model size or predicate interpretation. General non-monotonic logics followed up on this idea, high-lighting failures of classical principles much as those found earlier in conditional logic. Structural rules, i.e., abstract properties of an inference relation ⇒, seemed a natural focus for defining ‘styles of reasoning’, in terms of their basic mechanics. This idea was reinforced when it turned out that very different notions of consequence, such as the resource-conscious inferences found in categorial grammar (van Benthem 1991) have illuminating sets of structural rules setting them apart from others. Likewise, van Benthem 1996 showed how deviant structural rules emerge in a natural fashion when analyzing so-called dynamic semantics, emphasizing how inference and information change are intertwined in understanding and using language. In this paper I present some further thoughts on the notion of inference emerging from all this, and its entanglement with information update and general action. Before going to abstract structural rules and bare mechanics, however, consider an example. The Amsterdam Science Museum NEMO (http://www.nemoamsterdam.nl/) organizes Kids’ Lectures ON Science for 8-year olds. While preparing for this event, I wondered how to talk to such an audience? I came up with an example that goes back essentially to Antiquity: 2000 Mathematics Subject Classification: 03B45, 03B60.