One recent trend in Kant scholarship has been to read Kant as undertaking a project in philosophical semantics, as opposed to, say, epistemology, or transcendental metaphysics. This trend has evolved almost concurrently with a debate in contemporary philosophy of mind about the nature of concepts and their content. Inferentialism is the view that the content of our concepts is essentially inferentially articulated, that is, that the content of a concept consists entirely, or in essential part, in the role that that (...) concept plays in a system of inferences. By contrast, relationalism is the view that this content is fixed by a mental or linguistic item's standing in a certain relation to its object. The historical picture of Kant and the contemporary debate about concepts intersect in so far as contemporary inferentialists about conceptual content often cite Immanuel Kant not only as one of the founding fathers of a tradition that leads more or less straightforwardly to contemporary inferentialism, but also as the philosopher who first saw the fatal flaws in any attempt to articulate the content of our concepts relationally. (shrink)

Frege's extension of his distinction between Sinn and Bedeutung to predicate terms is widely considered to be problematic. Interpreters generally assume that the notion of Bedeutung comprises the name/bearer relation as a prototype and that the extension is justified only in so far as the relation of predicate terms to their alleged referents is analogous to the relation of names to their bearers. However, interpreters have generally paid insufficient attention to Frege's own dealing with the issue. By examining the relevant (...) passages in Frege's writings, I show that the standard ways of talking about Frege's ascription of Bedeutung to predicates as optional, less evident than the ascription of Sinn, and in need of justification are not in accord with Frege's own conception of predicate reference. There is no textual evidence that the extension takes place for analogical reasons and, in particular, no evidence for the claim that the name/bearer relation is used as a prototype. Frege is visibly not concerned with the relation between predicate terms and their referents, but applies the notion of Bedeutung for reasons of principle. There is indeed the invocation of an analogy, but if we consider the argument in which it occurs it appears that it does not play the justificatory role interpreters attribute to it. In sum, Frege's ascription of Bedeutung to predicates does not imply any mysterious or dubious referentiality of predicate terms. (shrink)

This paper provides a new solution to the concept horse paradox. Frege argued no name co-refers with a predicate because no name can be inter-substituted with a predicate. This led Frege to embrace the paradox of the concept horse. But Frege got it wrong because predicates are impurely referring expressions and we shouldn’t expect impurely referring expressions to be intersubstitutable even if they co-refer, because the contexts in which they occur are sensitive to the extra information they carry about their (...) referents. (shrink)

What account of evaluative expressions, such as ‘is beautiful’, ‘is generous’ or ‘is good’, should a Fregean adopt? Given Frege’s claim that predicates can have both a sense and a reference in addition to their extension, an interesting range of only partially explored theoretical possibilities opens to Frege and his followers. My intention here is to briefly present these putative possibilities and explore one of them, namely David Wiggins’ claim that evaluative predicates refer to non-natural concepts and have a sense (...) which is sentiment-involving. In order to defend this claim against objections which aim at showing that evaluative concepts do not really exist, I shall suggest that our awareness of evaluative concepts involves affective (or emotive) states. (shrink)

The analytical philosophy of the last hundred years has been heavily influenced by a doctrine to the effect that the key to the correct understanding of reality is captured syntactically in the ‘Fa’ (or, in more sophisticated versions, in the ‘Rab’) of standard first order predicate logic. Here ‘F’ stands for what is general in reality and ‘a’ for what is individual. Hence “f(a)ntology”. Because predicate logic has exactly two syntactically different kinds of referring expressions—‘F’, ‘G’, ‘R’, etc., and ‘a’, (...) ‘b’, ‘c’, etc.—so reality must consist of exactly two correspondingly different kinds of entity: the general (properties, concepts) and the particular (things, objects). We describe the historical influence of this view, and also show how standard first-order predicate logic can be used for the logical formalization of a more adequate “six category ontology”, which recognizes, at the level of both particulars and universals, not only things or objects but also events and qualities. (shrink)

