Philosophy and model theory frequently meet one another. Philosophy and Model Theory aims to understand their interactions -/- Model theory is used in every ‘theoretical’ branch of analytic philosophy: in philosophy of mathematics, in philosophy of science, in philosophy of language, in philosophical logic, and in metaphysics. But these wide-ranging appeals to model theory have created a highly fragmented literature. On the one hand, many philosophically significant mathematical results are found only in mathematics textbooks: these are aimed squarely at mathematicians; (...) they typically presuppose that the reader has a significant background in mathematics; and little clue is given as to their philosophical significance. On the other hand, the philosophical applications of these results are then scattered across disconnected pockets of papers, separated by decades or more. -/- The first aim of Philosophy and Model Theory, then, is to consider the philosophical uses of model theory. On a technical level, we try to show how philosophically significant results connect to one another, and also to state the best version of a result for philosophical purposes. On a philosophical level, we show how similar dialectical situations arise repeatedly, across fragmented debates in varied philosophical areas. -/- The second aim of Philosophy and Model Theory, though, is to consider the philosophy of model theory. Model theory itself is rarely taken as the subject matter of philosophising (contrast this, say, with the philosophy of biology, or the philosophy of set theory). But model theory is a beautiful part of pure mathematics, and worthy of philosophical study in its own right. (shrink)

With this paper I intend to rehabilitate the status of orality as medium of the public use of reason in the normative Kantian sense. As a first step, I reconstruct the reasons why Kant rejects the spoken word and designates the written word as the sole medium of public reasoning. As a second step, I argue for the possibility of employing the spoken word as medium of public reasoning while remaining within the normative framework of Kant’s concept of the public (...) use of reason. (shrink)

In “Models and Reality” (1980), Putnam sketched a version of his internal realism as it might arise in the philosophy of mathematics. Here, I will develop that sketch. By combining Putnam’s model-theoretic arguments with Dummett’s reflections on Gödelian incompleteness, we arrive at (what I call) the Skolem-Gödel Antinomy. In brief: our mathematical concepts are perfectly precise; however, these perfectly precise mathematical concepts are manifested and acquired via a formal theory, which is understood in terms of a computable system of proof, (...) and hence is incomplete. Whilst this might initially seem strange, I show how internal categoricity results for arithmetic and set theory allow us to face up to this Antinomy. This also allows us to understand why “Models are not lost noumenal waifs looking for someone to name them,” but “constructions within our theory itself,” with “names from birth.”. (shrink)

Tim Button explores the relationship between words and world; between semantics and scepticism. -/- A certain kind of philosopher – the external realist – worries that appearances might be radically deceptive. For example, she allows that we might all be brains in vats, stimulated by an infernal machine. But anyone who entertains the possibility of radical deception must also entertain a further worry: that all of our thoughts are totally contentless. That worry is just incoherent. -/- We cannot, then, (...) be external realists, who worry about the possibility of radical deception. Equally, however, we cannot be internal realists, who reject all possibility of deception. We must position ourselves somewhere between internal realism and external realism, but we cannot hope to say exactly where. We must be realists, for what that is worth, and realists within limits. -/- In establishing these claims, The Limits of Realism critically explores and develops several themes from Hilary Putnam’s work: the model-theoretic arguments; the connection between truth and justification; the brain-in-vat argument; semantic externalism; and conceptual relativity. The book establishes the continued significance of these topics for all philosophers interested in mind, logic, language, or the possibility of metaphysics. (shrink)

Standard Type Theory, STT, tells us that b^n(a^m) is well-formed iff n=m+1. However, Linnebo and Rayo have advocated the use of Cumulative Type Theory, CTT, has more relaxed type-restrictions: according to CTT, b^β(a^α) is well-formed iff β > α. In this paper, we set ourselves against CTT. We begin our case by arguing against Linnebo and Rayo’s claim that CTT sheds new philosophical light on set theory. We then argue that, while CTT ’s type-restrictions are unjustifiable, the type-restrictions imposed by (...) STT are justified by a Fregean semantics. What is more, this Fregean semantics provides us with a principled way to resist Linnebo and Rayo’s Semantic Argument for CTT. We end by examining an alternative approach to cumulative types due to Florio and Jones; we argue that their theory is best seen as a misleadingly formulated version of STT. (shrink)

Universals are putative objects like wisdom, morality, redness, etc. Although we believe in properties (which, we argue, are not a kind of object), we do not believe in universals. However, a number of ordinary, natural language constructions seem to commit us to their existence. In this paper, we provide a fictionalist theory of universals, which allows us to speak as if universals existed, whilst denying that any really do.

