It is widely recognized that Frege's systematic conception of science has a major impact on his work. I argue that central to this conception and its impact is Frege's Simplicity Requirement that a scientific system must have as few primitive truths as possible. Frege states this requirement often, justifies it in several ways, and appeals to it to motivate important aspects of his broader views. Acknowledging its central role illuminates several aspects of his work in new ways, including his treatment (...) of truth values, logical concepts, and the dependence relations that induce a ‘natural order’ of truths. (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.

Evidentialism as an account of theoretical rationality is a popular and well-defended position. However, recently, it's been argued that misleading higher-order evidence (HOE) – that is, evidence about one's evidence or about one's cognitive functioning – poses a problem for evidentialism. Roughly, the problem is that, in certain cases of misleading HOE, it appears evidentialism entails that it is rational to adopt a belief in an akratic conjunction – a proposition of the form “p, but my evidence doesn't support p” (...) – despite it being the case that believing an akratic conjunction appears to be clearly irrational. In this paper, I diffuse the problem for evidentialism using the distinction between propositional and doxastic rationality. I argue that, although it can be propositionally rational to believe an akratic conjunction (according to evidentialism), one cannot inferentially base an akratic belief in one's evidence, and, thus, one cannot doxastically rationally possess an akratic belief. In addition, I address the worry that my solution to the puzzle commits evidentialists to the possibility of epistemic circumstances in which a proposition, p, is propositionally rational to believe (namely, an akratic conjunction), yet one cannot, in principle, (doxastically) rationally believe p. As I demonstrate, cases of misleading HOE are not the only types of cases that force evidentialists to accept that propositional rationality does not entail the possibility of doxastic rationality. There are no new problems raised by misleading HOE that weren't already present in cases involving purely first-order evidence. (shrink)

This paper explores Kant’s account of propositional content and its implications for the relationship between his notions of knowledge (Wissen) and cognition (Erkenntnis). While previous commentators commonly read Kant as holding a Fregean theory of propositional content, in this paper I argue that Kant’s theory of propositional content aligns more closely with Peter Hanks’ recent account. According to my reading, Kant holds that individual acts of judging are both ontologically and explanatorily prior to propositions or Kantian judgments (Urteil). Furthermore, on (...) my reading, acts of judging for Kant are acts of assertively predicating a property of an object rather than merely acts of neutral predication. This reading challenges the lately popular view that Kant’s notions of knowledge and cognition are not only distinct but also disjunct. I instead suggest that we should regard Kantian knowledge that requires cognitions as its grounds as a species of Kantian cognitions. (shrink)

This paper sheds light on an epistemological dimension of Frege’s “On Sense and Reference.” Under my suggested reading of it, one of its aims is to suggest a picture about propositional knowledge and its production. According to this picture, judgment, which produces propositional knowledge, is identification of the truth-value True with the reference of a given sentence. The propositional knowledge that p, produced by the judgment that p, consists in the knowledge of the identity between the True and the reference (...) of “p.” Judgment as such is a primitive kind of identification. It produces non-propositional knowledge of the identity of the True to which propositional knowledge is reduced. (shrink)

This chapter focuses on picture theory, which is sometimes spoken of as a theory of the proposition. By a proposition, Wittgenstein like Frege means something that determines its sense by means of a correlation between the mode of combination of its constituent symbols and the structure of its sense. It has been an orthodoxy amongst Tractatus interpreters, and continues to be such in the wider philosophical community, that Wittgenstein follows the Russell in offering a correspondence theory of truth. The expression (...) of a Tractarian fact provides that fact's mode of combination, and from here there can be no further question as to the ontological types of its constituents. Tractarian facts, it is however added, are not truth conditions but items whose existence explains the obtaining of truth conditions: a Tractarian atomic fact is not a truth condition but a truthmaker. (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)

We analyze axioms and postulates as speech acts. After a brief historical appraisal of the concept of axiom in Euclid, Frege, and Hilbert, we evaluate contemporary axiomatics from a linguistic perspective. Our reading is inspired by Hilbert and is meant to account for the assertive, directive, and declarative components of modern axiomatics. We will do this by describing the constitutive and regulative roles that axioms possess with respect to the linguistic practice of mathematics.

Over the past decades, Patricia Blanchette has developed a sophisticated account of Frege's conception of logic and his views on logical consequence. One of the central components of her interpretation is the idea that Frege's conception of logical consequence is ‘semantically laden’ and not purely formal. The aim of the present paper is to provide precise explications of this as well as related ideas that inform her account, and to discuss their significance for the philosophy of logic in general and (...) Frege's philosophy in particular. (shrink)

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)

