Many normative nonnaturalists find normative naturalism to be completely implausible. Naturalists and nonnaturalists agree, provided they are realists, that there are normative properties, such as moral ones. Naturalists hold that these properties are similar in all metaphysically important respects to properties that all would agree to be natural ones, such as such as meteorological or economic ones. It is this view that the nonnaturalists I have in mind find to be hopeless. They hold that normative properties are just too different (...) from natural properties for it to be possible they are natural properties. I aim to defuse this intuition. “Non-analytic naturalism” has made progress in defusing the intution. According to non-analytic naturalists, normative properties can be represented in thought in two ways, by an ordinary normative concept and by a naturalistic concept, where, the non-analytic naturalist concedes, normative concepts are not, and are not analyzable in terms of, naturalistic concepts. Non-analytic naturalism seems to avoid many of the standard objections to naturalism, but the Just Too Different intuition is resilient in the face of non-analytic naturalism, for even if one thinks that normative concepts are not analyzable at all, one might think that clarity about the concepts can show that naturalism is hopeless. I therefore think it is important for naturalists to address the intuition directly. In this paper, I argue that the intuition plausibly rests on certain characteristic pre-theoretical ways of thinking of the normative properties that we acquire in the ordinary course of moral learning, together with a drive to vindicate these ways of thinking, something of which people may be unaware. This drive to vindicate our ways of thinking is pervasive, and it is characteristic of rational agents. It explains our tendency to think well of those we love, for example, and to think ill of those with whom we are angry. It also explains a strong inclination to form beliefs that, if true, would seemingly vindicate our ways of thinking of normative properties. A result of this, I contend, is the intuition that normative naturalism cannot be true. Yet, as I further argue, the vindication process does not track the truth and the drive to vindicate our states of mind cannot be relied on as a guide to the metaphysics of normativity. (shrink)

This chapter tries to answer the following question: How should we conceive of the method of mathematics, if we take a naturalist stance? The problem arises since mathematical knowledge is regarded as the paradigm of certain knowledge, because mathematics is based on the axiomatic method. Moreover, natural science is deeply mathematized, and science is crucial for any naturalist perspective. But mathematics seems to provide a counterexample both to methodological and ontological naturalism. To face this problem, some authors tried to naturalize (...) mathematics by relying on evolutionism. But several difficulties arise when we try to do this. This chapter suggests that, in order to naturalize mathematics, it is better to take the method of mathematics to be the analytic method, rather than the axiomatic method, and thus conceive of mathematical knowledge as plausible knowledge. (shrink)

In this paper, we present a new semantic framework designed to capture a distinctly cognitive or epistemic notion of meaning akin to Fregean senses. Traditional Carnapian intensions are too coarse-grained for this purpose: they fail to draw semantic distinctions between sentences that, from a Fregean perspective, differ in meaning. This has led some philosophers to introduce more fine-grained hyperintensions that allow us to draw semantic distinctions among co-intensional sentences. But the hyperintensional strategy has a flip-side: it risks drawing semantic distinctions (...) between sentences that, from a Fregean perspective, do not differ in meaning. This is what we call the ‘new problem’ of hyperintensionality to distinguish it from the ‘old problem’ that faced the intensional theory. We show that our semantic framework offers a joint solution to both these problems by virtue of satisfying a version of Frege’s so-called ‘equipollence principle’ for sense individuation. Frege’s principle, we argue, not only captures the semantic intuitions that give rise to the old and the new problem of hyperintensionality, but also points the way to an independently motivated solution to both problems. (shrink)

In the past century the received view of definition in mathematics has been the stipulative conception, according to which a definition merely stipulates the meaning of a term in other terms which are supposed to be already well known. The stipulative conception has been so absolutely dominant and accepted as unproblematic that the nature of definition has not been much discussed, yet it is inadequate. This paper examines its shortcomings and proposes an alternative, the heuristic conception.

How should one conceive of the method of mathematics, if one takes a naturalist stance? Mathematical knowledge is regarded as the paradigm of certain knowledge, since mathematics is based on the axiomatic method. Natural science is deeply mathematized, and science is crucial for any naturalist perspective. But mathematics seems to provide a counterexample both to methodological and ontological naturalism. To face this problem, some naturalists try to naturalize mathematics relying on Darwinism. But several difficulties arise when one tries to naturalize (...) in this way the traditional view of mathematics, according to which mathematical knowledge is certain and the method of mathematics is the axiomatic method. This paper suggests that, in order to naturalize mathematics through Darwinism, it is better to take the method of mathematics not to be the axiomatic method. (shrink)

