Sciweavers

Share
SYNTHESE
2008
83views more  SYNTHESE 2008»
9 years 5 months ago
The early Russell on the metaphysics of substance in Leibniz and Bradley
While considerable ink has been spilt over the rejection of idealism by Bertrand Russell and G.E. Moore at the end of the 19th Century, relatively little attention has been directe...
T. Allan Hillman
SYNTHESE
2008
51views more  SYNTHESE 2008»
9 years 5 months ago
Rebutting formally valid counterexamples to the Humean "is-ought" dictum
Various formally valid counterexamples have been adduced against the Humean dictum that one cannot derive an "ought" from an "is." There are formal rebuttals--s...
Daniel Guevara
SYNTHESE
2008
53views more  SYNTHESE 2008»
9 years 5 months ago
Truthmakers and modality
Ross Paul Cameron
SYNTHESE
2008
81views more  SYNTHESE 2008»
9 years 5 months ago
Adequate formalization
This article identifies problems with regard to providing criteria that regulate the matching of logical formulae and natural language. We then take on to solve these problems by d...
Michael Baumgartner, Timm Lampert
SYNTHESE
2008
88views more  SYNTHESE 2008»
9 years 5 months ago
Interpolation in computing science: the semantics of modularization
The Interpolation Theorem, first formulated and proved by W. Craig fifty years ago for predicate logic, has been extended to many other logical frameworks and is being applied in s...
Gerard R. Renardel de Lavalette
SYNTHESE
2008
68views more  SYNTHESE 2008»
9 years 5 months ago
The many faces of interpolation
We present a number of, somewhat unusual, ways of describing what Craig's interpolation theorem achieves, and use them to identify some open problems and further directions. K...
Johan van Benthem
SYNTHESE
2008
62views more  SYNTHESE 2008»
9 years 5 months ago
Funny business in branching space-times: infinite modal correlations
Thomas Müller, Nuel Belnap, Kohei Kishida
SYNTHESE
2008
99views more  SYNTHESE 2008»
9 years 5 months ago
Gavagai again
Quine (1960, ch.2) claims that there are a variety of equally good schemes for translating or interpreting ordinary talk. `Rabbit' might be taken to divide its reference over...
John Robert Gareth Williams
books