The primary purpose of this note is to demonstrate that predicative Frege arithmetic naturally interprets certain weak but non-trivial arithmetical theories. It will take almost as long to explain what this means and why it matters as it will to prove the results.

Evidence is drawn together to connect sources of inconsistency that Frege discerned in his foundations for arithmetic with the origins of the paradox derived by Russell in "Basic Laws" I and then with antinomies, paradoxes, contradictions, riddles associated with modal and intensional logics. Examined are: Frege's efforts to grasp logical objects; the philosophical arguments that compelled Russell to adopt a description theory of names and a eliminative theory of descriptions; the resurfacing of issues surrounding reference, descriptions, identity, substitutivity, paradox in (...) the debates concerning modal and intensional logics; the development of the New Theory of Reference. I consider this to be the philosophical ground upon which the debates regarding that theory should take place. (shrink)

O presente manual tem como intenção constituir um guia para uma disciplina introdutória de filosofia da linguagem. Foi elaborado a partir da leccionação da disciplina de Filosofia da Linguagem I na Faculdade de Letras da Universidade do Porto desde 2001. A disciplina de Filosofia da Linguagem I ocupa um semestre lectivo e proporciona aos estudantes o primeiro contacto sistemático com a área da filosofia da linguagem. Pretende-se que este manual ofereça aos estudantes os instrumentos necessários não apenas para acompanhar uma (...) iniciação ao campo da filosofia da linguagem mas também para o estudo e a investigação autónomos posteriores. Para isso é percorrido um trajecto que conduz das intuições pré-teóricas acerca de linguagem, de que todos dispomos, até um conhecimento disciplinar específico, histórico e temático, da filosofia da linguagem. Em termos práticos, são considerados como precedentes da disciplina de Filosofia da Linguagem I – mesmo se, pelo existem actualmente precedências em sentido estrito – as disciplinas de Lógica I e II e de Filosofia do Conhecimento I e II. Os programas dessas disciplinas nos últimos anos estiveram presentes por trás da elaboração do manual. (shrink)

This paper explores the relationship between Hume's Prinicple and Basic Law V, investigating the question whether we really do need to suppose that, already in Die Grundlagen, Frege intended that HP should be justified by its derivation from Law V.

Frege’s project has been characterized as an attempt to formulate a complete system of logic adequate to characterize mathematical theories such as arithmetic and set theory. As such, it was seen to fail by Gödel’s incompleteness theorem of 1931. It is argued, however, that this is to impose a later interpretation on the word ‘complete’ it is clear from Dedekind’s writings that at least as good as interpretation of completeness is categoricity. Whereas few interesting first-order mathematical theories are categorical or (...) complete, there are logical extensions of these theories into second-order and by the addition of generalized quantifiers which are categorical. Frege’s project really found success through Gödel’s completeness theorem of 1930 and the subsequent development of first- and higher-order model theory. (shrink)

Several scholars have argued that Wittgenstein held the view that the notion of number is presupposed by the notion of one-one correlation, and that therefore Hume's principle is not a sound basis for a definition of number. I offer a new interpretation of the relevant fragments on philosophy of mathematics from Wittgenstein's Nachlass, showing that if different uses of ‘presupposition’ are understood in terms of de re and de dicto knowledge, Wittgenstein's argument against the Frege-Russell definition of number turns out (...) to be valid on its own terms, even though it depends on two epistemological principles logicist philosophers of mathematics may find too ‘constructivist’. (shrink)

This article treats three aspects of Frege's discussions of definitions. First, I survey Frege's main criticisms of definitions in mathematics. Second, I consider Frege's apparent change of mind on the legitimacy of contextual definitions and its significance for recent neo-Fregean logicism. In the remainder of the article I discuss a critical question about the definitions on which Frege's proofs of the laws of arithmetic depend: do the logical structures of the definientia reflect the understanding of arithmetical terms prevailing prior to (...) Frege's analyses? Unless they do, it is unclear how Frege's proofs demonstrate the analyticity of the arithmetic in use before logicism. Yet, especially in late writings, Frege characterizes definitions as arbitrary stipulations of the senses or references of expressions unrelated to pre-definitional understanding. I conclude by examining some options for conceiving of the status of Frege's logicism in light of this apparent tension, and outline a suggestion for a philosophically fruitful way of resolving this tension. (shrink)

