The Caesar problem arises for abstractionist views, which seek to secure reference for terms such as ‘the number of Xs’ or #X by stipulating the content of ‘unmixed’ identity contexts like ‘#X = #Y’. Frege objects that this stipulation says nothing about ‘mixed’ contexts such as ‘# X = Julius Caesar’. This article defends a neglected response to the Caesar problem: the content of mixed contexts is just as open to stipulation as that of unmixed (...) contexts. (shrink)

The issues surrounding the Caesar problem are assumed to be inert as far as ongoing mathematics is concerned. This paper aims to correct this impression by spelling out the ways that, in their historical context, Frege's remarks would have had considerable resonance with work that other mathematicians such as Riemann and Dedekind were doing. The search for presentation‐independent characterizations of objects and global definitions was seen as bound up with fundamental methodological questions in complex analysis and number theory.

The issues surrounding the Caesar problem are assumed to be inert as far as ongoing mathematics is concerned. This paper aims to correct this impression by spelling out the ways that, in their historical context, Frege's remarks would have had considerable resonance with work that other mathematicians such as Riemann and Dedekind were doing. The search for presentation‐independent characterizations of objects and global definitions was seen as bound up with fundamental methodological questions in complex analysis and number theory.

Pratt and de Vries1 pose an important and uncomfortable question to all stakeholders in the global bioethics space. If global bioethics as they define it is ‘the ethics of public health and healthcare problems that are characterised by a global level effect or that require action beyond individual countries, and the ethics of research related to such problems’, one would expect justice and inclusivity to be among the ethical priorities. Yet, Pratt and de Vries carefully demonstrate how different forms of (...) epistemic injustice and coloniality are embedded in the structure, generation of knowledge and praxis of global bioethics. They do this by unpicking three layers at which coloniality and epistemic injustice operate; knowledge-producer, knowledge-applied and knowledge-solicited. The authors also offer a three-pronged incremental approach to how individual and institutional actors in global bioethics can contribute to epistemic justice in the field. Pratt and de Vries present their work as ‘a first step towards reorienting the field’ of global health bioethics away from epistemic injustice. Indeed, theirs is a mapping, problem statement and recommendations piece …. (shrink)

The neo-Fregean account of arithmetical knowledge is centered around the abstraction principle known as Hume’s Principle: for any concepts X and Y , the number of X ’s is the same as the number of Y ’s just in case there is a 1–1 correspondence between X and Y . The Caesar Problem, originally raised by Frege in §56 of Die Grundlagen der Arithmetik , emerges in the context of the neo-Fregean programme, because, though Hume’s Principle provides a (...) criterion of identity for objects falling under the concept of Number–namely, 1–1 correspondence—the principle fails to deliver a criterion of application. That is, it fails to deliver a criterion that will tell us which objects fall under the concept Number, and so, leaves unanswered the question whether Caesar could be a number. Hale and Wright have recently offered a neo-Fregean solution to this problem. The solution appeals to the notion of a categorical sortal. This paper offers a reconstruction of their solution, which has the advantage over Hale and Wright’s original proposal of making clear what the structure of the background ontology is. In addition, it is shown that the Caesar Problem can be solved in a framework more minimal than that of Hale and Wright, viz . one that dispenses with categorical sortals. The paper ends by discussing an objection to the proposed neo-Fregean solutions, based on the idea that Leibniz’s Law gives a universal criterion of identity. This is an idea that Hale and Wright reject. However, it is shown that a solution very much in keeping with their own proposal is available, even if it is granted that Leibniz’s Law provides a universal criterion of identity. (shrink)

The neo-Fregeans have argued that definition by abstraction allows us to introduce abstract concepts such as direction and number in terms of equivalence relations such as parallelism between lines and one-one correspondence between concepts. This paper argues that definition by abstraction suffers from the fact that an equivalence relation may not be sufficient to determine a unique concept. Frege’s original verdict against definition by abstraction is thus reinstated.

This paper aims to determine what kind of problem Frege's famous “Julius Caesar problem” is. whether it is to be understood as the metaphysical problem of determining what kind of things abstract objects like numbers or value‐courses are, or as the epistemological problem of providing a means of recognizing these objects as the same again, or as the logical problem of providing abstract sortal concepts with a sharp delimitation in order to fulfill the law (...) of excluded middle, or as the semantic problem of fixing the referents of the corresponding abstract singular terms. It is argued that, for Frege, the Caesar problem is a bundle of related problems of which the semantic problem is the most basic one. (shrink)

