Ramsey Sentences

This paper is a review of work on Newman's objection to epistemic structural realism (ESR). In Section 2, a brief statement of ESR is provided. In Section 3, Newman's objection and its recent variants are outlined. In Section 4, two responses that argue that the objection can be evaded by abandoning the Ramsey-sentence approach to ESR are considered. In Section 5, three responses that have been put forward specifically to rescue the Ramsey-sentence approach to ESR from the modern versions of (...) the objection are discussed. Finally, in Section 6, three responses are considered that are neutral with respect to one's approach to ESR and all argue (in different ways) that the objection can be evaded by introducing the notion that some relations/structures are privileged over others. It is concluded that none of these suggestions is an adequate response to Newman's objection, which therefore remains a serious problem for ESRists. Introduction Epistemic Structural Realism 2.1 Ramsey-sentences and ESR 2.2 WESR and SESR The Objection 3.1 Newman's version 3.2 Demopoulos and Friedman's and Ketland's versions Replies that Abandon the Ramsey-Sentence Approach to ESR 4.1 Redhead's reply 4.2 French and Ladyman's reply Replies Designed to Rescue the Ramsey-Sentence Approach 5.1 Zahar's reply 5.2 Cruse's reply 5.3 Melia and Saatsi's reply Replies that Argue that Some Structures/Relations are Privileged 6.1 A Carnapian reply 6.2 Votsis' reply 6.3 The Merrill/Lewis/Psillos reply Summary CiteULike Connotea Del.icio.us What's this? (shrink)

In his contribution, Mark Alfano lays out a new (to virtue theory) naturalistic way of determining what the virtues are, what it would take for them to be realized, and what it would take for them to be at least possible. This method is derived in large part from David Lewis’s development of Frank Ramsey’s method of implicit definition. The basic idea is to define a set of terms not individually but in tandem. This is accomplished by assembling all and (...) only the common sense platitudes that involve them (e.g., typically, people want to be virtuous), conjoining those platitudes, and replacing the terms in question by existentially quantified variables. If the resulting sentence is satisfied, then whatever satisfies are the virtues. If it isn’t satisfied, there are a couple of options. First, one could just admit defeat by saying that people can’t be virtuous. More plausibly, one could weaken the conjunction by dropping a small number of the platitudes from it (and potentially adding some others). Alfano suggests that the most attractive way to do this is by dropping the platitudes that deal with cross-situational consistency and replacing them with platitudes that involve social construction: basically, people are virtuous (when they are) at least in part because other people signal their expectations of virtuous conduct, which induces virtuous conduct, which in turn induces further signals of expected virtuous conduct, and so on. (shrink)

Modal logic has been applied in many different areas, as reasoning about time, knowledge and belief, necessity and possibility, to mention only some examples. In the present paper, an attempt is made to use modal logic to account for the semantics of theoretical sentences in scientific language. Theoretical sentences have been studied extensively since the work of Ramsey and Carnap. The present attempt at a modal analysis is motivated by there being several intended interpretations of the theoretical terms once these (...) terms are introduced through the axioms of a theory. (shrink)

The meaning of scientific propositions is not always expressible in terms of observable phenomena. Such propositions involve generalizations, and also terms that are theoretical constructs. I study here how to assess the meaning of scientific propositions, that is, the specific import of theoretical terms. Empiricists have expressed a concern that scientific propositions, and theoretical terms, should always be, to some degree, related to observable consequences. We can see that the former empiricist criterion of meaning only implies for theoretical terms not (...) to be definable in terms of observable, but that their use put a constraint on the observable consequences of a theory. To that effect, Ramsey's method of formal elimination of theoretical terms can be an interesting tool. It has faced important logical objections, which have mostly been addressed with respect to the problem of the ontological commitment of the second-order quantification they imply. I show here that these criticisms can be overcome, and that there can be a successful Ramsey elimination of theoretical terms with first order sentences, making Ramsey's method a relevant tool to assess the empirical meaning of scientific propositions. (shrink)

