This paper describes both an exegetical puzzle that lies at the heart of Frege’s writings—how to reconcile his logicism with his definitions and claims about his definitions—and two interpretations that try to resolve that puzzle, what I call the “explicative interpretation” and the “analysis interpretation.” This paper defends the explicative interpretation primarily by criticizing the most careful and sophisticated defenses of the analysis interpretation, those given my Michael Dummett and Patricia Blanchette. Specifically, I argue that Frege’s text either are inconsistent (...) with the analysis interpretation or do not support it. I also defend the explicative interpretation from the recent charge that it cannot make sense of Frege’s logicism. While I do not provide the explicative interpretation’s full solution to the puzzle, I show that its main competitor is seriously problematic. (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)

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)

What is the relevance of the history of philosophy to philosophy as such? This is not the question, what is the reason for studying the history of philosophy? This question is easy to answer. Philosophy is part of our culture, and the history of our culture is worth studying, if anything is. Nor is it the question, should academic institutions teach the history of philosophy as part of a philosophical education? It is widely accepted that students should be taught the (...) history of philosophy, even if philosophy itself is not considered an essentially historical discipline. An education in the history of philosophy is part of a broadly humanistic university education, and something of value for this reason alone, without it being necessary for anyone who actually pursues philosophy creatively and systematically to have to take history into account. (shrink)

This paper is about the meaning and function of identity statements involving proper names. There are two prominent views on this topic, according to which identity statements ascribe a relation: the object-view, on which identity statements ascribe a relation borne by all objects to themselves, and the name-view, on which an identity statement 'a is b' says that the names 'a' and 'b' codesignate. The object- and name-views may seem to exhaust the field. I make a case for treating identity (...) statements as sui generis instead of attempting to explain them by means of the idea that they ascribe a relation. My contention is that once we do this, no analysis is required. -/- I do not wish to insist that we stop saying that identity statements ascribe a relation. The point is that there is a fundamental disanalogy between identity statements and other two-termed statements which we overlook to our peril. This will be seen to parallel the more recognized disanalogy between existence statements and other one-termed statements. One way of registering the fundamental disanalogy is to say that identity statements are not relational, but this is not essential. Following my negative arguments in section 2, I employ some simple diagrammatical models in section 3 to exhibit the fundamental disanalogy. In a final section I respond to some possible objections which may be raised against this kind of approach. (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)

The issues surrounding the Caesar problem are assumed to be inert as far as ongoing mathematics is concerned. This paper aims to correct this impression by spelling out the ways that, in their historical context, Frege's remarks would have had considerable resonance with work that other mathematicians such as Riemann and Dedekind were doing. The search for presentation‐independent characterizations of objects and global definitions was seen as bound up with fundamental methodological questions in complex analysis and number theory.

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)