A major debate in the philosophy of biology centers on the question of how we should understand the causal structure of natural selection. This debate is polarized into the causal and statistical positions. The main arguments from the statistical side are that a causal construal of the theory of natural selection's central concept, fitness, either (i) leads to inaccurate predictions about population dynamics, or (ii) leads to an incoherent set of causal commitments. In this essay, I argue that neither the (...) predictive inaccuracy nor the incoherency arguments successfully undermine the causal account of fitness. 1 Introduction2 The Importance of Trait Fitness3 Trait Fitness is not a Silver Bullet4 The Fundamental Incoherency Argument5 Car Racing and Trait Fitness Reversals6 Population Subdivisions and Evolution7 The STP and the Argument for the Incoherency of the Causal Account of Fitness8 Conclusions. (shrink)
Fitness is a central theoretical concept in evolutionary theory. Despite its importance, much debate has occurred over how to conceptualize and formalize fitness. One point of debate concerns the roles of organismic and trait fitness. In a recent addition to this debate, Elliott Sober argues that trait fitness is the central fitness concept, and that organismic fitness is of little value. In this paper, by contrast, we argue that it is organismic fitness that lies at the bases of both the (...) conceptual role of fitness and its role as a measure of evolutionary dynamics. (shrink)
Haack, S. Is truth flat or bumpy?--Chihara, C. S. Ramsey 's theory of types.--Loar, B. Ramsey 's theory of belief and truth.--Skorupski, J. Ramsey on Belief.--Hookway, C. Inference, partial belief, and psychological laws.--Skyrms, B. Higher order degrees of belief.--Mellor, D. H. Consciousness and degrees of belief.--Blackburn, S. Opinions and chances.--Grandy, R. E. Ramsey, reliability, and knowledge.--Cohen, L. J. The problem of natural laws.--Giedymin, J. Hamilton's method in geometrical optics and Ramsey 's view of theories.
This article rebuts Ramsey's earlier theory, in 'Universals of Law and of Fact', of how laws of nature differ from other true generalisations. It argues that our laws are rules we use in judging 'if I meet an F I shall regard it as a G'. This temporal asymmetry is derived from that of cause and effect and used to distinguish what's past as what we can know about without knowing our present intentions.
Frank Ramsey was the greatest of the remarkable generation of Cambridge philosophers and logicians which included G. E. Moore, Bertrand Russell, Ludwig Wittgenstein and Maynard Keynes. Before his tragically early death in 1930 at the age of twenty-six, he had done seminal work in mathematics and economics as well as in logic and philosophy. This volume, with a new and extensive introduction by D. H. Mellor, contains all Ramsey's previously published writings on philosophy and the foundations of mathematics. (...) The latter gives the definitive form and defence of the reduction of mathematics to logic undertaken in Russell and Whitehead's Principia Mathematica; the former includes the most profound and original studies of universals, truth, meaning, probability, knowledge, law and causation, all of which are still constantly referred to, and still essential reading for all serious students of these subjects. (shrink)
We investigate a variant of the variable convention proposed at Tractatus 5.53ff for the purpose of eliminating the identity sign from logical notation. The variant in question is what Hintikka has called the strongly exclusive interpretation of the variables, and turns out to be what Ramsey initially (and erroneously) took to be Wittgenstein's intended method. We provide a tableau calculus for this identity-free logic, together with soundness and completeness proofs, as well as a proof of mutual interpretability with first-order (...) logic with identity. (shrink)
Frank Ramsey was a brilliant Cambridge philosopher, mathematician, and economist who died in 1930 at 26 having made landmark contributions to decision theory, game theory, mathematics, logic, semantics, philosophy of science, and the theory of truth. This rich biography tells the story of his extraordinary life and intellectual achievement.
The book introduces Ramsey's main doctrines and assesses their contemporary significance. In particular, Jérôme Dokic and Pascal Engel are interested in Ramsey's thoughts on truth and belief, and his pragmatic thesis that the truth of one's beliefs guarantees the success of one's actions. From this, it is a short step to what may be called "Ramsey's principle": the content of a belief is constituted by the success of one's actions. This principle finds its current expression in the (...) work of philosophers who offer evolutionary conceptions of mental states, according to which the success conditions of a belief are constituted by its biological functions. (shrink)
Frank Ramsey's ‘Truth and Probability’ sketches a proposal for the empirical measurement of credences, along with a corresponding set of axioms for a representation theorem intended to characterize the preference conditions under which this measurement process is applicable. There are several features of Ramsey's formal system which make it attractive and worth developing. However, in specifying his measurement process and his axioms, Ramsey introduces the notion of an ethically neutral proposition, the assumed existence of which plays a (...) key role throughout Ramsey's system. A number of later representation theorems have also appealed to ethically neutral propositions. The notion of ethical neutrality has often been called into question — in fact, there seem to be good reasons to suppose that no ethically neutral propositions exist. In this paper, I present several new, Ramsey-inspired representation theorems that avoid any appeal to ethical neutrality. These theorems preserve the benefits of Ramsey's system, without paying the cost of ethical neutrality. (shrink)
Cognitive representation is the single most important explanatory notion in the sciences of the mind and has served as the cornerstone for the so-called 'cognitive revolution'. This book critically examines the ways in which philosophers and cognitive scientists appeal to representations in their theories, and argues that there is considerable confusion about the nature of representational states. This has led to an excessive over-application of the notion - especially in many of the fresher theories in computational neuroscience. Representation Reconsidered shows (...) how psychological research is actually moving in a non-representational direction, revealing a radical, though largely unnoticed, shift in our basic understanding of how the mind works. (shrink)
In contemporary discussions of the Ramsey Test for conditionals, it is commonly held that (i) supposing the antecedent of a conditional is adopting a potential state of full belief, and (ii) Modus Ponens is a valid rule of inference. I argue on the basis of Thomason Conditionals (such as ' If Sally is deceiving, I do not believe it') and Moore's Paradox that both claims are wrong. I then develop a double-indexed Update Semantics for conditionals which takes these two (...) results into account while doing justice to the key intuitions underlying the Ramsey Test. The semantics is extended to cover some further phenomena, including the recent observation that epistemic modal operators give rise to something very like, but also very unlike, Moore's Paradox. (shrink)
Hindman’s theorem says that every finite coloring of the natural numbers has a monochromatic set of finite sums. A Ramsey algebra is a structure that satisfies an analogue of Hindman’s theorem. In this paper, we present the basic notions of Ramsey algebras by using terminology from mathematical logic. We also present some results regarding classification of Ramsey algebras.
Most causal discovery algorithms in the literature exploit an assumption usually referred to as the Causal Faithfulness or Stability Condition. In this paper, we highlight two components of the condition used in constraint-based algorithms, which we call “Adjacency-Faithfulness” and “Orientation- Faithfulness.” We point out that assuming Adjacency-Faithfulness is true, it is possible to test the validity of Orientation- Faithfulness. Motivated by this observation, we explore the consequence of making only the Adjacency-Faithfulness assumption. We show that the familiar PC algorithm has (...) to be modified to be correct under the weaker, Adjacency-Faithfulness assumption. The modified algorithm, called Conservative PC (CPC), checks whether Orientation- Faithfulness holds in the orientation phase, and if not, avoids drawing certain causal conclusions the PC algorithm would draw. Howtion: ever, if the stronger, standard causal Faith-. (shrink)
This book attempts to explicate and expand upon Frank Ramsey's notion of the realistic spirit. In so doing, it provides a systematic reading of his work, and demonstrates the extent of Ramsey's genius as evinced by both his responses to the Tractatus Logico-Philosophicus , and the impact he had on Wittgenstein's later philosophical insights.
Can an agent deliberating about an action A hold a meaningful credence that she will do A? 'No', say some authors, for 'Deliberation Crowds Out Prediction' (DCOP). Others disagree, but we argue here that such disagreements are often terminological. We explain why DCOP holds in a Ramseyian operationalist model of credence, but show that it is trivial to extend this model so that DCOP fails. We then discuss a model due to Joyce, and show that Joyce's rejection of DCOP rests (...) on terminological choices about terms such as 'intention', 'prediction', and 'belief'. Once these choices are in view, they reveal underlying agreement between Joyce and the DCOP-favouring tradition that descends from Ramsey. Joyce's Evidential Autonomy Thesis (EAT) is effectively DCOP, in different terminological clothing. Both principles rest on the so-called 'transparency' of first-person present-tensed reflection on one's own mental states. (shrink)
Frank Ramsey (1931) wrote: If two people are arguing 'if p will q?' and both are in doubt as to p, they are adding p hypothetically to their stock of knowledge and arguing on that basis about q. We can say that they are fixing their degrees of belief in q given p. Let us take the first sentence the way it is often taken, as proposing the following test for the acceptability of an indicative conditional: ‘If p then (...) q’ is acceptable to a subject S iff, were S to accept p and consider q, S would accept q. Now consider an indicative conditional of the form (1) If p, then I believe p. Suppose that you accept p and consider ‘I believe p’. To accept p while rejecting ‘I believe p’ is tantamount to accepting the Moore-paradoxical sentence ‘p and I do not believe p’, and so is irrational. To accept p while suspending judgment about ‘I believe p’ is irrational for similar reasons. So rationality requires that if you accept p and consider ‘I believe p’, you accept ‘I believe p’. (shrink)
According to philosophical folklore Ramsey maintained three propositions in his famous 1925 paper “Universals”: (i) there is no subject-predicate distinction; (ii) there is no particular-universal distinction; (iii) there is no particular-universal distinction because there is no subject-predicate distinction. The ‘first generation’ of Ramsey commentators dismissed “Universals” because they held that whereas predicates may be negated, names may not and so there is a subject-predicate distinction after all. The ‘second generation’ of commentators dismissed “Universals because they held that the (...) absence of a merely linguistic distinction between subject and predicate does not provide any kind of reason for doubting that a truly ontological (i.e. non-linguistic) distinction obtains between particulars and universals. But both first and second-generation criticisms miss their marks because Ramsey did not maintain the three identified propositions. The failure of commentators to appreciate the point and purpose of the position Ramsey actually advanced in “Universals” results from (a) failing to consider the range of different arguments advanced there, (b) looking at “Universals” in isolation from Ramsey’s other papers and (c) failing to consider Ramsey’s writings in the context of the views that Russell and Wittgenstein held during the early 1920s. Seen from this wider perspective Ramsey arguments in “Universals” take on an altogether different significance. They not only anticipate important contemporary developments⎯the resurgence of Humeanism and the doctrine that the existence of universals can only be established a posteriori⎯but also point beyond them. (shrink)
According to the Ramsey Test, conditionals reflect changes of beliefs: α > β is accepted in a belief state iff β is accepted in the minimal revision of it that is necessary to accommodate α. Since Gärdenfors’s seminal paper of 1986, a series of impossibility theorems (“triviality theorems”) has seemed to show that the Ramsey test is not a viable analysis of conditionals if it is combined with AGM-type belief revision models. I argue that it is possible to (...) endorse that Ramsey test for conditionals while staying true to the spirit of AGM. A main focus lies on AGM’s condition of Preservation according to which the original belief set should be fully retained after a revision by information that is consistent with it. I use concrete representations of belief states and (iterated) revisions of belief states as semantic models for (nested) conditionals. Among the four most natural qualitative models for iterated belief change, two are identified that indeed allow us to combine the Ramsey test with Preservation in the language containing only flat conditionals of the form α > β. It is shown, however, that Preservation for this simple language enforces a violation of Preservation for nested conditionals of the form α > (β > γ). In such languages, no two belief sets are ordered by strict subset inclusion. I argue that it has been wrong right from the start to expect that Preservation holds in languages containing nested conditionals. (shrink)
In various contexts and for various reasons, writers often define cognitive processes and architectures as those involving representational states and structures. Similarly, cognitive theories are also often delineated as those that invoke representations. In this paper, I present several reasons for rejecting this way of demarcating the cognitive. Some of the reasons against defining cognition in representational terms are that doing so needlessly restricts our theorizing, it undermines the empirical status of the representational theory of mind, and it encourages wildly (...) deflationary and explanatorily vacuous conceptions of representation. After criticizing this outlook, I sketch alternative ways we might try to capture what is distinctive about cognition and cognitive theorizing. (shrink)
I am not so insular and I hope not so presumptuous as to suppose that there is no contemporary philosophy apart from that empiricism which dominates very much of Great Britain, North America and Scandinavia. So let us notice that contemporary philosophy embraces broadly three points of view, though it will be part of my argument that they largely combine in the lessons they have to teach us, and in many of their implications for theology.
This note is a postscript to Ramsey's 'Truth and Probability'. It replaces that article's psychological reading of subjective probability with a reading of it as a consistency condition on the theory that we act to maximise expected utility.
In the literature over the Ramsey-sentence approach to structural realism, there is often debate over whether structural realists can legitimately restrict the range of the second-order quantifiers, in order to avoid the Newman problem. In this paper, I argue that even if they are allowed to, it won’t help: even if the Ramsey sentence is interpreted using such restricted quantifiers, it is still an implausible candidate to capture a theory’s structural content. To do so, I use the following (...) observation: if a Ramsey sentence did encode a theory’s structural content, then two theories would be structurally equivalent just in case they have logically equivalent Ramsey sentences. I then argue that this criterion for structural equivalence is implausible, even where frame or Henkin semantics are used. (shrink)
The philosophy of cognitive science has recently become one of the most exciting and fastest growing domains of philosophical inquiry and analysis. Until the early 1980s, nearly all of the models developed treated cognitive processes -- like problem solving, language comprehension, memory, and higher visual processing -- as rule-governed symbol manipulation. However, this situation has changed dramatically over the last half dozen years. In that period there has been an enormous shift of attention toward connectionist models of cognition that are (...) inspired by the network-like architecture of the brain. Because of their unique architecture and style of processing, connectionist systems are generally regarded as radically different from the more traditional symbol manipulation models. This collection was designed to provide philosophers who have been working in the area of cognitive science with a forum for expressing their views on these recent developments. Because the symbol-manipulating paradigm has been so important to the work of contemporary philosophers, many have watched the emergence of connectionism with considerable interest. The contributors take very different stands toward connectionism, but all agree that the potential exists for a radical shift in the way many philosophers think of various aspects of cognition. Exploring this potential and other philosophical dimensions of connectionist research is the aim of this volume. (shrink)
This paper addresses the strength of Ramsey's theorem for pairs ($RT^2_2$) over a weak base theory from the perspective of 'proof mining'. Let $RT^{2-}_2$ denote Ramsey's theorem for pairs where the coloring is given by an explicit term involving only numeric variables. We add this principle to a weak base theory that includes weak König's Lemma and a substantial amount of $\Sigma^0_1$-induction (enough to prove the totality of all primitive recursive functions but not of all primitive recursive functionals). (...) In the resulting theory we show the extractability of primitive recursive programs and uniform bounds from proofs of $\forall\exists$-theorems. There are two components of this work. The first component is a general proof-theoretic result, due to the second author, that establishes conservation results for restricted principles of choice and comprehension over primitive recursive arithmetic PRA as well as a method for the extraction of primitive recursive bounds from proofs based on such principles. The second component is the main novelty of the paper: it is shown that a proof of Ramsey's theorem due to Erdős and Rado can be formalized using these restricted principles. So from the perspective of proof unwinding the computational content of concrete proofs based on $RT^2_2$ the computational complexity will, in most practical cases, not go beyond primitive recursive complexity. This even is the case when the theorem to be proved has function parameters f and the proof uses instances of $RT^2_2$ that are primitive recursive in f. (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)
In this paper, I explore the implications of recent empirical research on concept representation for the philosophical enterprise of conceptual analysis. I argue that conceptual analysis, as it is commonly practiced, is committed to certain assumptions about the nature of our intuitive categorization judgments. I then try to show how these assumptions clash with contemporary accounts of concept representation in cognitive psychology. After entertaining an objection to my argument, I close by considering ways in which conceptual analysis might be altered (...) to accord better with the empirical work. (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)