Øystein Linnebo

Identity is ordinarily taken to be a relation defined on all and only objects. This consensus is challenged by Agustín Rayo, who seeks to develop an analogue of the identity sign that can be flanked by sentences. This paper is a critical exploration of the attempted generalization. First the desired generalization is clarified and analyzed. Then it is argued that there is no notion of content that does the desired philosophical job, namely ensure that necessarily equivalent sentences coincide in this kind of content, and such pairs of sentences consequently are on a par with respect to metaphysical explanations.

In the context of discussions about the nature of ‘identical particles’ and the status of Leibniz’s Principle of the Identity of Indiscernibles in Quantum Mechanics, a novel kind of physical discernibility has recently been proposed, which we call witness-discernibility. We inquire into how witness-discernibility relates to known kinds of discernibility. Our conclusion will be that for a wide variety of cases, including the intended quantum-mechanical ones, witness-discernibility collapses extensionally to absolute discernibility, that is, to discernibility by properties

Kripke’s notion of groundedness plays a central role in many responses to the semantic paradoxes. Can the notion of groundedness be brought to bear on the paradoxes that arise in connection with abstraction principles? We explore a version of grounded abstraction whereby term models are built up in a ‘grounded’ manner. The results are mixed. Our method solves a problem concerning circularity and yields a ‘grounded’ model for the predicative theory based on Frege’s Basic Law V. However, the method is poorly behaved unless the background second-order logic is predicative

Fixing Frege is one of the most important investigations to date of Fregean approaches to the foundations of mathematics. In addition to providing an unrivalled survey of the technical program to which Frege's writings have given rise, the book makes a large number of improvements and clarifications. Anyone with an interest in the philosophy of mathematics will enjoy and benefit from the careful and well-informed overview provided by the first of its three chapters. Specialists will find the book an indispensable reference and an invaluable source of insights and new results. Although Frege is widely regarded as the father of analytic philosophy, his work on the foundations of mathematics was for a long time rather peripheral to ongoing research. The main reason for this is no doubt Russell's discovery in 1901 that the paradox now bearing his name can be derived in Frege's logical system. But recent decades have seen a huge surge of interest in Fregean approaches to the foundations of mathematics. A variety of consistent theories have been discovered that can be salvaged from Frege's inconsistent system, and foundational and philosophical claims have been made on behalf of many of these theories. Burgess claims quite plausibly that the significance of any such modified Fregean theory will in large part depend on how much of ordinary mathematics it enables us to develop. His book is accordingly 'a survey of various modified Fregean systems, attempting to determine the scope and limits of each'. The book's agenda is thus predominantly technical, and its spirit open-minded and experimental.

I defend the view that our ontology divides into categories, each with its own canonical way of identifying and distinguishing the objects it encompasses. For instance, I argue that natural numbers are identified and distinguished by their positions in the number sequence, and physical bodies, by facts having to do with spatiotemporal continuity. I also argue that objects belonging to different categories are ipso facto distinct. My arguments are based on an analysis of reference, which ascribes to reference a richer structure than it is normally taken to have

I present a novel interpretation of Frege’s attempt at Grundgesetze I §§29-31 to prove that every expression of his language has a unique reference. I argue that Frege’s proof is based on a contextual account of reference, similar to but more sophisticated than that enshrined in his famous Context Principle. Although Frege’s proof is incorrect, I argue that the account of reference on which it is based is of potential philosophical value, and I analyze the class of cases to which it may successfully be applied.

We analyze the precise modal commitments of several natural varieties of set-theoretic potentialism, using tools we develop for a general model-theoretic account of potentialism, building on those of Hamkins, Leibman and Löwe [14], including the use of buttons, switches, dials and ratchets. Among the potentialist conceptions we consider are: rank potentialism, Grothendieck–Zermelo potentialism, transitive-set potentialism, forcing potentialism, countable-transitive-model potentialism, countable-model potentialism, and others. In each case, we identify lower bounds for the modal validities, which are generally either S4.2 or S4.3, and an upper bound of S5, proving in each case that these bounds are optimal. The validity of S5 in a world is a potentialist maximality principle, an interesting set-theoretic principle of its own. The results can be viewed as providing an analysis of the modal commitments of the various set-theoretic multiverse conceptions corresponding to each potentialist account.