In his logical foundation of arithmetic, Frege faced the problem that the semantic interpretation of his system does not determine the reference of the abstract terms completely. The contextual definition of number, for instance, does not decide whether the number 5 is identical to Julius Caesar. In a late writing, Quine claimed that the indeterminacy of reference established by Frege’s Caesar problem is a special case of the indeterminacy established by his proxy-function argument. The present paper (...) aims to show that Frege’s Caesar problem does not really support the conclusions that Quine draws from the proxy-function argument. On the contrary, it reveals that Quine’s argument is a non sequitur: it does not establish that there are alternative interpretations of our terms that are equally correct, but only that these terms are ambiguous. The latter kind of referential indeterminacy implies that almost all sentences of our overall theory of the world are either false or neither true nor false, because they contain definite descriptions whose uniqueness presupposition is not fulfilled. The proxy-function argument must therefore be regarded as a reductio ad absurdum of Quine’s behaviorist premise that the reference of terms is determined only by our linguistic behavior. (shrink)

This paper aims to answer the question of whether or not Frege's solution limited to value-ranges and truth-values proposed to resolve the "problem of indeterminacy of reference" in section 10 of Grundgesetze is a violation of his principle of complete determination, which states that a predicate must be defined to apply for all objects in general. Closely related to this doubt is the common allegation that Frege was unable to solve a persistent version of the Caesar problem (...) for value-ranges. It is argued that, in Frege’s standards of reducing arithmetic to logic, his solution to the indeterminacy does not give rise to any sort of Caesar problem in the book. (shrink)

This paper investigates the meta-ontological problem, what is the Julius Caesar objection? I distinguish epistemic, metaphysical and semantic versions. I argue that neo-Fregean and supervaluationist solutions to the Caesar objection fails because, amongst other flaws, they fail to determine which version of the problem is in play.

This paper dates from about 1994: I rediscovered it on my hard drive in the spring of 2002. It represents an early attempt to explore the connections between the Julius Caesar problem and Frege's attitude towards Basic Law V. Most of the issues discussed here are ones treated rather differently in my more recent papers "The Julius Caesar Objection" and "Grundgesetze der Arithmetik I 10". But the treatment here is more accessible, in many ways, providing more context (...) and a better sense of how this issue relates to broader issues in Frege's philosophy. (shrink)

This article offers an interpretation of a controversial aspect of Frege’s The Foundations of Arithmetic, the so-called Julius Caesar problem. Frege raises the Caesar problem against proposed purely logical definitions for ‘0’, ‘successor’, and ‘number’, and also against a proposed definition for ‘direction’ as applied to lines in geometry. Dummett and other interpreters have seen in Frege’s criticism a demanding requirement on such definitions, often put by saying that such definitions must provide a criterion of identity (...) of a certain kind. These interpretations are criticized and an alternative interpretation is defended. The Caesar problem is that the proposed definitions fail to well-define ‘number’ and ‘direction’. That is, the proposed definitions, even when taken together with the extra-definitional facts, fail to fix unique semantic extensions for ‘number’ and ‘direction’, and thereby fail to fix unique truth-values for sentences like ‘Caesar is a number’ and ‘England is a direction’. A minor modification of the criticized definitions well-defines ‘0’, ‘successor’ and ‘number’, thereby avoiding the Caesar problem as Frege understands it, but without providing any criterion of number identity in the usual sense. (shrink)

This paper argues that that Caesar problem had a technical aspect, namely, that it threatened to make it impossible to prove, in the way Frege wanted, that there are infinitely many numbers. It then offers a solution to the problem, one that shows Frege did not really need the claim that "numbers are objects", not if that claim is intended in a form that forces the Caesar problem upon us.

Crispin Wright and Bob Hale have defended the strategy of defining the natural numbers contextually against the objection which led Frege himself to reject it, namely the so-called ‘Julius Caesar problem’. To do this they have formulated principles (called sortal inclusion principles) designed to ensure that numbers are distinct from any objects, such as persons, a proper grasp of which could not be afforded by the contextual definition. We discuss whether either Hale or Wright has provided independent motivation (...) for a defensible version of the sortal inclusion principle and whether they have succeeded in showing that numbers are just what the contextual definition says they are. (shrink)

The identity of the Caesar at "Aeneid", 1.286 is a long-standing problem. The prevailing opinion since Heyne favors Augustus, but a few scholars agree with Servius that the Dictator is meant. In recent years the suggestion that Vergil was being deliberately ambiguous has been advanced as a solution to the problem. I argue the case for Julius Caesar anew. The paper is in five sections. The first four deal respectively with the question of nomenclature; chronology; the (...) descriptive epithets applied to Caesar, especially spoliis Orientis onustum in 289; and the rhetoric of the passage. The fourth section confronts the challenge posed to my reading by the well-known view of Ronald Syme, held to throughout his lifetime, that Julius Caesar was a virtual non-person in the Rome of Vergil's day because the princeps tried to avoid awkward comparison with the Dictator. But this view has been challenged, and I draw on recent work in this area. In the fifth and final section I support my reading with references to Vergil's earlier poetry, attending especially to what it can tell us about Vergil's attitude toward Julius Caesar. Of particular relevance is the use he makes of the sidus Iulium, an image found in the Eclogues and important in connection with the apocalyptic outlook abroad at the time of Caesar's assassination. This section of the paper expands on Servius' generally neglected note, which maintains that the Caesar in question is Julius. (shrink)