Logic is usually thought to concern itself only with features that sentences and arguments possess in virtue of their logical structures or forms. The logical form of a sentence or argument is determined by its syntactic or semantic structure and by the placement of certain expressions called “logical constants.”[1] Thus, for example, the sentences Every boy loves some girl. and Some boy loves every girl. are thought to differ in logical form, even though they share a common syntactic and semantic (...) structure, because they differ in the placement of the logical constants “every” and “some”. By contrast, the sentences Every girl loves some boy. and Every boy loves some girl. are thought to have the same logical form, because “girl” and “boy” are not logical constants. Thus, in order to settle questions about logical form, and ultimately about which arguments are logically valid and which sentences logically true, we must distinguish the “logical constants” of a language from its nonlogical expressions. (shrink)

In this paper, the author shows how one can independently prove, within the theory of abstract objects, some of the most significant claims, hypotheses, and background assumptions found in Kripke's logical and philosophical work. Moreover, many of the semantic features of theory of abstract objects are consistent with Kripke's views — the successful representation, in the system, of the truth conditions and entailments of philosophically puzzling sentences of natural language validates certain Kripkean semantic claims about natural language.

A person who does not have good intellectual reasons for believing in God can, depending on his probabilities and values for consequences of believing, have good practical reasons. Pascalian wagers founded on a variety of possible probability/value profiles are examined from a Bayesian perspective central to which is the idea that states and options are pragmatically reasonable only if they maximize subjective expected value. Attention is paid to problems posed by representations of values by Cantorian infinities. An appendix attends to (...) Robinsonian hyperreals. Another appendix presents for comparison Newcomb's Problem and a problem in some ways like it suggested, I think, by ideas of John Calvin. (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)

Discussions of the applicability of mathematics in the natural sciences have been flawed by failure to realize that there are multiple senses in which mathematics can be ‘applied’ and, correspondingly, multiple problems that stem from the applicability of mathematics. I discuss semantic, metaphysical, descriptive, and and epistemological problems of mathematical applicability, dwelling on Frege's contribution to the solution of the first two types. As for the remaining problems, I discuss the contributions of Hartry Field and Eugene Wigner. Finally, I argue (...) that there are epistemological problems concerning the applicability of mathematics that nobody in the philosophical community has yet confronted, though the problems are well known to physicists. (shrink)

Around the turn of the century, Poincare and Hilbert each published an account of geometry that took the discipline to be an implicit definition of its concepts. The terms ‘point’, ‘line’, and ‘plane’ can be applied to any system of objects that satisfies the axioms. Each mathematician found spirited opposition from a different logicist—Russell against Poincare' and Frege against Hilbert— who maintained the dying view that geometry essentially concerns space or spatial intuition. The debates illustrate the emerging idea of mathematics (...) as the science of structure. The article closes with some remarks on structuralist and nonstructuralist themes in Frege's own development of arithmetic. (shrink)

A famous passage in Section 64 of Frege’s Grundlagen may be seen as a justification for the truth of abstraction principles. The justification is grounded in the procedureofcontent recarvingwhich Frege describes in the passage. In this paper I argue that Frege’sprocedure of content recarving while possibly correct in the case of first-order equivalencerelations is insufficient to grant the truth of second-order abstractions. Moreover, I propose apossible way of justifying second-order abstractions by referring to the operation of contentrecarving and I show (...) that the proposal relies to a certain extent on the Basic Law V. Therefore,if we are to justify the truth of second-order abstractions by invoking the content recarvingprocedure we are committed to a special status of some instances of the Basic Law V and thusto a special status of extensions of concepts as abstract objects. (shrink)

