According to Carnap an account of the nature of mathematics, both pure and applied, must include the thesis that mathematical truths are devoid of factual content. He first formulated this thesis around 1930 and in its defence attempted to combine the reduction of mathematics to logic undertaken in the Principia with Wittgenstein’s insights into the nature of logic. In this paper I will show that this synthesis faces serious difficulties. Thus, it plays, with good reason, no longer a role in (...) Carnap’s mature philosophy of mathematics. (shrink)

Anotace Following Carnap's Principle of Subject Matter, Pavel Tichý proposed a methodological principle I call the "Denotational Principle of Aboutness". It says that expressions are about their denotata. Denotata are modelled as possible world intensions or (common) extensions. Nearly the same principle was recently defended by Marie Duží and Pavel Materna under the name the "Parmenides Principle". However, Duží and Materna did not react to Tichý's late proposal which I call the "Constructional Principle of Aboutness". It says that the subject (...) matter of expressions consists not in their denotata but their meanings. The meanings are explicated by Tichý, and also by Duží and Materna, as so-called constructions; constructions are complex entities akin to algorithms, they construct intensions or extensions. In this paper, I argue in favour of the Constructional Principle of Aboutness. I show that there are not only single arguments, but whole net of methodological principles which support it. This is why the topic largely transcends the debate among Tichý's followers. (shrink)

Choices confront us with questions. How we act depends on our answers to those questions. So the way our beliefs guide our choices is not just a function of their informational content, but also depends systematically on the questions those beliefs address. This paper gives a precise account of the interplay between choices, questions and beliefs, and harnesses this account to obtain a principled approach to the problem of deduction. The result is a novel theory of belief-guided action that explains (...) and predicts the decisions of agents who, like ourselves, fail to be logically omniscient: that is, of agents whose beliefs may not be deductively closed, or even consistent. (Winner of the 2021 Isaac Levi Prize.). (shrink)

Hossack's 'The Metaphysics of Knowledge' develops a theory of facts, entities in which universals are combined with universals or particulars, as the foundation of his metaphysics. While Hossack argues at length that there must be negative facts, facts in which the universal 'negation' is combined with universals or particulars, his conclusion that there are also general facts, facts in which the universal 'generality' is combined with universals, is reached rather more swiftly. In this paper I present Hossack with three arguments (...) for his conclusion. They all draw, as does Hossack's theory of facts, on views Russell expressed in various writings. Two arguments are based on Russell's explanation of universals as aspects of resemblance; the third on Russell's observation that general propositions do not follow logically from exclusively particular premises. Comparison with other metaphysics of generality show them to be wanting and Russell's and Hossack's accounts superior. (shrink)

Prioritized bases, i.e., weakly ordered sets of sentences, have been used for specifying an agent’s ‘basic’ or ‘explicit’ beliefs, or alternatively for compactly encoding an agent’s belief state without the claim that the elements of a base are in any sense basic. This paper focuses on the second interpretation and shows how a shifting of priorities in prioritized bases can be used for a simple, constructive and intuitive way of representing a large variety of methods for the change of belief (...) states—methods that have usually been characterized semantically by a system-of-spheres modeling. Among the methods represented are ‘radical’, ‘conservative’ and ‘moderate’ revision, ‘revision by comparison’ in its raising and lowering variants, as well as various constructions for belief expansion and contraction. Importantly, none of these methods makes any use of numbers. (shrink)

