In 1958, Chaïm Perelman and Lucie Olbrechts-Tyteca published Traité de l'argumentation: La nouvelle rhétorique, the culmination of many years study. A seminal work in philosophy and rhetoric, it aimed to bring classical Aristotelian rhetoric into the modern era and present a model of argumentation that promoted action and reasonableness. One distinctive feature of the dense account found in this work is the claim that the success of argumentation can in part be measured by the responses of the audience for which (...) it is intended. By that standard, the project of the new rhetoric appears unsuccessful, because the audience for whom Perelman (and Olbrechts-Tyteca) expressly wrote was the audience least captivated by .. (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)

John MacFarlane explores how we might make sense of the idea that truth is relative. He provides new, satisfying accounts of parts of our thought and talk that have resisted traditional methods of analysis, including what we mean when we talk about what is tasty, what we know, what will happen, what might be the case, and what we ought to do.

Frege's theory of indirect contexts and the shift of sense and reference in these contexts has puzzled many. What can the hierarchy of indirect senses, doubly indirect senses, and so on, be? Donald Davidson gave a well-known 'unlearnability' argument against Frege's theory. The present paper argues that the key to Frege's theory lies in the fact that whenever a reference is specified (even though many senses determine a single reference), it is specified in a particular way, so that giving a (...) reference implies giving a sense; and that one must be 'acquainted' with the sense. It is argued that an indirect sense must be 'immediately revelatory' of its reference. General principles for Frege's doctrine of sense and reference are sated, for both direct and indirect quotation, to be understood iteratively. I also discuss Frege's doctrine of tensed and first person statements in the light of my analysis. The views of various other authors are examined. The conclusion is to ascribe to Frege an implicit doctrine of acquaintance similar to that of Russell. (shrink)

This article treats three aspects of Frege's discussions of definitions. First, I survey Frege's main criticisms of definitions in mathematics. Second, I consider Frege's apparent change of mind on the legitimacy of contextual definitions and its significance for recent neo-Fregean logicism. In the remainder of the article I discuss a critical question about the definitions on which Frege's proofs of the laws of arithmetic depend: do the logical structures of the definientia reflect the understanding of arithmetical terms prevailing prior to (...) Frege's analyses? Unless they do, it is unclear how Frege's proofs demonstrate the analyticity of the arithmetic in use before logicism. Yet, especially in late writings, Frege characterizes definitions as arbitrary stipulations of the senses or references of expressions unrelated to pre-definitional understanding. I conclude by examining some options for conceiving of the status of Frege's logicism in light of this apparent tension, and outline a suggestion for a philosophically fruitful way of resolving this tension. (shrink)

Few have entertained the idea that Georg Cantor, the creator of set theory, might have influenced Edmund Husserl, the founder of the phenomenological movement. Yet an exchange of ideas took place between them when Cantor was at the height of his creative powers and Husserl in the throes of an intellectual struggle during which his ideas were particularly malleable and changed considerably and definitively. Here their writings are examined to show how Husserl's and Cantor's ideas overlapped and crisscrossed in the (...) areas of philosophy and mathematics, arithmetization, abstraction, consciousness and pure logic, psychologism, metaphysical idealism, new numbers, and sets and manifolds. (shrink)

In part 4 of Meaning, Expression, and Thought, Davis rejects what he calls Fregean ideational theories, according to which the meaning of an expression is an idea; and then presents his own account, which states that, e.g., the meaning of ‘Primzahl’ in German is the property of meaning prime number. Before casting doubt on the latter ontology of meanings, I come to Frege’s defence by pointing out that he was not an advocate of the position Davis named after him because (...) Fregean senses are not lexical meanings and Fregean thoughts are not types of mental events. (shrink)

Grice coined the term ‘conventional implicature’ in a short passage in ‘Logic and conversation’. The description is intuitive and deeply intriguing. The range of phenomena that have since been assigned this label is large and diverse. I survey the central factual motivation, arguing that it is loosely uni- fied by the idea that conventional implicatures contribute a separate dimen- sion of meaning. I provide tests for distinguishing conventional implicatures from other kinds of meaning, and I briefly explore ways in which (...) one can incorporate multiple dimensions of meaning into a single theory. (shrink)