No-futurists ('growing block theorists') hold that that the past and the present are real, but that the future is not. The present moment is therefore privileged: it is the last moment of time. Craig Bourne (2002) and David Braddon-Mitchell (2004) have argued that this position is unmotivated, since the privilege of presentness comes apart from the indexicality of 'this moment'. I respond that no-futurists should treat 'x is real-as-of y' as a nonsymmetric relation. Then different moments are real-as-of different times. (...) This reunites privilege with indexicality, but entails that no-futurists must believe in ineliminably tensed facts. (shrink)

Keränen (2001) raises an argument against realistic (ante rem) structuralism: where a mathematical structure has a non-trivial automorphism, distinct indiscernible positions within the structure cannot be shown to be non-identical using only the properties and relations of that structure. Ladyman (2005) responds by allowing our identity criterion to include 'irreflexive two-place relations'. I note that this does not solve the problem for structures with indistinguishable positions, i.e. positions that have all the same properties as each other and exactly the same (...) relations to all objects (including themselves). I conclude that realistic structuralists must compromise and treat some structures eliminativistically. (shrink)

This article surveys recent literature by Parsons, McGee, Shapiro and others on the significance of categoricity arguments in the philosophy of mathematics. After discussing whether categoricity arguments are sufficient to secure reference to mathematical structures up to isomorphism, we assess what exactly is achieved by recent ‘internal’ renditions of the famous categoricity arguments for arithmetic and set theory.

Amie Thomasson and Eli Hirsch have both attempted to deflate metaphysics, by combining Carnapian ideas with an appeal to ordinary language. My main aim in this paper is to critique such deflationary appeals to ordinary language. Focussing on Thomasson, I draw two very general conclusions. First: ordinary language is a wildly complicated phenomenon. Its implicit ontological commitments can only be tackled by invoking a context principle; but this will mean that ordinary language ontology is not a trivial enterprise. Second: ordinary (...) language often points in different directions simultaneously, so that a wide variety of existence questions cannot be deflated merely by appealing to ordinary language. (shrink)

I examine recent debates in the philosophy of biology over the determinism or indeterminism of the evolutionary process, focusing on two papers in particular: Glymour 2001 and Stamos 2001. I argue that neither of these papers succeeds in making the case for the indeterminism of the evolutionary process, and suggest that what is needed is a detailed analysis of the causal processes at every level from the quantum mechanical to the evolutionary.

The latter half of the twentieth century has been marked by debates in evolutionary biology over the relative significance of natural selection and random drift: the so-called “neutralist/selectionist” debates. Yet John Beatty has argued that it is difficult, if not impossible, to distinguish the concept of random drift from the concept of natural selection, a claim that has been accepted by many philosophers of biology. If this claim is correct, then the neutralist/selectionist debates seem at best futile, and at worst, (...) meaningless. I reexamine the issues that Beatty raises, and argue that random drift and natural selection, conceived as processes, can be distinguished from one another. (shrink)

The goal of this paper is to explore the presuppositionality of factive verbs, with special emphasis on the verbs know and regret. The hypothesis put forward here is that the factivity related to know and the factivity related to regret are two different phenomena, as the former is a semantic implication that is licensed by the conventional meaning of know, while the latter is a purely pragmatic phenomenon that arises conversationally. More specifically, it is argued that know is factive in (...) the sense that it both entails and presupposes p, while regret is factive in the sense that it only presupposes p. In a recent article, Hazlett, 497–522, 2010) shows with authentic examples how know is used non-factively in ordinary language, and he observes in these examples, as he says, “a threat to Factivity.” I argue that non-factive uses of factive verbs, such as know and regret, far from being a threat to factivity, show that, on the one hand, know is ambiguous between a factive and a non-factive sense; on the other hand, in the case of regret, the presupposition of factivity has to be intended as a merely pragmatic implication which can be suspended by the speaker herself. (shrink)

In this paper I argue against the commonly received view that Kripke's formal Possible World Semantics (PWS) reflects the adoption of a metaphysical interpretation of the modal operators. I consider in detail Kripke's three main innovations vis-à-vis Carnap's PWS: a new view of the worlds, variable domains of quantification, and the adoption of a notion of universal validity. I argue that all these changes are driven by the natural technical development of the model theory and its related notion of validity: (...) they are dictated by merely formal considerations, not interpretive concerns. I conclude that Kripke's model theoretic semantics does not induce a metaphysical reading of necessity, and is formally adequate independently of the specific interpretation of the modal operators. (shrink)

