_ Source: _Volume 95, Issue 3, pp 368 - 413 Frege famously maintained that concepts are not objects. A key argument of Frege’s for this view is, in outline, as follows: if we are to account for the unity of thought, concepts must be deemed _unsaturated_; since objects are, by contrast, saturated entities, concepts cannot be objects. The author investigates what can be made of this argument and, in particular, of the unsaturated/saturated distinction it invokes. Systematically exploring a range of (...) reconstructions suggested by Frege’s writings, and drawing on contemporary work, the author illustrates that no plausible reconstruction is forthcoming. In essence, it is altogether unclear how to simultaneously substantiate, on the one hand, the claim that unsaturated entities must be recognized in order to account for unity and, on the other, the claim that unsaturatedness is incompatible with objecthood. (shrink)

The problem that motivates me arises from a constellation of factors pulling in different, sometimes opposing directions. Simplifying, they are: (1) The complexity of the world; (2) Humans’ ambitious project of theoretical knowledge of the world; (3) The severe limitations of humans’ cognitive capacities; (4) The considerable intricacy of humans’ cognitive capacities . Given these circumstances, the question arises whether a serious notion of truth is applicable to human theories of the world. In particular, I am interested in the questions: (...) (a) Is a substantive standard of truth for human theories of the world possible? (b) What kind of standard would that be? (shrink)

I argue that a recent version of the doctrine of mathematical naturalism faces difficulties arising in connection with Wigner's old puzzle about the applicability of mathematics to natural science. I discuss the strategies to solve the puzzle and I show that they may not be available to the naturalist.

When should you engage with difficult arguments against your cherished controversial beliefs? The primary conclusion of this book is that your obligations to engage with counterarguments are more limited than is often thought. In some standard situations, you shouldn't engage with difficult counterarguments and, if you do, you shouldn't engage with them open-mindedly. This conclusion runs counter to aspects of the Millian political tradition and political liberalism, as well as what people working in informal logic tend to say about argumentation. (...) -/- Not all misleading arguments wear their flaws on their sleeve. Each step of a misleading argument might seem compelling and you might not be able to figure out what's wrong with it. Still, even if you can't figure out what's wrong with an argument, you can know that it's misleading. One way to know that an argument is misleading is, counterintuitively, to lack expertise in the methods and evidence-types employed by the argument. When you know that a counterargument is misleading, you shouldn't engage with it open-mindedly and sometimes shouldn't engage with it at all. You shouldn't engage open-mindedly because you shouldn't be willing to reduce your confidence in response to arguments you know are misleading. And you sometimes shouldn't engage closed-mindedly, because to do so can be manipulative or ineffective. -/- In making this case, Jeremy Fantl discusses echo chambers and group polarization, the importance in academic writing of a sympathetic case for the opposition, the epistemology of disagreement, the account of open-mindedness, and invitations to problematic academic speakers. (shrink)

Sets are multitudes which are also unities. It is surprising that the fact that multitudes are also unities leads to no contradictions: this is the main fact of mathematics.Kurt Gödel (Hao Wang,A Logical Journey: From Gödel to Philosophy)In what sense can something be at the same time one and many? The problem is familiar since Plato (for example,Republic524e). In recent times, Whitehead and Russell, inPrincipia Mathematica,have been struck by the difficulty of the problem: ‘If there is such an object as (...) a class, it must be in some senseoneobject, yet it is only of classes that many can be predicated. Hence, if we admit classes as objects, we must suppose that the same object can be both one and many, which seems impossible.' It is, however, in Frege's great work,The Foundations of Arithmetic(henceforth,Grundlagen),that many see the final resolution of the old question: how can something be at the same time one and many? (shrink)

Frege's theorem says that second-order Peano arithmetic is interpretable in Hume's Principle and full impredicative comprehension. Hume's Principle is one example of an abstraction principle, while another paradigmatic example is Basic Law V from Frege's Grundgesetze. In this paper we study the strength of abstraction principles in the presence of predicative restrictions on the comprehension schema, and in particular we study a predicative Fregean theory which contains all the abstraction principles whose underlying equivalence relations can be proven to be equivalence (...) relations in a weak background second-order logic. We show that this predicative Fregean theory interprets second-order Peano arithmetic. (shrink)