The identity of the Caesar at "Aeneid", 1.286 is a long-standing problem. The prevailing opinion since Heyne favors Augustus, but a few scholars agree with Servius that the Dictator is meant. In recent years the suggestion that Vergil was being deliberately ambiguous has been advanced as a solution to the problem. I argue the case for Julius Caesar anew. The paper is in five sections. The first four deal respectively with the question of nomenclature; chronology; the (...) descriptive epithets applied to Caesar, especially spoliis Orientis onustum in 289; and the rhetoric of the passage. The fourth section confronts the challenge posed to my reading by the well-known view of Ronald Syme, held to throughout his lifetime, that Julius Caesar was a virtual non-person in the Rome of Vergil's day because the princeps tried to avoid awkward comparison with the Dictator. But this view has been challenged, and I draw on recent work in this area. In the fifth and final section I support my reading with references to Vergil's earlier poetry, attending especially to what it can tell us about Vergil's attitude toward Julius Caesar. Of particular relevance is the use he makes of the sidus Iulium, an image found in the Eclogues and important in connection with the apocalyptic outlook abroad at the time of Caesar's assassination. This section of the paper expands on Servius' generally neglected note, which maintains that the Caesar in question is Julius. (shrink)

ArgumentThe sixteenth-century physician and philosopher Julius Caesar Scaliger suggests that in particular cases plants can come into being that belong to a plant species that did not exist before. At the same time, he holds that God could not have created a more perfect world. However, does the occurrence of new species not imply that the world was not the best possible world from the beginning? In this article, I explore a set of metaphysical ideas that could provide Scaliger (...) with the means of solving this problem: His version of the notion of a plurality of substantial forms in every living being, and his version of the notion of the ordained divine power. As it turns out, Scaliger analyzes the generation of new species in terms of a development of subordinate substantial forms into dominant substantial forms. Thereby, previously existing essences of plant parts become essences of plants. These plants, thus, possess essences that no previously existing plant possessed and, in this sense, belong to a new species. In this way, Scaliger avoids positing the occurrence of new essences, thus saving the best possible world thesis. Moreover, he believes that all substantial forms stand in a relationship of mutual existential dependence by means of which God safeguards the persistence and unity of the world. This is why the agency of subordinate forms turned dominant can be understood as an expression of the ordained power of God. (shrink)

I attempt to explain Frege's handling of the Julius Caesar issue in terms of his more general philosophical commitments. These only became fully explicit in his middle-period writings, but his earlier moves are best explained, I suggest, if we suppose them to be implicit in his earlier thinking. These commitments conditionally justify Frege in rejecting Hume's Principle as either a definition or axiom but in accepting Axiom V. However, the general epistemological picture they constitute has serious problems in accounting (...) for how knowledge is possible at all of such propositions as that Julius Caesar is not a number. (shrink)

One version of the Julius Caesar problem arises when we demand assurance that expressions drawn from different theories or stretches of discourse refer to different things. The counter‐Caesar problem arises when assurance is demanded that expressions drawn from different theories . refer to the same thing. The Julio César problem generalises from the counter‐Caesar problem. It arises when we seek reassurance that expressions drawn from different languages refer to the same kind of things (...) . If the Julio César problem is not resolved then the Fregean account of numbers as objects is cast into doubt, the notion of number left relative to a language. Wright introduced this problem by asking whether there can be such a thing as ‘International Platonism’. After rejecting Hale's attempt to resolve it I argue that the threat posed by the Julio César problem diminishes – even though it cannot be made to logically disappear – once it is recognised that the radical interpretation of an unfamiliar language is inevitably holistic, the evidence available invariably defeasible and consequently Cartesian certainty about the significance of the utterances of a foreign tongue neither to be sought after nor attained. (shrink)

According to the species of neo-logicism advanced by Hale and Wright, mathematical knowledge is essentially logical knowledge. Their view is found to be best understood as a set of related though independent theses: (1) neo-fregeanism-a general conception of the relation between language and reality; (2) the method of abstraction-a particular method for introducing concepts into language; (3) the scope of logic-second-order logic is logic. The criticisms of Boolos, Dummett, Field and Quine (amongst others) of these theses are explicated and assessed. (...) The issues discussed include reductionism, rejectionism, the Julius Caesar problem, the Bad Company objections, and the charge that second-order logic is set theory in disguise. (shrink)