The following bare-bones story introduces the idea of a cumulative hierarchy of pure sets: 'Sets are arranged in stages. Every set is found at some stage. At any stage S: for any sets found before S, we find a set whose members are exactly those sets. We find nothing else at S.' Surprisingly, this story already guarantees that the sets are arranged in well-ordered levels, and suffices for quasi-categoricity. I show this by presenting Level Theory, a simplification of set theories (...) due to Scott, Montague, Derrick, and Potter. (shrink)

Tallant (2007) has challenged my recent defence of no-futurism (Button 2006), but he does not discuss the key to that defence: that no-futurism's primitive relation 'x is real-as-of y' is not symmetric. I therefore answer Tallant's challenge in the same way as I originally defended no-futurism. I also clarify no-futurism by rejecting a common mis-characterisation of the growing-block theorist. By supplying a semantics for no-futurists, I demonstrate that no-futurism faces no sceptical challenges. I conclude by considering the problem of (...) how to interpret the relation 'x is real-as-of y'. -/- (NB: A correction to this article appears in Analysis 68.1.). (shrink)

In this paper, I reconstruct Quine’s arguments against quantified modal logic, from the early 1940’s to the early 1960’s. Quine’s concerns were not technical. Quine was looking for a coherent interpretation of quantified-in English modal sentences. I argue that Quine’s main thesis is that the intended objectual interpretation of the quantifiers is incompatible with any semantic reading of the modal operators, for example as expressing analytic necessity, unless the entities in the domain of quantification are intensions, i.e. definitional entities. The (...) difficulty is that it makes no sense to say of an ordinary object that it bears a property necessarily or contingently when the necessity or contingency in question is analytic. However, starting in 1960, Quine claims that quantified-in modal sentences can be coherently interpreted only as essentialist predications. When we say about an object that it necessarily F ’s, we can only coherently mean that it essentially F ’s. In the paper, I argue that adequately qualified the thesis is plausible. Two important qualifications are needed. The first is the assumption that satisfaction is an irreducibly predicative notion, making any explication of satisfaction in terms of truth inadequate. The second is the ontological rejection of purely semantic, i.e. merely definitional, entities. With these qualifications in place, Quine’s rejection of the combination of objectual quantifiers and semantic modalities can be upheld. In this way, we vindicate a qualified version of Quine’s conjecture that quantified modal logic is committed to essentialism. (shrink)

This book provides a sustained and penetrating critique of a wide range of views in modern cognitive science and philosophy of the mind, from Turing's famous test for intelligence in machines to recent work in computational linguistic theory. While discussing many of the key arguments and topics, the authors also develop a distinctive analytic approach. Drawing on the methods of conceptual analysis first elaborated by Wittgenstein and Ryle, the authors seek to show that these methods still have a great deal (...) to offer in the field of the cognitive theory and the philosophy of mind, providing a powerful alternative to many of the positions put forward in the contemporary literature. Amoung the many issues discussed in the book are the following: the Cartesian roots of modern conceptions of mind; Searle's 'Chinese Room' thought experiment; Fodor's 'language of thought' hypothesis; the place of 'folk psychology' in cognitivist thought; and the question of whether any machine may be said to 'think' or 'understand' in the ordinary senses of these words. Wide ranging, up-to-date and forcefully argued, this book represents a major intervention in contemporary debates about the status of cognitive science an the nature of mind. It will be of particular interest to students and scholars in philosophy, psychology, linguistics and computing sciences. (shrink)

Consider a variant of the usual story about the iterative conception of sets. As usual, at every stage, you find all the (bland) sets of objects which you found earlier. But you also find the result of tapping any earlier-found object with any magic wand (from a given stock of magic wands). -/- By varying the number and behaviour of the wands, we can flesh out this idea in many different ways. This paper's main Theorem is that any loosely constructive (...) way of fleshing out this idea is synonymous with a ZF-like theory. -/- This Theorem has rich applications; it realizes John Conway's (1976) Mathematicians' Liberation Movement; and it connects with a lovely idea due to Alonzo Church (1974). (shrink)

This paper centers on Takashi Yagisawa’s book Worlds and Individuals, Possible and Otherwise (Oxford: 2010), which provides a novel and systematic analysis of modality and time. I consider the overall structure of Yagisawa’s treatment of modality and time, and discuss in detail the following three topics: (i) Possible worlds as modal indices, (ii) Trans-world identity, (iii) The claim that existence, unlike reality, is relative. My main conclusion is that Yagisawa's view of modality is driven by a strong primitivism, leading to (...) the endorsement of possibility, actuality, and presentness, but also possible worlds and times, as irreducible. The resulting view is saddled with the typical problems of primitivism on the one hand, and modal realism on the other. I criticize the view that existence is relative. (shrink)