This article addresses three questions concerning Kant’s views on non-rational animals: do they intuit spatio-temporal particulars, do they perceive objects, and do they have intentional states? My aim is to explore the relationship between these questions and to clarify certain pervasive ambiguities in how they have been understood. I first disambiguate various nonequivalent notions of objecthood and intentionality: I then look closely at several models of objectivity present in Kant’s work, and at recent discussions of representational and relational theories of (...) intentionality. I argue ultimately that, given the relevant disambiguations, the answers to all three questions will likely be positive. These results both support what has become known as the nonconceptualist reading of Kant, and make clearer the price the conceptualist must pay to sustain her position. (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.

Taking a lead from Eva Picardi’s work and influence, I investigate the significance of Frege’s context principle for the philosophy of language. I argue that there are some interpretive problems with recent meta-semantic interpretations of the principle. Instead, I offer a somewhat weaker alternative: the context principle is a tool to license certain definitions. Moreover, I claim that it merely lays out one of many possible ways of licensing a definition. This means, among other things, that despite Frege’s imperative injunctions, (...) the context principle formulates a permission—not a requirement. (shrink)

Can identity itself be vague? Can there be vague objects? Does a positive answer to either question entail a positive answer to the other? In this paper we answer these questions as follows: No, No, and Yes. First, we discuss Evans’s famous 1978 argument and argue that the main lesson that it imparts is that identity itself cannot be vague. We defend the argument from objections and endorse this conclusion. We acknowledge, however, that the argument does not by itself establish (...) either that there cannot be vague objects or that there cannot be identity statements that are indeterminate for ontic reasons. And we further acknowledge that it does not by itself establish that there cannot be identity statements that are indeterminate in virtue of the existence of vague objects. We then go on to argue that, despite this, one who believes in vague objects cannot endorse Evans’s argument. To establish this we offer supplementary arguments that show that if vague objects exist then identity is vague, and that if identity is vague then vague objects exist. Finally we draw attention to an argument parallel to that of Evans’s, but safer, which can be employed against the putative ontic indeterminacy in identity of vague objects which can be differentiated by identity-free properties. (shrink)

Aktivnost integracije i distribucije prožima cjelokupni čovjekov jezik, mišljenje i djelovanje; njegov praktični i teorijski um, uz pomoć malog broja operacija (konjunkcija, negacija, kvantifikacija) koje čine logičke konstante, sabire i razdjeljuje varijabilne elemente jezika, svijeta i mišljenja u beskonačne konačnosti (skupovi, klase, relacije, atributi) u kojima se koreliraju realne stimulacije i virtualne simulacije, čijom se konstrukcijom, rekonstrukcijom i dekonstrukcijom formiraju i transformiraju "dobro uređene formule" jezičko-gramatičkih i mentalno-psiholoških struktura koje se u svijetu saznanja imenuju pojmom svijeta, pojmom jezika, pojmom duha. (...) Svijet pojmova, koji se uzima u kvantificiranoj formi govora / "(x) (Fx) / kao realni ili egzistentni, a u substitutivnoj formi / " { x : Fx}" / kao virtualni ili subzistentni zbog apstraktnosti klasa i relacija, konstruira mrežu multipliciranih logičkih općenitosti, njihovih relacija ili zakonitih sukcesija koje se mogu izraziti, parafrazirati i prevesti iz jedne notacije u drugu salva veritate ed salva congruentia. (shrink)

This compelling reevaluation of the relationship between logic and knowledge affirms the key role that the notion of judgement must play in such a review. The commentary repatriates the concept of judgement in the discussion, banished in recent times by the logical positivism of Wittgenstein, Hilbert and Schlick, and the Platonism of Bolzano. The volume commences with the insights of Swedish philosopher Per Martin-Löf, the father of constructive type theory, for whom logic is a demonstrative science in which judgement is (...) a settled feature of the landscape. His paper opens the first of four sections that examine, in turn, historical philosophical assessments of judgement and reason; their place in early modern philosophy; the notion of judgement and logical theory in Wolff, Kant and Neo-Kantians like Windelband; their development in the Husserlian phenomenological paradigm; and the work of Bolzano, Russell and Frege. The papers, whose authors include Per Martin-Löf, Göran Sundholm, Michael Della Rocca and Robin Rollinger, represent a finely judged editorial selection highlighting work on philosophers exercised by the question of whether or not an epistemic notion of judgement has a role to play in logic. The volume will be of profound interest to students and academicians for its application of historical developments in philosophy to the solution of vexatious contemporary issues in the foundation of logic. ​. (shrink)

This book has two objectives: to be a contribution to the understanding of Frege's theory of truth – especially a defence of his notorious critique of the correspondence theory - and to be an introduction to the practice of interpreting philosophical texts.

Esta enciclopédia abrange, de uma forma introdutória mas desejavelmente rigorosa, uma diversidade de conceitos, temas, problemas, argumentos e teorias localizados numa área relativamente recente de estudos, os quais tem sido habitual qualificar como «estudos lógico-filosóficos». De uma forma apropriadamente genérica, e apesar de o território teórico abrangido ser extenso e de contornos por vezes difusos, podemos dizer que na área se investiga um conjunto de questões fundamentais acerca da natureza da linguagem, da mente, da cognição e do raciocínio humanos, bem (...) como questões acerca das conexões destes com a realidade não mental e extralinguística. A razão daquela qualificação é a seguinte: por um lado, a investigação em questão é qualificada como filosófica em virtude do elevado grau de generalidade e abstracção das questões examinadas (entre outras coisas); por outro, a investigação é qualificada como lógica em virtude de ser uma investigação logicamente disciplinada, no sentido de nela se fazer um uso intenso de conceitos, técnicas e métodos provenientes da disciplina de lógica. O agregado de tópicos que constitui a área de estudos lógico-filosóficos é já visível, pelo menos em parte, no Tractatus Logico-Philosophicus de Ludwig Wittgenstein, uma obra publicada em 1921. E uma boa maneira de ter uma ideia sinóptica do território disciplinar abrangido por esta enciclopédia, ou pelo menos de uma porção substancial dele, é extrair do Tractatus uma lista dos tópicos mais salientes aí discutidos; a lista incluirá certamente tópicos do seguinte género, muitos dos quais se podem encontrar ao longo desta enciclopédia: factos e estados de coisas; objectos; representação; crenças e estados mentais; pensamentos; a proposição; nomes próprios; valores de verdade e bivalência; quantificação; funções de verdade; verdade lógica; identidade; tautologia; o raciocínio matemático; a natureza da inferência; o cepticismo e o solipsismo; a indução; as constantes lógicas; a negação; a forma lógica; as leis da ciência; o número. (shrink)

L’insuffisance du logicisme pour la question des fondements des mathématiques nous invite à la poser sous un point de vue épistémologique, en termes de rationalité et non plus seulement de logique, et à l’étendre aux sciences formalisées portant sur la nature, comme la physique, voire à la pensée scientifique en général. On doit tenir compte, dans tous les cas, des changements qui correspondent à des constructions conceptuelles : ce sont eux qui assurent en même temps, après coup, le bien-fondé des (...) théories qui les ont préparés, en sorte que si des fondements rationnels peuvent être obtenus, ce n’est, en règle générale, que « vers l’avant ». Ces changements posent également la question de leurs conditions de possibilités. La conclusion est qu’il faut admettre, pour que ces changements, et avec eux un accroissement de la connaissance, soient possibles, des transformations corrélatives dans les formes mêmes de la rationalité, mathématique, physique et, d’une manière générale, de la rationalité scientifique. (shrink)

Wright claims that “the epistemology of good abstraction principles should be assimilated to that of basic principles of logical inference”. In this paper I follow Wright’s recommendation, but I consider a different epistemology of logic, namely anti-exceptionalism. Anti-exceptionalism’s main contention is that logic is not a priori, and that the choice between rival logics should be based on abductive criteria such as simplicity, adequacy to the data, strength, fruitfulness, and consistency. This paper’s goal is to lay down the foundations for (...) an application of the anti-exceptionalist methodology to abstraction principles. In Sect. 1 I outline my strategy. I show that anti-exceptionalism has a bearing on the so-called Bad Company problem, and explore some versions of anti-exceptionalism about abstraction. I then consider new criteria for choosing between rival abstraction principles, and, in particular, between consistent revisions of Frege’s Basic Law V. I finally consider how the abstractionist can compare between competing criteria, and argue that anti-exceptionalists should be pluralists about abstraction. (shrink)

This paper reminds, puts in order, sketches and also initiates some researches from the field of logic and philosophy of language. It lays emphasis on the logical-linguistic and ontological developmental lines originated with Polish researchers. The author discusses two opposite orientations of the former line in the process of formalization of language, called here nominalistic and Platonistic. The paper mentions the author's result (1989; 1991) concerning theoretical equivalence of two axiomatic approaches to language syntax which take into consideration these two (...) different philosophical orientations, respectively. It also introduces certain formal-logical foundations of language semantics, discusses and develops the problem of the syntactic and semantic categorial agreement, i.e. the agreement of the syntactic category of each language expression with the ontological category assigned to the reference of this expression. The author, in particular, gives a solution to this problem for quantifiers. (shrink)

In 1902 there arrived in Jena a letter from Russell laying out a proof that shattered Frege’s confidence in logicism, which is widely taken to be the doctrine according to which every truth of arithmetic is re-expressible without relevant loss as a provable truth about a purely logical object. Frege was persuaded that Russell had exposed a pathology in logicism, which faced him with the task of examining its symptoms, diagnosing its cause, assessing its seriousness, arriving at a treatment option, (...) and making an estimate of future prospects. The symptom was the contradiction that had crept into naïve set theory in the form of the set that provably is and is not its own member. The diagnosis was that it is caused by Basic Law V of the Grundgesetze (Frege, In: Grundgesetze der Arithmetik: Begrifsschriftlich abgeleitet, Jena: Herman Pohle, 1893/1903. Translated into English as Basic Laws of Arithmetic, also edited by Philip A. Ebert and Marcus Rossberg, with Crispin Wright, Oxford: Oxford University Press, 2013). Triage answers the question, “How bad is it?” The answer was that the contradiction irreparably destroys the logicist project. The treatment option was nil. The disease was untreatable. In due course, the prognosis turned out to be that a scaled-down Fregean logic could have an honourable life as a theory inference for various domains of mathematical discourse, but not for domains containing the logical objects required for logicism. Since there aren’t such objects, there aren’t such domains. On the face of it, Frege’s logicist collapse is astonishing. Why wouldn’t he have repaired the fault in Law V and gone back to the business of bringing logicism to an assured realization? In the course of our reflections, we will have nice occasion to consider the good it might have done Frege to have booked some time with Aristotle had he been able to. By the time we’re finished, we’ll have cause to think that in the end the Russell might well have begged the question against Frege. (shrink)

In this paper, we trace the conceptual history of the term ?metamathematics? in the nineteenth century. It is well known that Hilbert introduced the term for his proof-theoretic enterprise in about 1922. But he was verifiably inspired by an earlier usage of the phrase in the 1870s. After outlining Hilbert's understanding of the term, we will explore the lines of inducement and elucidate the different meanings of ?metamathematics? in the final decades of the nineteenth century. Finally, we will investigate the (...) earlier occurrences and come to the conclusion that the conceptual prehistory of the Hilbertian notion of metamathematics dates back to 1870, whereas the history of the word starts in 1799 at the latest. What is this: metamathematics? It is something amazing everybody, [?] since it makes the mind dizzy and withdraws thinking its sole fulcrum.1 1 Brunner 1898, p. 832: ?Was ist das: Metamathematik? Es ist etwas, was einen Jeden in das äusserste Staunen versetzt, [?] was das Gehirn schwindlig macht und dem Denken seinen einzigen Stütz- und Angelpunkt zu entziehen droht? (shrink)

Lembecks Philosophiebegriff ist keine Zumutung Content Type Journal Article Pages 1-9 DOI 10.1007/s10743-011-9098-6 Authors Matthias Wille, Institut für Philosophie, Fakultät für Geisteswissenschaft, Universität Duisburg-Essen, Universitätsstraße 12, 45117 Essen, Germany Journal Husserl Studies Online ISSN 1572-8501 Print ISSN 0167-9848.

Relying upon a very close reading of all of the definitions given in Euclid’s Elements, I argue that this mathematical treatise contains a philosophical treatment of mathematical objects. Specifically, I show that Euclid draws elaborate metaphysical distinctions between substances and non-substantial attributes of substances, different kinds of substance, and different kinds of non-substance. While the general metaphysical theory adopted in the Elements resembles that of Aristotle in many respects, Euclid does not employ Aristotle’s terminology, or indeed, any philosophical terminology at (...) all. Instead, Euclid systematically uses different types of definition to distinguish between metaphysically different kinds of mathematical object. (shrink)

Frege is celebrated as an arch-Platonist and arch-realist. He is renowned for claiming that truths of arithmetic are eternally true and independent of us, our judgments and our thoughts; that there is a third realm containing nonphysical objects that are not ideas. Until recently, there were few attempts to explicate these renowned claims, for most philosophers thought the clarity of Frege's prose rendered explication unnecessary. But the last ten years have seen the publication of several revisionist interpretations of Frege's writings (...) — interpretations on which these claims receive a very different reading. In Frege on Knowing the Third Realm, Tyler Burge attempts to undermine this trend. Burge argues that Frege is the very Platonist most have thought him — that revisionist interpretations of Frege's Platonism, mine among them, run afoul of the words on Frege's pages. This paper is a response to Burge's criticisms. I argue that my interpretation is more faithful than Burge's to Frege's texts. (shrink)

Fine (2007) argues that Frege’s puzzle and its relatives demonstrate a need for a basic reorientation of the field of semantics. According to this reorientation, the domain of semantic facts would be closed not under the classical consequence relation but only under a stronger relation Fine calls “manifest consequence.” I examine Fine’s informally sketched analyses of manifest consequence, showing that each can be amended to determine a class of strong consequence relations. A best candidate relation emerges from each of the (...) two classes, and I prove that the two candidates extensionally coincide. The resulting consequence relation is of independent interest, for it might be held to constitute a cogent standard of reasoning that proceeds under a deficient grasp on the identity of objects. (shrink)

In a letter to Frege of 29 December 1899, Hilbert advances his formalist doctrine, according to which consistency of an arbitrary set of mathematical sentences is a sufficient condition for its truth and for the existence of the concepts described by it. This paper discusses Frege's analysis, as carried out in the context of the Frege-Hilbert correspondence, of the formalist approach in particular and the axiomatic method in general. We close with a speculation about Frege's influence on Hilbert's later work (...) in foundations, which we consider to have been greater than previously assumed. This conjecture is based on a hitherto neglected revision of Hilbert's talk "Über den Zahlbegriff". (shrink)

We tend to talk about (refer to, quantify over) parts in the same way in which we talk about whole objects. Yet a part is not something to be included in an inventory of the world over and above the whole to which it belongs, and a whole is not something to be included in the inventory over and above its constituent parts. This paper is an attempt to clarify a way of dealing with this tension which may be labeled (...) the Minimalist View: An element in the field of a part-whole relation is to be included in an inventory of the world if and only if it does not overlap any distinct element that is itself included in the inventory. (shrink)

There are conflicting intuitions concerning the status of a boundary separating two adjacent entities (or two parts of the same entity). The boundary cannot belong to both things, for adjacency excludes overlap; and it cannot belong to neither, for nothing lies between two adjacent things. Yet how can the dilemma be avoided without assigning the boundary to one thing or the other at random? Some philosophers regard this as a reductio of the very notion of a boundary, which should accordingly (...) be treated a mere façon de parler. In this paper I resist this temptation and examine some ways of taking the puzzle at face value within a realist perspective—treating boundaries as ontologically on a par with (albeit parasitic upon) extended parts. (shrink)

How is Frege able to claim that the notion of judgement is essential to his logic without introducing a form of psychologism? I argue first that Frege’s logical notion of judgement is to be distinguished from an empirical notion of judgement, that it cannot be understood as an abstract, idealized notion, and that there are doubts concerning a transcendental reading of Frege’s writings. Then, I explain that the logical notion of judgement has to be understood from a first-person perspective, to (...) be contrasted with a third-person perspective, in which judgement is understood as an empirical, psychological phenomenon. Frege’s logic is essentially a first-person engagement, as each of us can make use of the ideography as a science of logic only if we ourselves have made the relevant judgements. Finally, I claim that the judging agent as conceived by Frege can, after all, be understood as a transcendental ego. (shrink)

In The Construction of Logical Space, Agustín Rayo defends trivialism, according to which number-involving truths are trivially equivalent to other, non-number-involving truths; picturesquely, ‘I have five fingers on my hand’ and ‘the number of fingers on my hand is five’ express the same fact, but carved up in different ways. A single fact thus has multiple structures. I distinguish two ways this might go: on the deflationary picture, facts get their structures from our linguistic practices, while on an inflationary picture, (...) facts have multiple structures independently of language. I argue that Rayo’s view is best interpreted as deflationary. Thus interpreted, it blocks off an attractive solution to the old problems of intensionality. I further argue a that a semi-deflationary variant of Rayo’s view can make use of the attractive solution—but it thereby sacrifices the supposed mathematical benefits of trivialism. (shrink)

Neo-Fregeans need their stipulation of Hume's Principle — $NxFx=NxGx \leftrightarrow \exists R (Fx \,1\hbox {-}1_R\, Gx)$ — to do two things. First, it must implicitly define the term-forming operator ‘Nx…x…’, and second it must guarantee that Hume's Principle as a whole is true. I distinguish two senses in which the neo-Fregeans might ‘stipulate’ Hume's Principle, and argue that while one sort of stipulation fixes a meaning for ‘Nx…x…’ and the other guarantees the truth of Hume's Principle, neither does both.

A thought makes truth turn in some given way on how things are. What it thus does decomposes in partial doings of this. For example, making truth turn on whether Sid is sober may decompose into making truth turn on which ways Sid is, and on which objects are sober. If we assume that a thought decomposed in just one such way. Such, then, would be a thought’s essential structure. That idea might then apply as follows. To hold a thought (...) true one must first grasp it. To grasp it one must each element of its essential structure. If, say, those elements are making truth turn on Sid and making it turn on who is sober, then one must grasp what it would be for something to be Sid (and for something to be sober). The working assumption here is false. But in any case this application is mistaken. Or so this essay argues. (shrink)

According to Frege, we need a criterion for recognising when different sentences express the same thought to make progress in logic. He himself hedged his own equipollence criterion with a number of provisos. In the literature on Frege, little attention has been paid to the problems these provisos raise. In this paper, I will argue that Fregeans have ignored these provisos at their peril. For without these provisos, Frege’s criterion yields wrong results; but with the provisos in place, it is (...) of no use for Frege’s purposes. This is connected to what Frege took to be the ‘greatest difficulty for philosophy’: natural language sentences don’t just express thoughts; they convey evaluations and communicative hints. Because of this, Frege’s recognition criterion for thoughts cannot be applied to them and we cannot make logical progress by ‘recognising a thought in different linguistic guises’. (shrink)

: I argue that a response‐dependence account of a concept can yield metaphysical results, and not merely epistemological or semantical results, which has been a prevalent view in the literature on response‐dependence. In particular, I show how one can argue for a conferralist account of a certain property by arguing that the concept of the property is response‐dependent, if certain assumptions are made.

The impartial reader notices that Frege, in Die Verneinung, treats an opposing conception of negation, but without specifically naming its proponent. In this paper, it is proven for the first time that the view in question is that of his colleague in Jena, Bruno Bauch. Besides their different views, concerning above all the status of false thoughts, there are nonetheless broader points of agreement between the ideas of Bauch and Frege. These points of agreement cast light on both thinkers as (...) representatives of a current of Neo-Kantianism, having its source in Lotze, in which Kantian and Platonic elements are fused to form a ?transcendental Platonism? (shrink)

The two different layers of logical theory—epistemological and ontological—are considered and explained. Special attention is given to epistemic assumptions of the kind that a judgement is granted as known, and their role in validating rules of inference, namely to aid the inferential preservation of epistemic matters from premise judgements to conclusion judgement, while ordinary Natural Deduction assumptions serve to establish the holding of consequence from antecedent propositions to succedent proposition.

A detailed chronology is offered for the writing of Frege's central philosophical essays from the early 1890s. Particular attention is given to (the distinction between) Sinn and Bedeutung. Suggestions are made as to the origin of the examples concerning the Morning Star/Evening Star and August Bebel's views on the return of Alsace-Lorraine. Likely sources are offered for Frege's use of the terms Bestimmungsweise, Art des Gegebenseins and Sinn und Bedeutung.

Quine made it conventional to portray the contradiction that destroyed Frege’s logicism as some kind of act of God, a thunderbolt that descended from a clear blue sky. This portrayal suited the moral Quine was antecedently inclined to draw, that intuition is bankrupt, and that reliance on it must therefore be replaced by a pragmatic methodology. But the portrayal is grossly misleading, and Quine’s moral simply false. In the person of others – Cantor, Dedekind, and Zermelo – intuition was working (...) pretty well. It was in Frege that it suffered a local and temporary blindness. The question to ask, then, is not how Frege was overtaken by the contradiction, but how it is that he didn’t see it coming. The paper offers one kind of answer to that question. Starting from the very close similarity between Frege’s proof of infinity and the reasoning that leads to the contradiction, it asks: given his understanding of the first, why did Frege did not notice the second? The reason is traced, first, to a faulty generalization Frege made from the case of directions and parallel lines; and, through that, to Frege’s having retained, and attempted incoherently to combine with his own, aspects of a pre-Fregean understanding of the generality of logical principles. (shrink)

This paper investigates a certain puzzling argument concerning number expressions and their meanings, the Easy Argument for Numbers. After finding faults with previous views, I offer a new take on what’s ultimately wrong with the Argument: it equivocates. I develop a semantics for number expressions which relates various of their uses, including those relevant to the Easy Argument, via type-shifting. By marrying Romero ’s :687–737, 2005) analysis of specificational clauses with Scontras ’ semantics for Degree Nouns, I show how to (...) extend Landman ’s Adjectival Theory to numerical specificational clauses. The resulting semantics can explain various contrasts observed by Moltmann, but only if Scontras’ contention that degrees and numbers are sortally distinct is correct. At the same time, the Easy Argument can establish its intended conclusion only if numbers and degrees are mistakenly assumed to be identical. (shrink)