One version of the Julius Caesar problem arises when we demand assurance that expressions drawn from different theories or stretches of discourse refer to different things. The counter‐Caesar problem arises when assurance is demanded that expressions drawn from different theories. refer to the same thing. The Julio César problem generalises from the counter‐Caesar problem. It arises when we seek reassurance that expressions drawn from different languages refer to the same kind of things. If (...) the Julio César problem is not resolved then the Fregean account of numbers as objects is cast into doubt, the notion of number left relative to a language. Wright introduced this problem by asking whether there can be such a thing as ‘International Platonism’. After rejecting Hale's attempt to resolve it I argue that the threat posed by the Julio César problem diminishes – even though it cannot be made to logically disappear – once it is recognised that the radical interpretation of an unfamiliar language is inevitably holistic, the evidence available invariably defeasible and consequently Cartesian certainty about the significance of the utterances of a foreign tongue neither to be sought after nor attained. (shrink)

The problems connected with the Cornificii of the late Republic are various, and all concerned with identification. I have no major discoveries to present, but various minor rectifications and suggestions to make, which should give the younger Q. Cornificius at least more substance. Where he is concerned, one basic identification has been, rightly, generally accepted: that made by Jerome between the poet of the name and the Cornificius who fell in Africa in the wars of the Triumvirate, abandoned by the (...) soldiers whom he had castigated as ‘hares in helmets’. I do not wish to discuss here in any detail the military career of Cornificius; son of the man, like him Quintus, who stood in vain for the consulship of 63, he fought with success for Caesar as quaestor pro praetore in Illyricum in 48; he was rewarded, probably in 47 when Caesar doled out many priesthoods, with the augurate, and went out to govern Cilicia, only to find himself called on to help in suppressing Caecilius Bassus' revolt in Syria. (shrink)

The sentence that comprises 5.31.5 in Caesar's Bellum Gallicum has long been felt to be problematic. It was deleted entirely by H. Meusel. A. Klotz posited a lacuna after quare. Others sought smaller adjustments. Yet, the defence of the text as transmitted also drew advocates and the debate quietened. The current Teubner edition, by W. Hering in 1987, prints the transmitted text and does not acknowledge the debate in the apparatus criticus. I propose a new solution, one that reinterprets (...) the sentence in context and requires a small textual change from et to nec. I will first set the context and identify problems with the conventional understanding of 5.31.5. (shrink)

Is it possible to characterize the sortal essence of Fs for a sortal concept F solely in terms of a criterion of identity C for F? That is, can the question ‘What sort of thing are Fs?’ be answered by saying that Fs are essentially those things whose identity can be assessed in terms of C? This paper presents a case study supporting a negative answer to these questions by critically examining the neo-Fregean suggestion that cardinal numbers can be fully (...) characterized as those things whose identity can be assessed in terms of one-one correspondence between concepts. (shrink)

Neo-logicism is, not least in the light of Frege’s logicist programme, an important topic in the current philosophy of mathematics. In this essay, I critically discuss a number of issues that I consider to be relevant for both Frege’s logicism and neo-logicism. I begin with a brief introduction into Wright’s neo-Fregean project and mention the main objections that he faces. In Sect. 2, I discuss the Julius Caesar problem and its possible Fregean and neo-Fregean solution. In Sect. 3, (...) I raise what I take to be a central objection to the position of neo-logicism. In Sect. 4, I attempt to clarify how we should understand Frege’s stipulation that the two sides of an abstraction principle qua contextual definition of a term-forming operator shall be “gleichbedeutend”. In Sect. 5, I consider the options that Frege might have had to establish the analyticity of Hume’s Principle: The number that belongs to the concept F is equal to the number that belongs to the concept G if and only if F and G are equinumerous. Section 6 is devoted to Frege’s two criteria of thought identity. In Sects. 7 and 8, I defend the position of the neo-logicist against an alleged “knock-down argument”. In Sect. 9, I comment on Frege’s description of abstraction in Grundlagen, §64 and the use of the terms “recarving” and “reconceptualization” in the relevant literature on Fregean abstraction and neo-logicism. I argue that Fregean abstraction has nothing to do with the recarving of a sentence content or its decomposition in different ways. I conclude with remarks on global logicism versus local logicisms. (shrink)

