PP-2019-01: van Benthem, Johan (2019) Vistas from a Drop of Water. [Pre-print]
Preview |
Text
2019.Vistas.jb.pdf Download (181kB) | Preview |
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.
| 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 |