A crucial part of the contemporary interest in logicism in the philosophy of mathematics resides in its idea that arithmetical knowledge may be based on logical knowledge. Here an implementation of this idea is considered that holds that knowledge of arithmetical principles may be based on two things: (i) knowledge of logical principles and (ii) knowledge that the arithmetical principles are representable in the logical principles. The notions of representation considered here are related to theory-based and structure-based notions of representation (...) from contemporary mathematical logic. It is argued that the theory-based versions of such logicism are either too liberal (the plethora problem) or are committed to intuitively incorrect closure conditions (the consistency problem). Structure-based versions must on the other hand respond to a charge of begging the question (the circularity problem) or explain how one may have a knowledge of structure in advance of a knowledge of axioms (the signature problem). This discussion is significant because it gives us a better idea of what a notion of representation must look like if it is to aid in realizing some of the traditional epistemic aims of logicism in the philosophy of mathematics. (shrink)

It is not obvious how one might reconcile Frege's claim that different numbers may not 'belong to the same thing' with his apparent identification of one pair with two boots, even if one grants his view of 'statements of number'. I suggest a way. It requires some revision of the semantic theory that is generally attributed to Frege.

Neurosciences and cognitive sciences provide us with myriad empirical findings that shed light on hypothesised primitive numerical processes in the brain and in the mind. Yet, the hypotheses on which the experiments are based, and hence the results, depend strongly on sophisticated abstract models used to describe and explain neural data or cognitive representations that supposedly are the empirical roots of primary arithmetical activity. I will question the foundational role of such models. I will even cast doubt upon the search (...) for a general and unified philosophical foundation of an empirical science. First, it seems to me hard to draw a global and coherent view from the innumerable and piecemeal neuropsychological experiments and their variable, and sometimes uneasily compatible or fully divergent interpretations. Secondly, I think that the aim of empirical research is to describe dynamical processes, establishing correlations between different sets of data, without meaning to fix an origin or to point to a cause, let alone to a ground. From the very scientific and philosophical point of view it is essential to distinguish between explanations, which provide correlations or, at best, causal mechanisms, and grounding, which involves a claim to some form of determinism. (shrink)

How mathematicians conceive of the nature of mathematics is reflected in the metaphors they use to talk about it. In this paper I investigate a change in the use of metaphors in the late nineteenth and early twentieth centuries. In particular, I argue that the metaphor of mathematics as a tree was used systematically by Pasch and some of his contemporaries, while that of mathematics as a building was deliberately chosen by Hilbert to reflect a different view of mathematics. By (...) taking these metaphors seriously we attain a new vantage point for understanding historical changes in conceptions of mathematics. (shrink)

In this article, I examine the reconstruction that Peirce does on analytic/synthetic Kantian division, supported by his phenomenology, semiotic and pragmatism. The analysis of Peirce’s writings on mathematic suggests a notion of a posteriori and necessary analytical truths, that is, propositions that express one belief justified in experience, but whose generalization is valid for all the possible worlds. This was a new idea the time that Peirce formulated it, in 19th Century, and it contrasts with semantic-analytical tradition from Frege and (...) was contested by Quine in 1950’s. Peirce’s notion of analyticity is a result of his discovery of the logic of relatives, which led the philosopher to revise the deductive reasoning, dividing it into corollarial and theorematic, which in turn allow us to understand why mathematics is, simultaneously, deductive and non-trivial. (shrink)

Among Kant's innovations in the understanding of logic (‘general logic’) were his claims that logic had no content of its own, but was the form of the thought of any possible content, and that the unit of meaning, the truth-bearer, judgement, was essentially apperceptive. Judging was implicitly the consciousness of judging. This was for Kant a logical truth. This article traces the influence of the latter claim on Fichte, and, for most of the discussion, on Hegel. The aim is to (...) understand the relations among self-consciousness, reason and freedom in the idealist tradition. (shrink)

The starting point of this paper is the idea that linguistic representation is the result of a global process: a process of interaction of a community of cognitive-linguistic agents, with one another and with the environment. I maintain that the study of truth, meaning and related notions should be addressed without losing perspective of this process, and I oppose the ‘static’ or ‘analytic’ approach, which is fundamentally based on our own knowledge of the conventional meaning of words and sentences, and (...) the ability of using them that we have as competent speakers. I argue that the analytic perspective is responsible for five recurring difficulties in truthmaker theory: (1) the lack of attention to the difference of explanatory role between the distinct notions proposed as primary truthbearer; (2) the adscription of purely extra-linguistic truthmakers to ‘synthetic truths’, ignoring the contribution of the linguistic factor; (3) the adscription of purely linguistic truthmakers to ‘logical’ and ‘analytic truths’, ignoring the contribution of the worldly factor; (4) the difficulties in the search for minimal truthmakers; (5) the problems in the treatment of ‘negative facts’ and of other ‘logically complex facts’. I do not provide an account of how to solve these difficulties, but I do show how the ‘process model’ helps to clear up confusion regarding them. (shrink)

