My primary goal in this paper is to defend the plausibility of Kripke’s thesis that there are contingent a priori truths, and to fill out some gaps in Kripke’s own account of these truths. But the strategy here adopted is, to the best of my knowledge, still unexplored and different from the one adopted both by Kripke himself and by his critics. I first argue that Kripke’s examples of such truths can only be legitimate if seen as introduced by performative (...) utterances sense). And, if this is so, we can apply the machinery of illocutionary act theory to these utterances to explain how one can have a priori knowledge of some contingent facts generated by the utterances themselves. I shall argue that the overall strategy can fill out two gaps in Kripke’s original account: first, we can explain the nature of the truth-makers of contingent a priori truths sense, broadly conceived) and, second, we can explain how contingent a priori knowledge can be transmitted from one speaker to another. (shrink)

In this paper, I address some puzzles about Frege’s conception of how we “grasp” thoughts. I focus on an enigmatic passage that appears near the end of Frege’s great essay “The Thought.” In this passage Frege refers to a “non-sensible something” without which “everyone would remain shut up in his inner world.” I consider and criticize Wolfgang Malzkorn’s interpretation of the passage. According to Malzkorn, Frege’s view is that ideas [Vorstellungen] are the means by which we grasp thoughts. My counter-proposal (...) is that language enables us to grasp thoughts (ideas are merely their baggage or “trappings,” as Frege puts it). One significant consequence of my interpretation is that it helps challenge the standard reading of Frege according to which he is a metaphysical platonist about thoughts. My interpretation thus provides support for the deflationary, anti-ontological reading spelled out by readers like Thomas Ricketts and Wolfgang Carl. As Ricketts puts it, Frege’s distinction between the objective and the subjective, rather than being an ontological doctrine, “lodges in the contrast between asserting something and giving vent to a feeling.”. (shrink)

Pragmatism in semantics is hampered by its proponents' tendency to tie understanding too closely to our mastery of epistemic practice. Both Brandom's inferentialist semantics and the anti-realist semantics championed by Dummett and Tennant amply illustrate this tendency. As a consequence, neither theory can successfully handle cases of the innocuously unknowable in which two sentences, though mutually consistent, nonetheless cannot be known to be true together. On Brandom's account, such sentences are treated as being mutually inconsistent after all. According to both (...) Dummett's and Tennant's version of anti-realist semantics, we cannot know that there are any true sentences of this kind. Neither result is the least acceptable, whence either theory fails. The lesson to be learnt from this failure is that understanding should not be identified with the ability to reach warranted verdicts, but with the ability to think, where thinking is constitutively involved in, but nonetheless distinct from judging. (shrink)

We conceive of many general terms we use as having satisfaction conditions that are objective in that the thought that something meets them neither entails nor is entailed by the thought that we are currently in a position in which we are ready, or warranted, to apply those terms to it. How do we manage to use a given term in such a way that it is thereby endowed, and conceived to be endowed, with satisfaction conditions that are objective in (...) this sense? In the first half of the paper, I present a number of interrelated problems for some extant metasemantical accounts of how use determines objective satisfaction conditions. In the second half, I then propose a novel account that avoids all of these problems. (shrink)

Doxastic involuntarists have paid insufficient attention to two debates in contemporary epistemology: the permissivism debate and the debate over norms of assertion and belief. In combination, these debates highlight a conception of belief on which, if you find yourself in what I will call an ‘equipollent case’ with respect to some proposition p, there will be no reason why you can’t believe p at will. While doxastic involuntarism is virtually epistemological orthodoxy, nothing in the entire stock of objections to belief (...) at will blocks this route to doxastic voluntarism. Against the backdrop of the permissivism debate and the literature on norms of belief and assertion, doxastic involuntarism emerges as an article of faith, not the obvious truth it’s usually purported to be. (shrink)

A long-standing debate has dominated systematic biology and the ontological commitments made by its theories. The debate has contrasted individuals and the part – whole relationship with classes and the membership relation. This essay proposes to conceptualize the hierarchy of higher taxa is terms of a hierarchy of homeostatic property cluster natural kinds (biological species remain largely excluded from the present discussion). The reference of natural kind terms that apply to supraspecific taxa is initially fixed descriptively; the extension of those (...) natural kind terms is subsequently established by empirical investigation. In that sense, classification precedes generalization, and description provides guidance to empirical investigation. The reconstruction of a hierarchy of (homeostatic property cluster) natural kinds is discussed in the light of cladistic methods of phylogeny reconstruction. (shrink)