This paper argues that if a person's beliefs are idealized as a set of sentences (theoretical, observational, and mixed) then the device of Ramsey sentences provides a treatment, of the mind-brain problem, that has at least four noteworthy characteristics. First, sentences asserting correlations between one's own brain state and one's own "private" experiences are, on such treatment, reconstrued as neither causal, coreferential, nor as meaning postulates, but as clauses in an overall hypothesis (Ramsey sentence) whose only nonlogical constants have "private" (...) meanings. Second, sentences asserting psycho-physical correlations in general, or in other individuals, remain theoretical and susceptible to scientific reduction, though not prejudged to be so. Third, communication between persons having mutually exclusive, "private," observational vocabularies can be made intelligible. Fourth, it becomes possible in principle (though not necessary) that the world could ultimately be given a total description in a scientific language, $L_{\varnothing}$ , without mental primitives. However, such a language would be susceptible to interpretation by a given individual using a metalanguage whose primitives (not among those of $L_{\varnothing}$ ) were privately observational to that individual. His procedure in accomplishing such an interpretation would be to construct a Tarskian truth definition in a metalanguage $ML_{\varnothing}$ and then to incorporate it, by Ramsifying its descriptive terms, in his own overall Ramsey sentence. The physical language, $L_{\varnothing}$ , while not containing a person's primitives, would, of course, be able to define their physical correlates, thus providing a certain sort of mutual mirroring, and a certain sort of relativity. (shrink)

F. P. Ramsey pointed out in Theories that the observational content of a theory expressed partly in non-observational terms is retained in the sentence resulting from existentially generalizing the conjunction of all sentences of the theory with respect to all nonobservational terms. Such terms are thus avoidable in principle, but only at the cost of forming a single "monolithic" sentence. This paper suggests that communication may be thought of as occurring not only by sentence but by clause, a sentential formula (...) closed except for a special kind of variable. Understanding such clauses requires incorporating them within the scope of one's own Ramsey sentence. Many concepts of deductive and inductive logic carry over without great change. But the concepts of truth and designation are extendible to clauses only in the sense that assertions involving them must, to be understood, in turn be construed as clauses and incorporated into the Ramsey sentence. The behavior of these extended concepts of truth and designation suggests an explication of coherence truth within a correspondence-truth framework. (shrink)

‘Epistemic structural realism’ (ESR) insists that all that we know of the world is its structure, and that the ‘nature’ of the underlying elements remains hidden. With structure represented via Ramsey sentences, the question arises as to how ‘hidden natures’ might also be represented. If the Ramsey sentence describes a class of realisers for the relevant theory, one way of answering this question is through the notion of multiple realisability. We explore this answer in the context of the work of (...) Carnap, Hintikka and Lewis. Both Carnap and Hintikka offer clear structuralist perspectives which, crucially, accommodate the openness inherent in theory change. Unfortunately there is little purchase for a viable form of realism in either case. Lewis’s approach, on the other hand, offers more scope for realism but, as we shall see, concerns arise as to whether a relevant form of structuralism can be maintained. In particular his thesis of Ramseyan humility undermines certain conceptions of scientific laws that the structural realist might naturally cleave to. Our overall conclusion is that the representational device of Ramsey sentence plus multiple realisability can accommodate either the structuralist or realist aspects of ESR but has difficulties capturing both. (shrink)

A rational reconstruction of James's doctrine of pure experience is attempted, showing how it can be formulated in terms of a Ramsey sentence so that its credibility is comparable to contemporary functionalism about the mind. Whereas functionalism treats only mental predicates as theoretical terms and quantifies over physical objects, Jamesian 'global-functionalism' treats both mental and physical predicates as theoretical terms and quantifies over pure experience. Rehabilitated in this way, the doctrine of pure experience is a fit partner for Jamesian pragmatism. (...) When James says that pragmatism guides us in the course of our experience, this 'experience' must be understood as ultimately pure experience. Pure experience is just what appears, pre-conceptually, and Ramsey-sentence analysis shows how James's employment of the pre-conceptual demonstrative that can refer to pure experience with conditions of identity given by its physical or mental properties, while being itself 'colourless', neither mental nor physical. It is concluded that functionalists about the mind have reason to be global-functionalists about mind and body, in just the way that James's doctrine of pure experience lays out; and Jamesian pragmatists should also accept his radical empiricism. (shrink)

