Synthese, Volume 164

Volume 164, Number 1, September 2008

Peter Pagin:
Indeterminacy and the analytic/synthetic distinctions: a survey. 1-18
Igor Douven:
The evidential support theory of conditionals. 19-44
Daniel Guevara:
Rebutting formally valid counterexamples to the Humean "is-ought" dictum. 45-60
Athanasios Raftopoulos:
Perceptual systems and realism. 61-91
Michael Baumgartner, Timm Lampert:
Adequate formalization. 93-115
Kenneth Hobson:
Foundational beliefs and the structure of justification. 117-139
Thomas Müller, Nuel Belnap, Kohei Kishida:
Funny business in branching space-times: infinite modal correlations. 141-159

Thomas A. C. Reydon:
Species in three and four dimensions. 161-184
Kevin McCain:
The virtues of epistemic conservatism. 185-200
G. Schurz:
Patterns of abduction. 201-234
John Robert Gareth Williams:
Gavagai again. 235-259
Ross Paul Cameron:
Truthmakers and modality. 261-280
Kai Draper, Joel Pust:
Diachronic Dutch Books and Sleeping Beauty. 281-287
Charles Pelling:
Exactness, inexactness, and the non-transitivity of perceptual indiscriminability. 289-312

Interpolations. Essays in Honor of William Craig

Paolo Mancosu:
Introduction: Interpolations - Essays in honor of William Craig. 313-319
William Craig:
Elimination problems in logic: a brief history. 321-332
William Craig:
The road to two theorems of logic. 333-339
Solomon Feferman:
Harmonious logic: Craig's interpolation theorem and its descendants. 341-357
William Demopoulos:
Some remarks on the bearing of model theory on the theory of theories. 359-383
Michael Friedman:
Wissenschaftslogik : The role of logic in the philosophy of science. 385-400
Jouko Väänänen:
The Craig Interpolation Theorem in abstract model theory. 401-420
Giovanna D'Agostino:
Interpolation in non-classical logics. 421-435
Gerard R. Renardel de Lavalette:
Interpolation in computing science: the semantics of modularization. 437-450
Johan van Benthem:
The many faces of interpolation. 451-460