Can fictions make genuine assertions about the actual world? Proponents of the ‘Assertion View’ answer the question affirmatively: they hold that authors can assert, by means of explicit statements that are part of the work of fiction, that something is actually the case in the real world. The ‘Nonassertion’ View firmly denies this possibility. In this paper, I defend a nuanced version of the Nonassertion View. I argue that even if fictions cannot assert, they can indirectly communicate that what is (...) recounted as fictional is actually true. I show that this view is supported by independent linguistic data, and that it is able to defuse the objections that are typically raised against the Nonassertion View. I conclude by showing that this position has some interesting implications for testimonial cognitivism about fiction. (shrink)

A central tenet of truthmaker theory is that necessitation is necessary for truthmaking (NEC). This paper defends NEC in a novel, piecemeal way, namely by responding to a potential counterexample involving a changing past. If Carter won a race at t1 but is later disqualified at t2, then Carter no longer won at t1. A wholly past event seems to have changed in the future. The event makes ‘Carter won the race at t1’ (RACE) true between t1‐2 but fails to (...) make it true at t2. So, we have a potential counterexample to necessitation: a truthmaker of RACE fails in another context to make the same truthbearer RACE true. I argue that the best solution to this challenge is not that there are different truthbearers at t1‐2 and t2 (the semantic response), or that RACE was never true because of the future disqualification or will always be true despite the future disqualification. The best solution is to accept that the past can change: past events can change based on what happens in the future (e.g., via their effects). This paper's novel defence of necessitation will illustrate the importance of utilising explicitly ontological and commonsensical tools in accounting for truth. (shrink)

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.

Anti-exceptionalism about logic is the thesis that logic is not special. In this paper, I consider, and reject, a challenge to this thesis. According to this challenge, there are basic logical principles, and part of what makes such principles basic is that they are epistemically exceptional. Thus, according to this challenge, the existence of basic logical principles provides reason to reject anti-exceptionalism about logic. I argue that this challenge fails, and that the exceptionalist positions motivated by it are thus unfounded. (...) I make this case by disambiguating two senses of ‘basic’ and showing that, once this disambiguation is taken into account, the best reason we have for thinking that there are basic principles actually implies that those principles do not require a special epistemology. Consequently, the existence of basic logical principles provides reason to accept, rather than reject, anti-exceptionalism concerning the epistemology of logic. I conclude by explaining how an abductivist, anti-exceptionalist approach to the epistemology of logic can accommodate the notion of basic logical principles. (shrink)

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)

The aim of this article is to examine Frege’s view of the context principle in his mature philosophical doctrine. Here, the author argues that the context principle is embodied in the contextual explanation of value-ranges presented in Basic Laws of Arithmetic. The contextual explanation of value-ranges plays essentially the same role as the context principle in The Foundations of Arithmetic. It is supposed to show how a reference to natural numbers is possible. Moreover, the author argues against the view that (...) the context principle should be separated from the recarving thesis. This aspect of Frege’s view leads the author to the rejection of the purely referential view of the context principle, which is fairly widely accepted in the current literature. (shrink)

Why does Frege claim that logical axioms are ‘self‐evident,’ to be recognized as true ‘independently of other truths,’ and then offer arguments for those axioms? I argue that he thinks the arguments provide us with the justification that we need for accepting the axioms and that this is compatible with his remarks about self‐evidence. This compatibility depends on philosophical considerations connected with the ‘critical method’: an interesting approach to the justification of axioms endorsed by leading philosophers at the time.

Gottlob Frege takes logic to be the science of truth throughout his career. However, the mature Frege makes remarks which seem to go against the idea that logic is the science of truth. This paper shows that we can explain away this tension in the mature Frege’s conception of logic if we accept that truth is an object, that is, the truth-vale True qua the reference of a sentence, for Frege. Even though the main thesis of this paper is a (...) conditional, I provide reasons why we ought to consider the possibility seriously that truth is an object for Frege. I also explain how we can make sense of Frege’s conception of logic as the science of truth while accepting truth is an object. (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)