Philosophers on all sides of the contextualism debates have had an overly narrow conception of what semantic context sensitivity could be. They have conflated context sensitivity (dependence of truth or extension on features of context) with indexicality (dependence of content on features of context). As a result of this conflation, proponents of contextualism have taken arguments that establish only context sensitivity to establish indexicality, while opponents of contextualism have taken arguments against indexicality to be arguments against context sensitivity. Once these (...) concepts are carefully pulled apart, it becomes clear that there is conceptual space in semantic theory for nonindexical forms of contextualism that have many advantages over the usual indexical forms. (shrink)

Our utterances are typically if not always "situated," in the sense that they are true or false relative to unarticulated parameters of the extra-linguistic context. The problem is to explain how these parameters are determined, given that nothing in the uttered sentences indicates them. It is tempting to claim that they must be determined at the level of thought or intention. However, as many philosophers have observed, thoughts themselves are no less situated than utterances. Unarticulated parameters need not be mentally (...) represented. In this paper, I try to make precise the notion of representation at stake here. In one sense of 'representation', something is represented if it is inferentially relevant. In another, less demanding sense, something is represented if it is relevant to the construction of a context-sensitive, ad hoc concept. Ad hoc concepts act as "proxies" for cognitively more demanding representations. They "imitate" the latter's epistemic and pragmatic roles while being inferentially less sophisticated. Thus, there are two senses in which a thought can be said to be situated: (1) its truth-value is relative to a non-represented contextual parameter, (2) its truth-value is not itself relative, but it involves a context-sensitive, ad hoc concept. (shrink)

This paper aims to present an approach to Frege and Husserl’s theories of meaning in order to integrate meaning in the broader context of intentionality. Intentionality and reference are two notions with affinities, despite their pertaining to different but not separated areas... When comparing Frege and Husserl’s theories of meaning and intentionality we may provide a fruitful and enriching perspective: some problems and concepts of Husserl’s thought may be elucidated if confronted with those of Frege. On the other hand, Husserl’s (...) theories of meaning and intentionality provide a broader and far-reaching scope to Frege’s ideas on meaning.. Husserl’s concept of intentionality provides a new perspective which allows to overcome some of the impasses of Frege’s theory of meaning. (shrink)

This paper is partly exegetical, partly systematic. I argue that Frege's account of what he called “colouring” contains some important insights on how communication is related to mental states such as mental images or emotions. I also show that the Fregean perspective is supported by current research in psycholinguistics and that a full understanding of some linguistic phenomena that scholars have accounted for in terms of either semantics or pragmatics need involve psycholinguistic elements.

Frege believes that the content of declarative sentences divides into a thought and its ‘colouring’, perhaps combined with assertoric force. He further thinks it is important to separate the thought from its colouring. To do this, a criterion which determines sameness of sense between sentences must be deployed. But Frege provides three criteria for this task, each of which adjudicate on different grounds. In this article, rather than expand on criticisms levelled at two of the criteria offered, the author focuses (...) on the most promising candidate. As it stands, this criterion has problems, but not insuperable ones. He suggests an adjusted criterion that relies on the epistemic notion of triviality. He recommends this criterion as both harmonious with Frege’s broader thought and preferable to alternatives offered. The moral is that Frege individuates thoughts by deploying an epistemic concept, and this is the only suitable way for him to do so. (shrink)

Is logic normative for belief? A standard approach to answering this question has been to investigate bridge principles relating claims of logical consequence to norms for belief. Although the question is naturally an epistemic one, bridge principles have typically been investigated in isolation from epistemic debates over the correct norms for belief. In this paper we tackle the question of whether logic is normative for belief by proposing a Kripkean model theory accounting for the interaction between logical, doxastic, epistemic and (...) deontic notions and using this model theory to show which bridge principles are implied by epistemic norms that we have independent reason to accept, for example, theknowledge normand thetruth norm. We propose a preliminary theory of the interaction between logical, doxastic, epistemic and deontic notions that has among its commitments bridge principles expressing how logic is normative for belief. We also show how our framework suggests that logic is exceptionally normative. (shrink)