Recent essays by Michael Friedman1 and William Demopoulos2 on Carnap’s late approach to analyticity in the theoretical language make a convincing case for the continuing philosophic interest of this part of Carnap’s work. The present essay is intended not to disagree with any of these essays but to raise a logically prior worry as to whether Carnap’s account of analyticity here is well motivated and consistent with other attractive aspects of his view. To do this I outline, in §1, Frank (...) Ramsey’s approach to theories and the so-called Ramsey sentence. This will allow us to trace the steps by which Carnap came to use the Ramsey sentence in developing an account of analyticity for the theoretical language. Then, in §2, I articulate my own uneasiness with what I see as Carnap’s motivation. Finally, in §3, I express my practical reservations about how well Carnap’s approach fits with other aspects of his view. This is not intended as a refutation but rather as a reflection on how we can learn from Carnap and as a reminder of how much more we have to do. (shrink)

Several recent authors identify structural realism about scientific theories with the claim that the content of a scientific theory is expressible using its Ramsey sentence. Many of these authors have also argued that so understood, the view collapses into empiricist anti-realism, since an argument originally proposed by Max Newman in a review of Bertrand Russell’s The analysis of matter demonstrates that Ramsey sentences are trivially satisfied, and cannot make any significant claims about unobservables. In this paper I argue against both (...) of these claims. Structural realism and Ramsey sentence realism are, in their most defensible versions, importantly different doctrines, and neither is committed to the premises required to demonstrate that they collapse into anti-realism.Keywords: Ramsey sentence; Structural realism; Structuralism; Scientific realism. (shrink)

It is often thought that questions of reference are crucial in assessing scientific realism, construed as the view that successful theories are at least approximately true descriptions of the unobservable; realism is justified only if terms in empirically successful theories generally refer to genuinely existing entities or properties. In this paper this view is questioned. First, it is argued that there are good reasons to think that questions of realism are largely decided by convention and carry no epistemic significance. An (...) alternative conception of realism is then proposed, which focuses on the Ramsey sentences of scientific theories, constructed in the manner of David Lewis's 'How to define theoretical terms'. It is argued that because the Ramsey sentence of a theory preserves the epistemically significant part of the theory's content without generating commitments to any particular conclusions about reference, the realism issue is better addressed by asking whether Ramsey sentences of theories, rather than the theories themselves, are approximately true. (shrink)

Of the three views of theoretical knowledge which form the focus of this article, the first has its source in the work of Russell, the second in Ramsey, and the third in Carnap. Although very different, all three views subscribe to a principle I formulate as ‘the structuralist thesis’; they are also naturally expressed using the concept of a Ramsey sentence. I distinguish the framework of assumptions which give rise to the structuralist thesis from an unproblematic emphasis on the importance (...) of ‘structural’ differences for the analysis and interpretation of theories belonging to the exact sciences, and I review a number of logical properties of Ramsey sentences using very simple arithmetical theories and their models. I then develop a reconstruction of the views of Russell, Ramsey, and Carnap that clarifies the interrelationships among them by appealing to aspects of the arithmetical examples that inform my discussion of Ramsey sentences. I conclude with an account of the philosophical basis of the structuralist thesis and the fundamental difficulty to which it leads. (shrink)

The present paper offers some remarks on the significance of first order model theory for our understanding of theories, and more generally, for our understanding of the “structuralist” accounts of the nature of theoretical knowledge that we associate with Russell, Ramsey and Carnap. What is unique about the presentation is the prominence it assigns to Craig’s Interpolation Lemma, some of its corollaries, and the manner of their demonstration. They form the underlying logical basis of the analysis.

This paper concerns the rational reconstruction of physical theories initially advanced by F. P. Ramsey and later elaborated by Rudolf Carnap. The Carnap–Ramsey reconstruction of theoretical knowledge is a natural development of classical empiricist ideas, one that is informed by Russell's philosophical logic and his theories of propositional understanding and knowledge of matter ; as such, it is not merely a schematic representation of the notion of an empirical theory, but the backbone of a general account of our knowledge of (...) the physical world. Carnap–Ramsey is an illuminating approach to epistemological problems that remain with us, one whose difficulties are shared by accounts that have sought to replace it. 1 Introduction 2 Russell's theory of propositional understanding 3 Ramsey's primary and secondary systems 4 Carnap's reconstruction of the language of science and an observation of Newman 5 Extension of the foregoing to constructive empiricism 6 Putnam's model-theoretic argument and the semantic view of theories 7 The problem clarified and resolved. (shrink)

