Are Fregean thoughts compositionally complex and composed of senses? We argue that, in Begriffsschrift, Frege took 'conceptual contents' to be unstructured, but that he quickly moved away from this position, holding just two years later that conceptual contents divide of themselves into 'function' and 'argument'. This second position is shown to be unstable, however, by Frege's famous substitution puzzle. For Frege, the crucial question the puzzle raises is why "The Morning Star is a planet" and "The Evening Star is a (...) planet" have different contents, but his second position predicts that they should have the same content. Frege's response to this antinomy is of course to distinguish sense from reference, but what has not previously been noticed is that this response also requires thoughts to be compositionally complex, composed of senses. That, however, raises the question just how thoughts are composed from senses. We reconstruct a Fregean answer, one that turns on an insistence that this question must be understood as semantic rather than metaphysical. It is not a question about the intrinsic nature of residents of the third realm but a question about how thoughts are expressed by sentences. (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)

Can there be objects that are ‘thin’ in the sense that very little is required for their existence? A number of philosophers have thought so. For instance, many Fregeans believe it suffices for the existence of directions that there be lines standing in the relation of parallelism; other philosophers believe it suffices for a mathematical theory to have a model that the theory be coherent. This article explains the appeal of thin objects, discusses the three most important strategies for articulating (...) and defending the idea of such objects, and outlines some problems that these strategies face. (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.

This paper aims to investigate certain aspects of Weyl’s account of implicit definitions. The paper takes under consideration Weyl’s approach to a certain kind of implicit definitions i.e. abstraction principles introduced by Frege.ion principles are bi-conditionals that transform certain equivalence relations into identity statements, defining thereby mathematical terms in an implicit way. The paper compares the analytic reading of implicit definitions offered by the Neo-Fregean program with Weyl’s account which has phenomenological leanings. The paper suggests that Weyl’s account should be (...) construed as putting emphasis on intentionality of human mind towards certain invariant features of the elements of initial domains of discourse that are involved in equivalence relations. Definition of terms like direction, shape, number etc. is achieved by a kind of transformation of those invariants into ideal objects that is involved in intuition. Then the paper argues that at the period of 1926 Weyl’s writings on implicit definitions, he is inclined to endorse symbolic construction as a way to explicate the objectivity of certain processes as those that are carried out in case of implicit definitions. (shrink)

Here is Frege in Foundations of Arithmetic, § 64:The judgment 'Line a is parallel to line b', in symbols: ab, can be taken as an identity. If we do this, we obtain the concept of direction, and say: 'The direction of line a is equal to the direction of line b.' Thus we replace the symbol by the more generic symbol =, through removing what is specific in the content of the former and dividing it between a and b. We (...) carve up the content in a way different from the original way, and this yields us a new concept.Something important is going on in this passage. But at the same time it borders on incoherent. For Frege is saying at least the following:'dir(a ) = dir(b )' has the same content as 'ab'reflecting on that .. (shrink)

Neologicists have sought to ground mathematical knowledge in abstraction. One especially obstinate problem for this account is the bad company problem. The leading neologicist strategy for resolving this problem is to attempt to sift the good abstraction principles from the bad. This response faces a dilemma: the system of ‘good’ abstraction principles either falls foul of the Scylla of inconsistency or the Charybdis of being unable to recover a modest portion of Zermelo–Fraenkel set theory with its intended generality. This article (...) argues that the bad company problem is due to the ‘static’ character of abstraction on the neologicist's account and develops a ‘dynamic’ account of abstraction that avoids both horns of the dilemma. 1 Introduction2ion Reconstructed3 From Bad to Worse4 Abstraction Reconceived5 Bad Company Made GoodA AppendixA.1SemanticsA.2LogicA.3ConsistencyA.4Strength. (shrink)

Frege famously endorsed a principle of Thought-Sentence Correspondence that can be spelt out as follows: (Corr1) For all sentences s, for all thoughts t, if r expresses t, then:if a sense is expressed by a part of s then it is part of t, &(Corr2) For all sentences s, for all thoughts t, if s expresses t, then:if a sense is part of t then it is expressed by at least one part of s. He clearly embraces Corr1 when he (...) writes in § 32 of Grundgesetze, vol. I: ‘If a name is part of the name of a trut... (shrink)