I reassess the famous arguments of Frank Plumpton Ramsey (1925) against the tenability of the distinction between particulars and universals and discuss their recent elaboration by Fraser MacBride. I argue that Ramsey’s argument is ambiguous between kinds and properties and that his sceptical worries can be resolved once this distinction is taken into account. A crucial role in this dissolution is a notion of what is essential to a property. I close by some epistemological considerations.

Nonconceptualists maintain that there are ways of representing the world that do not reflect the concepts a creature possesses. They claim that the content of these representational states is genuine content because it is subject to correctness conditions, but it is nonconceptual because the creature to which we attribute it need not possess any of the concepts involved in the specification of that content. Appeals to nonconceptual content have seemed especially useful in attempts to capture the representational properties of perceptual (...) experiences, the representational states of pre-linguistic children and non-human animals, the states of subpersonal visual information-processing systems, and the subdoxastic states involved in tacit knowledge of the grammar of a language. Nonconceptual content is also invoked in the explanation of concept possession, concept acquisition, sensorimotor behaviour, and in the analysis of the notion of self-consciousness. The notion of nonconceptual content plays an important role in many discussions about the relationships between perception and thought. (shrink)

RESUMO O presente artigo contempla uma das tentativas mais significativas e controversas de explicar o significado de pejorativos como itens lexicais, a saber, a de Hom e May. Após apresentarmos em linhas gerais a teoria, identificamos conjuntos de sentenças pejorativas que saem verdadeiras nessa teoria e para as quais a questão da sua compatibilidade com a visão por eles defendida (a chamada Inocência Moral e Semântica) permanece em aberto. Explorando o arcabouço teórico padrão da teoria dos modelos em que Hom (...) e May (presumivelmente) trabalham, damos uma prova de sua compatibilidade com a visão. Dado que as questões relativas tanto à importância moral de pejorativos quanto aos efeitos práticos de seu proferimento não são resolvidas pela prova, destacamos, em seguida, implicações morais e pragmáticas indesejáveis para algumas das sentenças pejorativas sob escrutínio, mostrando assim que a visão de Hom e May, interpretada de maneira ampla, não é tão moral e semanticamente inócua como deveria ser. (shrink)

Standard Type Theory, STT, tells us that b^n(a^m) is well-formed iff n=m+1. However, Linnebo and Rayo have advocated the use of Cumulative Type Theory, CTT, has more relaxed type-restrictions: according to CTT, b^β(a^α) is well-formed iff β > α. In this paper, we set ourselves against CTT. We begin our case by arguing against Linnebo and Rayo’s claim that CTT sheds new philosophical light on set theory. We then argue that, while CTT ’s type-restrictions are unjustifiable, the type-restrictions imposed by (...) STT are justified by a Fregean semantics. What is more, this Fregean semantics provides us with a principled way to resist Linnebo and Rayo’s Semantic Argument for CTT. We end by examining an alternative approach to cumulative types due to Florio and Jones; we argue that their theory is best seen as a misleadingly formulated version of STT. (shrink)

_ Source: _Volume 95, Issue 3, pp 368 - 413 Frege famously maintained that concepts are not objects. A key argument of Frege’s for this view is, in outline, as follows: if we are to account for the unity of thought, concepts must be deemed _unsaturated_; since objects are, by contrast, saturated entities, concepts cannot be objects. The author investigates what can be made of this argument and, in particular, of the unsaturated/saturated distinction it invokes. Systematically exploring a range of (...) reconstructions suggested by Frege’s writings, and drawing on contemporary work, the author illustrates that no plausible reconstruction is forthcoming. In essence, it is altogether unclear how to simultaneously substantiate, on the one hand, the claim that unsaturated entities must be recognized in order to account for unity and, on the other, the claim that unsaturatedness is incompatible with objecthood. (shrink)

