Synthese 186 (3):775-792 (2012)

Authors
Johan Van Benthem
University of Amsterdam
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
Categories (categorize this paper)
DOI 10.1007/s11229-011-9916-6
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 58,425
Through your library

References found in this work BETA

The Structure of Scientific Revolutions.Thomas S. Kuhn - 1962 - Chicago: University of Chicago Press.
The Structure of Scientific Revolutions.Thomas S. Kuhn - 1962 - University of Chicago Press.
Fact, Fiction, and Forecast.Nelson Goodman - 1955 - Harvard University Press.
Two Dogmas of Empiricism.Willard V. O. Quine - 1951 - Philosophical Review 60 (1):20–43.

View all 103 references / Add more references

Citations of this work BETA

What Was the Syntax‐Semantics Debate in the Philosophy of Science About?Sebastian Lutz - 2017 - Philosophy and Phenomenological Research 95 (2):319-352.
The Structure of Scientific Theories.Rasmus Grønfeldt Winther - 2015 - Stanford Encyclopedia of Philosophy.

View all 10 citations / Add more citations

Similar books and articles

The Logic of Empirical Theories Revisited.Johan Benthem - 2012 - Synthese 186 (3):775 - 792.
Natural Language and Logic of Agency.Johan van Benthem - 2014 - Journal of Logic, Language and Information 23 (3):367-382.
A Dynamic Logic of Agency I: Stit, Capabilities and Powers.Andreas Herzig & Emiliano Lorini - 2010 - Journal of Logic, Language and Information 19 (1):89-121.
A Major Failure Within Modern Analytic Philosophy.Patrick Sibelius - 1993 - Philosophy of Science 60 (4):558-567.
Quantum Logic as a Dynamic Logic.Alexandru Baltag & Sonja Smets - 2011 - Synthese 179 (2):285 - 306.
Polyadic Dynamic Logics for Hpsg Parsing.Anders Søgaard & Martin Lange - 2009 - Journal of Logic, Language and Information 18 (2):159-198.

Analytics

Added to PP index
2013-12-01

Total views
81 ( #125,291 of 2,420,826 )

Recent downloads (6 months)
2 ( #351,362 of 2,420,826 )

How can I increase my downloads?

Downloads

My notes