In this paper Rudolf Carnap's definition of 'analytic truth' based upon a meaning postulate At, for theoretical predicates of a given scientific theory is subjected to critique. It is argued that this definition is both too exclusive and too inclusive. Assuming that the preceding is correct, At is subjected to further scrutiny to determine how to interpret it and whether, and under what conditions, it need even be true. It is argued that a given At need not be true as (...) a sentence in a scientific theory and that it must be regarded as a confusedly presented rule for the same. It is then argued that even as a semantical rule for the theory, At cannot provide a guarantee of truth for some meaning postulate similar to At in the theory itself. It is thus argued that Carnap's definition of 'analytic truth' for theoretical predicates is unsatisfactory. (shrink)

Structural Realism (SSR), as embodied in the Ramsey-sentence H of a theory H, is defended against the view that H reduces to a trivial statement about the cardinally of the domain of H, a view which arises from ignoring the central role of observation within science. Putnam's theses are examined and shown to support rather than undermine SSR. Finally: in view of its synthetic character, applied mathematics must enter into the formulation of H and hence to be shown axiomatisable; this (...) is done in the Appendix, which is the most important part of the paper. (shrink)

Both realists and instrumentalists have found it difficult to understand (much less accept) Carnap's developed view on theoretical terms, which attempts to stake out a neutral position between realism and instrumentalism. I argue that Carnap's mature conception of a scientific theory as the conjunction of its Ramsey sentence and Carnap sentence can indeed achieve this neutral position. To see this, however, we need to see why the Newman problem raised in the context of recent work on structural realism is no (...) problem for Carnap's conception; and we also need to locate Carnap's work on theoretical terms within his wider program of Wissenschaftslogik or the logic of science. (shrink)

Carl Hempel introduced what he called "Craig's theorem" into the philosophy of science in a famous discussion of the "problem of theoretical terms." Beginning with Hempel's use of 'Craig's theorem," I shall bring out some of the key differences between Hempel's treatment of the "problem of theoretical terms" and Carnap's in order to illuminate the peculiar function of Wissenschaftslogik in Carnap's mature philosophy. Carnap's treatment, in particular, is fundamentally antimetaphysical—he aims to use the tools of mathematical logic to dissolve rather (...) solve traditional philosophical problems—and it is precisely this point that is missed by his logically-minded contemporaries such as Hempel and Quine. (shrink)

Everything you always wanted to know about structural realism but were afraid to ask Content Type Journal Article Pages 227-276 DOI 10.1007/s13194-011-0025-7 Authors Roman Frigg, Department of Philosophy, Logic and Scientific Method, London School of Economics and Political Science, Houghton Street, London, WC2A 2AE UK Ioannis Votsis, Philosophisches Institut, Heinrich-Heine-Universität Düsseldorf, Universitätsstraße 1, Geb. 23.21/04.86, 40225 Düsseldorf, Germany Journal European Journal for Philosophy of Science Online ISSN 1879-4920 Print ISSN 1879-4912 Journal Volume Volume 1 Journal Issue Volume 1, Number 2.

The goal of this article is to show that the structuralist approachprovides a powerful framework for the analysis of certain holistic phenomena in empirical theories.We focus on two aspects of holism. The first refers to the involvement of comprehensive complexes of hypothesesin the theoretical treatment of systems regarded in isolation. By contrast, the second refers to thecorrelation between the theoretical descriptions of different systems. It is demonstrated how these two aspectscan be analysed by making use of the structuralist notion of (...) theory-nets, and how they are reflected by a refinedversion of the Ramsey sentence. Furthermore, it is argued that there exists a tight correlation between theoccurrence of these two holistic phenomena, a specific form of underdetermination of terms which occur in thefundamental principles of an empirical theory, and the shaping of the theory's protective belt. After having dealtwith these questions in abstracto, the relevance of these considerations for a better understanding of the dynamicsof empirical theories is demonstrated in a concrete case study. It refers to the role holistic phenomenaplayed in the investigation of the anomalous advance of Mercury's perihelion and in the various attempts to eliminate this anomaly. (shrink)

