, Volume 186, Issue 3, pp 775–792

The logic of empirical theories revisited


    • University of Amsterdam
    • Stanford University

DOI: 10.1007/s11229-011-9916-6


Logic and philosophy of science share a long history, though contacts have gone through ups and downs. This paper is a brief survey of some major themes in logical studies of empirical theories, including links to computer science and current studies of rational agency. The survey has no new results: we just try to make some things into common knowledge.


Theory structure Model theory Formal language Dynamic logic Computation Agency


I thank Hannes Leitgeb, Jan-Willem Romeijn, and Sonja Smets for their lively, congenial and useful comments.

Open Access

This article is distributed under the terms of the Creative Commons Attribution Noncommercial License which permits any noncommercial use, distribution, and reproduction in any medium, provided the original author(s) and source are credited.

Copyright information

© The Author(s) 2011