No chance of seeing her for another fortnight and it is 11 days since I saw her. Went solitary walk felt miserable but to some extent staved it off by reflecting on |$\langle$|Continuum Problem|$\rangle$|1The occasion for this review article on the life and accomplishments of Frank Ramsey is the publication in the last eight years of three important books: a biography of Frank Ramsey by his sister, Margaret Paul, a book by Steven Methven on aspects of Ramsey’s philosophy, and the (...) recent biography of Ramsey written by Cheryl Misak. In a companion piece [Mancosu, 2020] I discuss Ramsey’s contacts with logicians in continental Europe and publish previously unpublished letters from Ramsey to Abraham Fraenkel and to Heinrich Behmann.1. INTRODUCTIONFrank Plumpton Ramsey (1903–1930) will be well known to the readers of this journal. His contributions to philosophy, mathematics, and economics have left a lasting legacy. In mathematical logic and philosophy of mathematics, Ramsey’s solution to the paradoxes by means of a simple theory of types [1926a] and Ramsey’s theorem in combinatorics (both finite and infinite [1930]) are among Ramsey’s most celebrated contributions. Ramsey is a key presence in accounts of Wittgenstein’s, Russell’s, and Moore’s lives and work. It is well known that it was Ramsey who translated the Tractatus into English and wrote what is still considered a very insightful review [1923] of the Tractatus. Wittgenstein mentioned the importance of his conversations with Ramsey in 1929 in Cambridge as having influenced his transition to the views presented in the Philosophical Investigations. Ramsey also contributed, in 1924, to the second edition of Principia Mathematica (see [Linsky, 2011]). While Ramsey’s friendship with Moore does not have an analogous concrete precipitate as the work on the Tractatus or Principia Mathematica, it is evident from the correspondence and other documents that Ramsey’s work in philosophy (truth, propositions, universals, etc.) influenced Moore. Of course, the direction of influence goes also the other way around. Wittgenstein, Russell, and Moore, among others, were essential in shaping Ramsey’s approach to philosophy. (shrink)

Ramsey defined truth in the following way: x is true if and only if ∃p(x = [p] & p). This definition is ill-formed in standard first-order logic, so it is normally interpreted using substitutional or some kind of higher-order quantifier. I argue that these quantifiers fail to provide an adequate reading of the definition, but that, given certain adjustments, standard objectual quantification does provide an adequate reading.

Wittgenstein’s language games can be put into a wider service by virtue of elements they share with some contemporary opinions concerning logic and the semantics of computation. I will give two examples: manifestations of language games and their possible variations in logical studies, and their role in some of the recent developments in computer science. It turns out that the current paradigm of computation that Girard termed Ludics bears a striking resemblance to members of language games. Moreover, the kind of (...) interrelations that are emerging could be scrutinised from the viewpoint of logic that virtually necessitates game-theoretic conceptualisations, demonstrating the fact that the meaning of utterances may, in many situations, be understood as Wittgenstein’s language games of ‘showing or telling what one sees’. This provides motivation for the use of games in relation to logic and formal semantics that some commentators have called for. Many of the ideas can be traced to C.S. Peirce, for whom signs were vehicles of strategic communication. The conclusion about Wittgenstein is that the notions of saying and showing converge in his late philosophy. (shrink)