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.

Some utterances of imperative clauses have directive force—they impose obligations. Others have permissive force—they extend permissions. The dominant view is that this difference in force is not accompanied by a difference in semantic content. Drawing on data involving free choice items in imperatives, I argue that the dominant view is incorrect.

Philosophy and Phenomenological Research, Volume 104, Issue 1, Page 19-49, January 2022.

Taking a lead from Eva Picardi’s work and influence, I investigate the significance of Frege’s context principle for the philosophy of language. I argue that there are some interpretive problems with recent meta-semantic interpretations of the principle. Instead, I offer a somewhat weaker alternative: the context principle is a tool to license certain definitions. Moreover, I claim that it merely lays out one of many possible ways of licensing a definition. This means, among other things, that despite Frege’s imperative injunctions, (...) the context principle formulates a permission—not a requirement. (shrink)

Some descriptivists reply to the modal argument by appealing to scope ambiguities. In this paper, we argue that those replies don’t work in the case of apparently empty names like ‘Sherlock Holmes’.

The first half of Mark Quentin Gardiner’s recent book, Semantic Challenges to Realism: Dummett and Putnam, is a sustained, systematic, and, for the most part, novel attempt to demolish the case against semantic realism instigated by Michael Dummett. In this article I reply on the anti-realist’s be-half. I aim to demonstrate that none of Gardiner’s main anti-Dummettian arguments are successful, and moreover that his errors are, in the main, consequences of serious misconstruals of vital aspects of the semantic realist and (...) anti-realist positions. (shrink)

Amie Thomasson and Eli Hirsch have both attempted to deflate metaphysics, by combining Carnapian ideas with an appeal to ordinary language. My main aim in this paper is to critique such deflationary appeals to ordinary language. Focussing on Thomasson, I draw two very general conclusions. First: ordinary language is a wildly complicated phenomenon. Its implicit ontological commitments can only be tackled by invoking a context principle; but this will mean that ordinary language ontology is not a trivial enterprise. Second: ordinary (...) language often points in different directions simultaneously, so that a wide variety of existence questions cannot be deflated merely by appealing to ordinary language. (shrink)

In this paper I will present and evaluate Anandi Hattiangadi’s arguments for the conclusion that meaning is not intrinsically normative or prescriptive. I will argue that she misconstrues the way the thesis that meaning is normative is presented in the literature and that there is an important class of semantic rules that she fails to consider and rule out. According to Hattiangadi, defenders of meaning prescriptivity argue that speaking truthfully is a necessary condition for speaking meaningfully. I will maintain that (...) this is not how prescriptivity is construed by ‘normativists’ such as Kripke, Hacker and Baker, Brandom and Millar. I think that Hattiangadi misconstrues the prescriptivity thesis because she does not distinguish between the general notion of correctness of use and the specific notion of correctness of application. In other words, she does not distinguish between using a term correctly and applying it truthfully. In addition, I submit that there is an important class of semantic rules determining correct use that Hattiangadi does not consider. Following the later Wittgenstein, Hacker and Baker argue that accepted explanations of the meanings of words have the function of semantic rules. These rules are categorically prescriptive because following them is constitutive of being a speaker of a language. (shrink)

The object of this paper is to suggest how the Frege–Dummettian notions of criterion of identity and criterion of application can be put to work within Putnam’s account of reference for natural kind terms in “Meaning of ‘Meaning’ ”. By doing so, some light can be shed on Putnam’s earlier views on “necessity relative to a body of knowledge” as well as his later views on sortal identity. If the Frege–Dummettian criteria are indeed at work within Putnam’s account, then we (...) must either give up rigidity or else give up the division of linguistic labor hypothesis. I will give an example from biological nomenclature that may sway us towards giving up the former. (shrink)

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

It is standardly believed that the only way to justify an assertion in the face of a challenge is by making another assertion. Call this claim ASSERTIONS ONLY. Besides its intrinsic interest, ASSERTIONS ONLY is relevant to deciding between competing views of the norms that govern reasoned discourse. ASSERTIONS ONLY is also a crucial part of the motivation for infinitism and Pyrrhonian skepticism. I suggest that ASSERTIONS ONLY is false: I can justify an assertion by drawing attention to something that (...) clearly makes the assertion true, or likely true. (shrink)