Tennenbaum's Theorem yields an elegant characterisation of the standard model of arithmetic. Several authors have recently claimed that this result has important philosophical consequences: in particular, it offers us a way of responding to model-theoretic worries about how we manage to grasp the standard model. We disagree. If there ever was such a problem about how we come to grasp the standard model, then Tennenbaum's Theorem does not help. We show this by examining a parallel argument, from a simpler model-theoretic (...) result. (shrink)

Hilary Putnam’s BIV argument first occurred to him when ‘thinking about a theorem in modern logic, the “Skolem–Löwenheim Theorem”’ (Putnam 1981: 7). One of my aims in this paper is to explore the connection between the argument and the Theorem. But I also want to draw some further connections. In particular, I think that Putnam’s BIV argument provides us with an impressively versatile template for dealing with sceptical challenges. Indeed, this template allows us to unify some of Putnam’s most enduring (...) contributions to the realism/antirealism debate: his discussions of brains-in-vats, of Skolem’s Paradox, and of permutations. In all three cases, we have an argument which does not merely defeat the sceptic; it also shows us that we must reject some prima facie plausible philosophical picture. (shrink)

Biologists and philosophers have been extremely pessimistic about the possibility of demonstrating random drift in nature, particularly when it comes to distinguishing random drift from natural selection. However, examination of a historical case-Maxime Lamotte's study of natural populations of the land snail, Cepaea nemoralis in the 1950s - shows that while some pessimism is warranted, it has been overstated. Indeed, by describing a unique signature for drift and showing that this signature obtained in the populations under study, Lamotte was able (...) to make a good case for a significant role for drift. It may be difficult to disentangle the causes of drift and selection acting in a population, but it is not impossible. (shrink)

Recent work on hypercomputation has raised new objections against the Church–Turing Thesis. In this paper, I focus on the challenge posed by a particular kind of hypercomputer, namely, SAD computers. I first consider deterministic and probabilistic barriers to the physical possibility of SAD computation. These suggest several ways to defend a Physical version of the Church–Turing Thesis. I then argue against Hogarth's analogy between non-Turing computability and non-Euclidean geometry, showing that it is a non-sequitur. I conclude that the Effective version (...) of the Church–Turing Thesis is unaffected by SAD computation. (shrink)

Prior’s Tonk is a famously horrible connective. It is defined by its inference rules. My aim in this article is to compare Tonk with some hitherto unnoticed nasty connectives, which are defined in semantic terms. I first use many-valued truth-tables for classical sentential logic to define a nasty connective, Knot. I then argue that we should refuse to add Knot to our language. And I show that this reverses the standard dialectic surrounding Tonk, and yields a novel solution to the (...) problem of many-valued truth-tables for classical sentential logic. I close by outlining the technicalities surrounding nasty connectives on many-valued truth-tables. (shrink)

There are several relations which may fall short of genuine identity, but which behave like identity in important respects. Such grades of discrimination have recently been the subject of much philosophical and technical discussion. This paper aims to complete their technical investigation. Grades of indiscernibility are defined in terms of satisfaction of certain first-order formulas. Grades of symmetry are defined in terms of symmetries on a structure. Both of these families of grades of discrimination have been studied in some detail. (...) However, this paper also introduces grades of relativity, defined in terms of relativeness correspondences. This paper explores the relationships between all the grades of discrimination, exhaustively answering several natural questions that have so far received only partial answers. It also establishes which grades can be captured in terms of satisfaction of object-language formulas and draws connections with definability theory. (shrink)

Human genetic engineering may soon be possible. The gathering debate about this prospect already threatens to become mired in irresolvable disagreement. After surveying the scientific and technological developments that have brought us to this pass, _The Ethics of Genetic Engineering_ focuses on the ethical and policy debate, noting the deep divide that separates proponents and opponents. The book locates the source of this divide in differing framing assumptions: reductionist pluralist on one side, holist communitarian on the other. The book argues (...) that we must bridge this divide, drawing on the resources from both encampments, if we are to understand and cope with the distinctive problems posed by genetic engineering. These problems, termed "fractious problems," are novel, complex, ethically fraught, unavoidably of public concern, and unavoidably divisive. Berry examines three prominent ethical and political theories – utilitarianism, Kantianism, and virtue ethics – to consider their competency in bridging the divide and addressing these fractious problems. The book concludes that virtue ethics can best guide parental decision making and that a new policymaking approach sketched here, a "navigational approach," can best guide policymaking. These approaches enable us to gain a rich understanding of the problems posed and to craft resolutions adequate to their challenges. (shrink)