Husserlian Essentialism is the view, maintained byEdmundHusserl throughout his career, that necessary truths obtain because essentialist truths obtain. In this thesis I have two goals. First, to reconstruct and flesh out Husserlian Essentialism and its connections with surrounding areas of Husserl's philosophy in full detail – something which has not been done yet. Second, to assess the theoretical solidity of the view. As regards the second point, after having presented Husserlian Essentialism in the first two chapters, I raise a serious (...) problem for it in Chapter 3. In the remainder of the thesis I endeavour to solve the problem. In order to do so, I propose to amend both Husserl's theory of essence and his theory of predication. The bulk of the emendation consists in working out an account of essence and an account of predication that do not presuppose, or in any way imply, the claims that: 1) for a universal to be in the essence of an object, either the object or one of its parts must instantiate the universal; 2) for a universal to be truly predicated of an object, either the object or one of its parts must instantiate the universal. These claims, notice, apart from being what gets Husserl in trouble, are well entrenched not only in Husserl's, but in most theories of essence and predication. It is thus interesting to see what an alternative option may be – even regardless of the Husserlian setting in which I work it out. (shrink)

Reference to properties is normally achieved by the use of nominalizations of predicative expressions. I examine the relation between different kinds of these: while, traditionally, the terms 'wisdom' and 'the property of being wise' were thought to be co-referential, in certain contexts they do not seem to be interchangeable salva veritate. Observing this, Friederike Moltmann claims that abstract nouns such as 'wisdom' do not refer to properties. I argue that her theory is flawed and that the existence of the problematic (...) contexts should be explained in non-referential terms. (shrink)

It is commonplace for philosophers to distinguish mere truths from truths that perspicuously represent the world's structure. According to a popular view, the perspicuous truths are supposed to be metaphysically revelatory and to play an important role in the accounts of law-hood, confirmation, and linguistic interpretation. Yet, there is no consensus about how to characterize this distinction. I examine strategies developed by Lewis and by Sider in his Writing the Book of the World which purport to explain this distinction in (...) terms of vocabulary: the truths that represent the world perspicuously have better, joint-carving vocabulary. I argue that the distinction between a perspicuous and mere truth concerns both the vocabulary of the sentence and its grammar. I then show that the collective motivations for distinguishing perspicuous from mere truths do not allow Lewis and Sider to properly impose constraints on grammar. (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)

ABSTRACTFregeans hold that predicates denote things, albeit things different in kind from what singular terms denote. This leads to a familiar problem: it seems impossible to say what any given predicate denotes. One strategy for avoiding this problem reduces the Fregean position to form of nominalism. I develop an alternative strategy that lets the Fregean hold on to the view that predicate denote things by reconceiving the nature of singular denotation and of Fregean objects.

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)

In the first part ("Determination"), I consider different notions of determination, contrast and compare modal with non-modal accounts and then defend two a-modality theses concerning essence and supervenience. I argue, first, that essence is a a-modal notion, i.e. not usefully analysed in terms of metaphysical modality, and then, contra Kit Fine, that essential properties can be exemplified contingently. I argue, second, that supervenience is also an a-modal notion, and that it should be analysed in terms of constitution relations between properties. (...) In the second part ("A Theory of Truthmaking"), I first review the literature on ontological commitment, and argue that the notion of truthmaking is better suited to play its explanatory rôle. I then argue that we should take truthmaker theory seriously, and that we should provide actual truthmakers for all truths there are. In the last chapter of this part, I review Armstrong's truthmaker theories and argue that they are unsatisfactory. I generalise my criticism to an argument against truthmaker necessitarianism, the view that truthmakers necessarily make true the truths they are truthmakers of. In the third part ("Properties and their Kind(s)"), I discuss qualitative determination. I present and endorse the truthmaker argument for universals, and defend universalism against friends of tropes, states of affairs and facts. I then give a novel characterisation of the important class of intrinsic properties, building on Lewis' work. With a workable notion of intrinsicness at hand, I argue that relations are ontologically – but not "ideologically" – dispensable: qualitative determination in general is a matter of intrinsic structure. In the future, I plan to add two parts and to publish my thesis as a book: In the fourth part ("Exemplification"), I argue for the existence of an exemplification relation tying universals and particulars together. I derive theoretical benefits from this relation by providing adverbialist theories of modality and tense and identify exemplification with a type of parthood. In the fifth part ("Qua qua qua"), I investigate the curious and interesting ontological category of so-called "qua-objects" (Picasso-as-a-painter, for example) and argue that they exist, are not identical with transworld indidivuals or modal parts and that they provide (contingent) truthmakers for all true predications. (shrink)