Kaplan (1989) famously claimed that monsters--operators that shift the context--do not exist in English and "could not be added to it". Several recent theorists have pointed out a range of data that seem to refute Kaplan's claim, but others (most explicitly Stalnaker 2014) have offered a principled argument that monsters are impossible. This paper interprets and resolves the dispute. Contra appearances, this is no dry, technical matter: it cuts to the heart of a deep disagreement about the fundamental structure of (...) a semantic theory. We argue that: (i) the interesting notion of a monster is not an operator that shifts some formal parameter, but rather an operator that shifts parameters that play a certain theoretical role; (ii) one cannot determine whether a given semantic theory allows monsters simply by looking at the formal semantics; (iii) theories which forbid shifting the formal "context" parameter are perfectly compatible with the existence of monsters (in the interesting sense). We explain and defend these claims by contrasting two kinds of semantic theory--Kaplan's (1989) and Lewis's (1980). (shrink)

This dissertation may be divided into two parts. The first part is about the Extended Gricean Model of information transmission. This model, introduced here, is meant to better explain how humans communicate and understand each other. It has been developed to apply to cases that were left unexplained by the two main models of communication found in contemporary philosophy and linguistics, i.e. the Gricean (pragmatic) model and the code (semantic) model. In particular, I show that these latter two models cannot (...) apply to cases where one communicate through spontaneous emotional expressions and how the Extended Gricean Model of information transmission does. The second part of the dissertation is about what emotional signs mean, in various senses of the term ‘mean'. I review existing theories of meaning and see how they apply to emotional signs, i.e. signs which give us information about the affective state of the sign producer. (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)

This paper maps the landscape for a range of views concerning the metaphysics of natural kinds. I consider a range of increasingly ontologically committed views concerning natural kinds and the possible arguments for them. I then ask how these relate to natural kind essentialism, arguing that essentialism requires commitment to kinds as entities. I conclude by examining the homeostatic property cluster view of kinds in the light of the general understanding of kinds developed.

Husserl’s Logical Grammar is intended to explain how complex expressions can be constructed out of simple ones so that their meaning turns out to be determined by the meanings of their constituent parts and the way they are put together. Meanings are thus understood as structured contents and classified into formal categories to the effect that the logical properties of expressions reflect their grammatical properties. As long as linguistic meaning reduces to the intentional content of pre-linguistic representations, however, it is (...) not trivial to account for how semantics relates to syntax in this context. In this paper, I analyze Husserl’s Logical Grammar as a system of recursive rules operating on representations and suggest that the syntactic form of representations contributes to their semantics because it carries information about semantic role. I further discuss Husserl’s syntactic account of the unity of propositions and argue that, on this account, logical form supervenes on syntactic form. In the last section I draw some implications for the phenomenology of thought and conjecture that the structural features it displays are likely to convey the syntactic structures of an underlying language-like representational system. (shrink)

The aim of this paper is to show what sorts of logics are required by externalist and internalist accounts of the meanings of natural kind nouns. These logics give us a new perspective from which to evaluate the respective positions in the externalist-internalist debate about the meanings of such nouns. The two main claims of the paper are the following: first, that adequate logics for internalism and externalism about natural kind nouns are second-order logics; second, that an internalist second-order logic (...) is a free logic—a second order logic free of existential commitments for natural kind nouns, while an externalist second-order logic is not free of existential commitments for natural kind nouns—it is existentially committed. (shrink)

After the publication of Begriffsschrift, a conflict erupted between Frege and Schröder regarding their respective logical systems which emerged around the Leibnizian notions of lingua characterica and calculus ratiocinator. Both of them claimed their own logic to be a better realisation of Leibniz’s ideal language and considered the rival system a mere calculus ratiocinator. Inspired by this polemic, van Heijenoort (1967b) distinguished two conceptions of logic—logic as language and logic as calculus—and presented them as opposing views, but did not explain (...) Frege’s and Schröder’s conceptions of the fulfilment of Leibniz’s scientific ideal. -/- In this paper I explain the reasons for Frege’s and Schröder’s mutual accusations of having created a mere calculus ratiocinator. On the one hand, Schröder’s construction of the algebra of relatives fits with a project for the reduction of any mathematical concept to the notion of relative. From this stance I argue that he deemed the formal system of Begriffsschrift incapable of such a reduction. On the other hand, first I argue that Frege took Boolean logic to be an abstract logical theory inadequate for the rendering of specific content; then I claim that the language of Begriffsschrift did not constitute a complete lingua characterica by itself, more being seen by Frege as a tool that could be applied to scientific disciplines. Accordingly, I argue that Frege’s project of constructing a lingua characterica was not tied to his later logicist programme. (shrink)