Frege's development of the theory of arithmetic in his Grundgesetze der Arithmetik has long been ignored, since the formal theory of the Grundgesetze is inconsistent. His derivations of the axioms of arithmetic from what is known as Hume's Principle do not, however, depend upon that axiom of the system--Axiom V--which is responsible for the inconsistency. On the contrary, Frege's proofs constitute a derivation of axioms for arithmetic from Hume's Principle, in (axiomatic) second-order logic. Moreover, though Frege does prove each of (...) the now standard Dedekind-Peano axioms, his proofs are devoted primarily to the derivation of his own axioms for arithmetic, which are somewhat different (though of course equivalent). These axioms, which may be yet more intuitive than the Dedekind-Peano axioms, may be taken to be "The Basic Laws of Cardinal Number", as Frege understood them. Though the axioms of arithmetic have been known to be derivable from Hume's Principle for about ten years now, it has not been widely recognized that Frege himself showed them so to be; nor has it been known that Frege made use of any axiomatization for arithmetic whatsoever. Grundgesetze is thus a work of much greater significance than has often been thought. First, Frege's use of the inconsistent Axiom V may invalidate certain of his claims regarding the philosophical significance of his work (viz., the establishment of Logicism), but it should not be allowed to obscure his mathematical accomplishments and his contribution to our understanding of arithmetic. Second, Frege's knowledge that arithmetic is derivable from Hume's Principle raises important sorts of questions about his philosophy of arithmetic. For example, "Why did Frege not simply abandon Axiom V and take Hume's Principle as an axiom?". (shrink)

We examine George Boolos's proposed abstraction principle for extensions based on the limitation-of-size conception, New V, from several perspectives. Crispin Wright once suggested that New V could serve as part of a neo-logicist development of real analysis. We show that it fails both of the conservativeness criteria for abstraction principles that Wright proposes. Thus, we support Boolos against Wright. We also show that, when combined with the axioms for Boolos's iterative notion of set, New V yields a system equivalent to (...) full Zermelo-Fraenkel set theory with a principle of global choice. This advances Boolos's longstanding interest in the foundations of set theory. (shrink)

Let me start with a well-known story. Kant held that logic and conceptual analysis alone cannot account for our knowledge of arithmetic: “however we might turn and twist our concepts, we could never, by the mere analysis of them, and without the aid of intuition, discover what is the sum [7+5]” (KrV, B16). Frege took himself to have shown that Kant was wrong about this. According to Frege’s logicist thesis, every arithmetical concept can be defined in purely logical terms, and (...) every theorem of arithmetic can be proved using only the basic laws of logic. Hence, Kant was wrong to think that our grasp of arithmetical concepts and our knowledge of arithmetical truth depend on an extralogical source—the pure intuition of time (Frege 1884, §89, §109). Arithmetic, properly understood, is just a part of logic. (shrink)

Frege Arithmetic (FA) is the second-order theory whose sole non-logical axiom is Hume’s Principle, which says that the number of F s is identical to the number of Gs if and only if the F s and the Gs can be one-to-one correlated. According to Frege’s Theorem, FA and some natural definitions imply all of second-order Peano Arithmetic. This paper distinguishes two dimensions of impredicativity involved in FA—one having to do with Hume’s Principle, the other, with the underlying second-order logic—and (...) investigates how much of Frege’s Theorem goes through in various partially predicative fragments of FA. Theorem 1 shows that almost everything goes through, the most important exception being the axiom that every natural number has a successor. Theorem 2 shows that the Successor Axiom cannot be proved in the theories that are predicative in either dimension. (shrink)

In this paper, the authors discuss Frege's theory of "logical objects" and the recent attempts to rehabilitate it. We show that the 'eta' relation George Boolos deployed on Frege's behalf is similar, if not identical, to the encoding mode of predication that underlies the theory of abstract objects. Whereas Boolos accepted unrestricted Comprehension for Properties and used the 'eta' relation to assert the existence of logical objects under certain highly restricted conditions, the theory of abstract objects uses unrestricted Comprehension for (...) Logical Objects and banishes encoding formulas from Comprehension for Properties. The relative mathematical and philosophical strengths of the two theories are discussed. Along the way, new results in the theory of abstract objects are described, involving: the theory of extensions, the theory of directions and shapes, and the theory of truth values. (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)

