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)

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 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.

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.

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)

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)

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)

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.

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)

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)

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)

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 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)

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.

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)

Bermúdez (2003) argues that (T1) nonlinguistic creatures can think thoughts about protocausal conditional states of affairs and engage in rudimentary forms of reasoning, but (T2) they cannot ‘in principle’ think thoughts about thoughts (propositions)—in particular, they cannot have higher-order propositional attitudes (PAs). I reconstruct Bermúdez’s argument for T2 and show that it rests upon an implausible empirical assumption and is, therefore, not a threat to current empirical research into nonlinguistic higher-order PAs. I argue that even on an interpretation of the (...) argument that would pose a threat to this research, a parallel argument would seem to disprove T1. Finally, I argue that on an interpretation of Bermúdez’s argument that would not pose a threat to the above empirical research but would still present a significant philosophical thesis about thought and language, the argument either appears to confuse thoughts with their representational vehicles or the representational vehicles of thoughts with those representations used to hold thoughts in mind. (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)

The Reference Principle states that co-referring expressions are everywhere intersubstitutable salva congruitate. On first glance, looks like a truism, but a truism with some bite: transforms difficult philosophical questions about co-reference into easy grammatical questions about substitutability. This has led a number of philosophers to think that we can use to make short work of certain longstanding metaphysical debates. For example, it has been suggested that all we need to do to show that the predicate ‘ is a horse’ does (...) not refer to a property is point out that ‘ is a horse’ and ‘the property of being a horse’ are not everywhere intersubstitutable salva congruitate. However, when we understand ‘substitution’ in the simplest and most straightforward way, is no truism; in fact, natural languages are full of counterexamples to the principle. In this paper, I introduce a new notion of substitution, and then develop and argue for a version of that is immune to these counterexamples. Along the way I touch on the following topics: the relation between argument forms and their natural language instances; the reification of sense; the difference between terms and predicates; and the relation between reference and disquotation. I end by arguing that my new version of cannot be used to settle metaphysical debates quite as easily as some philosophers would like. (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)

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)

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)

I offer in this paper a contextual analysis of Frege's Grundlagen, section 64. It is surprising that with so much ink spilled on that section, the sources of Frege's discussion of definitions by abstraction have remained elusive. I hope to have filled this gap by providing textual evidence coming from, among other sources, Grassmann, Schlömilch, and the tradition of textbooks in geometry for secondary schools . In addition, I put Frege's considerations in the context of a widespread debate in Germany (...) on ‘directions’ as a central notion in the theory of parallels. (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)

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)

This explorative article is organized around a set of questions concerning the concept of a function. First, a summary of certain general facts about functions that are a common coin in contemporary logic is given. Then Frege's attempt at clarifying the nature of functions in his famous paper Function and Concept and in his Grundgesetze is discussed along with some questions which Freges' approach gave rise to in the literature. Finally, some characteristic uses of functional notions to be found in (...) the work of Bernard Bolzano and in Edmund Husserl's early work are presented and elucidated. (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)

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.

This article aims to analyse Wittgenstein’s 1929–1932 notes concerning Frege’s critique of what is referred to as old formalism in the philosophy of mathematics. Wittgenstein disagreed with Frege’s critique and, in his notes, outlined his own assessment of formalism. First of all, he approvingly foregrounded its mathematics-game comparison and insistence that rules precede the meanings of expressions. In this article, I recount Frege’s critique of formalism and address Wittgenstein’s assessment of it to show that his remarks are not so much (...) a critique of Frege as rather a defence of the formalist anti-metaphysical investment. (shrink)

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)

ABSTRACTThis paper is an attempt to explain why Russell abandoned the ontology of propositions, mind-independent complex entities that are possible objects of judgements. I argue that he did so not because of any decisive argument but because he found it better to endorse the existential account of truth, according to which a judgement is true if and only if there exists a corresponding fact. In order to endorse this account, he had examined various theories of judgement before he adopted the (...) multiple-relation theory of judgement, the most feasible way he then had of espousing it. I also attempt to explain why he preferred the existential account of truth. (shrink)

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)

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)

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 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.

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.

When we perceive we are under the impression of being directly aware of concrete, mindindependent objects. We also consider perception as a basic, reliable source for acquiring beliefs and an effective means for coping with the environment. In the philosophical literature, this direct and basic character of perception is sometimes captured by saying that perception is openness to the world. Articulating, refining and vindicating as far as possible this commonsensical view of perception as openness to the world is the main (...) objective of this work. In order to make the metaphor of openness tractable in theoretical terms, I set up the dialectic in terms of a contrast between representationalism, which holds that perception represents things as being a certain way, and pure relationalism, which holds that perception can be openness to the world only by being a non-representational relation between a subject and objects in the world. The main thesis that I defend with several arguments in this work is that perception is both representational and relational. Indeed, it intelligibly relates us to the world in virtue of its representational content. In chapter one, I place perception in the broader context of intentional states. I articulate a view on which intentional states are directed toward their objects in virtue of having representational content, and show that prima facie the arguments for thinking that paradigmatic intentional states such as belief have content apply to perception too. I also explain why pure relationalists would reject the application of the content-model to perception. Chapter two is devoted to Charles Travis’s argument that perceptual experience does not have content. I counter his argument by offering a phenomenological account of perceptual constancy, and I show that content is necessary for capturing constancy in theoretical terms. Further, I argue that content helps us to better explain how the mind-independent nature of concrete objects is manifest in the phenomenology of perceptual experience. Chapter three concerns the question of how we should elucidate perceptual experience as openness to the world in the face of illusion and hallucination. I consider three possible approaches, and I argue that a view on which perceptual experience is both representational and relational can best make sense of the relevant phenomena. In the fourth chapter, I consider the debate on phenomenal character between representationalist and purely relationalist views in light of a distinction between particularity and generality. I show how representationalists are committed to there being an element of generality in perception, and how pure relationalists construe perception as wholly particular instead. I defend the representationalist view on the grounds that generality is necessary to make sense of the phenomenal and epistemic determinacy of perception. In the concluding remarks, I consider the question of whether my view can make room for the relationality of perception, and I argue again that only a distorted view of the metaphor of openness to the world could lead one to think that content and relationality are incompatible. (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)