PP-2019-01: Vistas from a Drop of Water

PP-2019-01: van Benthem, Johan (2019) Vistas from a Drop of Water. [Pre-print]

[thumbnail of 2019.Vistas.jb.pdf]

Download (181kB) | Preview


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.

Item Type: Pre-print
Report Nr: PP-2019-01
Series Name: Prepublication (PP) Series
Year: 2019
Subjects: Logic
Depositing User: Johan van Benthem
Date Deposited: 17 Jan 2019 15:22
Last Modified: 25 Apr 2019 14:18
URI: https://eprints.illc.uva.nl/id/eprint/1655

Actions (login required)

View Item View Item