In the Grundlagen , Frege offers eight main arguments, together with a series of more minor supporting arguments, against Mill’s view that numbers are “properties of external things”. This paper reviews all eight of these arguments, arguing that none are conclusive.

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)

Neo-Fregean logicism seeks to base mathematics on abstraction principles. But the acceptable abstraction principles are surrounded by unacceptable ones. This is the "bad company problem." In this introduction I first provide a brief historical overview of the problem. Then I outline the main responses that are currently being debated. In the course of doing so I provide summaries of the contributions to this special issue.

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

In his groundbreaking Grundlagen, Frege (1884) pointed out that number words like ‘four’ occur in ordinary language in two quite different ways and that this gives rise to a philosophical puzzle. On the one hand ‘four’ occurs as an adjective, which is to say that it occurs grammatically in sentences in a position that is commonly occupied by adjectives. Frege’s example was (1) Jupiter has four moons, where the occurrence of ‘four’ seems to be just like that of ‘green’ in (...) (2) Jupiter has green moons. On the other hand, ‘four’ occurs as a singular term, which is to say that it occurs in a position that is commonly occupied by paradigmatic cases of singular terms, like proper names: (3) The number of moons of Jupiter is four. Here ‘four’ seems to be just like ‘Wagner’ in (4) The composer of Tannhäuser is Wagner, and both of these statements seem to be identity statements, ones with which we claim that what two singular terms stand for is identical. But that number words can occur both as singular terms and as adjectives is puzzling. Usually adjectives cannot occur in a position occupied by a singular term, and the other way round, without resulting in ungrammaticality and nonsense. To give just one example, it would be ungrammatical to replace ‘four’ with ‘the number of moons of Jupiter’ in (1): (5) *Jupiter has the number of moons of Jupiter moons. This ungrammaticality results even though ‘four’ and ‘the number of moons of Jupiter’ are both apparently singular terms standing for the same object in (3). So, how can it be that number words can occur both as singular terms and as adjectives, while other adjectives cannot occur as singular terms, and other singular terms cannot occur as adjectives? (shrink)

Two slogans define structuralism: contemporary mathematics studies structures; mathematical objects are places in those structures. Shapiro’s version of structuralism posits abstract objects of three sorts. A system is “a collection of objects with certain relations” between these objects. “An extended family is a system of people with blood and marital relationships.” A baseball defense, e.g., the Yankee’s defense in the first game of the 1999 World Series, is a also a system, “a collection of people with on-field spatial and ‘defensive-role’ (...) relations”. “A structure is the abstract form of a system” ; it consists of “a collection of places [sometimes called positions or offices] and a finite collection of functions and relations on these places”. (shrink)

As is well known, Frege gave an explicit definition of number (belonging to some concept) in ?68 of his Die Grundlagen der Arithmetik.

In “Function and Concept” and “On Concept and Object”, Frege argued that certain differences between dependent and independent meanings were inviolable and “founded deep in the nature of things” but, in those articles, he was not explicit about the actual consequences of violating such differences. However, since by creating a law that permitted one to pass from a concept to its extension, he himself mixed dependent and independent meanings, we are in a position to study some of the actual consequences (...) of his having done so. To make certain of Frege’s ideas about the inviolability of logical form more tangible, I describe a string of very interrelated consequences that his attempt to transform dependent meanings into independent meanings actually brought in its wake. (shrink)

Michael Dummett offered a semantic characterisation of a variety of realism-antirealism debates. This approach has fallen out of fashion. This has been to the detriment of metaphysics. This paper offers an accurate characterisation of Dummett’s view, often lacking in the literature, and then defends it against a range of attacks (from Devitt, Miller and Williamson). This understanding of realism debates is resilient, and if we take it seriously the philosophical terrain looks importantly different. In particular, the philosophy of language has (...) a foundational role with respect to metaphysics. (shrink)