It is popular to hold that emotions are evaluative. On the standard account, the evaluative character of emotion is understood in epistemic terms: emotions apprehend or make us aware of value properties. As this account is commonly elaborated, emotions are experiences with evaluative intentional content. In this paper, I am concerned with a recent alternative proposal on how emotions afford awareness of value. This proposal does not ascribe evaluative content to emotions, but instead conceives of them as evaluative at the (...) level of intentional mode or attitude. I first argue that this proposal fails to make emotions intelligible as value apprehensions. There are reasons to suppose that emotions do not apprehend value to begin with, but are related to values in a different, non-epistemic sense. I then go on to show that the notion of an evaluative intentional mode can still help elucidate the evaluative character of emotion. I argue that there is a plausible non-epistemic understanding of the view that emotions are evaluative modes. On this account, emotions are not ways of apprehending values, but ways of acknowledging values. (shrink)

According to the so-called strong variant of Composition as Identity (CAI), the Principle of Indiscernibility of Identicals can be extended to composition, by resorting to broadly Fregean relativizations of cardinality ascriptions. In this paper we analyze various ways in which this relativization could be achieved. According to one broad variety of relativization, cardinality ascriptions are about objects, while concepts occupy an additional argument place. It should be possible to paraphrase the cardinality ascriptions in plural logic and, as a consequence, relative (...) counting requires the relativization either of quantifiers, or of identity, or of the is one of relation. However, some of these relativizations do not deliver the expected results, and others rely on problematic assumptions. In another broad variety of relativization, cardinality ascriptions are about concepts or sets. The most promising development of this approach is prima facie connected with a violation of the so-called Coreferentiality Constraint, according to which an identity statement is true only if its terms have the same referent. Moreover - even provided that the problem with coreferentiality can be fixed - the resulting analysis of cardinality ascriptions meets several difficulties. (shrink)

We propose a reconstruction of the constellation of problems and philosophical positions on the nature and number of the primitives of logic in four authors of the nineteenth century logical scene: Peano, Padoa, Frege and Peirce. We argue that the proposed reconstruction forces us to recognize that it is in at least four different senses that a notation can be said to be simpler than another, and we trace the origins of these four senses in the writings of these authors. (...) We conclude that Frege, and even more so Peirce, developed new notations not to make drawing logical conclusions easier but in order to answer the needs of logical analysis. (shrink)

The problem analysed in this paper is whether we can gain knowledge by using valid inferences, and how we can explain this process from a model-theoretic perspective. According to the paradox of inference (Cohen & Nagel 1936/1998, 173), it is logically impossible for an inference to be both valid and its conclusion to possess novelty with respect to the premises. I argue in this paper that valid inference has an epistemic significance, i.e., it can be used by an agent to (...) enlarge his knowledge, and this significance can be accounted in model-theoretic terms. I will argue first that the paradox is based on an equivocation, namely, it arises because logical containment, i.e., logical implication, is identified with epistemological containment, i.e., the knowledge of the premises entails the knowledge of the conclusion. Second, I will argue that a truth-conditional theory of meaning has the necessary resources to explain the epistemic significance of valid inferences. I will explain this epistemic significance starting from Carnap’s semantic theory of meaning and Tarski’s notion of satisfaction. In this way I will counter (Prawitz 2012b)’s claim that a truth-conditional theory of meaning is not able to account the legitimacy of valid inferences, i.e., their epistemic significance. (shrink)

This paper identifies a tension in Frege’s philosophy and offers a diagnosis of its origins. Frege’s Context Principle can be used to dissolve the problem of propositional unity. However, Frege’s official response to the problem does not invoke the Context Principle, but the distinction between ‘saturated’ and ‘unsaturated’ propositional constituents. I argue that such a response involves assumptions that clash with the Context Principle. I suggest, however, that this tension is not generated by deep-seated philosophical commitments, but by Frege’s occasional (...) attempt to take a dubious shortcut in the justification of his conception of propositional structure. (shrink)

