Synthese

, Volume 186, Issue 3, pp 775–792

The logic of empirical theories revisited

Authors

    • University of Amsterdam
    • Stanford University
Open AccessArticle

DOI: 10.1007/s11229-011-9916-6

Cite this article as:
van Benthem, J. Synthese (2012) 186: 775. doi:10.1007/s11229-011-9916-6

Abstract

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.

Keywords

Theory structure Model theory Formal language Dynamic logic Computation Agency

Copyright information

© The Author(s) 2011