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)

A mathematical matrix is usually defined as a two-dimensional array of scalars. And yet, as I explain, matrices are not in fact two-dimensional arrays. So are we to conclude that matrices do not exist? I show how to resolve the puzzle, for both contemporary and older mathematics. The solution generalises to the interpretation of all mathematical discourse. The paper as a whole attempts to reinforce mathematical structuralism by reflecting on how best to interpret mathematics.

Several authors have argued that, assuming we have apriori knowledge of our own thought-contents, semantic externalism implies that we can know apriori contingent facts about the empirical world. After presenting the argument, I shall respond by resisting the premise that an externalist can know apriori: If s/he has the concept water, then water exists. In particular, Boghossian's Dry Earth example suggests that such thought-experiments do not provide such apriori knowledge. Boghossian himself rejects the Dry Earth experiment, however, since it would (...) imply that externalism is true of empty concepts as well as non-empty concepts. Yet in this paper I respond by defending empty-concept externalism, from criticisms suggested by Boghossian and Brown, and recently developed further by Besson. My contention is that an externalist can give a non-ad hoc descriptivist account of empty concepts. Accordingly, apriori self-knowledge does not enable an externalist to know contingent features of the external world. (shrink)

Descartes held the view that a subject has infallible beliefs about the contents of her thoughts. Here, I first examine a popular contermporary defense of this claim, given by Burge, and find it lacking. I then offer my own defense appealing to a minimal thesis about the compositionality of thoughts. The argument has the virtue of refraining from claims about whether thoughts are “in the head;” thus, it is congenial to both internalists and externalists. The considerations here also illuminate how (...) a subject may have epistemicially priviledged and a priori beliefs about her own thoughts. (shrink)

Some worry that semantic externalism is incompatible with knowing by introspection what content your thoughts have. In this paper, I examine one primary argument for this incompatibilist worry, the slow-switch argument. Following Goldberg , I construe the argument as attacking the conjunction of externalism and “skeptic immune” knowledge of content, where such knowledge would persist in a skeptical context. Goldberg, following Burge :649–663, 1988), attempts to reclaim such knowledge for the externalist; however, I contend that all Burge-style accounts vindicate that (...) a subject can introspectively know that she is thinking that “water is wet.” They do not yet show how a subject can introspectively know what she is thinking—which is the distinctive type of knowing at issue in the slow-switch argument. Nonetheless, I subsequently amend the Burge-style view to illustrate how an externalist can introspectively “know-what” content her thought has, and know it in a skeptic immune manner, despite what the slow-switch argument may suggest. For one, I emphasize that “knowing what” can be ontologically non-committal . For another, following Boer and Lycan , I stress that “knowing what” is purpose-relative–and for at least some purposes, it seems possible for the externalist to “know what” content her thought has, even if skeptical hypotheses about XYZ are relevant. (shrink)

Externalism holds that the content of our utterances and thoughts are determined partly by the environment. Here, I offer an argument which suggests that externalism is incompatible with a natural view about ontological commitment--namely, the Quinean view that such commitments are fixed by the range of the variables in your theory. The idea in brief is that if Oscar mistakenly believes that water = XYZ, the externalist ontologically commits Oscar to two waterish kinds, whereas the Quinean commits him to one (...) such kind (albeit a metaphysically impossible kind). The penultimate section addresses a variety of objections to the argument. (shrink)

This paper is about the nature of conscious sensory properties. My initial thesis is that these properties should not be equated with representational properties. I argue that any such representationalist view is in danger of implying that conscious sensory properties are constituted by relations to propositions or other abstract objects outside space and time; and I add that, even if this implication can be avoided, the broadness of representational properties in any case renders them unsuitable to constitute conscious properties. In (...) place of the representational account, I then defend an equation of conscious sensory properties with intrinsic non‐relational properties of subjects, and I show how this view deals naturally with all the difficulties facing representationalism. I conclude by defending this non‐relational account of conscious experience against arguments from the ‘transparency’ and the ‘intrinsic intentionality’ of experience. (shrink)

It is very natural to suppose that conscious sensory experience is essentially representational. However this thought gives rise to any number of philosophical problems and confusions. I shall argue that it is quite mistaken. Conscious phenomena cannot be constructed out of representational materials.

Causal descriptivism and its relative nominal descriptivism are critically examined. It is argued that they do not manage to undermine the principal conclusions of the new theory of reference.