This article offers a new perspective on the relationship between slurring terms and their neutral counterparts with an inferentialist view of slurs. I argue that slurs and their counterparts are coextensional with contrasting senses. Crucially, the proposed inferentialist view overcomes the combination of two challenges: Kaplanian inferences and the substitution argument. The previous views cannot account for both of them.

Frege famously claimed that variations in the sense of a proper name can sometimes be ‘tolerated’. In this paper, we offer a novel explanation of this puzzling claim. Frege, we argue, follows Trendelenburg in holding that we think in language—sometimes individually and sometimes together. Variations in sense can be tolerated in just those cases where we are using language to coordinate our actions but are not engaged in thinking together about an issue.

On a representationalist view, conceptual engineering is the practice of changing the extensions and intensions of the devices we use to speak and think. But if this view holds true, conceptual engineering has a bad rationale. Extensions and intensions are not the sorts of things that are better or worse as such. A representationalist account of conceptual engineering thus falls prey to the objection that the practice has a bad rationale. To account for the assumption that conceptual engineering is worthwhile, (...) we propose to view what is being engineered as inferential devices, as opposed to representational devices. The objective is not to establish that being or having an inferential role is all there is to meaning or conceptual content. Rather, our agenda is to recommend a shift of focus from the representational features of content to the inferential features of content for the purposes of doing and thinking about conceptual engineering. Inferentialism about conceptual engineering makes better sense of the practice than a representationalist approach: In addition to accounting for the rationality of engaging in conceptual engineering, inferentialism provides a sound interpretation of what is at stake in concrete examples of conceptual engineering. (shrink)

In a series of articles (Pagin, 2004, 2009), Peter Pagin has argued that assertion is not a social speech act, introducing a method (which we baptize ‘the P-test’) designed to refute any account that defines assertion in terms of its social effects. This paper contends that Pagin's method fails to rebut the thesis that assertion is social. We show that the P-test is both unreliable (because it overgenerates counterexamples) and counterproductive (because it ultimately provides evidence in favor of some social (...) accounts). Nonetheless, we contend that assertion is not fully social. We defend an intermediate view according to which assertion is only a partly social speech act: assertions both commit the speaker to a proposition (a social component) and present their propositional content as true (a non-social component). The upshot is that assertion is in some important respect social, although it cannot be defined solely in terms of its social effects. (shrink)

ABSTRACT Frege characterizes judgement as the acknowledgement of the truth of a thought, appearing thereby to rule out false judgement. First in this paper I explain Frege’s characterization so that it does not have this consequence. Frege is not saying that for a subject S to judge that p is for S to acknowledge the truth of the thought that p. Rather, he is articulating judgement’s nature within self-consciousness. From within, to judge means to acknowledge a truth. Second, I suggest (...) that this articulation is centrally operative in Frege’s argument for the indefinability of truth. As Frege argues, it follows from judgement’s self-consciousness that truth is indefinable. (shrink)

According to Ole Hjortland, Timothy Williamson, Graham Priest, and others, anti-exceptionalism about logic is the view that logic “isn’t special”, but is continuous with the sciences. Logic is revisable, and its truths are neither analytic nor a priori. And logical theories are revised on the same grounds as scientific theories are. What isn’t special, we argue, is anti-exceptionalism about logic. Anti-exceptionalists disagree with one another regarding what logic and, indeed, anti-exceptionalism are, and they are at odds with naturalist philosophers of (...) logic, who may have seemed like natural allies. Moreover, those internal battles concern well-trodden philosophical issues, and there is no hint as to how they are to be resolved on broadly scientific grounds. We close by looking at three of the founders of logic who may have seemed like obvious enemies of anti-exceptionalism—Aristotle, Frege, and Carnap—and conclude that none of their positions is clearly at odds with at least some of the main themes of anti-exceptionalism. We submit that, at least at present, anti-exceptionalism is too vague or underspecified to characterize a coherent conception of logic, one that stands opposed to more traditional approaches. (shrink)