This essay examines the philosophical significance of $\Omega$-logic in Zermelo-Fraenkel set theory with choice (ZFC). The categorical duality between coalgebra and algebra permits Boolean-valued algebraic models of ZFC to be interpreted as coalgebras. The hyperintensional profile of $\Omega$-logical validity can then be countenanced within a coalgebraic logic. I argue that the philosophical significance of the foregoing is two-fold. First, because the epistemic and modal and hyperintensional profiles of $\Omega$-logical validity correspond to those of second-order logical consequence, $\Omega$-logical validity is genuinely (...) logical. Second, the foregoing provides a hyperintensional account of the interpretation of mathematical and metamathematical vocabulary. (shrink)

Abstractionism in the philosophy of mathematics aims at deriving large fragments of mathematics by combining abstraction principles (i.e. the abstract objects $\S e_1, \S e_2$, are identical if, and only if, an equivalence relation $Eq_\S$ holds between the entities $e_1, e_2$) with logic. Still, as highlighted in work on the semantics for relevant logics, there are different ways theories might be combined. In exactly what ways must logic and abstraction be combined in order to get interesting mathematics? In this paper, (...) we investigate the matter by deriving the axioms of second-order Peano Arithmetic from Frege's Basic Law V (the extension of $F$ is identical with the extension of $G$ if, and only if, $F$ and $G$ are extensionally equivalent) in the presence of a relevant higher-order logic. The results are interesting. Not only must we take on logic as true, and not only must we apply our logic to abstraction principles, but also we have to apply our theory of abstraction back to the logic in order to arrive at arithmetic. Thus, what Abstractionism gives us is not simply what we get from abstraction via logic, but also what we get from logic via abstraction. (shrink)

Categorial logic, as its name suggests, applies the techniques and machinery of category theory to topics traditionally classified as part of logic. We claim that these tools deserve attention from a greater range of philosophers than just the mathematical logicians. We support this claim with an example. In this paper we show how one particular tool from categorial logic---hyperdoctrines---suggests interesting metaphysics. Hyperdoctrines can provide semantics for quantified languages, but this account of quantification suggests a metaphysical picture quite different from the (...) one suggested by standard model-theoretic semantics. (shrink)

Pluralist mathematical realism, the view that there exists more than one mathematical universe, has become an influential position in the philosophy of mathematics. I argue that, if mathematical pluralism is true (and we have good reason to believe that it is), then mathematical realism cannot (easily) be justified by arguments from the indispensability of mathematics to science. This is because any justificatory chain of inferences from mathematical applications in science to the total body of mathematical theorems can cover at most (...) one mathematical universe. Indispensability arguments may thus lose their central role in the debate about mathematical ontology. (shrink)

One prominent criticism of the abstractionist program is the so-called Bad Company objection. The complaint is that abstraction principles cannot in general be a legitimate way to introduce mathematical theories, since some of them are inconsistent. The most notorious example, of course, is Frege’s Basic Law V. A common response to the objection suggests that an abstraction principle can be used to legitimately introduce a mathematical theory precisely when it is stable: when it can be made true on all sufficiently (...) large domains. In this paper, we raise a worry for this response to the Bad Company objection. We argue, perhaps surprisingly, that it requires very strong assumptions about the range of the second-order quantifiers; assumptions that the abstractionist should reject. (shrink)

