Abstract

1. Ramsey Sentences and the Function of Theoretical Concepts. In his famous paper “Theories,” Frank Ramsey (1931, 212–236; 1978, Ch. 4) introduced a technique of examining a scientific theory by means of certain propositions, dubbed later “Ramsey Sentences.” They are the results of what is often called Ramsey elimination. This prima facie elimination is often presented as a method of dispensing with theoretical concepts in scientific theorizing. The idea is this: Assume that we are given a finitely axiomatized scientific theorywhereO1,O2,… arethe primitive observation terms (individual constants, predicate constants, function constants, etc.) of (1) andH1,H2, … its primitive theoretical terms. For simplicity, it will be assumed that (1) is a first-order theory. Since it is finitely axiomatizable, we may think of it as having the form of a single complex proposition, i.e., the conjunction of all the axioms. What can then be done is to generalize existentially with respect to (1). The result is a sentence of the formIn (2), the theoretical termsH1,H2, … do not occur any longer. They have been replaced by the variablesX1,X2, … bound to initial existential quantifiers. In this sense at least, Ramsey sentences do effect on elimination. Unlike (1), (2) is not a first-order sentence but a second-order one.

Full Text
Paper version not known

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call

Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.