In this paper I will argue that (principled) attempts to ground a priori knowledge in default reasonable beliefs cannot capture certain common intuitions about what is required for a priori knowledge. I will describe hypothetical creatures who derive complex mathematical truths like Fermat’s last theorem via short and intuitively unconvincing arguments. Many philosophers with foundationalist inclinations will feel that these creatures must lack knowledge because they are unable to justify their mathematical assumptions in terms of the kind of basic facts (...) which can be known without further argument. Yet, I will argue that nothing in the current literature lets us draw a principled distinction between what these creatures are doing and paradigmatic cases of good a priori reasoning (assuming that the latter are to be grounded in default reasonable beliefs). I will consider, in turn, appeals to reliability, coherence, conceptual truth and indispensability and argue that none of these can do the job. (shrink)

ABSTRACT: I shall consider the phenomenon of believing ourselves to have at least one false belief: a phenomenon I call believed fallibility I shall first present a paradoxical argument which appears to show that believed fallibility is incoherent; second, note that this argument assumes that we are committed to the conjunction of all our beliefs; third, sketch a more intuitive notion of commitment in which we are not committed to the conjunction of all our beliefs and argue that the original (...) paradoxical argument is now defused; fourth, construct a new paradoxical argument showing that if we believe that we have at least one false belief we are committed to a contradiction, employing the preferable notion of commitment; and, fifth, suggest that perhaps we might avoid the new paradox by denying that closing our beliefs under conjunction is required by rationalityRÉSUMÉ: Je me pencherai ici sur le phénomène qui consiste à penser que nous avons au moins une opinion fausse: je nomme ce phénoméne «la croyance d’etre faillible». Je présente en premier lieu un argument paradoxal qui semble démontrer que la croyance d’être faillible est incohérente. Deuxièmement, je remarque que cet argument suppose que nous nous obligions à réaliser la conjonction de toutes nosopinions. Troisièmement, je propose une version plus intuitive de cette obligation selon laquelle nous ne sommes pas obligés de réaliser la conjonction de toutes nos opinions, et je soutiens que le paradoxe initial est alors désamorcé. Quatrièmement, je construis un nouvel argument paradoxal démontrant que, si nous croyons que nous avons au moins une opinion fausse, nous sommes obligés de nous contredire, selon la notion d’obligation que je préconise d’adopter. Cinquièmement, je suggère que nous pourrions peut-être éviter ce nouveau paradoxe en niant que la rationalité exige de soumettre nos opinions à la conjonction. (shrink)

This paper follows Part I of our essay on case-intensional first-order logic (CIFOL; Belnap and Müller (2013)). We introduce a framework of branching histories to take account of indeterminism. Our system BH-CIFOL adds structure to the cases, which in Part I formed just a set: a case in BH-CIFOL is a moment/history pair, specifying both an element of a partial ordering of moments and one of the total courses of events (extending all the way into the future) that that moment (...) is part of. This framework allows us to define the familiar Ockhamist temporal/modal connectives, most notably for past, future, and settledness. The novelty of our framework becomes visible in our discussion of substances in branching histories, i.e., in its first-order part. That discussion shows how the basic idea of tracing an individual thing from case to case via an absolute property is applicable in a branching histories framework. We stress the importance of keeping apart extensionality and moment-definiteness, and give a formal account of how the specification of natural sortals and natural qualities turns out to be a coordination task in BH-CIFOL. We also provide a detailed answer to Lewis’s well-known argument against branching histories, exposing the fallacy in that argument. (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)

This paper provides an analysis of the notational difference between Beta Existential Graphs, the graphical notation for quantificational logic invented by Charles S. Peirce at the end of the 19th century, and the ordinary notation of first-order logic. Peirce thought his graphs to be “more diagrammatic” than equivalently expressive languages for quantificational logic. The reason of this, he claimed, is that less room is afforded in Existential Graphs than in equivalently expressive languages for different ways of representing the same fact. (...) The reason of this, in turn, is that Existential Graphs are a non-linear, occurrence-referential notation. As a non-linear notation, each graph corresponds to a class of logically equivalent but syntactically distinct sentences of the ordinary notation of first-order logic that are obtained by permuting those elements that in the graphs lie in the same area. As an occurrence-referential notation, each Beta graph corresponds to a class of logically equivalent but syntactically distinct sentences of the ordinary notation of first-order logic in which the identity of reference of two or more variables is asserted. In brief, Peirce’s graphs are more diagrammatic than the linear, type-referential notation of first-order logic because the function that translates the latter to the graphs does not define isomorphism between the two notations. (shrink)