In this essay, I first solve solve a conundrum and then deal with criteria of identity, Leibniz's definition of identity and Frege's adoption of it in his (failed) attempt to define the cardinality operator contextually in terms of Hume's Principle in Die Grundlagen der Arithmetik. I argue that Frege could have omitted the intermediate step of tentatively defining the cardinality operator in the context of an equation of the form ‘NxF(x) = NxG(x)'. Frege considers Leibniz's definition of identity to be (...) purely logical, although without saying why it is in line with his logicist project. I argue that the universal criterion of identity that Frege takes from Leibniz's definition and the specific criterion of identity for cardinal numbers embodied in Hume’s Principle (namely equinumerosity) work hand in hand in the tentative contextual definition of the cardinality operator. Yet the interplay between the two criteria is powerless to prevent the emergence of the Julius Caesar problem, let alone suggests how it could be solved. The final explicit definition of the cardinality operator that Frege sets up still rests on the identity criterion of equinumerosity since cardinal numbers are defined as equivalence classes of that relation. (shrink)

Reconstructing the evolution of Gramsci’s judgement about the Russian Revolution implies an overall rethinking of his own relation to Marx as well as to Kant. Already in the spring of 1917, Gramsci foresaw that the February Revolution could become a proletarian revolution and that this would realise in fact Kant’s moral: only a society completely freed from oppression and exploitation would allow people to be free and autonomous. After the fall of the Winter Palace, Gramsci wrote that the revolution happened (...) “against Marx’s Capital”, or better, against its literal interpretation as spread by the positivistic Marxism of the Second International. Between the end of the 1910s and the beginning of the 1920s, Gramsci thought it possible for Italy and the whole of Europe “to do as in Russia”; yet, from 1924, he started elaborating a different vision of the revolution in the Western World, which in the Prison Notebooks became a contraposition between a war of movement and a war of position. At the same time, he developed the concepts of caesarism/bonapartism and passive revolution which allowed the analysis of phenomena such as americanism and fascism from the perspective of a conservative modernisation, or revolution without a revolution. Still, and most of all, Gramsci developed the concept of hegemony, highlighting the importance of the moment of consensus in the fight for gaining and maintaining power. This drew Gramsci quite far from the marxism-leninism of his time, both from the political and theoretical point of view; for instance, he rejected the “ingenuous realism” of Lenin’s Materialism and Empiriocriticism in favour of a phenomenalism explicitly drawn by Kant. (shrink)

In this essay, we explore a fresh avenue into mind-body dualism by considering a seemingly distant question posed by Frege: "Why is it absurd to suppose that Julius Caesar is a number?". The essay falls into three main parts. In the first, through an exploration of Frege’s Julius Caesar problem, we attempt to expose two maxims applicable to the mind-body problem. In the second part, we draw on those maxims in arguing that “full blown dualism” is (...) preferable to more modest, property-theoretic, versions. Finally, in the third part we close by suggesting that full blown dualism need not be spooky, resurrecting a broadly Lockean, rather than Cartesian, metaphysical picture. (shrink)

Here, Bob Hale and Crispin Wright assemble the key writings that lead to their distinctive neo-Fregean approach to the philosophy of mathematics. In addition to fourteen previously published papers, the volume features a new paper on the Julius Caesar problem; a substantial new introduction mapping out the program and the contributions made to it by the various papers; a section explaining which issues most require further attention; and bibliographies of references and further useful sources. It will be recognized (...) as the most powerful presentation yet of a neo-Fregean program. (shrink)

According to the species of neo‐logicism advanced by Hale and Wright, mathematical knowledge is essentially logical knowledge. Their view is found to be best understood as a set of related though independent theses: (1) neo‐fregeanism—a general conception of the relation between language and reality; (2) the method of abstraction—a particular method for introducing concepts into language; (3) the scope of logic—second‐order logic is logic. The criticisms of Boolos, Dummett, Field and Quine (amongst others) of these theses are explicated and assessed. (...) The issues discussed include reductionism, rejectionism, the Julius Caesar problem, the Bad Company objections, and the charge that second‐order logic is set theory in disguise.The irresistible metaphor is that pure abstract objects […] are no more than shadows cast by the syntax of our discourse. And the aptness of the metaphor is enhanced by the reflection that shadows are, after their own fashion, real. (Crispin Wright [1992], p. 181–2)But I feel conscious that many a reader will scarcely recognise in the shadowy forms which I bring before him his numbers which all his life long have accompanied him as faithful and familiar friends; (Richard Dedekind [1963], p. 33)1 Introduction2 Logical‐historical preliminaries3 The linguistic turn4 Reductionism5 Rejectionism6 The ‘Julius Caesar’ problem7 Second‐order logic8 Bad company objections9 Conclusion. (shrink)

