Carnap-Ramsey sentences

Carnap-Ramsey sentences

In philosophy, Carnap-Ramsey sentences refer to an attempt by logical positivist philosopher Rudolf Carnap to reconstruct theoretical propositions such that they gained empirical content.

For Carnap, questions such as: “Are electrons real?” and: “Can you prove electrons are real?” were not legitimate questions implying great philosophical/metaphysical import. They were meaningless "pseudo-questions without cognitive content,” asked from outside a language framework ofscience. Inside this framework, entities such as electrons or sound waves, and relations such as mass and force not only exist and have meaning, but are "useful" to the scientists who work with them. To accommodate such internal questions in a way that would justify their theoretical contentempirically – and to do so while maintaining a distinction between analytic and synthetic propositions – Carnap set out to develop a systematized way to consolidate theory and empirical observation in a meaningful language formula.

Carnap began by differentiating observable things from non-observable things. Immediately, a problem arises: neither the German nor the English language naturally distinguish predicate terms on the basis of an observational categorization. As Carnap admitted, "The line separating observable from non-observable is highly arbitrary." For example, the predicate "hot" can be perceived by touching a hand to a lighted coal. But "hot" might take place at such a microlevel (e.g., the theoretical "heat" generated by the production of proteins in a eukaryotic cell) thatit is virtually non-observable (at present). Physicist-philosopher Moritz Schlick characterized the difference linguistically, as the difference between the German verbs "kennen" (knowing as being acquainted with a thing – perception) and "erkennen" (knowing as understanding a thing – even ifnon-observable). This linguistic distinction may explain Carnap’s decision to divide the vocabulary into two artificial categories: a vocabulary of non-observable ("theoretical") terms (hereafter "VT"): i.e., terms we know of but are not acquainted with (erkennen), and a vocabulary of observable terms ("VO"), those terms we are acquainted with (kennen) and will accept arbitrarily. Accordingly, the terms thus distinguished were incorporated into comparable sentence structures: T-terms into Theoretical sentences (T-sentences); O-terms into Observational sentences (O-sentences).

The next step for Carnap was to connect these separate concepts by what he calls "Correspondence Rules" (C-rules), which are "mixed" sentences containing both T- and O-terms. Such a theory can be formulated as: T + C = df: the conjunction of T-postulates + the conjunction of C-rules – i.e., [(T_1 land T_2 land dots land T_n ) + ( C_1 land C_2 land dots land C_m )] . This can be further expanded to include class terms such as for the class of all molecules, relations such as "betweenness," and predicates: e.g., TC ( t1, t2, . . ., tn, o1, o2, . . ., om). Though this enabled Carnap to establish what it means for a theory to be "empirical," this sentence neither defines the T-terms explicitly nor draws anydistinction between its analytic and its synthetic content, therefore it was not yet sufficient for Carnap’s purposes.

In the theories of Frank P. Ramsey, Carnap found the method he needed to take the next step, which was to substitute variables for each T-term, then to quantify existentially all T-terms in both T-sentences and C-rules. The resulting "Ramsey sentence" effectively eliminated the T-terms as such, while still providing an account of the theory’s empirical content. The evolution of the formula proceeds thusly::Step 1 (empirical theory, assumed true): TC ( t1 . . . tn, o1 . . . om):Step 2 (substitution of variables for T-terms): TC (x1 . . . xn, o1 . . . om):Step 3 (exists-quantification of the variables): exists x_1 . . .exists x_n TC ( x_1 . . . x_n, o_1 . . . o_m).

Step 3 is the complete Ramsey sentence, expressed "RTC," and to be read: "There are some (unspecified) relations such that TC (x1 . . . xn, o1 . . . om) is satisfied when the variables are assigned these relations. (This is equivalent to an interpretation as an appropriate model: there are relations r1 . . . rn such that TC (x1 . . . xn, o1 . . . om) is satisfied when xi is assigned the value ri, and 1 leq i leq m.)

In this form, the Ramsey sentence captures the factual content of the theory. Though Ramsey believed this formulation was adequate to the needs of science, Carnap disagreed, with regard to a comprehensivereconstruction. In order to delineate a distinction between analytic and synthetic content, Carnap thought the reconstructed sentence would have to satisfy three desired requirements (desiderata):
# The factual (FT) component must be observationally equivalent to the original theory (TC).
# The analytic (AT) component must be observationally uninformative.
# The combination of FT and AT must be logically equivalent to the original theory – that is, F_T + A_T Leftrightarrow TC.

Desideratum 1 is satisfied by RTC in that the existential quantification of the T-terms does not change the logical truth (L-truth) of either statement, and the reconstruction FT has the same O-sentences as the theory itself, hence RTC is observationally equivalent to TC : (i.e., forevery O-sentence: O, [TC models O Leftrightarrow ^{R}TC models O] ). As stated, however, Desiderata 2 and 3 remain unsatisfied. That is, taken individually, AT does contain observational information (such-and-such a theoretical term is observed to do such-and-such, or hold such-and-such a relation); and AT does not necessarily follow from FT.Carnap’s solution is to make the two statements conditional. If there are some relations such that [TC (x1 . . . xn, o1 . . . om)] is satisfied when the variables are assigned some relations, then the relations assigned to those variables by the original theory will satisfy [TC (t1 . . . tn, o1 . . . om)] – or: RTC → TC. This brilliant move satisfies both remaining desiderata and effectively creates a distinction between the total formula’s analytic and synthetic components. Specifically, for Desideratum 2: The conditional sentence does not make any information claim about the O-sentences in TC, it states only that "if" the variables in are satisfied by the relations, "then" the O-sentences will be true. This means that every O-sentence in TC that is logically implied by the sentence RTC → TC is L-true (i.e., every O-sentence in AT is true or not-true: the metal expands or it does not; the chemical turns blue or it does not, etc.). Thus TC can be taken as the non-informative (i.e., non-factual) component of the statement, or AT. Desideratum 3 is satisfied by inference: given AT, infer FT → AT. This makes AT + FT nothing more than a reformulation of the original theory, hence AT  FT TC.