Para Frege las relaciones lógicas se dan entre contenidos judicables, entre pensamientos. Aquellas relaciones son inferenciales. Los pensamientos se definen a través de sus relaciones inferenciales con otros. De acuerdo con esto es discutible afirmar, como lo hizo Schröder, que el proyecto lógico de Frege es como el proyecto lógico de Boole. También es cuestionable afirmar, como lo hizo Dummett, que la relación inferencial no es siempre central en el proyecto fregeano. En este texto defenderé una lectura del proyecto lógico (...) de Frege, en contra de las posturas de Schröder y Dummett. (shrink)

Ray Monk and Anthony Palmer, (eds) Bertrand Russell and the Origins of Analytical Philosophy, Thoemmes Press, Bristol, 1996; pp. xvi + 383; Hans-Johann Glock, (ed.) The Rise of Analytic Philosophy, Blackwell, 1997; pp. xiv + 95; Matthias Schirn, (ed.) Frege: Importance and Legacy, Walter de Gruyter, Berlin, 1996; pp. x + 466; Stuart G. Shanker, (ed.) Philosophy of Science, Logic and Mathematics in the Twentieth Century, Routledge History of Philosophy Volume IX, Routledge, 1996; pp. xxxviii + 461; John Blackmore, (ed.) (...) Ludwig Boltzmann: His Later Life and Philosophy, 1900-1906, Kluwer, Dordrecht, 1995; pp. xvi + 266. (shrink)

The aim of this paper is to lay the groundwork for extending the idea of transparent introspection to wishes. First, I elucidate the notion of transparent introspection and highlight its advantages over rival accounts of self-knowledge. Then I pose several problems that seem to obstruct the extension of transparent introspection to wishes. In order to overcome these problems, I call into question the standard propositional attitude analysis of non-doxastic attitudes. My considerations lead to a non-orthodox account of attitudes in general (...) and wishes in particular in light of which the problems presented in Sect. 2 disappear. (shrink)

This paper contributes to the debate over the so-called “easy argument for numbers”, an argument that uses evidence from natural language to support the metaphysically significant claim that numbers exist. It presents novel data showing that critical examples in the literature are ambiguous between two readings, contrary to previous assumptions. It then accounts for these data using independently motivated linguistic theory. The account developed rescues the easy argument from the primary challenges leveled against it in the literature and sets the (...) agenda for future work to determine whether or not the argument is valid. (shrink)

Logical analysis is in Frege primarily not an analysis of a concept but of its sense. Five Fregean philosophical principles are presented as constituting a framework for a theory of logical or conceptual analysis, which I call analytical explication. These principles, scattered and sometime latent in his writings are operative in Frege's critique of other views and in his constructive development of his own view. The proposed conception of analytical explication is partially rooted in Frege's notion of analytical definition. It (...) may also be the basis of what is required of a reduction of one domain to another, if it is to have the philosophical significance many reductions allegedly have. (shrink)

In Boghossian's 1997 paper, 'Analyticity' he presented an account of a prioriknowledge of basic logical principles as available by inference from knowledge of their role in determining the meaning of the logical constants by implicit definitiontogether with knowledge of the meanings so-determined that we possess through ourprivileged access to meaning. Some commentators (e.g. BonJour (1998), Glüer (2003),Jenkins (2008)) have objected that if the thesis of implicit definition on which he relieswere true, knowledge of the meaning of the constants would presuppose (...) knowledge of the very logical principles knowledge of which the account purports to explain. Aconsequence would seem to be that implicit definition is incompatible with privilegedaccess. I argue that whilst it is possible for Boghossian to defend against theseobjections the form of argument he proposes does exhibit a subtle form of questionbegging such that it exhibits a transmission of warrant-failure. (shrink)

The Principle of the Identity of Indiscernibles, commonly attributed to Leibniz, has given rise to much discussion and debate. Thus philosophers have argued over how it should be formulated, whether it is true, and what, if any, metaphysical consequences it has.It is not my intention to add to these discussions here, having done so elsewhere. Rather, I intend to introduce and defend a closely related principle which I shall, for want of a better name, refer to as The Principle of (...) the Identity of Necessary Similarity’.In section II, I briefly recapitulate some of the distinctions and other relevant points which are customarily made in connection with. This is all too familiar material, but it is necessary in order to provide a general framework of concepts in terms of which we can discuss in an intelligible fashion. (shrink)

The problem of skepticism is often understood as a paradox: a valid argument with plausible premises whose conclusion is that we lack justification for perceptual beliefs. Typically, this conclusion is deemed unacceptable, so a theory is offered that posits conditions for justification on which some premise is false. The theory defended here is more general, and explains why the paradox arises in the first place. Like Strawson’s (Introduction to logical theory, Wiley, New York, 1952) “ordinary language” approach to induction, the (...) theory posits something built into the very notion of justification: it is loaded with a bias towards the proposition that we are not massively deceived. Beyond the paradox, remaining skeptical problems consist of metaphysical and practical questions: whether we are massively deceived, or why we should use our loaded notion rather than some other. Such challenges have pro- found epistemological significance, but they are not problems that an a priori theory of justification can solve. (shrink)

