SYNTHESE
2008
13 years 11 months ago
2008
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...
SYNTHESE
2008
13 years 11 months ago
2008
SYNTHESE
2008
13 years 11 months ago
2008
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...
SYNTHESE
2008
13 years 11 months ago
2008
SYNTHESE
2008
13 years 11 months ago
2008
SYNTHESE
2008
13 years 11 months ago
2008
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...
SYNTHESE
2008
13 years 11 months ago
2008
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...
SYNTHESE
2008
13 years 11 months ago
2008
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...
SYNTHESE
2008
13 years 11 months ago
2008
SYNTHESE
2008
13 years 11 months ago
2008
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...