Alain Badiou’s elaboration of a subject faithful to an event is commonly known today in the academic world and beyond. However, his first systematic account of the subject was already published in 1982 and did not mention the ‘event’ at all. Therefore, this article aims at tracing back both the structural and the historical conditions that directed Badiou’s elaboration of the subject in the early work up until the publication of L’Être et l’Événément in 1988. On the one hand, it (...) investigates to what extent the Badiouan subject can be considered an exceptional product of the formalist project of the Cahiers pour l’Analyse as instigated by psychoanalytical discourse and a certain Marxist discourse insofar as both were centered upon a theory of the subject. On the other hand, this article examines the radical political implications of this subject insofar as Badiou has directed his philosophical aims towards the political field as a direct consequence of the events of May ’68. (shrink)

Recent discussions on Fregean and neo-Fregean foundations for arithmetic and real analysis pay much attention to what is called either ‘Application Constraint’ ($AC$) or ‘Frege Constraint’ ($FC$), the requirement that a mathematical theory be so outlined that it immediately allows explaining for its applicability. We distinguish between two constraints, which we, respectively, denote by the latter of these two names, by showing how$AC$generalizes Frege’s views while$FC$comes closer to his original conceptions. Different authors diverge on the interpretation of$FC$and on whether it (...) applies to definitions of both natural and real numbers. Our aim is to trace the origins of$FC$and to explore how different understandings of it can be faithful to Frege’s views about such definitions and to his foundational program. After rehearsing the essential elements of the relevant debate (§1), we appropriately distinguish$AC$from$FC$(§2). We discuss six rationales which may motivate the adoption of different instances of$AC$and$FC$(§3). We turn to the possible interpretations of$FC$(§4), and advance a Semantic$FC$(§4.1), arguing that while it suits Frege’s definition of natural numbers (4.1.1), it cannot reasonably be imposed on definitions of real numbers (§4.1.2), for reasons only partly similar to those offered by Crispin Wright (§4.1.3). We then rehearse a recent exchange between Bob Hale and Vadim Batitzky to shed light on Frege’s conception of real numbers and magnitudes (§4.2). We argue that an Architectonic version of$FC$is indeed faithful to Frege’s definition of real numbers, and compatible with his views on natural ones. Finally, we consider how attributing different instances of$FC$to Frege and appreciating the role of the Architectonic$FC$can provide a more perspicuous understanding of his foundational program, by questioning common pictures of his logicism (§5). (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)

It is argued that the finitist interpretation of wittgenstein fails to take seriously his claim that philosophy is a descriptive activity. Wittgenstein's concentration on relatively simple mathematical examples is not to be explained in terms of finitism, But rather in terms of the fact that with them the central philosophical task of a clear 'ubersicht' of its subject matter is more tractable than with more complex mathematics. Other aspects of wittgenstein's philosophy of mathematics are touched on: his view that mathematical (...) propositions are 'grammatical propositions' (and so, Strictly speaking, Not genuine propositions at all) and his view that in mathematics 'everything is algorithm, Nothing meaning'. His views on consistency and his anti-Foundationalism are linked with this central thesis. (shrink)

The way scientific discovery has been conceptualized has changed drastically in the last few decades: its relation to logic, inference, methods, and evolution has been deeply reloaded. The ‘philosophical matrix’ moulded by logical empiricism and analytical tradition has been challenged by the ‘friends of discovery’, who opened up the way to a rational investigation of discovery. This has produced not only new theories of discovery, but also new ways of practicing it in a rational and more systematic way. Ampliative rules, (...) methods, heuristic procedures and even a logic of discovery have been investigated, extracted, reconstructed and refined. The outcome is a ‘scientific discovery revolution’: not only a new way of looking at discovery, but also a construction of tools that can guide us to discover something new. This is a very important contribution of philosophy of science to science, as it puts the former in a position not only to interpret what scientists do, but also to provide and improve tools that they can employ in their activity. (shrink)