My primary goal in this paper is to focus attention on a certain conception of internal access, on the Cartesian conception that a rational subject's capacity to determine sameness and difference in explicit propositional attitudes is independent of knowledge of the external world. This conception of introspection plays a crucial, if unacknowledged, role in numerous arguments and theoretical positions. In particular, it plays a large role in motivating psychological internalism. I argue in favor of rejecting this epistemology and the internalism (...) it supports. (shrink)

The thesis asserting the mental dependence of institutional entities is particularly debated in social ontology. One of its implications is the infallibility thesis, according to which the existence of institutional entities requires that some of their properties be known. What are these properties? After presenting the Searlian conception of institutional entities and the kind of mental dependence they manifest, I specify the content of the infallibility thesis. I then show that these properties are the deontic powers associated with these entities, (...) and that the mental attitude towards deontic powers must take the form of practical knowledge. Finally, I show that this interpretation is compatible with the existence of at least some naturalized institutional entities. (shrink)

This paper is about paradigmatic slurs, i.e. expressions that are prima facie associated with the expression of a contemptuous attitude concerning a group of people identified in terms of its origin or descent, race, sexual orientation, ethnia or religion, gender, etc. Our purpose is twofold: explaining their expressive meaning dimension in terms of a version of stereotype semantics and analysing their original and most typical uses as insults, which will be called with a neologism ‘insultive’, in terms of a speech (...) act theory. (shrink)

Discussion of J. Kevin O’Regan’s “Why Red Doesn’t Sound Like a Bell: Understanding the Feel of Consciousness” Content Type Journal Article Pages 1-20 DOI 10.1007/s13164-012-0090-7 Authors J. Kevin O’Regan, Laboratoire Psychologie de la Perception, CNRS - Université Paris Descartes, Centre Biomédical des Saints Pères, 45 rue des Sts Pères, 75270 Paris cedex 06, France Ned Block, Departments of Philosophy, Psychology and Center for Neural Science, New York University, 5 Washington Place, New York, NY 10003, USA Journal Review of Philosophy and (...) Psychology Online ISSN 1878-5166 Print ISSN 1878-5158. (shrink)

A long‐standing aim of cinema – in particular of ‘extreme’, ‘unwatchable’ or ‘feel‐ bad’ cinema – has been to acquaint viewers with extreme suffering. In this article I first offer an explication of that aim in terms of recent work in philosophy of mind, then exploit the resulting framework to examine claims to the effect that a new technological development, Virtual Reality, provides cinema's best shot at achieving that aim.

In ‘The Semantics of Singular Terms’ (1976) Brian Loar proposed a famous case where a hearer seems to misunderstand an utterance even though he has correctly identified its referent. Loar’s case has been used to defend a model of communication where speaker and hearer must think of the referent in similar ways in order for communication to succeed. This ‘Similar Ways of Thinking’ (SW) theory is extremely popular, both in the literature on Loar cases and in other philosophical discussions. My (...) goal is to offer a novel argument against this influential model of communication and propose an alternative picture. First, I show how a certain version of SW fails to solve Loar’s puzzle. Then I point at a more general problem with SW, arguing that no version of this model can account for Loar-style cases without making the conditions for communication too strict. I then propose an alternative account of Loar cases, analyzing them as cases of luck where the hearer does not know that she has identified the referent correctly. I conclude by contrasting my view with other existing accounts of Loar cases. (shrink)

The view that some evaluative concepts are identical to some affective concepts naturally falls out of neo-sentimentalism, but it is unstable. This paper argues for a view of evaluative concepts that is neo-sentimentalist in spirit but which eschews the identity claim. If we adopt a Peacockean view of concepts, then we should think of some evaluative concepts as having possession conditions that are affective in some way. I argue that the best version of this thought claims that possessing those concepts (...) requires being rationally compelled to form evaluative beliefs in response to certain emotions. (shrink)

In a trio of recent articles, Johnson and Nado defend a form of metasemantic dispositionalism, arguing for a novel approach to the “error”-problem, based on speakers’ dispositional states under what they call a state of “full information”. In this article, I argue that their brand of dispositionalism fails to solve the “error”-problem, because of what I think of as counterexamples to it. In the final sections, I propose a way to amend the theory to shield it from some of the (...) counterexamples, based on the idea that what determines meaning is not only dispositions to apply words under full information, but also dispositions to evaluate one’s prior usage, under full information. (shrink)

