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.

The paper is a rejoinder to a challenge against the particularist version of the mental files framework posed by the relationist approach based on the notion of content coordination [such as recent attempt by Rachel Goodman and Aidan Gray in ]. Relationists argue that important explanatory goals of MFF: could be achieved without positing files as mental particulars, as there is a relationist notion of content coordination at hand that can be aptly used for “filing without files”; and should be (...) so achieved, as there are difficulties that afflict the particularist approach to MFF and the relationist account is simply better. However, both claims should be rejected. The particularist approach to MFF, properly interpreted, would not get into the troubles it is accused of generating. Indeed, it is the relationist approach that gets in trouble. Specifically, it lacks resources for explanation of nuances, which can be easily accounted for in terms of particularist interpretation, and, furthermore, it lowers the interdisciplinary standing of the whole framework. The particularist version is therefore better. (shrink)

According to the contemporary consensus, when reaching in the lexicon grammar looks for items like nouns, verbs, and prepositions while logic sees items like predicates, connectives, and quantifiers. In fact, there doesn’t seem to be a single lexical category contemporary grammar and logic both make use of. I hope to show that while a perfect match between the lexical categories of grammar and logic is impossible there can be a substantial overlap. I propose semantic definitions for all the major parts (...) of speech . I argue that the differences among these categories can be captured in terms of distinctions recognized in logic. (shrink)

This paper develops a compositional, type-driven constraint semantic theory for a fragment of the language of subjective uncertainty. In the particular application explored here, the interpretation function of constraint semantics yields not propositions but constraints on credal states as the semantic values of declarative sentences. Constraints are richer than propositions in that constraints can straightforwardly represent assessments of the probability that the world is one way rather than another. The richness of constraints helps us model communicative acts in essentially the (...) same way that we model agents’ credences. Moreover, supplementing familiar truth-conditional theories of epistemic modals with constraint semantics helps capture contrasts between strong necessity and possibility modals, on the one hand, and weak necessity modals, on the other. (shrink)

Bertrand Russell's 1903 masterpiece "The Principles of Mathematics" places great emphasis on the need to separate propositions from psychological items such as thoughts. In 1919 Russell explicitly retracts this view, however, and defines propositions as "psychological occurrences". These psychological occurrences are held by Russell to be mental images. In this paper, I seek to explain this radical change of heart. I argue that Russell's re-psychologising of the proposition in 1919 can only be understood against the background of his struggle with (...) the problem of the unity of the proposition in earlier work. Once this is recognized, and the solution to the problem offered by the 1919 theory is appreciated, new light is also shed on Russell's naturalism. I go on to compare Russell's psychological "picture theory" with the vehemently anti-psychological picture theory of Wittgenstein's "Tractatus Logico-Philosophicus" and suggest that, once the background of the dispute is brought into clearer focus, Russell's position can be seen to have many advantages over its more celebrated rival. (shrink)

It is fairly well known that Wittgenstein's criticisms of Russell's multiple‐relation theory of judgement had a devastating effect on the latter's philosophical enterprise. The exact nature of those criticisms however, and the explanation for the severity of their consequences, has been a source of confusion and disagreement amongst both Russell and Wittgenstein scholars. In this paper, I offer an interpretation of those criticisms which shows them to be consonant with Wittgenstein's general critique of Russell's conception of logic and which serves (...) to elucidate some of the notoriously enigmatic passages of the Tractatus. In particular, I seek to show the continuity of Wittgenstein's criticisms of the theory of judgement with his remarks on Russell's paradox and the theory of types. In addition, I place these issues in the context of Russell's own philosophical ambitions in order to reveal the deep divisions between the two over the nature of logical form and the analysis of propositional content. (shrink)

There are two common reactions to Frege’s claim that some senses and thoughts are private. Privatists accept both private senses and thoughts, while intersubjectivists don’t accept either. Both sides agree on a pair of tacit assumptions: first, that private senses automatically give rise to private thoughts; and second, that private senses and thoughts are the most problematic entities to which Frege’s remarks on privacy give rise. The aim of this paper is to show that both assumptions are mistaken. This will (...) motivate a so far neglected, reconciliatory position between privatism and intersubjectivism according to which all thoughts are public while some senses are private. (shrink)