Quantum information is discussed as the universal substance of the world. It is interpreted as that generalization of classical information, which includes both finite and transfinite ordinal numbers. On the other hand, any wave function and thus any state of any quantum system is just one value of quantum information. Information and its generalization as quantum information are considered as quantities of elementary choices. Their units are correspondingly a bit and a qubit. The course of time is what generates choices (...) by itself, thus quantum information and any item in the world in final analysis. The course of time generates necessarily choices so: The future is absolutely unorderable in principle while the past is always well-ordered and thus unchangeable. The present as the mediation between them needs the well-ordered theorem equivalent to the axiom of choice. The latter guarantees the choice even among the elements of an infinite set, which is the case of quantum information. The concrete and abstract objects share information as their common base, which is quantum as to the formers and classical as to the latters. The general quantities of matter in physics, mass and energy can be considered as particular cases of quantum information. The link between choice and abstraction in set theory allows of “Hume’s principle” to be interpreted in terms of quantum mechanics as equivalence of “many” and “much” underlying quantum information. Quantum information as the universal substance of the world calls for the unity of physics and mathematics rather than that of the concrete and abstract objects and thus for a form of quantum neo-Pythagoreanism in final analysis. (shrink)

The link between the high-order metaphysics and abstractions, on the one hand, and choice in the foundation of set theory, on the other hand, can distinguish unambiguously the “good” principles of abstraction from the “bad” ones and thus resolve the “bad company problem” as to set theory. Thus it implies correspondingly a more precise definition of the relation between the axiom of choice and “all company” of axioms in set theory concerning directly or indirectly abstraction: the principle of abstraction, axiom (...) of comprehension, axiom scheme of specification, axiom scheme of separation, subset axiom scheme, axiom scheme of replacement, axiom of unrestricted comprehension, axiom of extensionality, etc. (shrink)

Though the divide between reason-based and causal-explanatory approaches in psychiatry and psychopathology is old and deeply rooted, current trends involving multi-factorial explanatory models and evidence-based approaches to interpersonal psychotherapy, show that it has already been implicitly bridged. These trends require a philosophical reconsideration of how reasons can be causes. This paper contributes to that trajectory by arguing that Donald Davidson’s classic paradigm of 1963 is still a valid option.

Quantum information is discussed as the universal substance of the world. It is interpreted as that generalization of classical information, which includes both finite and transfinite ordinal numbers. On the other hand, any wave function and thus any state of any quantum system is just one value of quantum information. Information and its generalization as quantum information are considered as quantities of elementary choices. Their units are correspondingly a bit and a qubit. The course of time is what generates choices (...) by itself, thus quantum information and any item in the world in final analysis. The course of time generates necessarily choices so: The future is absolutely unorderable in principle while the past is always well-ordered and thus unchangeable. The present as the mediation between them needs the well-ordered theorem equivalent to the axiom of choice. The latter guarantees the choice even among the elements of an infinite set, which is the case of quantum information. The concrete and abstract objects share information as their common base, which is quantum as to the formers and classical as to the latter. The general quantities of matter in physics, mass and energy can be considered as particular cases of quantum information. The link between choice and abstraction in set theory allows of “Hume’s principle” to be interpreted in terms of quantum mechanics as equivalence of “many” and “much” underlying quantum information. Quantum information as the universal substance of the world calls for the unity of physics and mathematics rather than that of the concrete and abstract objects and thus for a form of quantum neo-Pythagoreanism in final analysis. (shrink)

Thought: A Journal of Philosophy, EarlyView.

Foundational projects disagree on whether pure and applied mathematics should be explained together. Proponents of unified accounts like neologicists defend Frege’s Constraint (FC), a principle demanding that an explanation of applicability be provided by mathematical definitions. I reconsider the philosophical import of FC, arguing that usual conceptions are biased by ontological assumptions. I explore more reasonable weaker variants — Moderate and Modest FC — arguing against common opinion that ante rem structuralism (and other) views can meet them. I dispel doubts (...) that such constraints are ‘toothless’, showing they both assuage Frege’s original concerns and accommodate neo-logicist intents by dismissing ‘arrogant’ definitions. (shrink)