This paper addresses an issue with the sign ‘⊢’ in Frege’s mature version of Begriffsschrift, i.e., the version in ‘Function and Concept’ and Grundgesetze. The sign is a performative for asserting in that writing down ‘⊢p’ is equivalent to asserting that p. Frege further says that writing ‘ p’ is also equivalent to identifying the reference of ‘p’ with the truth-value True. It looks as if he holds that asserting that p consists in identifying the True with the reference of (...) ‘p’. Frege’s commitment to it, however, seems to encounter a number of tensions. This paper aims to show that these tensions can be avoided by endorsing a non-assertive conception of identification under which making an identification is not making an identity assertion. The suggested reading leads to an entirely di erent understanding of the compositionality of the sign ‘⊢’ as well as Frege’s conception of assertion and judgment. (shrink)

Motivated by weaknesses with traditional accounts of logical epistemology, considerable attention has been paid recently to the view, known as anti-exceptionalism about logic, that the subject matter and epistemology of logic may not be so different from that of the recognised sciences. One of the most prevalent claims made by advocates of AEL is that theory choice within logic is significantly similar to that within the sciences. This connection with scientific methodology highlights a considerable challenge for the anti-exceptionalist, as two (...) uncontentious claims about scientific theories are that they attempt to explain a target phenomenon and prove their worth through successful predictions. Thus, if this methodological AEL is to be viable, the anti-exceptionalist will need a reasonable account of what phenomena logics are attempting to explain, how they can explain, and in what sense they can be said to issue predictions. This paper makes sense of the anti-exceptionalist proposal with a new account of logical theory choice, logical predictivism, according to which logics are engaged in both a process of prediction and explanation. (shrink)

Contrary to the contemporary view that negation is a logical operation that modifies the mere content of a thought or judgment, but not the act of thinking or judging it, Kant maintains that negation is an act of logical apperception through which I exclude a thought or judgment from what ‘I think.’ In this paper, I argue against two interpretations of Kant’s account of logical negation. According to the first, negation is a subjective psychological act of excluding an erroneous judgment. (...) Against this, I will show that for Kant, negation is an operation of logical, not empirical apperception. The second interpretation views logical negation as an objective representation either of a relation of opposition or of non-being. I argue that, on the contrary, the logical function of negation is merely formal, not material, and therefore does not have semantic content. The paper’s final section develops a positive conception of logical negation as a formal function of judging. (shrink)

This paper criticizes the circularity reading of Frege's argument for the indefinability of truth. According to this reading, Frege is appealing to a sort of circularity in the argument. I argue that the circularity reading is interpretatively incorrect, or makes Frege's argument a non‐starter.