1. I have fond memories of the Linguistic Society of America meeting in New Orleans just after Christmas in 1988, the last time I was able to see all my humanist friends from graduate school who were attending the concurrent meeting of the MLA. Shortly after that, the LSA decided to forego the company of humanists and assemble by itself during the first week of January. It's hard to fault the decision. Over and above the obvious practical advantages, like not (...) having to wait in line for forty-five minutes outside popular restaurants, the groups had been growing apart intellectually for some time. Few linguists bothered to cross town for MLA sessions on topics like onomastics, English usage, and the history of lexicography. Nor for that matter were those sessions drawing many MLA attendees, either. Literary people didn't seem to be much interested in language study anymore; what filled their ballrooms now were the sessions on deconstruction and other poststructuralist enthusiasms. It was like going back for your annual drink with your high-school sweetheart and finding that you had less and less to talk about. They didn't know what subjacency was and we didn't know what alterity was, and neither seemed to care. If you were of a mind to look for milestones, you could take that as the time when linguistic semantics definitively cut itself loose from its philological roots. Like a lot of semanticists, I had mixed feelings about the break. It's undeniable that linguistic semantics couldn't have come of age as an autonomous empirical discipline if it hadn't.. (shrink)

Los filósofos han construido la filosofía a partir de la reflexión sobre el hombre y su realidad circundante más inmediata. Al menos en la época presente, la filosofía en cuanto reflexión sobre el ser, debe partir —en mi opinión— de la consideración atenta de los artefactos que constituyen casi en su totalidad —con excepción de los seres humanos y de algunos pocos animales y plantas que hay en nuestro ámbito habitual— el mundo efectivo en el que nos encontramos: la pluma (...) con la que escribo, el papel, la mesa, la silla, los libros, los cigarrillos, la habitación y todo el edificio en el que estoy, incluso las palabras que estoy garabateando, la lámpara que me ilumina, quizás también la luz eléctrica que despide la bombilla: ¿no son todas esas cosas artefactos? Me permito aventurar de antemano que esas cosas, los artefactos, son los elementos relevantes para el filósofo de nuestros días: la noción de artefacto —que tiene una vetusta tradición— puede proporcionar un modelo racional explicativo válido para afrontar viejas y nuevas cuestiones de la metafísica y del lenguaje. -/- . (shrink)

The skeptical Dream argument appeals to the possibility of dreaming. The skeptic holds that states of being awake are subjectively indistinguishable from possible dream states and that this means that we do not know that we are awake. This, the skeptic then claims, means that we have to accept that we do not have external world knowledge.It is natural to assume that there must be a connection between the Dream argument and epistemic internalism, the view that a belief is justified (...) for a given person if and only if the person has cognitive access to all the factors that are needed for the belief to be justified. The problem, the skeptic thinks, is that in order for my belief that I am awake to be justified I have to have cognitive access to something that establishes that I am awake. But according to the skeptic, even if I am awake, this is not something I have cognitive access to. However, the more precise connections between internalism and the skeptical argument are not so clear. (shrink)

It has been a fundamental assumption in management theory that communication is a key condition for successful management. This assumption has been linked to Habermas’ model of communicative rationality, but it is very difficult for managers to implement this model in real-life leadership relations. The reason is that practical obstacles, resource limitations and knowledge gaps make it impossible to achieve Habermas’ ideal aim of ‘shared horizons’. The article argues that it is possible for managers to meet fundamental communication conditions in (...) employee interaction and other forms of leadership relations if the holistic concept of a shared horizon is replaced with an idea of contextual agreement. Within this alternative conceptual framework, a key strategic aim for managers is to communicate as well as realistically possible how organisational strategies and action-guiding principles are justified. This presupposes that managers are able to uncover ‘hidden’ language meaning and transcend contextual power relations. Within a speech act theory of meaning, the article articulates three basic communication conditions that can function as conceptual tools for achieving these communicative aims. (shrink)

