Synthese library : studies in epistemology, logic, methodology, and philosophy of science ;