Can we quantify over everything: absolutely, positively, definitely, totally, every thing? Some philosophers have claimed that we must be able to do so, since the doctrine that we cannot is self-stultifying. But this treats restrictivism as a positive doctrine. Restrictivism is much better viewed as a kind of militant quietism, which I call dadaism. Dadaists advance a hostile challenge, with the aim of silencing everyone who holds a positive position about ‘absolute generality’.

When philosophers of physics explore the nature of chance, they usually look to quantum mechanics. When philosophers of biology explore the nature of chance, they usually look to microevolutionary phenomena, such as mutation or random drift. What has been largely overlooked is the role of chance in macroevolution. The stochastic models of paleobiology employ conceptions of chance that are similar to those at the microevolutionary level, yet different from the conceptions of chance often associated with quantum mechanics and Laplacean determinism.

Current corporate systems risk generating inequality among workers, insofar as they concentrate only on economic results by favoring, through the incentive and award system, only what can be seen, produced, and measured. As such, these systems are unable to recognize workers’ agapic behaviors – similar to the ones considered in organizational citizenship behavior literature – that cannot be quantified, i.e. workers’ generosity, humanity, kindness, compassion, help for others and mercy. Although these types of behaviors may appear unproductive or irrational, they (...) create symbols of belonging to the company and social cohesion. This article claims that beyond focusing on reward systems, companies should recognize agapic behaviors to increase workers’ intrinsic motivation. These behavioral attitudes allow fraternal relationships -as conceived in the Civil Economy tradition- to arise within organizations; moreover, they contribute to advancing new managerial practical implications in the humanistic management field. (shrink)

On a very natural conception of sets, every set has an absolute complement. The ordinary cumulative hierarchy dismisses this idea outright. But we can rectify this, whilst retaining classical logic. Indeed, we can develop a boolean algebra of sets arranged in well-ordered levels. I show this by presenting Boolean Level Theory, which fuses ordinary Level Theory (from Part 1) with ideas due to Thomas Forster, Alonzo Church, and Urs Oswald. BLT neatly implement Conway’s games and surreal numbers; and a natural (...) extension of BLT is definitionally equivalent with ZF. (shrink)

Recent discussions in the philosophy of biology have brought into question some fundamental assumptions regarding evolutionary processes, natural selection in particular. Some authors argue that natural selection is nothing but a population-level, statistical consequence of lower-level events (Matthen and Ariew [2002]; Walsh et al. [2002]). On this view, natural selection itself does not involve forces. Other authors reject this purely statistical, population-level account for an individual-level, causal account of natural selection (Bouchard and Rosenberg [2004]). I argue that each of these (...) positions is right in one way, but wrong in another; natural selection indeed takes place at the level of populations, but it is a causal process nonetheless. (shrink)

Over the past several decades, scholars of liberal and democratic theory have shown a heightened interest in the role that various virtues might play in promoting the good/free society. Yet within this recent "return" to the virtues, one quality that has been almost entirely left out of the discussion is humility. In this essay, I critically address this lacuna and offer a defense of a particular form of humility, what I call democratic humility. After considering a range of moral and (...) political objections to the concept of humility, Iprovide an account that seeks to address some of these long-standing difficulties while arguing that the idea of humility, recuperated as an ethos of civic attentiveness, may be one of the most important virtues for late-modern societies marked by ethical and cultural pluralism. (shrink)

Hilary Putnam once suggested that “the actual existence of sets as ‘intangible objects’ suffers… from a generalization of a problem first pointed out by Paul Benacerraf… are sets a kind of function or are functions a sort of set?” Sadly, he did not elaborate; my aim, here, is to do so on his behalf. There are well-known methods for treating sets as functions and functions as sets. But these do not raise any obvious philosophical or foundational puzzles. For that, we (...) first need to provide a full-fledged function theory. I supply such a theory: it axiomatizes the iterative notion of function in exactly the same sense that ZF axiomatizes the iterative notion of set. Indeed, this function theory is synonymous with ZF. It might seem that set theory and function theory present us with rival foundations for mathematics, since they postulate different ontologies. But appearances are deceptive. Set theory and function theory provide the very same judicial foundation for mathematics. They do not supply rival metaphysical foundations; indeed, if they supply metaphysical foundations at all, then they supply the very same metaphysical foundations. (shrink)