In a famous passage (A68/B93), Kant writes that “the understanding can make no other use of […] concepts than that of judging by means of them.” Kant's thought is often called the thesis of the priority of judgments over concepts. We find a similar sounding priority thesis in Frege: “it is one of the most important differences between my mode of interpretation and the Boolean mode […] that I do not proceed from concepts, but from judgments.” Many interpreters have thought (...) that Frege's priority principle is close to (or at least derivable from) Kant's. I argue that it is not. Nevertheless, there was a gradual historical development that began with Kant's priority thesis and culminated in Frege's new logic. (shrink)

A remembrance of Dummett's work on philosophy of mathematcis.

This paper describes a way of defending a modification of Eckhardt's [2013] solution to the Two Envelopes Paradox. The defence is based on ideas from Arntzenius, Elga, and Hawthorne [2004].

Defining the real numbers by abstraction as ratios of quantities gives prominence to then- applications in just the way that Frege thought we should. But if all the reals are to be obtained in this way, it is necessary to presuppose a rich domain of quantities of a land we cannot reasonably assume to be exemplified by any physical or other empirically measurable quantities. In consequence, an explanation of the applications of the reals, defined in this way, must proceed indirectly. (...) This paper explains the main complications involved and answers the main objections advanced in Batitsky's paper in this issue. (shrink)

In “Double Vision Two Questions about the Neo-Fregean Programme”, John MacFarlane’s raises two main questions: (1) Why is it so important to neo-Fregeans to treat expressions of the form ‘the number of Fs’ as a species of singular term? What would be lost, if anything, if they were analysed instead as a type of quantifier-phrase, as on Russell’s Theory of Definite Descriptions? and (2) Granting—at least for the sake of argument—that Hume’s Principle may be used as a means of implicitly (...) defining the number operator, what advantage, if any, does adopting this course possess over a direct stipulation of the Dedekind-Peano axioms? This paper attempts to answer them. In response to the first, we spell out the links between the recognition of numerical terms as vehicles of singular reference and the conception of numbers as possible objects of singular, or object-directed, thought, and the role of the acknowledgement of numbers as objects in the neo-Fregean attempt to justify the basic laws of arithmetic. In response to the second, we argue that the crucial issue concerns the capacity of either stipulation—of Hume’s Principle, or of the Dedekind-Peano axioms—to found knowledge of the principles involved, and that in this regard there are crucial differences which explain why the former stipulation can, but the latter cannot, play the required foundational role. (shrink)

Frege’s famous definition of number famously uses the concept of “extension”. Extensions, in the Fregean framework, are susceptible to bringing many difficulties, and, some say, even paradoxes. Therefore, neo-logicist programs want to avoid the problems and to replace the classical Fregean definition of number with Hume’s Principle. I argue that this move, even if it makes sense from a computational point of view, is at odds with Frege’s larger philosophical project. For Frege, I claim, extensions were an important part of (...) his philosophical program of logic-as-an-universal-language. This is why Frege places his project in line with Leibniz’ philosophical project of finding a lingua characterica universalis. (shrink)

This paper argues that Dummett’s interpretation of the relationship between Frege’s anti-psychologism and Wittgenstein’s doctrine that meaning is use results in a misreading of Frege. It points out that anti-mentalism is a form of anti-psychologism, but that mentalism is not the only version of psycholgism. Thus, while Frege and Wittgenstein are united in their opposition to mentalism, they are not equally opposed to psychologism, and from Frege’s point of view, the doctrine that meaning is use could also imply a version (...) of psychologism. It then offers a realist and externalist reading of Frege’s understanding of concepts, which is more in line with what Frege intended by anti-psychologism. (shrink)

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)

