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.

UvA-DARE ( Digital Academic Repository ) The nets of reason

UvA-DARE ( Digital Academic Repository ) A large outbreak of Legionnaires ' disease at a flower show , the Netherlands , 1999

UvA-DARE ( Digital Academic Repository ) The Logic of Empirical Theories Revisited

UvA-DARE ( Digital Academic Repository ) The information in intuitionistic logic

De Ontwikkeling Van Kennis in Wetenschappelijke Communicatie: Onzekerheid En Codificatie in Anticipatorische Systemen

UvA-DARE ( Digital Academic Repository ) Inference in action

UvA-DARE (Digital Academic Repository) Self-regulation strategies in blended learning environments in higher education A systematic review

UvA-DARE ( Digital Academic Repository ) Instantial neighbourhood logic

UvA-DARE ( Digital Academic Repository ) Norms of online expressions of emotion : Comparing Facebook

UvA-DARE ( Digital Academic Repository ) A comment to the paper by Waltman et al . , Scientometrics

Sharing published short academic works in institutional repositories after six months

aDORe: a modular, standards-based Digital Object Repository

Practical digital asset management and the university library

Abstracte begrippen en concrete werkelijkheid - Twee vragen voor Hans Radder

Amsterdam Science Shop and Its Influence on University Research: the Effects of Ten Year of Dealing with Non-Academic Questions

Digital Data Archives as Knowledge Infrastructures: Mediating Data Sharing and Reuse

The rent's too high: Self-archive for fair online publication costs

Web archives as a data resource for digital scholars

UvA-DARE ( Digital Academic Repository ) Becoming more oneself ? Changes in personality following DBS treatment in psychiatric disorders

Digital Infrastructures for Scholarly Content Objects

Copyright administration in academic libraries in Ghana