In this paper, I shall discuss several topics related to Frege's paradigms of second-order abstraction principles and his logicism. The discussion includes a critical examination of some controversial views put forward mainly by Robin Jeshion, Tyler Burge, Crispin Wright, Richard Heck and John MacFarlane. In the introductory section, I try to shed light on the connection between logical abstraction and logical objects. The second section contains a critical appraisal of Frege's notion of evidence and its interpretation by Jeshion, the introduction (...) of the course-of-values operator and Frege's attitude towards Axiom V, in the expression of which this operator occurs as the key primitive term. Axiom V says that the course-of-values of the function f is identical with the course-of-values of the function g if and only if f and g are coextensional. In the third section, I intend to show that in Die Grundlagen der Arithmetik Frege hardly could have construed Hume's Principle as a primitive truth of logic and used it as an axiom governing the cardinality operator as a primitive sign. HP expresses that the number of Fs is identical with the number of Gs if and only if F and G are equinumerous. In the fourth section, I argue that Wright falls short of making a convincing case for the alleged analyticity of HP. In the final section, I canvass Heck's arguments for his contention that Frege knew he could deduce the simplest laws of arithmetic from HP without invoking Axiom V. I argue that they do not carry conviction. I conclude this section by rejecting an interpretation concerning HP suggested by MacFarlane. (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)

Abstraction principles provide implicit definitions of mathematical objects. In this paper, an abstraction principle defining categories is proposed. It is unsatisfiable and inconsistent in the expected ways. Two restricted versions of the principle which are consistent are presented.

If${\cal C}$is a category whose objects are themselves categories, and${\cal C}$has a rich enough structure, it is known that we can recover the internal structure of thecategoriesin${\cal C}$entirely in terms of thearrowsin${\cal C}$. In this sense, the internal structure of the categories in a rich enough category of categories is visible in the structure of the category of categories itself.In this paper, we demonstrate that this result follows as a matter of logic – given one starts from the right definitions. (...) This is demonstrated by first producing an abstraction principle whose abstracts are functors, and then actually recovering the internal structure of the individual categories that intuitively stand at the sources and targets of these functors by examining the way these functors interact. The technique used in this construction will be useful elsewhere, and involves providing an abstract corresponding not to everyobjectof some given family, but to all the relevantmappingsof some family of objects.This construction should settle, in particular, questions about whether categories of categories qualify asautonomousmathematical objects – categories of categories are perfectly acceptable autonomous objects and thus, in particular, suitable for foundational purposes. (shrink)

This paper presents new constructions of models of Hume's Principle and Basic Law V with restricted amounts of comprehension. The techniques used in these constructions are drawn from hyperarithmetic theory and the model theory of fields, and formalizing these techniques within various subsystems of second-order Peano arithmetic allows one to put upper and lower bounds on the interpretability strength of these theories and hence to compare these theories to the canonical subsystems of second-order arithmetic. The main results of this paper (...) are: (i) there is a consistent extension of the hyperarithmetic fragment of Basic Law V which interprets the hyperarithmetic fragment of second-order Peano arithmetic, and (ii) the hyperarithmetic fragment of Hume's Principle does not interpret the hyperarithmetic fragment of second-order Peano arithmetic, so that in this specific sense there is no predicative version of Frege's Theorem. (shrink)

Øystein Linnebo has recently shown that the existence of successors cannot be proven in predicative Frege arithmetic, using Frege’s definitions of arithmetical notions. By contrast, it is shown here that the existence of successor can be proven in ramified predicative Frege arithmetic.

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)

There are two ways of thinking about the natural numbers: as ordinal numbers or as cardinal numbers. It is, moreover, well-known that the cardinal numbers can be defined in terms of the ordinal numbers. Some philosophies of mathematics have taken this as a reason to hold the ordinal numbers as (metaphysically) fundamental. By discussing structuralism and neo-logicism we argue that one can empirically distinguish between accounts that endorse this fundamentality claim and those that do not. In particular, we argue that (...) if the ordinal numbers are metaphysically fundamental then it follows that one cannot acquire cardinal number concepts without appeal to ordinal notions. On the other hand, without this fundamentality thesis that would be possible. This allows for an empirical test to see which account best describes our actual mathematical practices. We then, finally, discuss some empirical data that suggests that we can acquire cardinal number concepts without using ordinal notions. However, there are some important gaps left open by this data that we point to as areas for future empirical research. (shrink)

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

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)

We investigate two notions of independence— independence and complete independence—applied to the Peano axioms for the sequence of natural numbers. We review the results that, although they...