There is a salient contrast in how theoretical representations are regarded. Some are regarded as revealing the nature of what they represent, as in familiar cases of theoretical identification in physical chemistry where water is represented as hydrogen hydroxide and gold is represented as the element with atomic number 79. Other theoretical representations are regarded as serving other explanatory aims without being taken individually to reveal the nature of what they represent, as in the representation of gold as a standard (...) for pre-20th century monetary systems in economics or the representation of the meaning of an English sentence as a function from possible worlds to truth values in truth-conditional semantics. Call the first attitude towards a theoretical representation *realist* and the second attitude *instrumentalist*. Philosophical explanation purports to reveal the nature of whatever falls within its purview, so it would appear that a realist attitude towards its representations is a natural default. I offer reasons for skepticism about such default realism that emerge from attending to several case studies of philosophical explanation and drawing a general metaphilosophical moral from the foregoing discussion. (shrink)

In part 4 of Meaning, Expression, and Thought, Davis rejects what he calls Fregean ideational theories, according to which the meaning of an expression is an idea; and then presents his own account, which states that, e.g., the meaning of ‘Primzahl’ in German is the property of meaning prime number. Before casting doubt on the latter ontology of meanings, I come to Frege’s defence by pointing out that he was not an advocate of the position Davis named after him because (...) Fregean senses are not lexical meanings and Fregean thoughts are not types of mental events. (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)

I present the realist conception of logic supported by Oswaldo Chateaubriand which integrates ontological and epistemological aspects, opposing it to mathematical and linguistic conceptions. I give special attention to the peculiarities of his hierarchy of types in which some properties accumulate and others have a multiple degree. I explain such deviations of the traditional conception, showing the underlying purpose in each of these peculiarities. I compare the ideas of Chateaubriand to the similar ideas of Frege, Tarski and Gödel. I suggest (...) a view of the logical properties in terms of the Aristotelian notion of focal meaning and I give a formal expression to the type of the entities in the hierarchy proposed by Chateaubriand. (shrink)

In this paper, I both propose and discuss a novel account of truthmaking. I begin by showing what truthmaking is not: it is not grounding and it is not correspondence. I then show what truthmaking is by offering an account that appeals both to grounding and what I call ‘deep correspondence’. After I present the account and show that it is an account that unifies, I put it to work by showing how it can overcome an objection to truthmaking, how (...) we can get truthmaking from correspondence, what it says about truthmaker necessitation, and how it can explain a connection between truthmaker maximalism and pluralism about truth. (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)