Kit Fine’s book is a study of abstraction in a quite precise sense which derives from Frege. In his Grundlagen, Frege contemplates defining the concept of number by means of what has come to be called Hume’s principle—the principle that the number of Fs is the same as the number of Gs just in case there is a one-to-one correspondence between the Fs and the Gs. Frege’s discussion is largely conducted in terms of another, similar but in some respects simpler, (...) proposal—to define the concept of direction by laying down the principle that the direction of a line a is the same as that of line b if and only if lines a and b are parallel. Such principles have come to be known as abstraction principles. More generally, abstraction principles are ones of the shape: ∀α∀β ↔ α ≈ β), where ≈ is an equivalence relation on entities of the type over which α and β vary and, if the principle is acceptable, § is a function from entities of that type to objects. Since ‘the direction of’ is intended to stand for a function from objects of a certain sort to other objects, the Direction Equivalence is a first-order, or in Fine’s terminology objectual, abstraction; since ‘the number of’ is intended to stand for a function from concepts to objects, Hume’s principle is a higher-order, or as Fine says conceptual, abstraction. As is well-known, Frege himself abandoned the idea of defining number implicitly or contextually by means of Hume’s principle—adopting instead an explicit definition of the number of Fs as the extension of the concept concept equinumerous to the concept F— because he thought that an adequate definition should settle the question whether Julius Caesar, for example, is or is not the number of some concept, but that the proposed implicit definition cannot do so. But interest in abstraction principles has revived in the last couple of decades, largely as a result of Crispin Wright’s attempt to show that in spite of the many difficulties confronting it—including the notorious Julius Caesar problem— Hume’s principle can after all serve as a foundation for arithmetic. (shrink)

In a forthcoming paper in this journal, entitled “Bad company objection to Joongol Kim’s adverbial theory of numbers”, Namjoong Kim presents an ingenious Russell-style paradox based on an analogue of Kim’s definition of the number 1, and argues that Kim’s theory needs to provide a criterion of demarcation between acceptable and unacceptable definitions of adverbial entities. This paper addresses this ‘bad company’ objection and some other related issues concerning Kim’s adverbial theory by clarifying the purposes and uses of the formal (...) framework of the theory. (shrink)

Michael Dummett mounts, in Frege: Philosophy of Mathematics, a concerted attack on the attempt, led by Crispin Wright, to salvage defensible versions of Frege's platonism and logicism in which Frege's criterion of numerical identity plays a leading role. I discern four main strands in this attack—that Wright's solution to the Caesar problem fails; that explaining number words contextually cannot justify treating them as enjoying robust reference; that Wright has no effective counter to ontological reductionism; and that the attempt (...) is vitiated by the unavoidable impredicativity of its leading principle—and argue that none of them succeeds. (shrink)

This paper examines the potential for abstracting propositions – an as yet untested way of defending the realist thesis that propositions as abstract entities exist. I motivate why we should want to abstract propositions and make clear, by basing an account on the neo-Fregean programme in arithmetic, what ontological and epistemological advantages a realist can gain from this. I then raise a series of problems for the abstraction that ultimately have serious repercussions for realism about propositions in general. I first (...) identify problems about the number of entities able to be abstracted using these techniques. I then focus on how issues of language relativity result in problems akin to the Caesar problem in arithmetic by exposing circularity and modal concern over the status of the criterion of identity for propositions. (shrink)

The aim of this critical notice is to elucidate Dummett's contributions to the issues surrounding Frege's contextual definition of number (the number of Fs equals the number of Gs if the Fs and the Gs are in one-one correspondence) and the interpretation of "Frege's theorem" -- the theorem that the second order theory consisting of the contextual definition implies the infinity of the natural numbers. To do so, we focus on Dummett's account of the context principle, his discussion of Frege's (...) use of contextual definition, and his treatment of the "Julius Caesar problem.". (shrink)

A co-authored article with Roy T. Cook forthcoming in a special edition on the Caesar Problem of the journal Dialectica. We argue against the appeal to equivalence classes in resolving the Caesar Problem.