Structural realism has been proposed as an epistemological position interpolating between realism and sceptical anti-realism about scientific theories. The structural realist who accepts a scientific theory thinks that is empirically correct, and furthermore is a realist about the ‘structural content’ of . But what exactly is ‘structural content’? One proposal is that the ‘structural content’ of a scientific theory may be associated with its Ramsey sentence (). However, Demopoulos and Friedman have argued, using ideas drawn from Newman's earlier criticism of (...) Russell's structuralism, that this move fails to achieve an interesting intermediate position between realism and anti-realism. Rather, () adds little content beyond the instrumentalistically acceptable claim that the theory is empirically adequate. Here, I formulate carefully the crucial claim of Demopoulos and Friedman, and show that the Ramsey sentence () is true just in case possesses a full model which is empirically correct and satisfies a certain cardinality condition on its theoretical domain. This suggests that structural realism is not a position significantly different from the anti-realism it attempts to distinguish itself from. Introduction Technical framework Ramsification Empirical adequacy Ramsification empirical adequacy + cardinality constraint Conclusion. (shrink)

Recent discussions of phenomenal consciousness have taken increased interest in the existence and scope of non-sensory types of phenomenology, notably so-called cognitive phenomenology. These discussions have been largely restricted, however, to the question of the existence of such a phenomenology. Little attention has been given to the character of cognitive phenomenology: what in fact is it like to engage in conscious cognitive activity? This paper offers an approach to this question. Focusing on the prototypical cognitive activity of making a judgment (...) that p, it proposes a characterization in terms of a Ramsey sentence comprised of twenty-three phenomenological platitudes about what it is like to make a judgment. (shrink)

Structural realism is considered by many realists and antirealists alike as the most defensible form of scientific realism. There are now many forms of structural realism and an extensive literature about them. There are interesting connections with debates in metaphysics, philosophy of physics and philosophy of mathematics. This entry is intended to be a comprehensive survey of the field.

The Cambridge philosopher Frank Ramsey died tragically in 1930 at the age of 26, but had already established himself as one of the most brilliant minds of the twentieth century. Besides groundbreaking work in philosophy, particularly in logic, language, and metaphysics, he created modern decision theory and made substantial contributions to mathematics and economics. In these original essays, written to commemorate the centenary of Ramsey's birth, a distinguished international team of contributors offer fresh perspectives on his work and show its (...) ongoing relevance to present-day concerns. (shrink)

The sheer multitude of criteria of empirical significance has been taken as evidence that the pre-analytic notion being explicated is too vague to be useful. I show instead that a significant number of these criteria—by Ayer, Popper, Przełęcki, Suppes, and David Lewis, among others—not only form a coherent whole, but also connect directly to the theory of definition, the notion of empirical content as explicated by Ramsey sentences, and the theory of measurement; two criteria by Carnap and Sober are trivial, (...) but can be saved and connected to the other criteria by slight modifications. A corollary is that the ordinary language defense of Lewis, the conceptual arguments by Ayer and Popper, the theoretical considerations by Przełęcki, and the practical considerations by Suppes all apply to the same criterion or closely related criteria. Furthermore, the equivalence of some criteria allows for their individual justifications to be taken cumulatively and, together with the entailment relations between nonequivalent criteria, suggest criteria for general auxiliary assumptions, comparative criteria, and more liberal conceptions of observation. (shrink)

Carnap suggests that philosophy can be construed as being engaged solely in conceptual engineering. I argue that since many results of the sciences can be construed as stemming from conceptual engineering as well, Carnap’s account of philosophy can be methodologically naturalistic. This is also how he conceived of his account. That the sciences can be construed as relying heavily on conceptual engineering is supported by empirical investigations into scientific methodology, but also by a number of conceptual considerations. I present a (...) new conceptual consideration that generalizes Carnap’s conditions of adequacy for analytic–synthetic distinctions and thus widens the realm in which conceptual engineering can be used to choose analytic sentences. I apply these generalized conditions of adequacy to a recent analysis of scientific theories and defend the relevance of the analytic–synthetic distinction against criticisms by Quine, Demopoulos, and Papineau. (shrink)

