A Note on Modeling Theories
Author: van Benthem, Johan
Source: Poznan Studies in the Philosophy of the Sciences and the Humanities, Confirmation, Empirical Progress and Truth Approximation. Essays in Debate with Theo Kuipers Volume 1. Edited by Roberto Festa, Atocha Aliseda and Jeanne Peijnenburg , pp. 403-419(17)
Abstract:We discuss formats for formal theories, from sets of models to more complex constructs with an epistemic slant, clarifying the issue of what it means to update a theory. Using properties of verisimilitude as a lead, we also provide some connections between formal calculus of theories in the philosophy of science and modal-epistemic logics. Throughout, we use this case study as a platform for discussing more general connections between logic and general methodology.
Document Type: Research Article
Publication date: 2005-11-01