Vistas from a Drop of Water
Johan van Benthem

Abstract:
What general conclusions can be inferred logically from just observing single instances? We discuss three precise senses in which this can happen. In the broadcast view, a single truth in one model transmits other truths to suitably related models in ever widening circles, on the model of preservation theorems. In the information channel (or 'puppet theatre') view, single facts can lead to general conclusions through available constraints that link situations. Finally, in the analysis view, reasons for single truths can be turned into general conclusions, giving rise to interesting mixtures of model-checking and proof. This is a light paper for a forthcoming Festschrift.