Sciweavers

393 search results - page 27 / 79
» synthese 2008
Sort
View
SYNTHESE
2008
88views more  SYNTHESE 2008»
15 years 1 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
88views more  SYNTHESE 2008»
15 years 1 months ago
The pathology of validity
Abstract Stephen Read has presented an argument for the inconsistency of the concept of validity. We extend Read's results and show that this inconsistency is but one half of ...
James A. Woodbridge, Bradley Armour-Garb
SYNTHESE
2008
84views more  SYNTHESE 2008»
15 years 1 months ago
Model structure adequacy analysis: selecting models on the basis of their ability to answer scientific questions
Models carry the meaning of science. This puts a tremendous burden on the process of model selection. In general practice, models are selected on the basis of their relative goodne...
Mark L. Taper, David F. Staples, Bradley B. Shepar...
115
Voted
SYNTHESE
2010
89views more  SYNTHESE 2010»
15 years 10 days ago
Proclus on the order of philosophy of nature
In this paper I show that Proclus is an adherent of the Classical Model of Science as set out elsewhere in this issue (de Jong and Betti 2008), and that he adjusts certain conditio...
Marije Martijn
SYNTHESE
2010
68views more  SYNTHESE 2010»
15 years 10 days ago
Informational versus functional theories of scientific representation
Recent work in the philosophy of science has generated an apparent conflict between theories attempting to explicate the nature of scientific representation. On one side, there are...
Anjan Chakravartty