ld English manors have their ghosts. And though I would not want to call analytic philosophy a ‘manor’, nor exactly ‘old’, it certainly is of some decent English origin, and it left adolescence a while ago. No wonder then, that it is not exempt from haunting terrors. One particular spectre has been haunting it for decades; it already gave some analytic pioneers the creeps, and we still now and then find people terrified by it: the ghost of old Bradley has (...) not yet found its rest and keeps on threatening people with his notorious regress. The present essay is a lecture in exorcism; much of the fear old Bradley spread, so I will argue, peters out once we dare to look it in the eye. However, this essay is not primarily exegetical, and especially not an attempt in interpreting Bradley. I find Bradley’s writings, to say the least, not particularly accessible. Discussions of isolated passages from his longer treatises will probably be less fruitful than a careful study of the positions within the whole argumentative structure, supplied by the examination of Bradley’s intellectual upcoming. His treatments on relations and properties, in which he develops the famous regress argument, are motivated by a radical goal: a vindication of some form of monism. To reach this goal, he tries to deconstruct the most basic categories of our ordinary conceptual framework. Thus, he holds that.. (shrink)

Qualifiers such as “insofar as” and “in itself” have always been important ingredients in key philosophical claims. Descartes, for instance, famously argues that insofar as he is a thinker, he is not made of matter, and Kant equally famously argues that we cannot know things in themselves. Neither of these claims is meant to be true without qualification. Descartes is not simply denying that humans consist of matter, and Kant is not simply denying that we know things. Therefore, we cannot (...) even begin to understand such claims without knowing how qualifiers work. Unlike the logic of quantification, however, the logic of qualification is rather underexplored. In this paper, I examine several instances of philosophical uses of qualifiers, taken from Aristotle, Avicenna, Descartes, Kant, and 20th c. action theory. In the light of these examples, I discuss several accounts of how such qualifiers work. (shrink)

Pour contrer le scepticisme au sujet de la connaissance des valeurs, la plupart soutiennent avec John Rawls qu’une croyance comme celle qu’une action est bonne est justifiée dans la mesure où elle appartient à un ensemble de croyances cohérent, ayant atteint un équilibre réfléchi. Christine Tappolet s’inspire des travaux de Max Scheler et d’Alexius von Meinong pour défendre une conception opposée au cohérentisme. La connaissance des valeurs est affirmée dépendre de nos émotions, ces dernières étant conçues comme des perceptions des (...) valeurs. (shrink)

The article scrutinises the semantics of canonical property designators of the forms ‘the property of being F’ and ‘F-ness’. First it is argued that, as their form suggests, the former are definite definitions, albeit of a special sort. Secondly, the prima facie plausible classification of the latter as proper names (which is often met in philosophical writings) is rejected. The semantics of such terms is developed and it is shown how its proper understanding yields important consequences about the concepts expressed (...) by these terms. (shrink)

The Ontological Square is a categorial scheme that combines two metaphysical distinctions: that between types (or universals ) and tokens (or particulars ) on the one hand, and that between characters (or features ) and their substrates (or bearers ) on the other hand. The resulting four-fold classification of things comprises particular substrates, called substances , universal substrates, called kinds , particular characters, called modes or moments , and universal characters, called attributes . Things are joined together in facts by (...) primitive ontological ties or nexus . This article describes a logic that is meant to capture the basic intuitions behind the Ontological Square. Given a minimal correspondence between atomic logical form and ontological structure, the commitment to nexus as a distinct ontological category entails a rehabilitation of copulae as ties of predication. Thus, the Logic of the Ontological Square is a copula calculus rather than a predicate calculus; its soundness and completeness can be established with respect to a model akin to a so-called first-order semantics for standard second-order logic. (shrink)

In this paper I argue that Frege’s concept horse paradox is not easily avoided. I do so without appealing to Wright’s Reference Principle. I then use this result to show that Hale and Wright’s recent attempts to avoid this paradox by rejecting or otherwise defanging the Reference Principle are unsuccessful.