The question of how properties are individuated is extremely important. Consider the following proposals. To be in pain is to be in a certain neurological state. To be red is to appear red to normal observers in standard conditions. To be obligatory is to maximize the good. Each makes a claim of property identity. Each is a substantive metaphysical thesis of wide interest. None can be studied with due scrutiny in the absence of a general account of property identity. Here, (...) I will survey existing accounts and suggest a new account in terms of grounding that has some advantages over the other candidates. (shrink)

ABSTRACT Is it possible to effect singular reference to mathematical objects in the abstractionist framework? I will argue that even if mathematical expressions pass the relevant syntactic and inferential tests to qualify as singular terms, that does not mean that their semantic function is to refer to a particular object. I will defend two arguments leading to this claim: the permutation argument for the referential indeterminacy of mathematical terms, and the argument from the semantic idleness of the terms introduced by (...) abstraction principles. (shrink)

A considerable number of philosophers are attracted to what might be called ‘causal type-abstractionism’ – the view that photographs, symphonies, models of cars, novels, flags, and other multiply i...

Perception of a property (e.g. a colour, a shape, a size) can enable thought about the property, while at the same time misleading the subject as to what the property is like. This long-overlooked claim parallels a more familiar observation concerning perception-based thought about objects, namely that perception can enable a subject to think about an object while at the same time misleading her as to what the object is like. I defend the overlooked claim, and then use it to (...) generate a challenge for a standard way of thinking about the relationship between visual experience and rational belief formation. Put informally, that view holds that just as we can mislead others by saying something false, illusory experience misleads by misrepresenting how things stand in the world. I argue that we ought to abandon this view in favour of some radical alternative account of the relationship between visual experience and rational belief formation. (shrink)

This paper defends a version of the old empiricist claim that to think about unobservable physical properties a subject must be able to think perception-based thoughts about observable properties. The central argument builds upon foundations laid down by G. E. M. Anscombe and P. F. Strawson. It bridges the gap separating these foundations and the target claim by exploiting a neglected connection between thought about properties and our grasp of causation. This way of bridging the gap promises to introduce substantive (...) constraints on right accounts of perception and perception-based thought. (shrink)

Pautz has argued that the most prominent naive realist account of hallucination—negative epistemic disjunctivism—cannot explain how hallucinations enable us to form beliefs about perceptually presented properties. He takes this as grounds to reject both negative epistemic disjunctivism and naive realism. Our aims are two: First, to show that this objection is dialectically ineffective against naive realism, and second, to draw morals from the failure of this objection for the dispute over the nature of perceptual experience at large.

This chapter focuses on alternative logics. It discusses a hierarchy of logical reform. It presents case studies that illustrate particular aspects of the logical revisionism discussed in the chapter. The first case study is of intuitionistic logic. The second case study turns to quantum logic, a system proposed on empirical grounds as a resolution of the antinomies of quantum mechanics. The third case study is concerned with systems of relevance logic, which have been the subject of an especially detailed reform (...) program. Finally, the fourth case study is paraconsistent logic, perhaps the most controversial of serious proposals. (shrink)

This paper argues that perception is a mode of engagement with individuals and their determinate properties. Perceptual content involves determinate properties in a way that relies on our conceptual capacities no less than on the properties. The “richness” of perceptual experience is explained as a distinctive individual and property involving content. This position is developed in three steps: (i) novel phenomenological description of lived experience; (ii) detailed reconstruction of Gareth Evans’ proposal that we are capable of genuinely singular thought that (...) involves individuals under modes of presentation; (iii) re-consideration of the re-identification condition on conceptual contents. (shrink)

Frege famously held that numbers play the role of objects in our language and thought, and that this role is on display when we use sentences like "The number of Jupiter's moons is four". I argue that this role is an example of a general pattern that also encompasses persons, times, locations, reasons, causes, and ways of appearing or acting. These things are 'objects' simply in the sense that they are answers to questions: they are the sort of thing we (...) search for and specify during investigation or inquiry. I support this epistemological conception of objects by studying specificational sentences, a class of sentences which includes Frege's original example. I defend an analysis of such sentences as question-answer pairs, and show how to formally represent this analysis using game-theoretical semantics. (shrink)