Dummettian anti-realism–the refusal to endorse bivalence–is generally thought to be associated with idealism This paper argues that this is only true of the position developed by early Dummett. In a later manifestation Dummettian anti-realism is better thought of as providing the logic for anti-realisms of an error theoretic kind. Early on Dummett distinguished deep from shallow arguments for giving up bivalence: deep arguments followed a strong ‘sufficiency’ reading of Frege’s context principle, and made the sentence the primary vehicle of meaning. (...) Enriched by an account of truth in terms of verifiability, deep arguments implied a form of linguistic idealism. From within a perspective that had already made ontology relative to theory, it was natural for the difference between realism and idealism to hinge on the notion of truth for sentences. Having given up the distinction between deep and shallow arguments against bivalence, Dummett, post 1990, asserts that every rejection of bivalence leads to a form of anti-realism. In the intervening years, he has also come to cast doubt on the sufficiency reading of the context principle, particularly as developed by Crispin Wright. These doubts open the space for some more simple-minded criticisms of this strong version of the context principle, developed in the paper. Once the sufficiency reading of the context principle is given up, arguments for failing to assert bivalence come to hinge on beliefs about ‘genuine’ existence. These forms of anti-realism cannot be taken to imply idealism. Rather, in many cases they will be the expression of views of an error-theoretic kind, that are quite compatible with a thorough-going rejection of idealism. (shrink)

E.E.C. Jones’s early logical writings have recently been rescued from obscurity and it has been claimed that, in her works dating from the 1890s, she anticipated Frege’s distinction between sense and reference. This claim is challenged on the ground that it is based on a common but inadequate reading of Frege, which runs together his concept/object and sense/reference distinctions. It is admitted that a case can be made for Jones having anticipated something very like Frege’s analysis of categorical propositions, and (...) that she offered a sound rebuttal of Russell’s objection to Frege’s account of the informativeness of identity statements. However, these significant achievements should not be misrepresented as an anticipation of Frege on sense and reference, a claim that encourages a defective reading of both philosophers. (shrink)

Fregeanism and Relationism are competing families of solutions to Frege’s Puzzle, and by extension, competing theories of propositional representation. My aim is to clarify what is at stake between them by characterizing and evaluating a Relationist argument. Relationists claim that it is cognitively possible for distinct token propositional attitudes to be, in a sense, qualitatively indistinguishable: to differ in no intrinsic representational features. The idea of an ‘intrinsic representational feature’ is not, however, made especially clear in the argument. I clarify (...) it here and, having done so, offer reason to doubt the argument. This will put us in a position to draw some lessons about the relation between object-directed and representation-internal aspects of cognitive significance. (shrink)

(2000). CASSIRER, SCHLICK AND ‘STRUCTURAL’ REALISM: THE PHILOSOPHY OF THE EXACT SCIENCES IN THE BACKGROUND TO EARLY LOGICAL EMPIRICISM. British Journal for the History of Philosophy: Vol. 8, No. 1, pp. 71-106.

This paper argues for the thesis that, roughly put, it is impossible to talk about absolutely everything. To put the thesis more precisely, there is a particular sense in which, as a matter of semantics, quantifiers always range over domains that are in principle extensible, and so cannot count as really being ‘absolutely everything’. The paper presents an argument for this thesis, and considers some important objections to the argument and to the formulation of the thesis. The paper also offers (...) an assessment of just how implausible the thesis really is. It argues that the intuitions against the thesis come down to a few special cases, which can be given special treatment. Finally, the paper considers some metaphysical ideas that might surround the thesis. Particularly, it might be maintained that an important variety of realism is incompatible with the thesis. The paper argues that this is not the case. (shrink)

A prominent version of mathematical structuralism holds that mathematical objects are at bottom nothing but "positions in structures," purely relational entities without any sort of nature independent of the structure to which they belong. Such an ontology is often presented as a response to Benacerraf's "multiple reductions" problem, or motivated on hermeneutic grounds, as a faithful representation of the discourse and practice of mathematics. In this paper I argue that there are serious difficulties with this kind of view: its proponents (...) rely on a distinction between "essential" and "nonessential" features of mathematical objects, and there's no good way to articulate this distinction which is compatible with basic structuralist commitments. But all is not lost. For I further argue that the insights motivating structuralism (or at least those worth preserving) can be preserved without formulating the view in ontologically committal terms. (shrink)

According to the iterative conception of set, each set is a collection of sets formed prior to it. The notion of priority here plays an essential role in explanations of why contradiction-inducing sets, such as the Russell set, do not exist. Consequently, these explanations are successful only to the extent that a satisfactory priority relation is made out. I argue that attempts to do this have fallen short: understanding priority in a straightforwardly constructivist sense threatens the coherence of the empty (...) set and raises serious epistemological concerns; but the leading realist interpretations---ontological and modal interpretations of priority---are deeply problematic as well. I conclude that the purported explanatory virtues of the iterative conception are, at present, unfounded. (shrink)

