The logic of empirical theories revisited

Johan van Benthem

pp. 775-792

in: Sonja Smets, Johan van Benthem (eds), Logic meets physics, Synthese 186 (3), 2012.

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.