Hilary Putnam’s influential analysis of the ‘division of linguistic labour’ has a striking application in the area of doctor–patient interaction: patients typically think of themselves as consumers of technical medical terms in the sense that they normally defer to health professionals’ explanations of meaning. It is at the same time well documented that patients tend to think they are entitled to understand lay health terms like ‘sickness’ and ‘illness’ in ways that do not necessarily correspond to health professionals’ understanding. Drawing (...) on recent philosophical theories of concept possession, the article argues that this disparity between medical and lay vocabulary implies that it is, in an important range of cases, easier for doctors to create a communicative platform of shared concepts by using and explaining special medical expressions than by using common lay expressions. This conclusion is contrasted with the view that doctors and patients typically understand each other when they use lay vocabulary. Obviously, use of expressions like ‘sickness’ or ‘illness’ does not necessarily lead to poor communication, but it is important that doctors have an awareness of how patients interpret such terms. (shrink)

Standard Kripke-Putnam semantics is widely taken to entail that theoretical identifications like ‘Brontosauruses are Apatosauruses’ or ‘Gold is 79Au’ are necessary, if true. I offer a new diagnosis as to why this modal consequence ensues. Central to my diagnosis is the concept of a paradigm term. I argue that modal and epistemic peculiarities that are commonly considered as distinctive of natural kind expressions are in fact traits that are shared by paradigm terms in general. Philosophical semantics should broaden its focus (...) from natural kind expressions to paradigm terms. (shrink)

Many philosophers and psychologists hold that intuitions are, or reduce to, beliefs. The argument from intuition without beliefs threatens to undercut any such doxastic account: since there are clear cases of intuition without belief, intuitions cannot be beliefs. Advocates of the intellectual seeming account conclude that intuitions belong to the basic mental kind of intellectual seeming. I argue that rightly understood, apparent cases of intuition without belief are cases of someone having the inclination to believe that p whilst believing that (...) not-p. These can be accommodated by a disjunctive doxastic account holding that to have an intuition is to either have a belief, or to have an inclination to believe. I conclude that intuitions reduce to beliefs, and that there is no need to acknowledge intellectual seemings as basic states in our mental taxonomy. (shrink)

Kripke and Putnam have convinced most philosophers that we cannot do metaphysics of nature by analysing the senses of natural kind terms -- simply because natural kind terms do not have senses. Neo-descriptivists, especially Frank Jackson and David Chalmers, believe that this view is mistaken. Merging classical descriptivism with a Kaplan-inspired two-dimensional framework, neo-descriptivists devise a semantics for natural kind terms that assigns natural kind terms so-called 'primary intensions'. Since primary intensions are senses by other names, Jackson and Chalmers conclude (...) that we can and should do metaphysics of nature by analysing the natural kind concepts competent speakers possess. I argue that neo-descriptivism does not provide a suitable basis for doing this kind of metaphysics. I first of all give a detailed account of the neo-descriptivist semantics and deflate the intuitive support neo-descriptivists try to draw from their case of the XYZ-world. I then present three arguments -- the Argument from Ignorance, the Argument from Conceptual Analysis, and the Argument from Laziness. Taken together, these arguments undermine the neo-descriptivist analysis of natural kind terms. I conclude that natural kind terms do not have senses, that we cannot do metaphysics of nature by analysing the senses of our kind terms, and that the Kripke-Putnam account still provides the best semantics for natural kind terms we have. (shrink)

Standard arguments for essentialism with respect to natural kinds such as gold, star, water or tiger enlist essentialist principles or essentialist intuitions. I argue that we need neither. All it takes to establish essentialism for the kinds in question are insights from science and semantics. Semantics establishes that natural kind predicates such as “is gold” or “is a star” are paradigm terms whose application conditions are relationally determined, object involving, and actuality dependent. Science assures us that a posteriori hypotheses such (...) as “∀x” are deeply explanatory, as well as true. Taken together, these results establish essentialism for kinds such as gold, star, water or tiger. I consider this a deflationary result. When it comes to natural kind essentialism, there is no need for substantial metaphysics, be it essentialist or otherwise. (shrink)

The classification-cum-explanation Kripke assigns to rigidity requires the notion to apply to singular and general terms alike. But Kripke's own notion of rigidity is tailor-made for singular terms, and an extensive debate has not secured a general notion of rigidity apt to provide the classification-cum-explanation Kripke aims for. I propose that we look for a Kripkean alternative to generalized rigidity. I argue that on Kripkean premises, natural kind terms and proper names belong to the meta-semantic category of paradigm terms. I (...) also argue that the property of being a paradigm term effects precisely the classification-cum-explanation Kripke attributes to rigidity. I conclude that Kripkeans should acknowledge that being a paradigm term, rather than designating rigidly, plays the role Kripke delineates, and that we can stop worrying about generalizing rigidity. Kripke's notion works fine for singular terms. And there is no need for rigidity to apply beyond these. (shrink)