This article concerns the ongoing neo-logicist program in the philosophy of mathematics. The enterprise began life, in something close to its present form, with Crispin Wright’s seminal [1983]. It was bolstered when Bob Hale [1987] joined the fray on Wright’s behalf and it continues through many extensions, objections, and replies to objections . The overall plan is to develop branches of established mathematics using abstraction principles in the form: Formula where a and b are variables of a given type , (...) Σ is a higher-order operator denoting a function from items of the given type to objects in the range of the first-order variables, and E is an equivalence relation over items of the given type. In what follows, I will sometimes omit the initial quantifiers.Frege [1884, 1893] himself employed three abstraction principles. One of them, used for illustration, comes from geometry: "The direction of l1 is identical to the direction of l2 if and only if l1 is parallel to l2."Call this the direction principle. The second was dubbed N= in [Wright, 1983] and is now called Hume’s principle: Formula where F≈G is an abbreviation of the second-order statement that there is a one-to-one relation mapping the F’s onto the G’s. In words, states that the number of F is identical to the number of G if and only if F is equinumerous with G. Unlike the direction-principle, the relevant variables, F, G here are second-order. Georg Cantor …. (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)

The aim of this paper is to present the Nyāya concept of number in the light of contemporary philosophy and to show that the Frege-Russell concept of number does not contradict the Nyāya concept of number but rather supplements it.