In Die Grundlagen der Arithmetik, Frege attempted to introduce cardinalnumbers as logical objects by means of a second-order abstraction principlewhich is now widely known as ``Hume's Principle'' (HP): The number of Fsis identical with the number of Gs if and only if F and G are equinumerous.The attempt miscarried, because in its role as a contextual definition HP fails tofix uniquely the reference of the cardinality operator ``the number of Fs''. Thisproblem of referential indeterminacy is usually called ``the Julius (...) class='Hi'>Caesar problem''.In this paper, Frege's treatment of the problem in Grundlagen is critically assessed. In particular, I try to shed new light on it by paying special attention to the framework of his logicism in which it appears embedded. I argue, among other things, that the Caesar problem, which is supposed to stem from Frege's tentative inductive definition of the natural numbers, is only spurious, not genuine; that the genuine Caesar problem deriving from HP is a purely semantic one and that the prospects of removing it by explicitly defining cardinal numbers as objects which are not classes are presumably poor for Frege. I conclude by rejecting two closely connected theses concerning Caesar put forward by Richard Heck: (i) that Frege could not abandon Axiom V because he could not solve the Julius Caesar problem without it; (ii) that (by his own lights) his logicist programme in Grundgesetze der Arithmetik failed because he could not overcome that problem. (shrink)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable propositions, (...) and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter 2 argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal cognitivism and modal expressivism. I also develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic epistemic two-dimensional hyperintensional semantics. Chapter 3 provides an abstraction principle for epistemic (hyper-)intensions. Chapter 4 advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter 5 applies the fixed points of the modal μ-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal μ-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal μ-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter 6 advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter 7 provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters 2 and 4 are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. Chapters 8-12 provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter 8 examines the interaction between my hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of Ω-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter 9 examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest, too, that observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter 10 examines the philosophical significance of hyperintensional Ω-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter 11 provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter 12 avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between the interpretational and objective modalities and truthmakers thereof. This yields the first hyperintensional category theory in the literature. I invent a new mathematical trick in which first order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals while bypassing the category of Set in category theory. Chapter 13 examines modal responses to the alethic paradoxes. Chapter 14 examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

Sections “Introduction: Hume’s Principle, Basic Law V and Cardinal Arithmetic” and “The Julius Caesar Problem in Grundlagen—A Brief Characterization” are peparatory. In Section “Analyticity”, I consider the options that Frege might have had to establish the analyticity of Hume’s Principle, bearing in mind that with its analytic or non-analytic status the intended logical foundation of cardinal arithmetic stands or falls. Section “Thought Identity and Hume’s Principle” is concerned with the two criteria of thought identity that Frege states in (...) 1906 and their application to Hume’s Principle. In Section “The Nature ofion: A Critical Assessment of Grundlagen, §64”, I scrutinize Frege’s characterization of abstraction in Grundlagen, §64 and criticize in this context the currently widespread use of the terms “recarving” and “reconceptualization”. Section “Frege’s Proof of Hume’s Principle” is devoted to the formal details of Frege’s proof of Hume’s Principle. I begin by considering his proof sketch in Grundlagen and subsequently reconstruct in modern notation essential parts of the formal proof in Grundgesetze. In Section “Equinumerosity and Coextensiveness: Hume’s Principle and Basic Law V Again”, I discuss the criteria of identity embodied in Hume’s Principle and in Basic Law V, equinumerosity and coextensiveness. In Section “Julius Caesar and Cardinal Numbers—A Brief Comparison Between Grundlagen and Grundgesetze ”, I comment on the Julius Caesar problem arising from Hume’s Principle in Grundlagen and analyze the reasons for its absence in this form in Grundgesetze. I conclude with reflections on the introduction of the cardinals and the reals by abstraction in the context of Frege’s logicism. (shrink)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable propositions, (...) and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter \textbf{2} argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal and hyperintensional cognitivism and modal and hyperintensional expressivism. I also develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic two-dimensional semantics grounded in two-dimensional hyperintensional Turing machines. Chapter \textbf{3} provides an abstraction principle for epistemic (hyper-)intensions. Chapter \textbf{4} advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter \textbf{5} applies the fixed points of the modal $\mu$-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal $\mu$-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal $\mu$-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter \textbf{6} advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter \textbf{7} provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters \textbf{2} and \textbf{4} are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters \textbf{8-12} provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter \textbf{8} examines the interaction between my hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of $\Omega$-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter \textbf{9} examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest, too, that observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter \textbf{10} examines the philosophical significance of hyperintensional $\Omega$-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter \textbf{11} provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter \textbf{12} avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between interpretational and objective modalities and the truthmakers thereof. This yields the first hyperintensional category theory in the literature. I invent a new mathematical trick in which first-order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals in the category of Set in category theory. Chapter \textbf{13} examines modal responses to the alethic paradoxes. I provide a counter-example to epistemic closure for reductio proofs. Chapter \textbf{14} examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

From 1905–1908 onward, Russell thought that his new ‘substitutional theory’ provided him with the right framework to resolve the set-theoretic paradoxes. Even if he did not finally retain this resolution, the substitutional strategy was instrumental in the development of his thought. The aim of this paper is not historical, however. It is to show that Russell's substitutional insight can shed new light on current issues in philosophy of mathematics. After having briefly expounded Russell's key notion of a ‘structured variable’, I (...) connect it to two ongoing discussions: the Caesar problem, and absolute generality. (shrink)