Finally, the all-important requirement for an analytic-synthetic distinction is clearly met by using two distinct processes in the formulation: drawing an empirical connection between the statement’sfactual content and the original theory (observational equivalence), and by requiring the analytic content to be observationally non-informative. Of course, Carnap’s reconstruction as it is given here is not intended to be a literal method for formulating scientific propositions. To capture what Pierre Duhem would call the entire "holistic" universe relating to any specified theory would require long and complicated renderings of RTC → TC. Instead, it is to be taken as demonstrating logically that there is a way that science could formulate empirical, observational explications of theoretical concepts – and in that context the Ramsey-Carnap structure can be said to provide a formal justificatorydistinction between scientific observation and metaphysical inquiry. The Ramsey-Carnap formulation is, of course, not inviolate. Among its critics are John Winnie, who extended the desiderata to include an"observationally non-creative" restriction on Carnap’s AT – and both Quine and Hempel attacked Carnap’s initial assumptions by emphasizing theambiguity that persists between observable and non-observable terms. Nonetheless, the Carnap-Ramsey construct was an interesting attempt to draw a substantive line between science and metaphysics.

Works Cited

*Carnap, R. "Theoretical Concepts in Science," with introduction by Psillos, S. "Studies in History and Philosophy of Science Part A"
*Carnap, R. (1966) "An Introduction to the Philosophy of Science" (esp. Parts III, and V), ed. Martin Gardner. Dover Publications, New York. 1995.
*Carnap, R. (1950) "Empiricism, Sematics, and Ontology," in Moser & Nat, "Human Knowledge" Oxford Univ. Press. (2003).
*Demopoulos, W. "Carnap on the Reconstruction of the Language of Physics," "The Cambridge Companion to Carnap", eds. R. Creath and M. Friedman.
*Moser, P.K. and vander Nat, A. (2003) "Human Knowledge" Oxford Univ. Press.
*Schlick, Moritz (1918) "General Theory of Knowledge" (Allegemeine Erkenntnislehre). Trans. Albert Blumberg. Open Court Publishing, Chicago/La Salle, IL. (2002).


Wikimedia Foundation. 2010.

Игры ⚽ Нужна курсовая?

Look at other dictionaries:

  • Correspondence rules — This article is about correspondence rules in quantum physics. For their role in philosophy of science, see Carnap Ramsey sentences. In quantum mechanics, correspondence rules refers to the principle of replacing physical quantities with… …   Wikipedia

  • Tractatus Logico-Philosophicus — is the only book length work published by Austrian philosopher Ludwig Wittgenstein. He wrote it as a soldier and a prisoner of war during World War I. First published in German in 1921 as Logisch Philosophische Abhandlung , it is now widely… …   Wikipedia

  • Truth — For other uses, see Truth (disambiguation). Time Saving Truth from Falsehood and Envy, François Lemoyne, 1737 Truth has a variety of meanings, such as the state of being in accord with fact or reality …   Wikipedia

  • Vienna Circle — The Vienna Circle (in German: der Wiener Kreis) was a group of philosophers who gathered around Moritz Schlick when he was called to the Vienna University in 1922, organized in a philosophical association named Verein Ernst Mach (Ernst Mach… …   Wikipedia

  • Deflationary theory of truth — A deflationary theory of truth is one of a family of theories which all have in common the claim that assertions that predicate truth of a statement do not attribute a property called truth to such a statement. Contents 1 Redundancy theory 2… …   Wikipedia

  • Philosophical analysis — (from Greek: Φιλοσοφική ανάλυση) is a general term for techniques typically used by philosophers in the analytic tradition that involve breaking down (i.e. analyzing) philosophical issues. Arguably the most prominent of these techniques is the… …   Wikipedia

  • Donald Davidson (philosopher) — Donald Herbert Davidson Portrait of Donald Davidson by the photographer Steve Pyke in 1990. Full name Donald Herbert Davidson Born 6 March 1917(1917 03 06) Springfield, Massachusetts …   Wikipedia

  • Probability interpretations — The word probability has been used in a variety of ways since it was first coined in relation to games of chance. Does probability measure the real, physical tendency of something to occur, or is it just a measure of how strongly one believes it… …   Wikipedia

  • Philosophical Investigations — This article is about the philosophy of Wittgenstein. For other uses of Philosophical Investigation or Philosophical Investigations, see Philosophical Investigations (disambiguation). Philosophical Investigations   …   Wikipedia

  • PHILOSOPHIE ANALYTIQUE — Des philosophes se sont dits et se disent encore analystes, à Cambridge, Lwow, Varsovie, Vienne, Prague, Oxford, Pittsburgh, Princeton... Avec l’appellation, ils ont en commun l’idée qu’un certain type d’analyse est philosophique, voire que la… …   Encyclopédie Universelle

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”