Why did Frege offer only proper names as examples of presupposition triggers? Some scholars claim that Frege simply did not care about the full range of presuppositional phenomena. This paper argues, in contrast, that he had good reasons for employing an extremely narrow notion of ‘Voraussetzung’. On Frege’s view, many devices that are now construed as presupposition triggers either express several thoughts at once or merely ‘illuminate’ a thought in a particular way. Fregean presuppositions, in contrast, are essentially tied to (...) names. (shrink)

In a recent article, P. Roger Turner and Justin Capes argue that no one is, or ever was, even partly morally responsible for certain world-indexed truths. Here we present our reasons for thinking that their argument is unsound: It depends on the premise that possible worlds are maximally consistent states of affairs, which is, under plausible assumptions concerning states of affairs, demonstrably false. Our argument to show this is based on Bertrand Russell’s original ‘paradox of propositions’. We should then opt (...) for a different approach to explain world-indexed truths whose upshot is that we may be morally responsible for some of them. The result to the effect that there are no maximally consistent states of affairs is independently interesting though, since this notion motivates an account of the nature of possible worlds in the metaphysics of modality. We also register in this article, independently of our response to Turner and Capes, and in the spirit of Russell’s aforementioned paradox and many other versions thereof, a proof of the claim that there is no set of all true propositions one can render false. (shrink)

ABSTRACT Recently, the content/force distinction has had a bad press. It has been argued that the distinction is not properly motivated and that it makes the problem of the unity of the proposition intractable. I will argue that Frege’s version of the content/force distinction is immune from these objections. In order to do so, I will reconstruct his argument that ‘the nature of a question’ requires a distinction between force and content. I will answer the concern about the unity of (...) the proposition by outlining how the distinction can be combined with a Fregean account of the unity of thought. (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)

Frege's conception of the logical categories has vexed commentators for decades. In this dissertation, I argue that it revolves around two forms of internality. The first is the internality of its use in the expression of judgment to the sign. A proper understanding of that internality reveals how Frege's philosophical logic cannot be fit into the framework given by the contemporary syntax/semantics distinction. The second is the internality that obtains between the way in which Begriffsschrift signs stratify into different categories, (...) on the one hand, and the way in which the realm of Bedeutungen stratifies into logical categories, on the other hand. A proper understanding of this internality reveals how Frege's conception of the relation between language and the world is neither a form of realism nor a form of linguistic idealism. To come to understand Frege's conception of the logical categories, is to come to understand both these forms of internality by coming to understand how they hang together. (shrink)

The paper argues for a version of the Guise of the Good thesis, namely the claim that if someone acts as the result of practical reasoning, then she takes her premises to jointly provide a sufficient and undefeated reason for her action. I argue for this by showing, first, that it is an application of Boghossian's Taking Condition on inference to practical reasoning and, second, that the motivations for the Taking Condition for theoretical reasoning carry over to practical reasoning. I (...) end by arguing that this version of the Guise of the Good withstands standard objections. (shrink)

In recent years, several scholars have been investigating Frege’s mathematical background, especially in geometry, in order to put his general views on mathematics and logic into proper perspective. In this article I want to continue this line of research and study Frege’s views on geometry in their own right by focussing on his views on a field which occupied center stage in nineteenth century geometry, namely, projective geometry.

A central dispute in understanding Frege’s philosophy concerns how the sense of a complex expression relates to the senses of its component expressions. According to one reading, the sense of a complex expression is a whole built from the senses of the component expressions. On this interpretation, Frege is an early proponent of structured propositions. A rival reading says that senses compose by functional application: the sense of a complex expression is the value of the function denoted by its functional (...) component for the arguments denoted by its remaining components. I argue that two non-negotiable Fregean theses entail that senses compose by functional application. One thesis is that referents compose by functional application. The other thesis is that an expression in an indirect context refers to its customary sense. (shrink)

Charles Travis has developed a distinction between “the historical” and “the conceptual”, which underlies his influential contributions to the philosophy of language and perception. The distinction is based on the observation that there are, for any thought, indefinitely many different circumstances that would render it true. The generality of thoughts and concepts contrasts with the particularity of the sensible world. I challenge the assumption that what exhibits such generality cannot belong to the sensible world. I also defend a version of (...) the claim that perception involves the exercise of conceptual capacities. (shrink)