Over the past fifty years the philosophy of language and mind has been dominated by a nondescriptivist approach to content and reference. This book attempts to recast and systematize that approach by offering an indexical model in terms of mental files. According to Recanati, we refer through mental files, the function of which is to store information derived through certain types of contextual relation the subject bears to objects in his or her environment. The reference of a file is determined (...) relationally, not satisfactionally, so a file is not to be equated to the body of (mis-)information it contains. Mental files are the mental equivalent of singular terms, and the reference of linguistic expressions is inherited from that of the files we associate with them. On this approach, mental files, the vehicles of singular thought, do all the work of so-called 'modes of presentation' in Fregean and neo-Russellian theories. (shrink)

The traditional debate about moral dilemmas concerns whether there are circumstances in which an agent is subject to two obligations that cannot both be fulfilled. Realists maintain there are. Irrealists deny this. Here I defend an alternative, methodologically-oriented position wherein the denial of genuine moral dilemmas functions as a regulative ideal for moral deliberation and practice. That is, moral inquiry and deliberation operate on the implicit assumption that there are no genuine moral dilemmas. This view is superior to both realism (...) and irrealism in accounting for moral residue and other crucial phenomenological dimensions of our experience of moral dilemmas. (shrink)

This two-part paper reviews a scholarly debate on an alleged tension in Frege ’s philosophy of logic. In Section 1 of Part I, I discuss Frege ’s view that logic is concerned with establishing norms for correct thinking and is therefore a normative science. In Section 2, I explore a different understanding of the role of logic that Frege seems to advance: logic is constitutive of the very possibility of thought, because it sets forth necessary conditions for thought. Hence, the (...) tension the view according to which logic is normative for thought seems to be incompatible with the idea that abiding by the laws of logic forms a precondition for thought. In Section 1 of Part II, I survey a number of interpretations of Frege ’s conception of logic that deal with this question. I show that they are for the most part either normative readings or constitutive readings. Finally, in Section 2, I adjudicate the debate and aim at reconciling the normative and the constitutive strands in Frege ’s conception of logic. (shrink)

Why should one think Frege's definition of the ancestral correct? It can be proven to be extensionally correct, but the argument uses arithmetical induction, and that seems to undermine Frege's claim to have justified induction in purely logical terms. I discuss such circularity objections and then offer a new definition of the ancestral intended to be intensionally correct; its extensional correctness then follows without proof. This new definition can be proven equivalent to Frege's without any use of arithmetical induction. This (...) proves, without any use of arithmetical induction, that Frege's definition is extensionally correct and so answers the circularity objections. (shrink)

In (1959), Carnap famously attacked Heidegger for having constructed an insane metaphysics based on a misconception of both the logical form and the semantics of ordinary language. In what follows, it will be argued that, once one appropriately (i.e., in a Russellian fashion) reads Heidegger’s famous sentence that should paradigmatically exemplify such a misconception, i.e., “the nothing nothings”, there is nothing either logically or semantically wrong with it. The real controversy as to how that sentence has to be evaluated—not as (...) to its meaning but as to its truth—lies at the metaphysico- ontological level. For in order for the sentence to be true one has to endorse an ontology of impossibilia and Leibniz’s principle of the identity of indiscernibles. (shrink)

In this paper, I criticize Structured Propositionalism, the most widely held theory of the nature of propositions according to which they are structured entities with constituents. I argue that the proponents of Structured Propositionalism have paid insufficient attention to the metaphysical presuppositions of the view – most egregiously, to the notion of propositional constituency. This is somewhat ironic, since the friends of structured propositions tend to argue as if the appeal to constituency gives their view a dialectical advantage. I criticize (...) four different approaches to providing a metaphysics of propositional constituency: set-theoretic, mereological, hylomorphic, and structure-making. Finally, I consider the option of taking constituency in a deflationary, metaphysically ‘lightweight’ sense. I argue that, though invoking constituency in a lightweight sense may be useful for avoiding the ontological problems that plague the ‘heavyweight’ conception, it no longer proffers a dialectical advantage to Structured Propositionalism. (shrink)

Hans Herzberger as a philosopher and logician has shown deep interest both in the philosophy of Gottlob Frege, and in the topic of the inexpressible and the ineffable. In the fall of 1982, he taught at the University of Toronto, together with André Gombay, a course on Frege's metaphysics, philosophy of language, and foundations of arithmetic. Again, in the fall of 1986, he taught a seminar on the philosophy of language that dealt with 'the limits of discursive symbolism in several (...) domains of human experience.' The course description continues by saying: 'Special attention will be given to the paradoxes underlying various doctrines of the inexpressible and the tensions inherent in those paradoxes. Some doctrines of .. (shrink)