On the face of it, platonism seems very far removed from the scientific world view that dominates our age. Nevertheless many philosophers and mathematicians believe that modern mathematics requires some form of platonism. The defense of mathematical platonism that is both most direct and has been most influential in the analytic tradition in philosophy derives from the German logician-philosopher Gottlob Frege (1848-1925).2 I will therefore refer to it as Frege’s argument. This argument is part of the background of any contemporary discussion of mathematical platonism.

Analytic philosophy has traditionally been little concerned with the history of philosophy, including that of analytic philosophy itself. But in recent years the study of the early period of the analytic tradition has become an active and lively branch of Anglo-American philosophy. Early Analytic Philosophy, a collection of papers presented in honor of professor Leonard Linsky at the University of Chicago in April 1992, is an example of this. The contributors, many of them leading scholars in the field of early analytic philosophy, approach the thought of the founders of the analytic tradition in its own right and with a keen eye to how it differs from much of contemporary analytic philosophy. Many of the papers challenge received interpretations and propose alternative readings.

It is sometimes suggested that criteria of identity should play a central role in an account of our most fundamental ways of referring to objects. The view is nicely illustrated by an example due to (Quine, 1950). Suppose you are standing at the bank of a river, watching the water that floats by. What is required for you to refer to the river, as opposed to a particular segment of it, or the totality of its water, or the current temporal part of this water? According to Quine, you must at least implicitly be operating with some criterion of identity that informs you when two sightings of water count as sightings of the same referent. For unless you have at least an implicit grasp of what is required for your intended referent to be identical with another object with which you are presented, you have not succeeded in singling out a unique object for reference.

Are there objects that are “thin” in the sense that their existence does not make a substantial demand on the world? Frege famously thought so. He claimed that the equinumerosity of the knives and the forks suffices for there to be objects such as the number of knives and the number of forks, and for these objects to be identical. The idea of thin objects holds great philosophical promise but has proved hard to explicate. This book attempts to develop the needed explanations by drawing on some Fregean ideas. First, to be an object is to be a possible referent of a singular term. Second, singular reference can be achieved by providing a criterion of identity for the would-be referent. The second idea enables a form of easy reference and thus, via the first idea, also a form of easy being. Paradox is avoided by imposing a predicativity restriction on the criteria of identity. But the abstraction based on a criterion of identity may result in an expanded domain. By iterating such expansions, a powerful account of dynamic abstraction is developed.

Ordinarily, the order in which some objects are attached to a scale does not affect the total weight measured by the scale. This principle is shown to fail in certain cases involving infinitely many objects. In these cases, we can produce any desired reading of the scale merely by changing the order in which a fixed collection of objects are attached to the scale. This puzzling phenomenon brings out the metaphysical significance of a theorem about infinite series that is well known by mathematicians but has so far eluded philosophical scrutiny.

Modal logic has been used to analyze potential infinity and potentialism more generally. However, the standard analysis breaks down in cases of divergent possibilities, where there are two or more possibilities that can be individually realized but which are jointly incompatible. This paper has three aims. First, using the intuitionistic theory of choice sequences, we motivate the need for a modal analysis of divergent potentialism and explain the challenges this involves. Then, using Beth–Kripke semantics for intuitionistic logic, we overcome those challenges. Finally, we apply our modal analysis of divergent potentialism to make choice sequences comprehensible in classical terms.

ABSTRACTAccording to a famous argument by Dummett, the concept of set is indefinitely extensible, and the logic appropriate for reasoning about the instances of any such concept is intuitionistic, not classical. But Dummett's argument is widely regarded as obscure. This note explains how the final chapter of Rumfitt's important new book advances our understanding of Dummett's argument, but it also points out some problems and unanswered questions. Finally, Rumfitt's reconstruction of Dummett's argument is contrasted with my own preferred alternative.