The idea that we have special access to our own mental states has a distinguished philosophical history. Philosophers as different as Descartes and Locke agreed that we know our own minds in a way that is quite different from the way in which we know other minds. In the latter half of the twentieth century, however, this idea carne under serious attack, first from philosophy and more recently from developmental psychology. The attack from developmental psychology arises from the growing body (...) of work on “mindreading,” the process of attributing mental states to people. During the last fifteen years, the processes underlying rnindreading have been a major focus of attention in cognitive and developmental psychology. Most of this work has been concerned with the processes underlying the attribution of mental states toother people.However, a number of psychologists and philosophers have also proposed accounts of the mechanisms underlying the attribution of mental states tooneself.This process ofreading one's own mindorbecoming self-awarewill be our primary concern in this paper. (shrink)

The basic kinds of physical causality that are foundational for other kinds of causality involve objects and the causal relations between them. These interactions do not involve events. If events were ontologically significant entities for causality in general, then they would play a role in simple mechanical interactions. But arguments about simple collisions looked at from different frames of reference show that events cannot play a role in simple mechanical interactions, and neither can the entirely hypothetical causal relations between events. (...) These arguments show that physics, which should be authoritative when it comes to the metaphysics of causality, gives no reasons to believe that events are causal agents. Force relations and some cases of energy-momentum transfer are examples of causal relations, with forces being paradigmatic in the macroscopic world, though it is conceivable that there are other kinds of causal relation. A relation between two objects is a causal relation if and only if when it is instantiated by the two objects there is a possibility that the objects that are the terms of the relation could change. The basic metaphysics of causality is about objects, causal relations, changes in objects, and a causal primitive. The paper also includes a discussion of the metaphysics of forces and a discussion of the metaphysics of energy and momentum exchanges. (shrink)

Psychological essentialism is the hypothesis that humans represent some categories as having an underlying essence that unifies members of a category and is causally responsible for their typical attributes and behaviors. Throughout the past several decades, psychological essentialism has emerged as an extremely active area of research in cognitive science. More recently, it has also attracted attention from philosophers, who put the empirical results to use in many different philosophical areas, ranging from philosophy of mind and cognitive science to social (...) philosophy. This article aims to give philosophers who are new to the topic an overview of the key empirical findings surrounding psychological essentialism, and some of the ways the hypothesis and its related findings have been discussed, extended, and applied in philosophical research. (shrink)

In De Trinitate 10, Augustine offers an argument that seemingly proceeds from certain premises about self-knowledge to the conclusion that the mind is incorporeal. Although the argument has sometimes been compared to later Cartesian arguments, it has received relatively little philosophical attention. In this paper, I offer a detailed analysis and original interpretation of Augustine's argument and argue that it is not vulnerable to some of the main objections which have been raised against it. I go on to argue that (...) while an important part of Augustine's argument does face several hitherto neglected objections, Augustine's ultimate case for the incorporeality of the mind is somewhat different and more successful than one might initially think. (shrink)

The aim of this paper is to discuss a basic assumption tacitly shared by many philosophers of mind and language: that whatever can be meant, can be said. It specifically targets John Searle's account of this idea, focusing on his Principle of Expressibility . In the first part of the paper, PE is exposed underlining its analyticity and its relevance for the philosophy of language , mind , society and action . In the critical part, the notion of Background is (...) taken into account in order to re-evaluate two basic distinctions: the one between sentence and utterance meanings , and the one between native and type speakers . PE is reconsidered in the light of the previous arguments as a methodological strategy that does not prevent uses of language from eventual semantic excesses and deficits , and a complementary Principle of Expression Fallibility is finally proposed. (shrink)

The aim of this paper is to discuss a basic assumption tacitly shared by many philosophers of mind and language: that whatever can be meant, can be said. It specifically targets John Searle’s account of this idea, focussing on his Principle of Expressibility (PE henceforth). In the first part of the paper, PE is exposed underlining its analyticity (1) and its relevance for the philosophy of language (2), mind (3), society and action (4). In the critical part, the notion of (...) Background is taken into account in order to re-evaluate two basic distinctions: the one between sentence and utterance meanings (5), and the one between native and type speakers (6). PE is reconsidered in the light of the previous arguments as a methodological strategy that does not prevent uses of language from eventual semantic excesses and deficits (7), and a complementary Principle of Expression Fallibility is finally proposed (8). (shrink)