There are two ways of reading Newman’s objection to Russell’s structuralism. One assumes that according to Russell, our knowledge of a theory about the external world is captured by an existential generalization on all non-logical symbols of the theory. Under this reading, our knowledge amounts to a cardinality claim. Another reading assumes that our knowledge singles out a structure in Russell’s (and Newman’s) sense: a model theoretic structure that is determined up to isomorphism. Under this reading, our knowledge is far (...) from trivial, for it amounts to knowledge of the structure of the relations between objects, but not their identity. Newman’s objection is then but an expression of structural realism. Since therefore the content of theories is described by classes of structures closed under isomorphism, the most natural description of a theory in structural realism is syntactic. (shrink)

I show that the partial truth of a sentence in a partial structure is equivalent to the truth of that sentence in an expansion of a structure that corresponds naturally to the partial structure. Further, a mapping is a partial homomorphism/partial isomorphism between two partial structures if and only if it is a homomorphism/isomorphism between their corresponding structures. It is a corollary that the partial truth of a sentence in a partial structure is equivalent to the truth of a specific (...) Ramsey sentence in a corresponding structure. Hence the partial structures approach can be expressed in standard first or second-order model theory, and it can be captured in the received view on scientific theories as developed by Carnap and Hempel. (shrink)

Marian Przełęcki’s semantics for the Received View is a good explication of Carnap’s position on the subject, anticipates many discussions and results from both proponents and opponents of the Received View, and can be the basis for a thriving research program.

I provide a compact reformulation of Carnap’s conditions of adequacy for the analytic and the synthetic component of a theory and show that, contrary to arguments by Winnie and Demopoulos, Carnap’s conditions of adequacy need not be supplemented by another condition. This has immediate implications for the analytic component of reduction sentences.

The method of Ramsey sentences has been proposed for handling theoretical constructs within a scientific system. Essentially it consists of constructing a certain "monolithic" sentence for an entire theory. In this present paper several improvements are suggested which help to overcome some of the awkward features of the method. In particular we have here many Ramsey sentences rather than just one, each erstwhile primitive theoretical term giving rise to a Ramsey sentence. Such a sentence in effect defines what we call (...) a Ramsey constant. Using Ramsey constants, we attempt to improve the method in important logical and semantical respects. It is suggested also that such constants are of interest for the philosophy of mathematics. (shrink)

I offer a philosophically well-motivated solution to a problem that George Bealer has identified, which he claims is fatal to functionalism. The problem is that there seems to be no way to generate a satisfactory Ramsey sentence of a psychological theory in which mental-state predicates occur within the scopes of mental-state predicates. My central claim is that the functional roles in terms of which a creature capable of self-consciousness identifies her own mental states must be roles that items could play (...) within creatures whose psychology is less complex than hers. (Bealer’s reply to this paper appears in the same issue of Mind & Language.). (shrink)

John Worrall recently provided an account of epistemic structural realism, which explains the success of science by arguing for the correct mathematical structure of our theories. He accounts for the historical failures of science by pointing to bloated ontological interpretations of theoretical terms. In this paper I argue that Worrall’s account suffers from five serious problems. I also show that Pierre Cruse and David Papineau have developed a rival structural realism that solves all of the problems faced by Worrall. This (...) Ramsey-sentence realism is a significant advance in the debate, but still ultimately fails for its incomplete account of reference. (shrink)

This paper defends scientific realism from the pessimistic meta-induction from past reference failure. It allows that a descriptive theory of reference implies that scientific terms characteristically fail of determinate reference. But it argues that a descriptive theory of reference also implies an equivalence between scientific theories and quantificational claims in the style of Ramsey. Since these quantificational claims do not use any of the referentially suspect scientific terms, they can be approximately true even when those terms fail to refer determinately.Keywords: (...) Science; Realism; Ramsey sentences; Approximate truth; Reference. (shrink)

The main puzzle about theoretical definitions is that nothing seems to decide which assumptions contribute to such definitions and which do not. I argue that theoretical definitions are indeed imprecise, but that this does not normally matter, since the definitional imprecision does not normally produce indeterminacy of referential value. Sometimes, however, the definitional imprecision is less benign, and does generate referential indeterminacy. In these special cases, but not otherwise, it is necessary to refine the term's definition.