The ultimatum game is a simple bargaining situation where the behavior of people frequently contradicts the optimal strategy according to classical game theory. Thus, according to many scholars, the commonly observed behavior should be considered irrational. We argue that this putative irrationality stems from a wrong conception of metanormativity (the study of norms about the establishment of norms). After discussing different metanormative conceptions, we defend a Quinean, naturalistic approach to the evaluation of norms. After reviewing empirical literature on the ultimatum (...) game, we argue that the common behavior in the ultimatum game is rational and justified. We therefore suggest that the norms of economic rationality should be amended. (shrink)

This paper is an attempt to convince anti-realists that their correct intuitions against the metaphysical inflationism derived from some versions of mathematical realism do not force them to embrace non-standard, epistemic approaches to truth and existence. It is also an attempt to convince mathematical realists that they do not need to implement their perfectly sound and judicious intuitions with the anti-intuitive developments that render full-blown mathematical realism into a view which even Gödel considered objectionable. I will argue for the following (...) two theses: that realism, in its standard characterization, is our default position, a position in agreement with our pre-theoretical intuitions and with the results of our best semantic theories, and that most of the metaphysical qualms usually related to it depends on a poor understanding of truth and existence as higher-order concepts. (shrink)

The idea that the function of language is its use is commonly ascribed to the Later Wittgenstein. In this paper, I argue that there is textual evidence already coming from the early manuscripts proving that Wittgenstein's philosophical development is culminating in the idea of function as use around 1929–30. I interpret a passage from Ms‐107 in order to show that Wittgenstein's practical turn has sources in different stages of his philosophical development, each of which is dominated by different ideas: the (...) idea of a picture theory; the idea of a phenomenological language and the idea of function as use. (shrink)

Some proponents of the indispensability argument for mathematical realism maintain that the empirical evidence that confirms our best scientific theories and explanations also confirms their pure mathematical components. I show that the falsity of this view follows from three highly plausible theses, two of which concern the nature of mathematical application and the other the nature of empirical confirmation. The first is that the background mathematical theories suitable for use in science are conservative in the sense outlined by Hartry Field. (...) The second is that the empirical relevance of mathematical statements suitable for use in science is mediated by their non-mathematical consequences. The third is that statements receive additional empirical confirmation only by way of generating additional empirical expectations. Since each of these is a thesis we have good reason to endorse, my argument poses a challenge to anyone who argues that science affords empirical grounds for mathematical realism. (shrink)

In this paper, I will attempt to develop and defend a common form of intuitive resistance to the companions in guilt argument. I will argue that one can reasonably believe there are promising solutions to the access problem for mathematical realism that don’t translate to moral realism. In particular, I will suggest that the structuralist project of accounting for mathematical knowledge in terms of some form of logical knowledge offers significant hope of success while no analogous approach offers such hope (...) for moral realism. (shrink)

This paper proposes a reading of the history of equivalence in mathematics. The paper has two main parts. The first part focuses on a relatively short historical period when the notion of equivalence is about to be decontextualized, but yet, has no commonly agreed-upon name. The method for this part is rather straightforward: following the clues left by the others for the ‘first’ modern use of equivalence. The second part focuses on a relatively long historical period when equivalence is experienced (...) in context. The method for this part is to strip the ideas from their set-theoretic formulations and methodically examine the variations in the ways equivalence appears in some prominent historical texts. The paper reveals several critical differences in the conceptions of equivalence at different points in history that are at variance with the standard account of the mathematical notion of equivalence encompassing the concepts of equivalence relation and equivalence class. (shrink)

The debate about the ontological innocence of mereology has generally been framed as a debate about the plausibility of Universal Fusion. Ontologically loaded fusions must be more than the sum of their parts, and this seems to violate parsimony if fusion is universal. Less attention has been paid to the question of what sort of emergence mereological fusions must exhibit if they are irreducible to their parts. The philosophy of science literature provides several models of such strong emergence. Examining those (...) models suggests that the difficulty with emergent fusions has at least as much to do with extensionality as it does with Universal Fusion. Some accounts of emergence fail to ensure irreducibility when combined with extensional mereologies. The most promising model for the strong emergence of ontologically loaded fusions fails to validate Anti-Symmetry, which naturally leads to failures of extensionality. These results suggest that the focus on Universal Fusion may have been misplaced. (shrink)