Draft (Version 1.1, October 2007): (PDF file) A reply to Jason Stanley’s Analysis criticism of my interest-relative view on vagueness.

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)

The paper challenges a widely held interpretation of Frege's conception of logic on which the constituent clauses of basic law V have the same sense. I argue against this interpretation by first carefully looking at the development of Frege's thoughts in Grundlagen with respect to the status of abstraction principles. In doing so, I put forth a new interpretation of Grundlagen §64 and Frege's idea of ‘recarving of content’. I then argue that there is strong evidence in Grundgesetze that Frege (...) did not hold the relevant sense-identity claim regarding basic law V. (shrink)

One major difficulty confronting attempts to clarify the epistemological and ontological status of abstract objects is determining the sense, if any, in which such entities may be characterised as mind and language independent. Our contention is that the tolerant reductionist position of Michael Dummett can be strengthened by drawing on Husserl's mature account of the constitution of ideal objects and mathematical objectivity. According to the Husserlian position we advocate, abstract singular terms pick out weakly mind-independent sedimented meaning-contents. These meaning-contents serve (...) as the ‘thin’ referents of abstract singular terms, but are ultimately founded in prior acts of meaning-constitution. (shrink)

The prevailing approach to the problem of the ontological status of mathematical entities such as numbers and sets is to ask in what sense it is legitimate to ascribe a reference to abstract singular terms; those expressions of our language which, taken at face value, denote abstract objects. On the basis of this approach, neo‐Fregean Abstractionists such as Hale and Wright have argued that abstract singular terms may be taken to effect genuine reference towards objects, whereas nominalists such as Field (...) have asserted that these apparent ontological commitments should not be taken at face value. In this article I argue for an intermediate position which upholds the legitimacy of ascribing a reference to abstract singular terms in an attenuated sense relative to the more robust ascription of reference applicable to names denoting concrete entities. In so doing I seek to clear up some confusions regarding the ramifications of such a thin notion of reference for ontological claims about mathematical objects. (shrink)

This book explores the interplay between logic and science, describing new trends, new issues and potential research developments.

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)

Un trait du langage qui menace de saper la sûreté de la pensée est sa tendance à former des noms propres auxquels aucun objet ne correspond. [...] Un exemple particulièrement remarquable de cela est la formation d’un nom propre selon le schéma «l’extension du concept a», par exemple «l’extension du concept étoile». À cause de l’article défini, cette expression semble désigner un objet; mais il n’y a aucun objet pour lequel cette expression pour-rait être une désignation appropriée. De là les (...) paradoxes de la théorie des ensembles, qui ont porté un coup mortel à la théorie des ensembles elle-même. J’étais moi-même sous cette illusion quand afin de fournir une fondation logique aux nombres, j’ai tenté de construire les nombres comme des ensembles. (shrink)

One of the most unsettling problems in the history of philosophy examines how mathematics can be used to adequately represent the world. An influential thesis, stated by Eugene Wigner in his paper entitled "The Unreasonable Effectiveness of Mathematics in the Natural Sciences," claims that "the miracle of the appropriateness of the language of mathematics for the formulation of the laws of physics is a wonderful gift which we neither understand nor deserve." Contrary to this view, this thesis delineates and implements (...) a strategy to show that the applicability of mathematics is very reasonable indeed. I distinguish three forms of the problem of the applicability of mathematics, and focus on one I call the problem of uncanny accuracy: Given that the construction and manipulation of mathematical representations is pervaded by uncertainty, error, approximation, and idealization, how can their apparently uncanny accuracy be explained? I argue that this question has found no satisfactory answer because our rational reconstruction of scientific practice has not involved tools rich enough to capture the logic of mathematical modelling. Thus, I characterize a general schema of mathematical analysis of real systems, focusing on the selection of modelling assumptions, on the construction of model equations, and on the extraction of information, in order to address contextually determinate questions on some behaviour of interest. A concept of selective accuracy is developed to explain the way in which qualitative and quantitative solutions should be utilized to understand systems. The qualitative methods rely on asymptotic methods and on sensitivity analysis, whereas the quantitative methods are best understood using backward error analysis. The basic underpinning of this perspective is readily understandable across scientific fields, and it thereby provides a view of mathematical tractability readily interpretable in the broader context of mathematical modelling. In addition, this perspective is used to discuss the nature of theories, the role of scaling, and the epistemological and semantic aspects of experimentation. In conclusion, we argue for a method of local and global conceptual analysis that goes beyond the reach of the tools standardly used to capture the logic of science; on their basis, the applicability of mathematics finds itself demystified. (shrink)

