, Volume 186, Issue 3, pp 775-792

First online:

Open Access This content is freely available online to anyone, anywhere at any time.

The logic of empirical theories revisited

  • Johan van BenthemAffiliated withUniversity of AmsterdamStanford University Email author 


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