Entre los múltiples temas de la fenomenoogía, el de la intencionalidad es un concepto clave que permite tentar una interpretación del significado del pensamiento husserliano respecto de su difícil relación con la modernidad de su puesto en la filosofía contemporánea. La presente contribución sigue las huellas de este concepto en la obra temprana de Edmund Husserl. Paralelamente, aborda la posición de Husserl respecto de la equivoca noción de conciencia" o "subjetividad" la que, siguiendo ciertas concepciones de la modernidad, se venía (...) entendiendo hacia fines del siglo XIX como inmanencia" o "presencia a si'. Algunos textos tempranos de Husserl son puestos en relación con la primera edición de su Quinta Investigación Lógica" (1901), por ser este el "lugar" en el que se halla expuesta, de todo quizás privilegiado, la tensión husserliana entre la "tradición" y la "cosa misma". (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.

The paradox of the concept horse has often been taken to be devastating for Frege’s ontological distinction between objects and concepts. I argue that if we consider how the concept-object distinction is supposed to account for the unity of linguistic meaning, it transpires that the paradox is in fact not paradoxical.

This essay presents a philosophical and computational theory of the representation of de re, de dicto, nested, and quasi-indexical belief reports expressed in natural language. The propositional Semantic Network Processing System (SNePS) is used for representing and reasoning about these reports. In particular, quasi-indicators (indexical expressions occurring in intentional contexts and representing uses of indicators by another speaker) pose problems for natural-language representation and reasoning systems, because--unlike pure indicators--they cannot be replaced by coreferential NPs without changing the meaning of the (...) embedding sentence. Therefore, the referent of the quasi-indicator must be represented in such a way that no invalid coreferential claims are entailed. The importance of quasi-indicators is discussed, and it is shown that all four of the above categories of belief reports can be handled by a single representational technique using belief spaces containing intensional entities. Inference rules and belief-revision techniques for the system are also examined. (shrink)

Quine’s thesis of the indeterminacy of translation has puzzled the philosophical community for several decades. It is unquestionably among the best known and most disputed theses in contemporary philosophy. Quine’s classical argument for the indeterminacy thesis, in his seminal work Word and Object, has even been described by Putnam as “what may well be the most fascinating and the most discussed philosophical argument since Kant’s Transcendental Deduction of the Categories” (Putnam, 1975a: p. 159).

David Chalmers’ two-dimensionalism is an ambitious philosophical program that aims to “ground” or “construct” Fregean meanings and restore “the golden triangle” of apriority, necessity, and meaning that Kripke seemingly broke. This paper aims to examine critically what Chalmers’ theory can in reality achieve. It is argued that the theory faces severe challenges. There are some gaps in the overall arguments, and the reasoning is in some places somewhat circular. Chalmers’ theory is effectively founded on certain strong philosophical assumptions. It is (...) concluded that it is unclear whether the theory can deliver all it promises. (shrink)

Frege’s rejection of singular reference to concepts is centrally implicated in his notorious paradox of the concept horse. I distinguish a number of claims in which that rejection might consist and detail the dialectical difficulties confronting the defense of several such claims. Arguably the least problematic such claim—that it is simply nonsense to say that a concept can be referred to with a singular term—has recently received a novel defense due to Robert Trueman. I set out Trueman’s argument for this (...) claim, identifying and remedying some omissions and errors of formulation therein. I then develop a response to the argument by showing, pace Trueman, that it is possible—and how it is possible—to express identities between objects and concepts. (shrink)

Russell's notion of an incomplete symbol has become a standard against which philosophers compare their views on the relationship between language and the world. But Russell's exact characterization of incomplete symbols and the role they play in his philosophy are still disputed. In this paper, I trace the development of the notion of an incomplete symbol in Russell's philosophy. I suggest – against Kaplan, Evans, and others – that Russell's many characterizations of the notion of an incomplete symbol are compatible. (...) To this end, I examine and reject arguments for the purported incompatibility between declaring an expression to be incomplete and incorporating that symbol into a compositional semantic theory. I then examine how Russell puts the notion of an incomplete symbol to use in metaphysics. (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)

This essay addresses the question of the effect of Russell's paradox on Frege's distinctive brand of arithmetical realism. It is argued that the effect is not just to undermine Frege's specific account of numbers as extensions (courses of value) but more importantly to undermine his general means of explaining the object-directedness of arithmetical discourse. It is argued that contemporary neo-Fregean attempts to revive that explanation do not successfully avoid the central problem brought to light by the paradox. Along the way, (...) it is argued that the need to fend off an eliminative construal of arithmetic can help explain the so-called Caesar problem in the Grundlagen, and that the "syntactic priority thesis" is insufficient to establish the claim that numbers are objects. (shrink)

The increasingly pluralistic character of modern societies has led to questions, not only about the proper use of ethnic-group terms, but also about the correct semantic analysis of them. Here I argue that ethnic-group terms are analogous to other linguistic expressions whose extension is fixed in the way suggested by a causal theory of reference. My view accommodates precisely those scenarios of communication involving ethnic-group terms that will be seen puzzling to Fregeans. At the same time, it undermines the plausibility (...) of skepticism about those terms. (shrink)

By means of a reductio argument, Wittgenstein’s Tractatus calls into question the very idea that we can represent logical form. My paper addresses three interrelated questions: first, what conception of logical form is at issue in this argument? Second, whose conception of logic is this argument intended to undermine? And third, what could count as an adequate response to it? I show that the argument construes logical form as the universal, underlying correlation of any representation and the reality it represents. (...) I further show that the argument seeks to undermine core commitments of Frege’s and Russell’s. But the reductio, as I read it, is not intended to establish the falsity of any of their specific assumptions. Rather, its aim is to make manifest the indeterminacies that underlie the language in which these assumptions are framed, and establish the need for a transformation of that language. So understood, Wittgenstein’s argument exemplifies his idea that philosophy is not a theory, but an activity of elucidation. The interpretation I propose bears on one of the central debates in the literature, namely how we should understand Wittgenstein’s contention that his elucidations succeed despite being nonsensical. (shrink)

While there has been significant philosophical debate on whether nonlinguistic animals can possess conceptual capabilities, less time has been devoted to considering 'talking' animals, such as parrots. When they are discussed, their capabilities are often downplayed as mere mimicry. The most explicit philosophical example of this can be seen in Brandom's frequent comparisons of parrots and thermostats. Brandom argues that because parrots (like thermostats) cannot grasp the implicit inferential connections between concepts, their vocal articulations do not actually have any conceptual (...) content. In contrast, I argue that Pepperberg's work with Alex (and other African grey parrots) provides evidence that the vocal articulations of at least some parrots have conceptual content. Using Frege's insight that numbers assert something about a concept, I argue that Alex's ability to answer the question "How many?" depended upon a prior grasp of conceptual content. Developing this claim, I argue that Alex's arithmetical abilities show that he was capable of using numbers as both concepts and objects. Frege's theoretical insight and Pepperberg's empirical work provide reason to reconsider the capabilities of parrots, as well as what sorts of tasks provide evidence for conceptual content. (shrink)

In this paper, I address a series of arguments recently put forward by Cappelen Review of Philosophy and Psychology 8: 743–762 to the effect that philosophers should not do formal semantics or be concerned with the “minutiae of natural language semantics”. He offers two paths for accessing his ideas. I argue that his arguments fail in favour of the first and cast some doubt on the second in so doing. I then proffer an alternative conception of why exactly philosophers should (...) continue to do formal linguistics which includes both semantics and syntax. (shrink)

In this essay I focus on the idea of the univocity of being, championed by Duns Scotus and given prominence more recently by Deleuze. Although I am interested in how this idea can be established, my primary concern is with something more basic: how the idea can even be properly thought. In the course of exploring this issue, which I do partly by borrowing some ideas about logical syntax from Wittgenstein's Tractatus, I try to show how there can be dialogue (...) between analytic philosophers and those of other traditions. (shrink)

In the article we study the existence predicate \(\varepsilon\) in the context of semantics for first-order modal logic. For a formula \(\varphi\) we define \(\varphi^{\varepsilon}\) - the so called existence relativization. We point to a gap in the work of Fitting and Mendelsohn concerning the relationship between the truth of \(\varphi\) and \(\varphi^{\varepsilon}\) in classes of varying- and constant-domain models. We introduce operations on models which allow us to fill the gap and provide a more general perspective on the issue. (...) As a result we obtain a series of theorems describing the logical connection between the notion of truth of a formula with the existence predicate in constant-domain models and the notion of truth of a formula without the existence predicate in varying-domain models. (shrink)

The identity conception of truth holds that a thinkable is true just in case it is a fact. As such, it sets itself against correspondence theories of truth, while respecting the substantive role played by truth in respect of enquiry. In this article, I motivate and develop that view, and, in so doing, promote a particular conception of sense. This allows me to defend the view from two substantial criticisms. First, that the identity conception of truth is incoherent in respect (...) of its treatment of objects in the realm of reference, and, second, that it is committed to a view of the world in which ordinary objects have no place. (shrink)

How do we construct ad hoc concepts, especially those characterised by emergent properties? A reasonable hypothesis, suggested both in psychology and in pragmatics , is that some sort of inferential processing must be involved. I argue that this inferential processing can be accounted for in associative terms. My argument is based on the notion of inference as associative pattern completion based on schemata, with schemata being conceived in turn as patterns of concepts and their relationships. The possible role of conscious (...) attention in inferential processes of this sort is also addressed. (shrink)

What is a concept? Philosophers have given many different answers to this question, reflecting a wide variety of approaches to the study of mind and language. Nonetheless, at the most general level, there are two dominant frameworks in contemporary philosophy. One proposes that concepts are mental representations, while the other proposes that they are abstract objects. This paper looks at the differences between these two approaches, the prospects for combining them, and the issues that are involved in the dispute. We (...) argue that powerful motivations have been offered in support of both frameworks. This suggests the possibility of combining the two. Unlike Frege, we hold that the resulting position is perfectly coherent and well worth considering. Nonetheless, we argue that it should be rejected along with the view that concepts are abstract objects. (shrink)

Jim Mackenzie; Tottering to Reason and Speech, Journal of Philosophy of Education, Volume 21, Issue 2, 30 May 2006, Pages 247–260, https://doi.org/10.1111/j.146.

Jim Mackenzie; Tottering to Reason and Speech, Journal of Philosophy of Education, Volume 21, Issue 2, 30 May 2006, Pages 247–260, https://doi.org/10.1111/j.146.

I articulate and defend a necessary and sufficient condition for predication. The condition is that a term or term-occurrence stands in the relation of ascription to its designatum, ascription being a fundamental semantic relation that differs from reference. This view has dramatically different semantic consequences from its alternatives. After outlining the alternatives, I draw out these consequences and show how they favour the ascription view. I then develop the view and elicit a number of its virtues.

Frege's views regarding analysis and synomymy have long been the subject of critical discussion. Some commentators, led by Dummett, have argued that Frege was committed to the view that each thought admits of a unique ultimate analysis. However, this interpretation is in apparent conflict with Frege's criterion of synonymy, according to which two sentence express the same thought if one cannot understand them without regarding them as having the same truth–value. In a recent article in this journal, Drai attempts to (...) reconcile Frege's criterion of synonymy with unique ultimate analysis by holding that, for Frege, if two sentences satisfy the criterion without being intensionally isomorphic, at most one of them is a privileged representation of the thought expressed. I argue that this proposal fails, because it conflicts not only with Frege's views of abstraction principles but also with slingshot arguments (including one presented by Drai herself) that accurately reflect Frege's commitment to the view that sentences alike in truth–value have the same Bedeutung. While Drai helpfully connects Frege's views of abstraction principles with such slingshot arguments, this connection cannot become fully clear until we recognise that Frege rejects unique ultimate analysis. (shrink)

The property theory of musical works says that each musical work is a property that is instantiated by its occurrences, that is, the work's performances and playings. The property theory provides ontological explanations very similar to those given by its popular cousin, the type/token theory of musical works, but it is both simpler and stronger. However, type/token theorists often dismiss the property theory. In this essay, I formulate a version of the property theory that identifies each type (thus, each musical (...) work) with a unique property. I then scrutinize the arguments offered for thinking that types, including musical works, are distinct from properties. I respond that no such argument is forceful and conclude that the property theory of musical works is superior to the type/token theory. (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)

Kaplan (1977) proposes a neo-Fregean theory of demonstratives which, despite its departure from a certain problematic Fregean thesis, I argue, ultimately founders on account of its failure to give up the Fregean desideratum of a semantic theory that it provide an account of cognitive significance. I explain why Kaplan's (1989) afterthoughts don't remedy this defect. Finally, I sketch an alternative nonsolipsistic picture of demonstrative reference which idealizes away from an agent's narrowly characterizable psychological state, and instead relies on the robust (...) multiply realizable relation between the skilled agent and demonstrated object.When the unclean spirit has gone out of a person, it wanders through waterless regions looking for a resting place, but it finds none. Then it says, 'I will return to my house from which I came.' When it comes, it finds it empty, swept, and put in order. Then it goes and brings along seven other spirits more evil than itself, and they enter and live there; and the last state of that person is worse than the first. So will it be also with this evil generation. (shrink)

Many philosophers still countenance senses or meanings in the broadly Fregean vein. However, it is difficult to posit the existence of senses without positing quite a lot of them, including at least one presenting every entity in existence. I discuss a number of Cantorian paradoxes that seem to result from an overly large metaphysics of senses, and various possible solutions. Certain more deflationary and nontraditional understanding of senses, and to what extent they fare better in solving the problems, are also (...) discussed. In the end, it is concluded that one must divide senses into various ramified-orders in order to avoid antinomy, but that the philosophical justification of such orders is, as yet, still somewhat problematic. (shrink)