In recent philosophy of mathematics avariety of writers have presented ``structuralist''views and arguments. There are, however, a number ofsubstantive differences in what their proponents take``structuralism'' to be. In this paper we make explicitthese differences, as well as some underlyingsimilarities and common roots. We thus identifysystematically and in detail, several main variants ofstructuralism, including some not often recognized assuch. As a result the relations between thesevariants, and between the respective problems theyface, become manifest. Throughout our focus is onsemantic and metaphysical issues, (...) including what is orcould be meant by ``structure'' in this connection. (shrink)

The aim of this essay is to show that the subject-matter of ontology is richer than one might have thought. Our route will be indirect. We will argue that there are circumstances under which standard first-order regimentation is unacceptable, and that more appropriate varieties of regimentation lead to unexpected kinds of ontological commitment.

Forthcoming in Philosophical Compass. I explain why plural quantifiers and predicates have been thought to be philosophically significant.

Without violating the spirit of Game-Theoretical semantics, its results can be re-worked in Martin-Löf''s Constructive Type Theory by interpreting games as types of Myself''s winning strategies. The philosophical ideas behind Game-Theoretical Semantics in fact highly recommend restricting strategies to effective ones, which is the only controversial step in our interpretation. What is gained, then, is a direct connection between linguistic semantics and computer programming.

The paper argues that the reference of perceptual demonstratives is fixed in a causal nondescriptive way through the nonconceptual content of perception. That content consists first in spatiotemporal information establishing the existence of a separate persistent object retrieved from a visual scene by the perceptual object segmentation processes that open an object-file for that object. Nonconceptual content also consists in other transducable information, that is, information that is retrieved directly in a bottom-up way from the scene (motion, shape, etc). The (...) nonconceptual content of the mental states induced when one uses a perceptual demonstrative constitutes the mode of presentation of the perceptual demonstrative that individuates but does not identify the object of perceptual awareness and allows reference to it. On that account, perceptual demonstratives put us in a de re relationship with objects in the world through the non-conceptual information retrieved directly from the objects in the environment. (shrink)

Kaplan (1989a) insists that natural languages do not contain displacing devices that operate on character—such displacing devices are called monsters. This thesis has recently faced various empirical challenges (e.g., Schlenker 2003; Anand and Nevins 2004). In this note, the thesis is challenged on grounds of a more theoretical nature. It is argued that the standard compositional semantics of variable binding employs monstrous operations. As a dramatic first example, Kaplan’s formal language, the Logic of Demonstratives, is shown to contain monsters. For (...) similar reasons, the orthodox lambda-calculus-based semantics for variable binding is argued to be monstrous. This technical point promises to provide some far-reaching implications for our understanding of semantic theory and content. The theoretical upshot of the discussion is at least threefold: (i) the Kaplanian thesis that “directly referential” terms are not shiftable/bindable is unmotivated, (ii) since monsters operate on something distinct from the assertoric content of their operands, we must distinguish ingredient sense from assertoric content (cf. Dummett 1973; Evans 1979; Stanley 1997), and (iii) since the case of variable binding provides a paradigm of semantic shift that differs from the other types, it is plausible to think that indexicals—which are standardly treated by means of the assignment function—might undergo the same kind of shift. (shrink)

Intuitionism’s disagreement with classical logic is standardly based on its specific understanding of truth. But different intuitionists have actually explicated the notion of truth in fundamentally different ways. These are considered systematically and separately, and evaluated critically. It is argued that each account faces difficult problems. They all either have implausible consequences or are viciously circular.

I have recently argued that origin essentialism regarding individual organisms entails that natural selection does not explain why individual organisms have the traits that they do. This paper defends this and related theses against Mohan Matthen's recent objections.

A semantic theory is committed to semantic monism just in case every particular semantic property posited by the theory is a member of the same kind. The commitment to semantic monism appears to draw some support from the need to provide a compositional semantics, since taking a single kind of semantic property as key to a semantic theory affords a uniform pattern on the basis of which the meaning of any given sentence can be compositionally determined. This line of support (...) highlights a tension between the principle of compositionality and taking a more pluralistic approach to semantic theorizing. In this essay, that tension is relieved, leaving open the prospect of a pluralistic semantic theory that observes the principle of compositionality. (shrink)

The present article is the first of a trilogy of papers, devoted to analysing the influence of semantic Platonism on contemporary philosophy of language. In the present article, I lay out the discussion by contrasting semantic Platonism with two other views of linguistic meaning: the socio-environmental conception of meaning and semantic anti-representationalism. Then, I identify six points in which the impregnation of semantic theory with Platonism can be particularly felt, resulting in shortcomings and inaccuracies of various kinds. These points are (...) the following: the limitations of regarding logico-philosophical analysis as the only working methodology; the tendency to avoid investigating a number of aspects of linguistic meaning; the recurring confusion between sentences, statements, and propositions; the weakness of transcendent assumptions about meaning; the weakness of meaning assumptions adopted on the basis of pure intuition; and inconsistencies caused by some over-eager attempts to escape semantic Platonism. (shrink)