According to the singular conception of reality, there are objects and there are singular properties, i.e. properties that are instantiated by objects separately. It has been argued that semantic considerations about plurals give us reasons to embrace a plural conception of reality. This is the view that, in addition to singular properties, there are plural properties, i.e. properties that are instantiated jointly by many objects. In this article, I propose and defend a novel semantic account of plurals which dispenses with (...) plural properties and thus undermines the semantic argument in favor of the plural conception of reality. (shrink)

The object of this paper is to study the analogy, drawn both positively and negatively, between mathematics and fiction. The analogy is more subtle and interesting than fictionalism, which was discussed in part I. Because analogy is not common coin among philosophers, this particular analogy has been discussed or mentioned for the most part just in terms of specific similarities that writers have noticed and thought worth mentioning without much attention's being paid to the larger picture. I intend with this (...) analogy (looking at others' comparisons) to shed a little light on what is going on in mathematics, how one can understand it a bit other than experientially. This intention is philosophical and the way that I am attempting to accomplish it is also philosophical. I shall conclude my attempt to explain how it is possible and even natural for mathematics and fiction to have the analogy they have, taking it for granted, as argued in part I, that they are not to be identified. To this end I shall discuss philosophers' comparisons, mainly those of Hodes, Resnik, Tharp, and Wagner, who are the writers that seem to me to have written most thoughtfully and sufficiently extensively about fiction in making the comparison and of Körner, whose comparison is different. Whether either of these comparisons or the more general analogy is of permanent philosophical interest will have to be decided by philosophers now that they have had a fuller examination. I shall mention some other writers' reference to fiction, but not all; indeed, I am sure that I have not even found all the comparisons that there are. (shrink)

The concept of “necessity of thought” plays a central role in Dag Prawitz’s essay “Logical Consequence from a Constructivist Point of View” (Prawitz 2005). The theme is later developed in various articles devoted to the notion of valid inference (Prawitz, 2009, forthcoming a, forthcoming b). In section 1 I explain how the notion of necessity of thought emerges from Prawitz’s analysis of logical consequence. I try to expound Prawitz’s views concerning the necessity of thought in sections 2, 3 and 4. (...) In sections 5 and 6 I discuss some problems arising with regard to Prawitz’s views. (shrink)

Joan Weiner has argued that Frege’s definitions of numbers constitute linguistic stipulations that carry no ontological commitment: they don’t present numbers as pre-existing objects. This paper offers a critical discussion of this view, showing that it is vitiated by serious exegetical errors and that it saddles Frege’s project with insuperable substantive difficulties. It is first demonstrated that Weiner misrepresents the Fregean notions of so-called Foundations-content, and of sense, reference, and truth. The discussion then focuses on the role of definitions in (...) Frege’s work, demonstrating that they cannot be understood as mere linguistic stipulations, since they have an ontological aim. The paper concludes with stressing both the epistemological and the ontological aspects of Frege’s project, and their crucial interdependence. (shrink)

An overview of what Frege accomplishes in Part II of Grundgesetze, which contains proofs of axioms for arithmetic and several additional results concerning the finite, the infinite, and the relationship between these notions. One might think of this paper as an extremely compressed form of Part II of my book Reading Frege's Grundgesetze.

A speculative investigation of how Frege's logical views change between Begriffsschrift and Grundgesetze and how this might have affected the formal development of logicism.