Quantified expressions in natural language generally are taken to act like quantifiers in logic, which either range over entities that need to satisfy or not satisfy the predicate in order for the sentence to be true or otherwise are substitutional quantifiers. I will argue that there is a philosophically rather important class of quantified expressions in English that act quite differently, a class that includes something, nothing, and several things. In addition to expressing quantification, such expressions act like nominalizations, introducing (...) a new domain of objects that would not have been present in the semantic structure of the sentence otherwise. The entities those expressions introduce are of just the same sort as those that certain ordinary nominalizations refer to (such as John's wisdom or John's belief that S), namely they are tropes or entities related to tropes. Analysing certain quantifiers as nominalizing quantifiers will shed a new light on philosophical issues such as the status of properties and the nature of propositional attitudes. (shrink)

I argue that a tripartite analysis of simple statements such as “Bucephalus is a horse”, according to which they divide into two terms and a copula, requires the notion of a repeatable: something such that more than one particular can literally be it. I pose a familiar dilemma with respect to repeatables, and turn to Avicenna for a solution, who discusses a similar dilemma concerning quiddities. I conclude by describing how Avicenna’s quiddities relate to repeatables, and how both quiddities and (...) repeatables may contribute to a tripartite analysis of predication. (shrink)

Words have meaning. Sentences also have meaning, but their meaning is different in kind from any collection of the meanings of the words they contain. I discuss two puzzles related to this difference. The first is how the meanings of the parts of a sentence combine to give rise to a unified sentential meaning, as opposed to a mere collection of disparate meanings (UP1). The second is why the formal ontology of linguistic meaning changes when grammatical structure is built up (...) (UP2). For example, the meaning of a sentence is a proposition evaluable for truth and falsity. In contrast, a collection of the meanings of its parts does not constitute a proposition and is not evaluable for truth. These two puzzles are closely related, since change in formal ontology is the clearest sign of the unity of meaning. The most popular strategy for answering them is taking the meanings of the parts as abstractions from primitive sentence meanings. However, I argue that, given plausible psychological constraints, sentence meanings cannot be taken as explanatory primitives. Drawing on recent work in Generative Grammar and its philosophy, I suggest that the key to both unity questions is to distinguish strictly between lexical and grammatical meaning. The latter is irreducible and determines how lexical content is used in referential acts. I argue that these referential properties determine a formal ontology, which explains why and how formal ontology changes when grammatical structure is built up (UP2). As for UP1, I suggest that, strictly speaking, lexical meanings never combine. Instead, whenever grammar specifies a formal ontology for the lexical meanings entering a grammatical derivation, further lexical (or phrasal) meanings can only specify aspects of this recursive grammatical process. In this way, contemporary grammatical theory can be used to address old philosophical problems. (shrink)

Virtually all currently discussed accounts advert to a shift or replacement of a property or properties in describing what happens to the ordinary words in metaphors. And the mechanism of this shift tends to involve an overt or sometimes hidden appeal to similarity, or to some notion that is essentially connected to it. In the first part of the paper, I argue that this route is a dead end, and in the second part I offer my own preferred alternative. That (...) alternative is not argued for, or developed in detail – that is done in my book Objects of Metaphor – but my main aim in the paper is simply showing how radically it differs from the property route. (shrink)

The problem of the ‘Unity of the Proposition’ is the problem of explaining the difference between a content-expressing declarative sentence and a ‘mere list’ of referents. The prevailing view is that such a problem is to be solved metaphysically, either by reducing our ontology to exclude propositions or universals, or by explaining how it is possible for a certain kind of complex entity – the ‘proposition’– to ‘unify’ its constituents. I argue that these metaphysical approaches cannot succeed; instead the only (...) viable approach is linguistic, identifying features of the (type–) sentence itself that enable it to express a content. Thus the problem of the ‘Unity of the Proposition’ (distinguishing sentences from lists) is distinct from the problem of ‘propositional unity’ (explaining how the constituents of propositions form a unified content). I suggest that, while the latter problem is not pressing, the former does not permit of an answer which applies in generality in all languages; we can only fully explain the Unity of the Proposition for single languages or groups of similar languages. (shrink)