Kosta Došen argued in his papers Inferential Semantics (in Wansing, H. (ed.) Dag Prawitz on Proofs and Meaning, pp. 147–162. Springer, Berlin 2015) and On the Paths of Categories (in Piecha, T., Schroeder-Heister, P. (eds.) Advances in Proof-Theoretic Semantics, pp. 65–77. Springer, Cham 2016) that the propositions-as-types paradigm is less suited for general proof theory because—unlike proof theory based on category theory—it emphasizes categorical proofs over hypothetical inferences. One specific instance of this, Došen points out, is that the Curry–Howard isomorphism (...) makes the associativity of deduction composition invisible. We will show that this is not necessarily the case. (shrink)

In 1893 and 1903, two volumes of the most important of Frege’s works Grundegezte der Arithmetik were published. This period can be called the peak of Frege’s logicism. Although the subject of truth in Frege’s logical and philosophical works has been repeatedly investigated, there is a lack of studies on his view in this period, especially in Polish literature. In this article, therefore, I carry out the following research task: to collect and order Frege’s statements about truth during the period (...) of publishing the two volumes of Grundegezte der Arithmetik. I refer to the texts published during Frege’s life, published posthumously and his correspondence. Particularly noteworthy are: Grundegezte der Arithmetik and the unpublished Logik. That is why there are two separate sections dedicated to these two texts, whereas the discussions of truth from other texts are grouped thematically: the problem of antinomy, geometry, expression of generality, and others. The subject of truth appears there in relation to logic, philosophy of language, philosophy of logic, philosophy of mathematics and ontology. (shrink)

Frege claims that the laws of logic are characterized by their “generality,” but it is hard to see how this could identify a special feature of those laws. I argue that we must understand this talk of generality in normative terms, but that what Frege says provides a normative demarcation of the logical laws only once we connect it with his thinking about truth and science. He means to be identifying the laws of logic as those that appear in every (...) one of the scientific systems whose construction is the ultimate aim of science, and in which all truths have a place. Though an account of logic in terms of scientific systems might seem hopelessly antiquated, I argue that it is not: a basically Fregean account of the nature of logic still looks quite promising. (shrink)

The aim of this article is to contribute to a better understanding of Frege’s views on semantics and metatheory by looking at his take on several themes in nineteenth century geometry that were significant for the development of modern model-theoretic semantics. I will focus on three issues in which a central semantic idea, the idea of reinterpreting non-logical terms, gradually came to play a substantial role: the introduction of elements at infinity in projective geometry; the study of transfer principles, especially (...) the principle of duality; and the use of counterexamples in independence arguments. Based on a discussion of these issues and how nineteenth century geometers reflected about them, I will then look into Frege’s take on these matters. I conclude with a discussion of Frege’s views and what they entail for the debate about his stance towards semantics and metatheory more generally. (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)

Peirce seems to maintain two incompatible theses: that a sentence is multiply analyzable into subject and predicate, and that a sentence is uniquely analyzable as a combination of rhemata of first intention and rhemata of second intention. In this paper it is argued that the incompatibility disappears as soon as we distinguish, following Dummett’s work on Frege, two distinct notions of analysis: ‘analysis’ proper, whose purpose is to display the manner in which the sense of a sentence is determined by (...) the senses of its constituent parts, and ‘decomposition’, which is the process of dividing a sentence into a predicate and a subject, and whose purpose is to both to explain how quantified sentences are constructed and to evidence a pattern within a sentence which it shares with other sentences. (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)

A number of reasons, both historical and philosophical, has caused Technology and Human Sciences to be perceived as disjoint domains. Contrary to this claim, we propose as a thesis that there exists a strong methodological affinity between these apparently disconnected fields of knowledge. Our view is further corroborated by the emergence, in the setting of Information Sciences of new scientific concepts and tools such as fuzziness. Comparing the ways in which both technology and literature offer a “model of reality” we (...) shall see that their approach is mainly descriptive, in opposition to the Hard Science’s approach that is markedly Galileian and proceeds by making bold hypotheses, not necessarily linked to the surface description of reality. Moreover, we will discuss the fact that, surprisingly, fuzzy logic can be applied in a very similar way in both Technology and Human Sciences – while its eventual embodiment in Hard Sciences is of a very different nature. (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.

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)

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)

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.

