Synthese

, Volume 186, Issue 3, pp 775–792

The logic of empirical theories revisited

Authors

    • University of Amsterdam
    • Stanford University

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

Acknowledgements

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