This paper discusses certain problems arising within the treatment of the senses of functions in Alonzo Church's Logic of Sense and Denotation. Church understands such senses themselves to be "sense-functions," functions from sense to sense. However, the conditions he lays out under which a sense-function is to be regarded as a sense presenting another function as denotation allow for certain undesirable results given certain unusual or "deviant" sense-functions. Certain absurdities result, e.g., an argument can be found for equating any two (...) senses of the same type. An alternative treatment of the senses of functions is discussed, and is thought to do better justice to Frege's original theory. (shrink)

Philosophers of the modern period are often presented as having made an elementary error: that of confounding the attitude one adopts toward a proposition with its content. By examining the works of Locke and the Port-Royalians, I show that this accusation is ill-founded and that Locke, in particular, has the resources to construct a theory of propositional attitudes.

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)

In this essay, I critically discuss Dale Jacquette's new English translation of Frege's work Die Grundlagen der Arithmetik as well as his Introduction and Critical Commentary (Frege, G. 2007. The Foundations of Arithmetic. A Logical-Mathematical Investigation into the Concept of Number . Translated with an Introduction and Critical Commentary by Dale Jacquette. New York: Longman. xxxii + 112 pp.). I begin with a short assessment of Frege's book. In sections 2 and 3, I examine several claims that Jacquette makes in (...) his Introduction and Critical Commentary and put matters in the right perspective. In sections 4-7, I analyse errors and shortcomings in Jacquette's (and Austin's) translation(s) and show how they can be avoided. In this context, I consider several issues of interest for Frege's logic and philosophy of arithmetic. I conclude with general remarks. (shrink)

In their correspondence in 1902 and 1903, after discussing the Russell paradox, Russell and Frege discussed the paradox of propositions considered informally in Appendix B of Russell’s Principles of Mathematics. It seems that the proposition, p, stating the logical product of the class w, namely, the class of all propositions stating the logical product of a class they are not in, is in w if and only if it is not. Frege believed that this paradox was avoided within his philosophy (...) due to his distinction between sense (Sinn) and reference (Bedeutung). However, I show that while the paradox as Russell formulates it is ill-formed with Frege’s extant logical system, if Frege’s system is expanded to contain the commitments of his philosophy of language, an analogue of this paradox is formulable. This and other concerns in Fregean intensional logic are discussed, and it is discovered that Frege’s logical system, even without its naive class theory embodied in its infamous Basic Law V, leads to inconsistencies when the theory of sense and reference is axiomatized therein. (shrink)

Logic is usually thought to concern itself only with features that sentences and arguments possess in virtue of their logical structures or forms. The logical form of a sentence or argument is determined by its syntactic or semantic structure and by the placement of certain expressions called “logical constants.”[1] Thus, for example, the sentences Every boy loves some girl. and Some boy loves every girl. are thought to differ in logical form, even though they share a common syntactic and semantic (...) structure, because they differ in the placement of the logical constants “every” and “some”. By contrast, the sentences Every girl loves some boy. and Every boy loves some girl. are thought to have the same logical form, because “girl” and “boy” are not logical constants. Thus, in order to settle questions about logical form, and ultimately about which arguments are logically valid and which sentences logically true, we must distinguish the “logical constants” of a language from its nonlogical expressions. (shrink)

Is linguistic understanding a form of knowledge? I clarify the question and then consider two natural forms a positive answer might take. I argue that, although some recent arguments fail to decide the issue, neither positive answer should be accepted. The aim is not yet to foreclose on the view that linguistic understanding is a form of knowledge, but to develop desiderata on a satisfactory successor to the two natural views rejected here.

I present an argument for an interpretation ofKant's views on the nature of the ‘content [Inhalt]’ of ‘cognition [Erkenntnis]’. In contrast to one of the longest standing interpretations ofKant's views on cognitive content, which ascribes toKant a straightforwardly psychologistic understanding of content, and in contrast as well to the more recently influential reading ofKant put forward byMcDowell and others, according to whichKant embraces a version ofRussellianism, I argue thatKant's views on this topic are of a much moreFregean bent than has (...) traditionally been admitted or appreciated. I conclude by providing a sketch of how a better grasp ofKant's views on cognitive content in general can help bring into sharper relief what is, and what is not, at stake in the recent debates over whether Kant accepts a particular kind of cognitive content—namely, non‐conceptual content. (shrink)

This paper is about the Descriptivism/Singularism debate, which has loomed large in 20-century philosophy of language and mind. My aim is to defend Singularism by showing, first, that it is a better and more promising view than even the most sophisticated versions of Descriptivism, and second, that the recent objections to Singularism (based on a dismissal of the acquaintance constraint on singular thought) miss their target.

There has been considerable recent debate about whether Kant's account of intuitions implies that their content is conceptual. This debate, however, has failed to make significant progress because of the absence of discussion, let alone consensus, as to the meaning of ‘content’ in this context. Here I try to move things forward by focusing on the kind of content associated with Frege's notion of ‘sense ’, understood as a mode of presentation of some object or property. I argue, first, that (...) Kant takes intuitions to have a content in this sense, and, secondly, that Kant clearly takes the content of intuitions, so understood, to be distinct in kind from that possessed by concepts. I then show how my account can respond to the most serious objections to previous non-conceptualist interpretations.Send article to KindleTo send this article to your Kindle, first ensure [email protected] is added to your Approved Personal Document E-mail List under your Personal Document Settings on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part of your Kindle email address below. Find out more about sending to your Kindle. Find out more about sending to your Kindle. Note you can select to send to either the @free.kindle.com or @kindle.com variations. ‘@free.kindle.com’ emails are free but can only be sent to your device when it is connected to wi-fi. ‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply. Find out more about the Kindle Personal Document Service.The Non-Conceptuality of the Content of Intuitions: A New ApproachVolume 18, Issue 1Clinton Tolley DOI: https://doi.org/10.1017/S1369415412000313Your Kindle email address Please provide your Kindle [email protected]@kindle.com Available formats PDF Please select a format to send. By using this service, you agree that you will only keep articles for personal use, and will not openly distribute them via Dropbox, Google Drive or other file sharing services. Please confirm that you accept the terms of use. Cancel Send ×Send article to Dropbox To send this article to your Dropbox account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about sending content to Dropbox. The Non-Conceptuality of the Content of Intuitions: A New ApproachVolume 18, Issue 1Clinton Tolley DOI: https://doi.org/10.1017/S1369415412000313Available formats PDF Please select a format to send. By using this service, you agree that you will only keep articles for personal use, and will not openly distribute them via Dropbox, Google Drive or other file sharing services. Please confirm that you accept the terms of use. Cancel Send ×Send article to Google Drive To send this article to your Google Drive account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about sending content to Google Drive. The Non-Conceptuality of the Content of Intuitions: A New ApproachVolume 18, Issue 1Clinton Tolley DOI: https://doi.org/10.1017/S1369415412000313Available formats PDF Please select a format to send. By using this service, you agree that you will only keep articles for personal use, and will not openly distribute them via Dropbox, Google Drive or other file sharing services. Please confirm that you accept the terms of use. Cancel Send ×Export citation. (shrink)

It is shown that the coherence of de re belief ascriptions is doubtful in view of certain plausible principles. Subsequently, it is argued, the standard argument against substitutivity in de dicto ascriptions loses some of its power. Also, some possible reactions to these results are considered.

Consider the Unshareability View, namely, the view that first person thought or self-thought—thought as typically expressed via the first person pronoun—is not shareable from subject to subject. In this article, I show that a significant number of Fregean and non-Fregean commentators of Frege have taken the Unshareability View to be the default Fregean position, rehearse Frege’s chief claims about self-thought and suggest that their combination entails the Unshareability View only on the assumption that there is a one-to-one correspondence between way (...) of thinking and thought-individuating cognitive value, outline an account of self-thought that rejects the assumption and keeps intact all of Frege’s chief claims, and respond to a number of worries to the effect that this proposal yields undesirable results from the point of view of the individuation of self-thought at the level of cognitive value. (shrink)

This paper has a two-fold objective: to provide a balanced, multi-faceted account of the origins of logicism; to rehabilitate Richard Dedekind as a main logicist. Logicism should be seen as more deeply rooted in the development of modern mathematics than typically assumed, and this becomes evident by reconsidering Dedekind's writings in relation to Frege's. Especially in its Dedekindian and Fregean versions, logicism constitutes the culmination of the rise of ?pure mathematics? in the nineteenth century; and this rise brought with it (...) an inter-weaving of methodological and epistemological considerations. The latter aspect illustrates how philosophical concerns can grow out of mathematical practice, as opposed to being imposed on it from outside. It also sheds new light on the legacy and the lasting significance of logicism today. (shrink)

The paper distinguishes between two kinds of mathematics, natural mathematics which is a result of biological evolution and artificial mathematics which is a result of cultural evolution. On this basis, it outlines an approach to the philosophy of mathematics which involves a new treatment of the method of mathematics, the notion of demonstration, the questions of discovery and justification, the nature of mathematical objects, the character of mathematical definition, the role of intuition, the role of diagrams in mathematics, and the (...) effectiveness of mathematics in natural science. (shrink)

Peter Geach famously holds that there is no such thing as absolute identity. There are rather, as Geach sees it, a variety of relative identity relations, each essentially connected with a particular monadic predicate. Though we can strictly and meaningfully say that an individual a is the same man as the individual b, or that a is the same statue as b, we cannot, on this view, strictly and meaningfully say that the individual a simply is b. It is difficult (...) to find anything like a persuasive argument for this doctrine in Geach's work. But one claim made by Geach is that his account of identity is the account most naturally aligned with Frege's widely admired treatment of cardinality. And though this claim of an affinity between Frege's and Geach's doctrines has been challenged, the challenge has been resisted. William Alston and Jonathan Bennett, indeed, go further than Geach to argue that Frege's doctrine implies Geach's. If Alston and Bennett are right, then those who favor a broadly Fregean treatment of cardinality have no choice but to adopt Geach's doctrine of relative identity. And because contemporary set-theoretic accounts of cardinality are essentially Fregean in all respects relevant to this issue (see §11 below), it follows from Alston and Bennett's claim that virtually every standard modern treatment of cardinality requires a 'relativized' treatment of identity. The purpose of this paper is to argue against the implication claimed by Alston and Bennett. Despite some superficial similarities between Frege's treatment of cardinality and Geach's treatment of identity, the two doctrines are fundamentally opposed. Frege's account of cardinality, and its set-theoretic descendants, are all inconsistent with the claim that identity is 'relative' in Geach's sense. (shrink)

Michael Dummett has long argued that Frege is committed to recognizing a distinction between two sorts of analysis of propositional contents: 'analysis', which reveals the entities that one must grasp in order to apprehend a given propositional content; and 'decomposition', which is used in recognizing the validity of certain inferences. Whereas any propositional content admits of a unique ultimate 'analysis' into simple constituents, it also admits of distinct 'decompositions', no one of which is ultimately privileged over the others. I argue (...) that although Russell accepts this distinction between analysis and decomposition, Frege does not. In particular, I consider claims which Dummett makes regarding how 'analysis' and 'decomposition' are related to two different models Frege at least suggests in discussing the composition of thoughts, the part/whole model and the function/argument model; and I argue that in each case, while Russell accepts views which Dummett attributes to Frege, Frege does not. (shrink)

According to a view going back to Plato, the aim of philosophy is to acquire knowledge and there is a method to acquire knowledge, namely a method of discovery. In the last century, however, this view has been completely abandoned, the attempt to give a rational account of discovery has been given up, and logic has been disconnected from discovery. This paper outlines a way of reconnecting logic with discovery.

What makes certain definitions fruitful? And how can definitions play an explanatory role? The purpose of this paper is to examine these questions via an investigation of Frege’s treatment of definitions. Specifically, I pursue this issue via an examination of Frege’s views about the scientific unification of logic and arithmetic. In my view, what interpreters have failed to appreciate is that logicism is a project of unification, not reduction. For Frege, unification involves two separate steps: (1) an account of the (...) content expressed by arithmetical claims and (2) the justification of that content. The distinction between these steps allows us to see that there are two notions of definition at play in Frege’s logicist work, viz., one concerned with conceptual analysis, the other concerned with the construction of gap-free proof. I then use this discussion to explain how Frege employs his definitions to defend an epistemological thesis about arithmetic, and to clarify Grundlagen’s fruitfulness condition of definitions, and thereby address two interpretive puzzles from the recent literature. (shrink)

In this essay, I distinguish two ways of depsychologizing psychology: ‘anti-psychologism’ and ‘non-psychologism’. Both positions are responses to the Fregean sharp distinction between the logical and the psychological. But where anti-psychologism, which I find in John McDowell, attempts to overcome the sharp distinction by arguing that psychological states and their expressions are apt to be articulated into judgments, Stanley Cavell's non-psychologism, a powerful and neglected alternative, wants to overcome the sharp distinction by abandoning judgment as the paradigm expression of thought (...) and communication. (shrink)

Beliefs have what I will call ‘propositional content’. A belief is always a belief that so-and-so: a belief that grass is green, or a belief that snow is white, or whatever. Other things have propositional content too, such as sentences, judgments and assertions. The Standard View amongst philosophers is that what it is to have a propositional content is to stand in an appropriate relation to a proposition. Moreover, on this view, propositions are objects, i.e. the kind of thing you (...) can refer to with singular terms. For example, on the Standard View, we should parse the sentence ‘Simon believes that Sharon is funny’ as: [Simon] believes [that Sharon is funny]; ‘Simon’ is a term referring to a thinking subject, ‘that Sharon is funny’ is a term referring to a proposition, and ‘x believes y’ is a dyadic predicate expressing the believing relation. In this paper, I argue against the Standard View. This is how I think we should parse ‘Simon believes that Sharon is funny’: [Simon] believes that [Sharon is funny]; here we have a singular term, ‘Simon’, a sentence ‘Sharon is funny’, and a ‘prenective’ joining them together, ‘x believes that p’. On this Prenective View, we do not get at the propositional content of someone’s belief by referring to a reified proposition with a singular term; we simply use the sentence ‘Sharon is funny’ to express that content for ourselves. I argue for the Prenective View in large part by showing that an initially attractive version of the Standard View is actually vulnerable to the same objection that Wittgenstein used against Russell’s multiple-relation theory of judgment. (shrink)

I present an argument for an interpretation of Kant's views on the nature of the ‘content [Inhalt]’ of ‘cognition [Erkenntnis]’. In contrast to one of the longest standing interpretations of Kant's views on cognitive content, which ascribes to Kant a straightforwardly psychologistic understanding of content, and in contrast as well to the more recently influential reading of Kant put forward by McDowell and others, according to which Kant embraces a version of Russellianism, I argue that Kant's views on this topic (...) are of a much more Fregean bent than has traditionally been admitted or appreciated. I conclude by providing a sketch of how a better grasp of Kant's views on cognitive content in general can help bring into sharper relief what is, and what is not, at stake in the recent debates over whether Kant accepts a particular kind of cognitive content—namely, non-conceptual content. (shrink)

This paper, accessible for a general philosophical audience having only some fleeting acquaintance with set-theory and category-theory, concerns the philosophy of mathematics, specifically the bearing of category-theory on the foundations of mathematics. We argue for six claims. (I) A founding theory for category-theory based on the primitive concept of a set or a class is worthwile to pursue. (II) The extant set-theoretical founding theories for category-theory are conceptually flawed. (III) The conceptual distinction between a set and a class can be (...) seen to be formally codified in Ackermann's axiomatisation of set-theory. (IV) A slight but significant deductive extension of Ackermann's theory of sets and classes founds Cantorian set-theory as well as category-theory, and therefore can pass as a founding theory of the whole of mathematics. (V) The extended theory does not suffer from the conceptual flaws of the extant set-theoretical founding theories. (VI) The extended theory is not only conceptually but also logically superior to the competing set-theories because its consistency can be proved on the basis of weaker assumptions than the consistency of the competition. (shrink)

I attempt to explain Frege's handling of the Julius Caesar issue in terms of his more general philosophical commitments. These only became fully explicit in his middle-period writings, but his earlier moves are best explained, I suggest, if we suppose them to be implicit in his earlier thinking. These commitments conditionally justify Frege in rejecting Hume's Principle as either a definition or axiom but in accepting Axiom V. However, the general epistemological picture they constitute has serious problems in accounting for (...) how knowledge is possible at all of such propositions as that Julius Caesar is not a number. (shrink)

This paper is about first‐person thoughts—thoughts about oneself that are expressible through uses of first‐person pronouns. It is widely held that first‐person thoughts cannot be shared. My aim is to postpone rejection of the more natural view that such thoughts about oneself can be shared. I sketch an account on which such thoughts can be shared and indicate some ways in which deciding the fate of the account will depend upon further work.

Adrian Moore develops a helpful distinction between good and bad metaphysics. Employing this distinction, I argue, first, that some contemporary metaphysical theories might be ‘bad’, insofar as they employ, unreflectively, concepts akin to Kant’s Ideas of reason. Second, I investigate the difficulty Kant himself has with explaining our craving for bad metaphysics. Third, I raise some problems for Kant’s doctrine of ‘transcendental cognition’, which rests on the difficult assumption that Ideas have objective reality. I conclude that, while Kant has given (...) us means to combat certain bad metaphysics, his own philosophy is not entirely free of it either. (shrink)

The study is focused on the relation between theology and mathematics in the situation of increasing secularization. My main concern in the second part of this paper is the early-twentieth-century foundational crisis of mathematics. The hypothesis that pure mathematics partially fulfilled the functions of theology at that time is tested on the views of the leading figures of the three main foundationalist programs: Russell, Hilbert and Brouwer.

This essay examines Frege's reaction to Russell's Paradox and his views about the grounding of existence claims in mathematics. It is argued that Frege's strict requirements on existential proofs would rule out the attempt to ground arithmetic in. It is hoped that this discussion will help to clarify the ways in which Frege's position is both coherent and significantly different from the neo-logicist position on the issues of: what's required for proofs of existence; the connection between models, consistency, and existence; (...) and the prospects for a logical grounding of arithmetic in the wake of the paradox. (shrink)

Mental files serve as individual or singular concepts. Like singular terms in the language, they refer, or are supposed to refer. What they refer to is not determined by properties which the subject takes the referent to have (i.e. by the information stored in the file), but through relations to various entities in the environment in which the file fulfills its function. Files are based on acquaintance relations, and the function of the file is to store whatever information is made (...) available through the relations in question. I offer a typology of files. The most important distinction is between proto-files and conceptual files. In contrast to proto-files, conceptual files can host not only information derived through the specific relation on which the file is based, but also information about the same object gained in some other way. In this framework identity comes into the picture twice. (i) Identity is presupposed when two pieces of information occur in the same file. Such 'presumptions of identity' ground the linguistic phenomenon of de jure coreference, which takes place when two singular terms, or two occurrences of a singular term, are associated with the same file. (ii) Judgments of identity work by linking two distinct files, thereby enabling information to flow freely between them. This corresponds to de facto coreference. (Linking is not merging ; identity judgments have the effect of merging files only when the files belong to a very specific category, that of 'encyclopedia entries' -- a type of conceptual file based on a higher-order relation rather than on a specific acquaintance relation.) In the last part of the paper I will discuss, and attempt to rebut, two objections to the mental-file account. According to the first objection, the account is circular ; according to the second objection, de jure coreference cannot be accounted for it in terms of identity of the associated mental files because de jure coreference is not a transitive relation. (shrink)

Frege's main contributions to logic and the philosophy of mathematics are, on the one hand, his introduction of modern relational and quantificational logic and, on the other, his analysis of the concept of number. My focus in this paper will be on the latter, although the two are closely related, of course, in ways that will also play a role. More specifically, I will discuss Frege's logicist reconceptualization of the natural numbers with the goal of clarifying two aspects: the motivations (...) for its core ideas; the step-by-step development of these ideas, from Begriffsschrift through Die Grundlagen der Arithmetik and Grundgesetze der Arithmetik to Frege's very last writings, indeed even beyond those, to a number of recent "neo-Fregean" proposals for how to update them. One main development, or break, in Frege's views occurred after he was informed of Russell's antinomy. His attempt to come to terms with this antinomy has found some attention in the literature already. It has seldom been analyzed in connection with earlier changes in his views, however, partly because those changes themselves have been largely ignored. Nor has it been discussed much in connection with Frege's basic motivations, as formed in reaction to earlier positions. Doing both in this paper will not only shed new light on his response to Russell's antinomy, but also on other aspects of his views. In addition, it will provide us with a framework for comparing recent updates of these views, thus for assessing the remaining attraction of Frege's general approach. I will proceed as follows: In the first part of the paper (§1.1 and §1.2), I will consider the relationship of Frege's conception of the natural numbers to earlier conceptions, in particular to what I will call the "pluralities conception", thus bringing into sharper focus his core ideas and their motivations. In the next part (§2.1 and §2.2), I will trace the order in which these ideas come up in Frege's writings, as well as the ways in which his position gets modified along the way, both before and after Russell's antinomy.. (shrink)

A new kind of debate about the normative error theory has emerged. Whereas longstanding debates have fixed on the error theory’s plausibility, this new debate concerns the theory’s believability. Bart Streumer is the chief proponent of the error theory’s unbelievability. In this brief essay, we argue that Streumer’s argument prevails against extant critiques, and then press a criticism of our own.