The idea underlying the Begriffsschrift account of identities was that the content of a sentence is a function of the things it is about. If so, then if an identity a=b is about the content of its contained terms and is true, then a=a and a=b have the same content. But they do not have the same content; so, Frege concluded, identities are not about the contents of their contained terms. The way Frege regarded the matter is that in an (...) identity the terms flanking the symbol for identity do not have their ordinary contents, but instead have themselves as their contents. In ?Uber Sinn und Bedeutung? Frege became convinced that if an identity a=bis about the signs aand b, then it expresses no proper knowledge. So, since it is evident that many such identities do express proper knowledge, Frege concluded that identities are not about their contained signs. So he became convinced that his Begriffsschrift account was incorrect. What was the error in the argument that led Frege to that account? It was thinking that the content of a sentence is a function of the contents of its constituent signs, that is, the things it is about. (shrink)

Assertion plays a crucial dual role in Frege's conception of logic, a formal and a transcendental one. A recurrent complaint is that Frege's inclusion of the judgement-stroke in the Begriffsschrift is either in tension with his anti-psychologism or wholly superfluous. Assertion, the objection goes, is at best of merely psychological significance. In this paper, I defend Frege against the objection by giving reasons for recognising the central logical significance of assertion in both its formal and its transcendental role.

Some philosophers have argued that the open-endedness of the set concept has revisionary consequences for the semantics and logic of set theory. I consider (several variants of) an argument for this claim, premissed on the view that quantification in mathematics cannot outrun our conceptual abilities. The argument urges a non-standard semantics for set theory that allegedly sanctions a non-classical logic. I show that the views about quantification the argument relies on turn out to sanction a classical semantics and logic after (...) all. More generally, this article constitutes a case study in whether the need to account for conceptual progress can ever motivate a revision of semantics or logic. I end by expressing skepticism about the prospects of a so-called non-proof-based justification for this kind of revisionism about set theory. (shrink)

It is commonly assumed that classical logic is the embodiment of a realist ontology. In “Sets and Semantics”, however, Jonathan Lear challenged this assumption in the particular case of set theory, arguing that even if one is a set-theoretic Platonist, due attention to a special feature of set theory leads to the conclusion that the correct logic for it is intuitionistic. The feature of set theory Lear appeals to is the open-endedness of the concept of set. This article advances reasons (...) internal to Lear’s account to show that his argument for intuitionistic set theory is unsuccessful. (shrink)

We reconstruct essential features of Lagrange’s theory of analytical functions by exhibiting its structure and basic assumptions, as well as its main shortcomings. We explain Lagrange’s notions of function and algebraic quantity, and we concentrate on power-series expansions, on the algorithm for derivative functions, and the remainder theorem—especially on the role this theorem has in solving geometric and mechanical problems. We thus aim to provide a better understanding of Enlightenment mathematics and to show that the foundations of mathematics did not, (...) for Lagrange, concern the solidity of its ultimate bases, but rather purity of method—the generality and internal organization of the discipline. (shrink)

Suppose we have an idea of what counts as communication, more precisely as a communicative event. Then we have the further task of dividing communicative events into successful and unsuccessful. Part of this task is to find a basis for this evaluation, i.e. appropriate properties of speaker and hearer. It is argued that success should be evaluated in terms of a relation between thought contents of speaker and hearer. This view is labelled ‘classical’, since it is justifiably attributable to both (...) Locke and Frege (section 2). Most of the paper is devoted to discussing competing contemporary views, such as behaviorist/pragmatist views (section 4), requirements of knowledge (section 5), of reliability (section 6) and that success should be defined in terms of public language semantics rather than in terms of thought content (section 7). (shrink)

Alex Oliver; XI*—A Few More Remarks on Logical Form, Proceedings of the Aristotelian Society, Volume 99, Issue 1, 1 June 1999, Pages 247–272, https://doi.org/10.

The form of the sentence, as it is understood in contemporary semantics and linguistics, is functional. This paper interprets the metaphors in which Frege shows what the functional sentence means, arguing that Frege's sentence is neither an adequate translation of natural language nor of use in feminist theorizing.