open journal of Philosophical Investigations (PI) is an international journal dedicated to the latest advancements in philosophy. The goal of this journal is to provide a platform for academicians all over the world to promote, share, and discuss various new issues and developments in different areas of philosophy. -/- All manuscripts to be prepared in English or Persian and are subject to a rigorous and fair peer-review process. Generally, accepted papers will appear online. The journal publishes papers including the following (...) fields: -/- · Analytic Philosophy · Ancient Greek and Roman Philosophy · Art Aesthetics · Comparative Philosophy West and Chinese · Eastern Philosophy . Islamic philosophy · Epistemology · Ethics · Hermeneutics · History of Religious Thought · History of Western Philosophy · Language Logic . (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 purpose of this paper is to reconstruct Frege’s argument against the relativity of truth contained in his posthumous writing Logic from 1897. Two points are made. The first is that the argument is a performative version of the common objection that truth relativism is incoherent: it is designed to show that the assertion of the relativity of truth involves a performative incoherence, because the absoluteness of truth is a success condition for making assertions. From a modern point of view, (...) the central premise of the argument, that the successful making of assertions depends on the absoluteness of truth, is highly doubtful. The second point is that this premise can be made plausible within the framework of Frege’s conception of truth and assertion: it can be derived from his thesis that, in order to put something forward as true, we do not need the word ‘true’, but only the assertoric force. (shrink)

In this paper, I raise some interconnected concerns for Paul Horwich’s minimal theory of truth, framed by these three questions: How should the minimal theory be formulated? How does the minimal theory address the liar paradox? What is the explanatory role of the concept of truth? I conclude that we cannot be linguistic or conceptual deflationists about truth.

In his late fragment, ‘Sources of Knowledge of Mathematics and Natural Sciences’ Frege laments the tendency to confuse functions with objects and says, ‘It is here that the tendency of language by its use of the definite article to stamp as an object what is a function and hence a non-object, proves itself to be the source of inaccurate and misleading expressions and also of errors of thought. Probably most of the impurities that contaminate the logical source of knowledge have (...) their origins in this.’ This paper applies Frege’s logical insights to a series of influential modal arguments for the existence of souls or minds, in order to demonstrate that they hinge on the error of treating functions as objects. Related arguments have also resulted in the claim that identity statements are necessary, and that apparent identities ‘really’ involve relations of constitution. Here it is argued that once we recognise that all these arguments involve the assimilation of objects and concepts (which Frege identifies with functions) they can be seen to be defective. (shrink)

I argue that the concept of direction of fit is best seen as picking out a certain inferential property of a psychological attitude. The property in question is one that believing shares with assuming and fantasizing and fails to share with desire. Unfortunately, the standard analysis of DOF obscures this fact because it conflates two very different properties of an attitude: that in virtue of which it displays a certain DOF, and that in virtue of which it displays certain revision (...) conditions. I claim that the latter corresponds with the aim of an attitude, not its DOF. In order to remedy this failure of the standard analysis, I offer an alternative account of DOF, which I refer to as the two-content analysis. (shrink)

Intuition is sometimes derided as an abstruse or esoteric phenomenon akin to crystal-ball gazing. Such derision appears to be fuelled primarily by the suggestion, evidently endorsed by traditional rationalists such as Plato and Descartes, that intuition is a kind of direct, immediate apprehension akin to perception. This paper suggests that although the perceptual analogy has often been dismissed as encouraging a theoretically useless metaphor, a quasi-perceptualist view of intuition may enable rationalists to begin to meet the challenge of supplying a (...) theoretically satisfying treatment of their favoured epistemic source. It is argued, first, that intuitions and perceptual experiences are at a certain level of abstraction the same type of mental state, presentations, which are distinct from beliefs, hunches, inclinations, attractions, and seemings. The notion of a presentation is given a positive explication, which identifies its characteristic features, accounts for several of its substantive psychological roles, and systematically locates it in a threefold division among types of contentful states. Subsequently, it is argued that presentations, intuitive no less than sensory, are by their nature poised to play a distinctive epistemic role. Specifically, in the case of intuition, we encounter an intellectual state that is so structured as to provide justification without requiring justification in turn—something which may, thus, be thought of as ‘given’. (shrink)