While philosophers tend to consider a single type of causal history, biologists distinguish between two kinds of causal history: evolutionary history and developmental history. This essay studies the peculiarity of development as a criterion for the individuation of biological traits and its relation to form, function, and evolution. By focusing on examples involving serial homologies and genetic reprogramming, we argue that morphology (form) and function, even when supplemented with evolutionary history, are sometimes insufficient to individuate traits. Developmental mechanisms bring in (...) a novel aspect to the business of classification—identity of process-type—according to which entities are type-identical across individuals and natural kinds in virtue of the fact that they form and develop through similar processes. These considerations bear important metaphysical implications and have potential applications in several areas of philosophy. (shrink)

Throughout his philosophical career, Hilary Putnam was preoccupied with the question of what survives of the traditional notion of a priori truth in light of the recurring historical phenomenon, made prominent by the scientific revolutions of the early decades of the twentieth century, through which “something that was literally inconceivable has turned out to be true”. Impugning the analytic-synthetic dichotomy, Putnam’s redefinition of “conceptual truth” in terms of “quasi-necessity relative to a conceptual scheme” is meant to accommodate the possibility of (...) transitions of just this sort. In this essay, I trace the origins and development of Putnam’s account of “quasi-necessity.” I try to defend it against some objections naturally arising in connection with the interplay of modality and negation. My main contention is that the main tenets of Putnam’s semantic externalism inform his reconception of conceptual truth, and that they must be recognized to hold of such basic logical notions as those of judgment and negation. (shrink)

Entity realism is the view that ‘a good many theoretical entities do really exist’. The main novelty of entity realism was that it provided an account of scientific realism that did not have to endorse realism about theories—the general proposal was that entity realism is noncommittal about whether we should be realist about scientific theories. I argue that the only way entity realists can resist the pull of straight scientific realism about theories is by endorsing a recent new player in (...) the scientific realism debate: singularist semirealism. (shrink)

On a widespread naturalist view, the meanings of mathematical terms are determined, and can only be determined, by the way we use mathematical language—in particular, by the basic mathematical principles we’re disposed to accept. But it’s mysterious how this can be so, since, as is well known, minimally strong first-order theories are non-categorical and so are compatible with countless non-isomorphic interpretations. As for second-order theories: though they typically enjoy categoricity results—for instance, Dedekind’s categoricity theorem for second-order PA and Zermelo’s quasi-categoricity (...) theorem for second-order ZFC—these results require full second-order logic. So appealing to these results seems only to push the problem back, since the principles of second-order logic are themselves non-categorical: those principles are compatible with restricted interpretations of the second-order quantifiers on which Dedekind’s and Zermelo’s results are no longer available. In this paper, we provide a naturalist-friendly, non-revisionary solution to an analogous but seemingly more basic problem—Carnap’s Categoricity Problem for propositional and first-order logic—and show that our solution generalizes, giving us full second-order logic and thereby securing the categoricity or quasi-categoricity of second-order mathematical theories. Briefly, the first-order quantifiers have their intended interpretation, we claim, because we’re disposed to follow the quantifier rules in an open-ended way. As we show, given this open-endedness, the interpretation of the quantifiers must be permutation-invariant and so, by a theorem recently proved by Bonnay and Westerståhl, must be the standard interpretation. Analogously for the second-order case: we prove, by generalizing Bonnay and Westerståhl’s theorem, that the permutation invariance of the interpretation of the second-order quantifiers, guaranteed once again by the open-endedness of our inferential dispositions, suffices to yield full second-order logic. (shrink)

I reconsider the monism/pluralism debate about natural kinds. Monism claims that there is a privileged division of reality into natural kinds, while pluralism states that there are many ways of classifying objects according to different purposes. I compare three different monistic accounts of natural kinds with the pluralism advocated by promiscuous realism. The analysis of some examples of the classification of celestial objects suggest that there are indeed different legitimate ways of classifying things according to different purposes; contrary to monism, (...) the boundaries between kinds are not fixed. These results show that promiscuous realism is a better account of natural kind. (shrink)