This paper discusses George Boole’s two distinct approaches to the explanatory relationship between logical and psychological theory. It is argued that, whereas in his first book he attributes a substantive role to psychology in the foundation of logical theory, in his second work he abandons that position in favour of a linguistically conceived foundation. The early Boole espoused a type of psychologism and later came to adopt a type of anti-psychologism. To appreciate this invites a far-reaching reassessment of his philosophy (...) of logic. (shrink)

This paper argues for an ontological distinction between two kinds of universals, 'kinds of tropes' such as 'wisdom' and properties such as 'the property of being wise'. It argues that the distinction is parallel to that between two kinds of collections, pluralities such as 'the students' and collective objects such as 'the class'. The paper argues for the priortity of distributive readings with pluralities on the basis of predicates of extent or shape, such 'large' or 'long'.

This paper is concerned with the relationship between the metaphysical doctrine of realism about the external world and semantic realism, as characterised by Michael Dummett. I argue that Dummett's conception of the relationship is flawed, and that Crispin Wright's account of the relationship, although designed to avoid the problems which beset Dummett's, nevertheless fails for similar reasons. I then aim to show that despite the fact that Dummett and Wright both fail to give a plausible account of the relationship between (...) semantic realism and the metaphysical doctrine of realism, the semantic issue and the metaphysical issue are importantly related. I outline the precise sense in which the evaluation of semantic realism is relevant to the evaluation of realism about the external world, a sense overlooked by opponents of Dummett, such as Simon Blackburn and Michael Devitt. I finish with some brief remarks on metaphysics, semantics, and the nature of philosophy, and suggest that Dummett's arguments against semantic realism can retain their relevance to metaphysical debate even if we reject Dummett's idea that the theory of meaning is thefoundation of all philosophy. (shrink)

The transition from the traditional to the representational theory of measurement around the turn of the century was accompanied by little sustained criticism of the former. The most forceful critique was Bertrand Russell''s 1897 Mind paper, On the relations of number and quantity. The traditional theory has it that real numbers unfold from the concept of continuous quantity. Russell''s critique identified two serious problems for this theory: (1) can magnitudes of a continuous quantity be defined without infinite regress; and (2) (...) can additive relations between such magnitudes exist if magnitudes are not divisible? The present paper shows how the traditional theory answers these questions and compares the traditional and representational theories as contributions to our understanding of the logic of application. (shrink)

I present several arguments which provide what I consider to be a definitive argument against certain forms of masculine language in their so-called sexually neutral usage. In the first part, I concentrate on the use of the word and I defend the idea that it embodies a perverse contingent a priori. In the second part, I examine how this pernicious a prioriinfects the pronominal system of French. I conclude with an undoubtedly surprising linguistic and feminist criticism of a recent decision (...) by the Office de la langue franbec to feminize job titles, arguing instead that the problem lies elsewhere and hence so does an efficient solution. (shrink)

As part of his attack on Frege’s ‘myth’ that senses reside in the third realm, Dummett alleges that Frege’s view that all objects are selbständig is an underlying mistake, since some objects depend upon others. Whatever the merits of Dummett’s other arguments against Frege’s conception of sense, this objection fails. First, Frege’s view that senses are third-realm entities is not traceable to his view that all objects are selbständig. Second, while Frege recognizes that there are objects that are dependent upon (...) other objects, he does not take this to compromise the Selbständigkeit of any objects. Thus, Frege’s doctrine that objects are selbständig does not make the claim of absolute independence that Dummett appears to have taken it to make. Nevertheless, in order to make a good case against Frege based on the dependency of senses, Dummett need only establish his claim that senses depend upon expressions: appeal to an absolute conception of independence is unnece... (shrink)

The paper addresses a popular argument that accounts of assertion in terms of constitutive norms are incompatible with conventionalism about assertion. The argument appeals to an alleged modal asymmetry: constitutive rules are essential to the acts they characterize, and therefore the obligations they impose necessarily apply to every instance; conventions are arbitrary, and thus can only contingently regulate the practices they establish. The paper argues that this line of reasoning fails to establish any modal asymmetry, by invoking the distinction between (...) the non-discriminating existence across possible worlds of types of practices and institutions defined by constitutive rules, and the discriminating existence of those among them that are actually in force, and hence truly normative. The necessity of practices defined by constitutive rules that the argument relies on concerns the former, while conventionalist claims are only about the latter. The paper should thus contribute to get a better understanding of what social constructs conceived as defined by constitutive norms are. It concludes by suggesting considerations that are relevant to deciding whether assertion is in fact conventional. (shrink)

Jim Mackenzie; Wilson on Relativism and Teaching, Journal of Philosophy of Education, Volume 21, Issue 1, 30 May 2006, Pages 119–130, https://doi.org/10.1111/j.