Say that some things compose something, if the latter is a whole, fusion, or mereological sum of the former. Then the thesis that composition is identity holds that the composition relation is a kind of identity relation, a plural cousin of singular identity. On this thesis, any things that compose a whole are identical with the whole. This article argues that the thesis is incoherent. To do so, the article formulates the thesis in a plural language, a symbolic language that (...) includes counterparts of plural constructions of natural languages, and shows that it implies that nothing has a proper part. Then the article argues that the thesis, as its proponents take it, is incoherent because they take it to imply or presuppose that some things have proper parts. (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.

This paper motivates and explores an expressivist theory of vagueness, modelled on Allan Gibbard’s normative expressivism. It shows how Chris Kennedy’s semantics for gradable adjectives can be adjusted to fit into a theory on Gibbardian lines, where assertions constrain not just possible worlds but plans for action. Vagueness, on this account, is literally indecision about where to draw lines. It is argued that the distinctive phenomena of vagueness, such as the intuition of tolerance, can be explained in terms of practical (...) constraints on plans, and that the expressivist view captures what is right about several contending theories of vagueness. (shrink)

The goal of this paper is to show that a cognitivist–externalist view about moral judgment is compatible with a key intuition that motivates non-cognitivist expressivism. This is the intuition that normative judgments have a close connection to action that ordinary “descriptive factual beliefs” do not have, or, as James Dreier has suggested, that part of the fundamental role of normative judgment is to motivate. One might think that cognitivist–externalist positions about normative judgment are committed to viewing normative judgments as having (...) the same role in our psychology as ordinary descriptive factual beliefs. This paper argues to the contrary. It restricts attention to moral judgments. It develops an account of moral belief according to which, first, moral beliefs are representational cognitive states that have the same basic nature as ordinary descriptive factual beliefs. Yet, second, their fundamental role is such that, when all goes well, moral beliefs mesh with our moral policies to motivate action. The paper draws on a society-centered account of the grounding of morality, a distinction between “basic” and “internal” ways of thinking of the moral properties, and a hybrid account of the “meaning” of moral predicates, called “realist-expressivism.”. (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.

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 (emphasising the former understanding of the nature of logic) or constitutive readings (emphasising the latter). 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)

This paper presents a model-theoretic semantics for discourse "about" natural numbers, one that captures what I call "the mathematical-object picture", but avoids what I can "the mathematical-object theory".

semantic minimalism and moderte contextualism.

Adding certain cardinality quantifiers into first-order language will give substantially more expressive languages. Thus, many mathematical concepts beyond first-order logic can be handled. Since basic modal logic can be seen as the bisimular invariant fragment of first-order logic on the level of models, it has no ability to handle modally these mathematical concepts beyond first-order logic. By adding modalities regarding the cardinalities of successor states, we can, in principle, investigate modal logics of all cardinalities. Thus ways of exploring model-theoretic logics (...) can be transferred to modal logics. (shrink)

L'extraordinaire progrès quantitatif de la science contemporaine masque souvent sa dimension qualitative. En mathématiques, la compréhension actuelle des phénomènes théoriques fondamentaux va bien au-delà de celle des périodes antérieures, fussent-elles récentes. Cette évolution s'accompagne par ailleurs d'une prise de distance à l'égard du structuralisme classique et du réductionnisme logique et, corrélativement, d'une attitude plus œverte, plus attentive à sa richesse et sa complexité, lorsqu'il s'agit de penser la nature du travail mathématique. Ces changements attendent pourtant toujours largement d'être théorisés philosophiquement. (...) Ce sera le propos de cet article que de les envisager au filtre de thèmes bachelardiens. (shrink)

Pragmatist reinterpretations of both deliberative‐communicative theory and legal positivism point out the mentalist fallacy entailed by these prevalent models. I argue that pragmatist approaches imply analogous erroneous beliefs since they presuppose as given the shared perception of social contexts. Therefore they take for granted the shared interpretation of social problems and shared selection of common goals. Hence I advance the necessity of inquiring into the possibility conditions for a shared perception of social contexts. This would entail the organization of institutional (...) incentives meant to extend the scope and inclusiveness of the immediate perception of social context expressed by different agents. (shrink)

It is often said that the ontological argument fails because it wrongly treats existence as a first-level property or predicate. This has proved a controversial claim, and efforts to evaluate it are complicated by the fact that the words ‘existence is not a property/predicate’ have been used by philosophers to make at least three different negative claims: (a) one about a first-level phenomenon possessed by objects like horses, stones, you and me; (b) another about the logical form of assertions of (...) existence; and (c) still another about a second-level phenomenon possessed by concepts when they are instantiated. I argue that only the last of these claims, originally voiced by Kant, is both plausible and relevant to the ontological argument. And I try to show that the relevance of the Kantian version comes from its providing the underlying justification for a different, and far less controversial, criticism of the ontological argument. (shrink)

I propose to sketch my views on several aspects of the philosophy of mathematics that I take to be especially relevant to philosophy as a whole. The relevance of my discussion would, I think, become more evident, if the reader keeps in mind the function of (the philosophy of) mathematics in philosophy in providing us with more transparent aspects of general issues. I shall consider: (1) three familiar examples; (2) logic and our conceptual frame; (3) communal agreement and objective certainty; (...) (4) the transcommunal universality of mathematics; (5) the big jump to the potential infinite; (6) the reconciliation of local creation with the hypothesis of discovery; (7) Platonism as realism plus conceptualism; (8) foundational studies and mathematical practice; and (9) the decomposition of philosophical disagreements. The views of Gödel and Wittgenstein are emphasized in order to add specificity to the discussions. (shrink)

The paper deals with the semantics of mathematical notation. In arithmetic, for example, the syntactic shape of a formula represents a particular way of specifying, arriving at, or constructing an arithmetical object (that is, a number, a function, or a truth value). A general definition of this sense of "construction" is proposed and compared with related notions, in particular with Frege's concept of "function" and Carnap's concept of "intensional isomorphism." It is argued that constructions constitute the proper subject matter of (...) both logic and mathematics, and that a coherent semantic account of mathematical formulas cannot be given without assuming that they serve as names of constructions. (shrink)

In this paper, I confront various conceptions of meaning and articulate them to anthropological styles of thought: W.V. Quine’s thesis of the indeterminacy of translation, Wittgenstein’s conception of meaning as use, Cavell’s philosophy of ordinary language, of ‘what we say’; Barbara Cassin’s Dictionary of Untranslatables where I approached English terms as inherently untranslatable; attention to details and to human vulnerability through the ‘textures of the ordinary’ Veena Das teaches us to observe. All these approaches to meaning as agency, vs. meaning (...) as a determined entity shared and expressed by different languages, lead to renew our concept of the global. (shrink)

In the explanations of logical laws and inference rules of the mature version of Begriffsschrift in Grundgesetze, Frege uses the predicate “… is the True.” Scholars like Greimann maintain that this predicate is a metalinguistic truth-predicate for Frege. This paper examines an argument for this claim that is based on the “nominal reading” of Frege’s conception of sentences—the claim that for Frege a sentence “p” is equivalent to a nonsentential phrase like “the truth-value of the thought that p.” In particular, (...) this paper attempts to establish two points concerning this argument based on the nominal reading. First, the argument implies a claim about the nature of assertion which Frege repeatedly denies in his mature works. Secondly, the nominal reading on which the argument depends is false. A sentence “p” is not equivalent to a nonsentential phrase like “the truth-value of the thought that p” for Frege. Our discussion will lead to an important lesson about Frege’s conception of sentences and of assertion. (shrink)

We offer a novel picture of mathematical language from the perspective of speech act theory. There are distinct speech acts within mathematics, and, as we intend to show, distinct illocutionary force indicators as well. Even mathematics in its most formalized version cannot do without some such indicators. This goes against a certain orthodoxy both in contemporary philosophy of mathematics and in speech act theory. As we will comment, the recognition of distinct illocutionary acts within logic and mathematics and the incorporation (...) of illocutionary force indicators in the formal language for both goes back to Frege’s conception of these topics. We are, therefore, going back to a Fregean perspective. This paper is part of a larger project of applying contemporary speech act theory to the scientific language of mathematics in order to uncover the varieties and regular combinations of illocutionary acts present in it. For reasons of space, we here concentrate only on assertive and declarative acts within mathematics, leaving the investigation of other kinds of acts for a future occasion. (shrink)

A speculative investigation of how Frege's logical views change between Begriffsschrift and Grundgesetze and how this might have affected the formal development of logicism.

RÉSUMÉ: Les philosophes de la période moderne sont souvent présentés comme ayant commis une erreur élémentaire: celle de confondre la force propositionnelle avec le contenu propositionnel. Par l'examen de deux cas saillants, à savoir les philosophes de Port-Royal et John Locke, je montre que l'accusation n'est pas fondée, et que Locke en particulier a les ressources requises pour construire une théorie des attitudes propositionnelles.