We can introduce singular terms for ordered pairs by means of an abstraction principle. Doing so proves useful for a number of projects in the philosophy of mathematics. However there is a question whether we can appeal to the abstraction principle in good faith, since a version of the Caesar Problem can be generated, posing the worry that abstraction fails to introduce expressions which refer determinately to the requisite sort of object. In this note I will pose the (...) difficulty, and then propose a solution. Since my solution appeals to a plausible constraint on the introduction of new expressions to a language, it is of interest independently of the particular case of terms for pairs. Since these provide the occasion for discussion we should nonetheless review the use of abstraction for pairs before the argumentative business of the paper commences. (shrink)

We can introduce singular terms for ordered pairs by means of an abstraction principle. Doing so proves useful for a number of projects in the philosophy of mathematics. However there is a question whether we can appeal to the abstraction principle in good faith, since a version of the Caesar Problem can be generated, posing the worry that abstraction fails to introduce expressions which refer determinately to the requisite sort of object. In this short paper I will pose (...) the difficulty, and then propose a solution. (shrink)

According to Øystein Linnebo's account of abstractionism, abstraction principles, received as Fregean criteria of identity, can be used to reduce facts about singular reference to objects such as directions and numbers to facts that do not involve such objects. In this article, first I show how the resources of Linnebo's metasemantics successfully handle Dummett's challenge against the referentiality of the singular terms formed by abstraction principles. Then, I argue that Linnebo's metasemantic commitments do not provide us with tools for dispelling (...) the threat of a version of referential indeterminacy, according to which nothing in our use of a singular term, even when it is guided by an associated criterion of identity, could determine which particular object it refers to. I end by examining the bearing of the indeterminacy challenge to Linnebo's treatment of Frege's Caesar Problem: in the absence of an argument against the indeterminacy of reference, it is unclear how numerical expressions could qualify as genuine singular terms. (shrink)

This essay aims to redress the contention that epistemic possibility cannot be a guide to the principles of modal metaphysics. I introduce a novel epistemic two-dimensional truthmaker semantics. I argue that the interaction between the two-dimensional framework and the mereological parthood relation, which is super-rigid, enables epistemic possibilities and truthmakers with regard to parthood to be a guide to its metaphysical profile. I specify, further, a two-dimensional formula encoding the relation between the epistemic possibility and verification of essential properties obtaining (...) and their metaphysical possibility or verification. I then generalize the approach to haecceitistic properties, and examine the Julius Caesar problem as a test case. (shrink)

According to the sortal conception of the universe of individuals every individual falls under a highest sortal, or category. It is argued here that on this conception the identity relation is defined between individuals a and b if and only if a and b fall under a common category. Identity must therefore be regarded as a relation of the form \, with three arguments x, y, and Z, where Z ranges over categories, and where the range of x and y (...) depends on the value of Z. An identity relation of this kind can be made good sense of in Martin-Löf’s type theory. But identity so construed requires a reformulation of Hume’s Principle that makes this principle unfit for explaining the sortal concept of cardinal number. The Neo-Logicist can therefore not appeal to the sortal conception in tackling the Julius Caesar problem, as proposed by Hale and Wright. (shrink)

This book concerns the foundations of epistemic modality. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality relates to the computational theory of mind; metaphysical modality; the types of mathematical modality; to the epistemic status of large cardinal axioms, undecidable propositions, and abstraction principles in the philosophy of mathematics; to the modal profile of rational intuition; and (...) to the types of intention, when the latter is interpreted as a modal mental state. Chapter 2 argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal cognitivism and modal expressivism. Chapter 3 provides an abstraction principle for epistemic intensions. Chapter 4 advances a two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter 5 applies the fixed points of the modal $\mu$-calculus in order to account for the iteration of epistemic states, by contrast to availing of modal axiom 4. Chapter 6 advances a solution to the Julius Caesar problem based on Fine's "criterial" identity conditions which incorporate conditions on essentiality and grounding. Chapter 7 provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The epistemic two-dimensional truthmaker semantics developed in chapter 4 is availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. Chapter 8 examines the modal commitments of abstractionism, in particular necessitism, and epistemic modality and the epistemology of abstraction. Chapter 9 examines the modal profile of $\Omega$-logic in set theory. Chapter 10 examines the interaction between epistemic two-dimensional semantics and absolute decidability. Chapter 11 avails of modal coalgebraic automata to interpret the defining properties of indefinite extensibility, and avails of epistemic two-dimensional semantics in order to account for the interaction of the interpretational and objective modalities thereof. The hyperintensional, epistemic two-dimensional truthmaker semantics developed in chapter 4 is applied in chapters 8, 10, and 11. Chapter 12 provides a modal logic for rational intuition. Chapter 13 examines modal responses to the alethic paradoxes. Chapter 14 examines, finally, the modal semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)