This paper examines the philosophical significance of the consequence relation defined in the $\Omega$-logic for set-theoretic languages. I argue that, as with second-order logic, the hyperintensional profile of validity in $\Omega$-Logic enables the property to be epistemically tractable. Because of the duality between coalgebras and algebras, Boolean-valued models of set theory can be interpreted as coalgebras. In Section \textbf{2}, I demonstrate how the hyperintensional profile of $\Omega$-logical validity can be countenanced within a coalgebraic logic. Finally, in Section \textbf{3}, the philosophical (...) significance of the characterization of the hyperintensional profile of $\Omega$-logical validity for the philosophy of mathematics is examined. I argue (i) that $\Omega$-logical validity is genuinely logical, and (ii) that it provides a hyperintensional account of formal grasp of the concept of `set'. Section \textbf{4} provides concluding remarks. (shrink)

The existence of mereological sums can be derived from an abstraction principle in a way analogous to numbers. I draw lessons for the thesis that “composition is innocent” from neo-Fregeanism in the philosophy of mathematics.

This paper aims to provide hyperintensional foundations for mathematical platonism. I examine Hale and Wright's (2009) objections to the merits and need, in the defense of mathematical platonism and its epistemology, of the thesis of Necessitism. In response to Hale and Wright's objections to the role of epistemic and metaphysical modalities in providing justification for both the truth of abstraction principles and the success of mathematical predicate reference, I examine the Necessitist commitments of the abundant conception of properties endorsed by (...) Hale and Wright and examined in Hale (2013), and demonstrate how a two-dimensional approach to the epistemology of mathematics is consistent with Hale and Wright's notion of there being non-evidential epistemic entitlement rationally to trust that abstraction principles are true. A choice point that I flag is that between availing of intensional or hyperintensional semantics. The hyperintensional semantic approach that I advance is a topic-sensitive epistemic two-dimensional truthmaker semantics. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest that observational type theory can be applied to first-order abstraction principles in order to make abstraction principles recursively enumerable. Epistemic and metaphysical states and possibilities may thus be shown to play a constitutive role in vindicating the reality of mathematical objects and truth, and in providing a conceivability-based route to the truth of abstraction principles as well as other axioms and propositions in mathematics. (shrink)

In this paper, we compare two theories, modal Meinongianism and object theory, with respect to several issues that have been discussed recently in the literature. In particular, we raise some objections for MM, undermine some of the objections that its defenders raise for OT, and we point out some virtues of the latter with respect to the former.

Frege's work was largely devoted to an attempt to argue that the'basic laws of arithmetic' are truths of logic. That attempt had both philosophical and formal aspects. The present note offers an introduction to both of these, so that readers will be able to appreciate contemporary discussions of the philosophical significance of 'Frege's Theorem'.

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. David Elohim examines 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. Elohim develops a novel, topic-sensitive truthmaker semantics for dynamic epistemic logic, and develops a novel, dynamic two-dimensional semantics grounded in two-dimensional hyperintensional Turing machines. Chapter \textbf{3} provides an abstraction principle for two-dimensional (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} is 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 Elohim's 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. Elohim countenances a hyperintensional semantics for novel epistemic abstractionist modalities. Elohim suggests, too, that higher 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 two-dimensional 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. Elohim invents 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. Elohim provides a counter-example to epistemic closure for logical deduction. 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)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. David Elohim examines 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. Elohim develops a novel, topic-sensitive truthmaker semantics for dynamic epistemic logic, and develops a novel, dynamic two-dimensional semantics grounded in two-dimensional hyperintensional Turing machines. Chapter \textbf{3} provides an abstraction principle for two-dimensional (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} is 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 Elohim's 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. Elohim countenances a hyperintensional semantics for novel epistemic abstractionist modalities. Elohim suggests, too, that higher 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 two-dimensional 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. Elohim invents 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. Elohim provides a counter-example to epistemic closure for logical deduction. 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)

This essay examines the philosophical significance of $\Omega$-logic in Zermelo-Fraenkel set theory with choice (ZFC). The categorical duality between coalgebra and algebra permits Boolean-valued algebraic models of ZFC to be interpreted as coalgebras. The hyperintensional profile of $\Omega$-logical validity can then be countenanced within a coalgebraic logic. I argue that the philosophical significance of the foregoing is two-fold. First, because the epistemic and modal and hyperintensional profiles of $\Omega$-logical validity correspond to those of second-order logical consequence, $\Omega$-logical validity is genuinely (...) logical. Second, the foregoing provides a hyperintensional account of the interpretation of mathematical and metamathematical vocabulary. (shrink)

Neologicists have sought to ground mathematical knowledge in abstraction. One especially obstinate problem for this account is the bad company problem. The leading neologicist strategy for resolving this problem is to attempt to sift the good abstraction principles from the bad. This response faces a dilemma: the system of ‘good’ abstraction principles either falls foul of the Scylla of inconsistency or the Charybdis of being unable to recover a modest portion of Zermelo–Fraenkel set theory with its intended generality. This article (...) argues that the bad company problem is due to the ‘static’ character of abstraction on the neologicist's account and develops a ‘dynamic’ account of abstraction that avoids both horns of the dilemma. 1 Introduction2ion Reconstructed3 From Bad to Worse4 Abstraction Reconceived5 Bad Company Made GoodA AppendixA.1SemanticsA.2LogicA.3ConsistencyA.4Strength. (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)

The authors provide an object-theoretic analysis of two paradoxes in the theory of possible worlds and propositions stemming from Russell and Kaplan. After laying out the paradoxes, the authors provide a brief overview of object theory and point out how syntactic restrictions that prevent object-theoretic versions of the classical paradoxes are justified philosophically. The authors then trace the origins of the Russell paradox to a problematic application of set theory in the definition of worlds. Next the authors show that an (...) object-theoretic analysis of the Kaplan paradox reveals that there is no genuine paradox at all, as the central premise of the paradox is simply a logical falsehood and hence can be rejected on the strongest possible grounds—not only in object theory but for the very framework of propositional modal logic in which Kaplan frames his argument. The authors close by fending off a possible objection that object theory avoids the Russell paradox only by refusing to incorporate set theory and, hence, that the object-theoretic solution is only a consequence of the theory’s weakness. (shrink)

The purpose of this article is to delimit what can and cannot be claimed on behalf of second-order logic. The starting point is some of the discussions surrounding my Foundations without Foundationalism: A Case for Secondorder Logic.

This paper raises and then discusses a puzzle concerning the ontological commitments of mathematical principles. The main focus here is Hume's Principle—a statement that, embedded in second-order logic, allows for a deduction of the second-order Peano axioms. The puzzle aims to put pressure on so-called epistemic rejectionism, a position that rejects the analytic status of Hume's Principle. The upshot will be to elicit a new and very basic disagreement between epistemic rejectionism and the neo-Fregeans, defenders of the analytic status of (...) Hume's Principle, which will provide a new angle from which properly to assess and re-evaluate the current debate. (shrink)

Plural Logic is an extension of First-Order Logic with plural terms and quantifiers. When its plural terms are interpreted as denoting more than one object at once, Plural Logic is usually taken to be ontologically innocent: plural quantifiers do not require a domain of their own, but range plurally over the first-order domain of quantification. Given that Plural Logic is equi-interpretable with Monadic Second-Order Logic, it gives us its expressive power at the low ontological cost of a first-order language. This (...) makes it a valuable tool in various areas of philosophy. Some authors believe that Plural Logic can be extended into an even more expressive logic, Higher-Level Plural Logic, by adding higher-level plural terms and quantifiers to it. The basic idea is that second-level plurals stand to plurals like plurals stand to singulars. Allegedly, Higher-Level Plural Logic enjoys the expressive power of type theory while, again, committing us only to the austere ontology of a first-order language. Were this really the case, Higher-Level Plural Logic would be a very useful tool, extending and strengthening some of the applications of Plural Logic. However, while the notions of plural reference and quantification enjoy widespread acceptance today, their higher-level counterparts have been received with scepticism. The main objection raised against them is that higher-level plural reference is unintelligible. This has been argued, among others, on the grounds that there are no higher-level plurals in natural language and that, if there were any, they could be eliminated. In this thesis, after introducing the debate on plurals in Chapters 1 and 2, I turn to defending the legitimacy of the notion of higher-level plural reference. To this end, in Chapter 3, I present and elucidate the notion. Next, in Chapter 4, I show that some natural languages clearly contain these expressions and that they do so in an ineliminable manner. Finally, in Chapters 5 and 6, I develop a semantics for higher-level plurals that employs only devices previously well-understood by English speakers. To finish, in Chapter 7, I describe an application of Higher-level Plural Logic: a strengthening of the neo-Fregean programme. After describing my proposal, I turn to the issue of the logical status of this formalism and defend an optimistic take on the matter. (shrink)

In this paper, the author derives the Dedekind-Peano axioms for number theory from a consistent and general metaphysical theory of abstract objects. The derivation makes no appeal to primitive mathematical notions, implicit definitions, or a principle of infinity. The theorems proved constitute an important subset of the numbered propositions found in Frege's *Grundgesetze*. The proofs of the theorems reconstruct Frege's derivations, with the exception of the claim that every number has a successor, which is derived from a modal axiom that (...) (philosophical) logicians implicitly accept. In the final section of the paper, there is a brief philosophical discussion of how the present theory relates to the work of other philosophers attempting to reconstruct Frege's conception of numbers and logical objects. (shrink)

Hume's Principle, dear to neo-Logicists, maintains that equinumerosity is both necessary and sufficient for sameness of cardinal number. All the same, Whitehead demonstrated in Principia Mathematica's logic of relations that Cantor's power-class theorem entails that Hume's Principle admits of exceptions. Of course, Hume's Principle concerns cardinals and in Principia's ‘no-classes’ theory cardinals are not objects in Frege's sense. But this paper shows that the result applies as well to the theory of cardinal numbers as objects set out in Frege's Grundgesetze. (...) Though Frege did not realize it, Cantor's power-theorem entails that Frege's cardinals as objects do not always obey Hume's Principle. (shrink)

This paper discusses the neo-logicist approach to the foundations of mathematics by highlighting an issue that arises from looking at the Bad Company objection from an epistemological perspective. For the most part, our issue is independent of the details of any resolution of the Bad Company objection and, as we will show, it concerns other foundational approaches in the philosophy of mathematics. In the first two sections, we give a brief overview of the "Scottish" neo-logicist school, present a generic form (...) of the Bad Company objection and introduce an epistemic issue connected to this general problem that will be the focus of the rest of the paper. In the third section, we present an alternative approach within philosophy of mathematics, a view that emerges from Hilbert's Grundlagen der Geometrie (1899, Leipzig: Teubner; Foundations of geometry (trans.: Townsend, E.). La Salle, Illinois: Open Court, 1959.). We will argue that Bad Company-style worries, and our concomitant epistemic issue, also affects this conception and other foundationalist approaches. In the following sections, we then offer various ways to address our epistemic concern, arguing, in the end, that none resolves the issue. The final section offers our own resolution which, however, runs against the foundationalist spirit of the Scottish neo-logicist program. (shrink)

This paper aims to shed light on the broader significance of Frege’s logicism against the background of discussing and comparing Wittgenstein’s ‘showing/saying’-distinction with Brandom’s idiom of logic as the enterprise of making the implicit rules of our linguistic practices explicit. The main thesis of this paper is that the problem of Frege’s logicism lies deeper than in its inconsistency : it lies in the basic idea that in arithmetic one can, and should, express everything that is implicitly presupposed so that (...) nothing is left unsaid. This, in fact, is the target of Wittgenstein’s critique. Rather than the Tractatus, with its claim that logicism attempts to say something that can only be shown, it is the Philosophical Investigations, with its argument by regress against the thesis that every rule which one can follow must be of an explicit nature, that is of real significance here. (shrink)