The truth of a statement depends on the world in two ways: what the statement says is true if the world is as the statement says it is; on the other hand, what the expressions in the statement mean depends on what the world is like (for instance, on what conventions are in place). Each of these two kinds of dependence of truth on the world corresponds to one of the dimensions on the two-dimensional semantic framework, developed in the 1970’ (...) in the work of Evans, Kaplan, Kripke and Stalnaker. The introduction provides a systematic overview of the framework, the ideas of its earlier originators, recent developments and criticism. Finally, it gives a brief overview over the contributions to the volume. (shrink)

The Neo-Fregean view individuates concepts at the level of Fregean senses. It is an internalist view according to which concepts can be described as ways of thinking that imply classifications and epistemic/normative inferences. In this paper, I argue that the Neo-Fregean view of concepts adequately characterises the targets of conceptual engineering (CE), which I depict as the activity of purposefully changing our concepts in order to change classifications and/or concept-implicit inferences. I discuss and reject rival views that (...) either reduce the targets of CE to linguistic meanings or classification procedures or characterise concepts in a psychological or concept-externalist manner. I argue that the Neo-Fregean view is a more encompassing and adequate characterisation of the targets of CE. (shrink)

This paper provides a semantics for propositional attitude ascriptions. (In this respect, the title of the paper is quite well chosen.).

In a review of Frege's Puzzle1, Graeme Forbes makes the claim that Salmon's account of belief might be seen, under certain conditions, as a mere notational variant of a neo-Fregean theory; and thus that such an account might be reduced to a neo-Fregean one simply by rewriting it in terms of Fregean terminology. With a view to supporting his claim, Forbes offers an outline of an account of belief which, according to him, would satisfy the following conditions: (...) (i) it could be directly obtained from Salmon's own analysis by means of a certain set of substitutions, which presumably would not affect the essential features of Salmon's view; (ii) it could naturally be described as Fregean, in the sense that it would preserve, (at least) the spirit of Frege's doctrines, especially his fundamental intuitions about belief. Of course, the upshot of Forbes's argument is that Salmon's theory would not, at bottom, constitute a genuine alternative to a Fregean semantics for belief ascriptions. In this paper I argue to the effect that Forbes's claim is not in general sound. It seems to me that the sort of indirect argument used by Forbes - that of trying to undermine Salmon's theory by showing that it is just a version of a neo-Fregean account - does not provide someone working within a Fregean framework with an adequate strategy to counter Salmon's neo-Russellian views. It would perhaps be better to concentrate a Fregean attack on certain apparently dubious and highly controversial theses and results which are constitutive of Salmon's view, e.g. the counterintuitive character of a substantial set of consequences which follow from his theory of belief, as well as the associated revisionist stand he is forced to take towards our current patterns of speaking about belief. (shrink)

In "Has Semantics Rested on a Mistake?", Howard Wettstein denies that semantics must account for cognitive significance. He thus rejects Frege's condition of adequacy for semantics and rids the new theorists from seemingly intractable puzzles. In a more recent article, Wettstein claims that not only reference but even cognitive significance is not a matter of how the referent is presented to the mind of the speaker. In this paper, I submit that the crucial element in the debate (...) between new theorists and neo-Fregeans concerning the semantic significance of language is the connection between semantic matters and the human thougth. (shrink)

In this paper, I argue against the claim recently defended by Josh Weisberg that a certain version of the self-representational approach to phenomenal consciousness cannot avoid a set of problems that have plagued higher-order approaches. These problems arise specifically for theories that allow for higher-order misrepresentation or—in the domain of self-representational theories—self-misrepresentation. In response to Weisberg, I articulate a self-representational theory of phenomenal consciousness according to which it is contingently impossible for self-representations tokened in the context of a conscious mental (...) state to misrepresent their objects. This contingent infallibility allows the theory to both acknowledge the (logical) possibility of self-misrepresentation and avoid the problems of self-misrepresentation. Expanding further on Weisberg’s work, I consider and reveal the shortcomings of three other self-representational models—put forward by Kreigel, Van Gulick, and Gennaro—in order to show that each indicates the need for this sort of infallibility. I then argue that contingent infallibility is in principle acceptable on naturalistic grounds only if we attribute (1) a neo-Fregean kind of directly referring, indexical content to self-representational mental states and (2) a certain ontological structure to the complex conscious mental states of which these indexical self-representations are a part. In these sections I draw on ideas from the work of Perry and Kaplan to articulate the context-dependent semantic structure of inner-representational states. (shrink)

Focusing on the 'today'/'yesterday' case, I argue that Perry is wrong in accounting for and explaining indexical belief states in terms of Kaplanian characters and in taking these states to be internal (narrow) mental states inside the subject's mind. It is shown that this view is at odds with Perry's own reliance on remembering a past day as a necessary condition for retaining a belief about it. As a better tool for explaining appropriate indexical beliefs, I offer an alternative which (...) is neo-Fregean in that it takes senses or modes of presentation as playing only a cognitive, not a semantic role. It, however, takes remembering a past day as necessary for retaining a belief about it, rather than keeping track of time as urged by Evans. I also consider unfeasible Evans's further requirement which he takes over from Frege: that in order to retain a belief about a certain past day we need to think of it now under the same mode of presentation as we did on that very day. (shrink)

A central element in neo-Fregean philosophy of mathematics is the focus on abstraction principles, and the use of abstraction principles to ground various areas of mathematics. But as is well known, not all abstraction principles are in good standing. Various proposals for singling out the acceptable abstraction principles have been presented. Here I investigate what philosophical underpinnings can be provided for these proposals; specifically, underpinnings that fit the neo-Fregean's general outlook. Among the philosophical ideas I consider are: general (...) views on a priori justification; the idea of abstraction as reconceptualization, the idea that truth is prior to reference in the sense associated with Frege's context principle; and various broadly relativistic views. The conclusions are by and large negative. (shrink)

This paper discusses two notational variance views with respect to indexical singular reference and content: the view that certain forms of Millianism are at bottom notational variants of a Fregean theory of reference, the Fregean Notational Variance Claim; and the view that certain forms of Fregeanism are at bottom notational variants of a direct reference theory, the Millian Notational Variance Claim. While the former claim rests on the supposition that a direct reference theory could be easily turned into (...) a particular version of a neo-Fregean one by showing that it is bound to acknowledge certain senselike entities, the latter claim is based upon the supposition that a neo-Fregean theory could be easily turned into a particular version of a Millian one by showing that De Re senses are theoretically superfluous and hence eliminable. The question how many accounts of singular reference and content are we confronted with here — Two different (and mutually antagonistic) theories? Or just two versions of what is in essence the same theory? — is surely of importance to anyone interested in the topic. And this question should be answered by means of a careful assessment of the soundness of each of the above claims. Before trying to adjudicate between the two accounts, one would naturally want to know whether or not there are indeed two substantially disparate accounts. Grosso modo, if the Fregean Claim were sound then we would have a single general conception of singular reference to deal with, viz. Fregeanism; likewise, if the Millian Claim were sound we would be facing a single general conception of singular reference, viz. Millianism. My view is that both the Fregean Notational Variance Claim and its Millian counterpart are wrong, though naturally on different grounds. I have argued elsewhere that the Fregean Notational Variance Claim - considered in its application to the semantics of propositional-attitude reports involving proper names — is unsound. I intend tosupplement in this paper such a result by trying to show that the Millian Claim - taken in its application to the semantics of indexical expressions — should also be rated as incorrect. I focus on a certain set of arguments for the Millian Claim, arguments which I take as adequately representing the general outlook of the Millian theorist with respect to neo-Fregeanism about indexicals and which involve issues about the cognitive significance of sentences containing indexical terms. (shrink)

We discuss abstraction principles in the context of modal and temporal logic. It is argued that abstractionism conflicts with both serious presentism and serious actualism.

This book is both an introduction to and a research work on Meinongianism. “Meinongianism” is taken here, in accordance with the common philosophical jargon, as a general label for a set of theories of existence – probably the most basic notion of ontology. As an introduction, the book provides the first comprehensive survey and guide to Meinongianism and non-standard theories of existence in all their main forms. As a research work, the book exposes and develops the most up-to-date Meinongian theory (...) (called modal Meinongianism), applies it to specific fields, and discusses its open problems. Part I of the book provides a historical introduction to, and critical discussion of, the dominant philosophical view of existence: the “Kantian-Fregean-Quinean” perspective. Part II is the full-fledged introduction to the Meinongian theories of existence as a real property of individuals: after starting with the so-called naïve Meinongian conception and its problems, it provides a self-contained presentation of the main neo-Meinongian proposals, and a detailed discussion of their strengths and weaknesses. Part III develops a specific neo-Meinongian theory of existence employing a model-theoretic semantic framework. It discusses its application to the ontology and semantics of fictional objects, and its open problems. The methodology of the book follows the most recent trends in analytic ontology. In particular, the meta-ontological point of view is largely privileged. (shrink)

In this paper, we present a new semantic framework designed to capture a distinctly cognitive or epistemic notion of meaning akin to Fregean senses. Traditional Carnapian intensions are too coarse-grained for this purpose: they fail to draw semantic distinctions between sentences that, from a Fregean perspective, differ in meaning. This has led some philosophers to introduce more fine-grained hyperintensions that allow us to draw semantic distinctions among co-intensional sentences. But the hyperintensional strategy has a flip-side: it risks drawing (...) semantic distinctions between sentences that, from a Fregean perspective, do not differ in meaning. This is what we call the ‘new problem’ of hyperintensionality to distinguish it from the ‘old problem’ that faced the intensional theory. We show that our semantic framework offers a joint solution to both these problems by virtue of satisfying a version of Frege’s so-called ‘equipollence principle’ for sense individuation. Frege’s principle, we argue, not only captures the semantic intuitions that give rise to the old and the new problem of hyperintensionality, but also points the way to an independently motivated solution to both problems. (shrink)

I develop a problem for the Fregean Reference Shift analysis of that-clause reference. The problem is discussed by Stephen Schiffer in his recent book The Things We Mean (2003). Either the defender of the Fregean Reference Shift analysis must count certain counterintuitive inferences as valid, or else he must reject a plausible Exportation rule. I consider several responses. I find that the best response relies on a Kaplan-inspired analysis of quantified belief reports. But I argue that this response (...) faces some serious problems. (shrink)

As emphasized by Alonzo Church and David Kaplan (Church 1974, Kaplan 1975), the philosophies of language of Frege and Russell incorporate quite different methods of semantic analysis with different basic concepts and different ontologies. Accordingly we distinguish between a Fregean and a Russellian tradition in intensional semantics. The purpose of this paper is to pursue the Russellian alternative and to provide a language of intensional logic with a model-theoretic semantics. We also discuss the so-called Russell-Myhill paradox that (...) threatens simple Russellian type theory if propositions satisfies very strict principles of individuation. One way of avoiding the paradox is to adopt a ramified rather than a simple theory of types. (shrink)

Certain advocates of the so-called “neo-logicist” movement in the philosophy of mathematics identify themselves as “neo-Fregeans” (e.g., Hale and Wright), presenting an updated and revised version of Frege’s form of logicism. Russell’s form of logicism is scarcely discussed in this literature and, when it is, often dismissed as not really logicism at all (in light of its assumption of axioms of infinity, reducibility and so on). In this paper I have three aims: firstly, to identify more clearly the primary meta-ontological (...) and methodological differences between Russell’s logicism and the more recent forms; secondly, to argue that Russell’s form of logicism offers more elegant and satisfactory solutions to a variety of problems that continue to plague the neo-logicist movement (the bad company objection, the embarrassment of richness objection, worries about a bloated ontology, etc.); thirdly, to argue that neo-Russellian forms of logicism remain viable positions for current philosophers of mathematics. (shrink)

There are two dominant approaches to quantification: the Fregean and the Tarskian. While the Tarskian approach is standard and familiar, deep conceptual objections have been pressed against its employment of variables as genuine syntactic and semantic units. Because they do not explicitly rely on variables, Fregean approaches are held to avoid these worries. The apparent result is that the Fregean can deliver something that the Tarskian is unable to, namely a compositional semantic treatment of quantification centered on (...) truth and reference. We argue that the Fregean approach faces the same choice: abandon compositionality or abandon the centrality of truth and reference to semantic theory. Indeed, we argue that developing a fully compositional semantics in the tradition of Frege leads to a typographic variant of the most radical of Tarskian views: variabilism, the view that names should be modeled as Tarskian variables. We conclude with the consequences of this result for Frege's distinction between sense and reference. (shrink)

The puzzle of material constitution can be expressed in at least two ways. First, how can the constituting object and the constituted object, which are materially and spatially coincident, be regarded as different objects? Second, how can the constituting object and the constituted object, which are qualitatively distinct, be regarded as identical objects? Monists argue that the constituting and constituted objects are identical since they are materially and spatially coincident and the property differences between then are simply differences in description, (...) perspective or context. In contrast, pluralists argue that the constituting and constituted objects are not identical even if they are materially and spatially coincident since they are qualitatively distinct. This paper proposes a solution to the puzzle of material constitution called ‘Fregean Monism’ (FM), and shows that it can better account for the property differences between the constituting and constituted objects without the need to regard them as two distinct objects. On the FM view, the puzzle of material constitution is partly a semantic puzzle and partly a metaphysical puzzle, and shows how a solution to the semantic part of the puzzle, based on the Fregean distinction between sense and reference, can yield a satisfactory solution to the metaphysical part of the puzzle. The key idea is that while the reference of a term picks out both the referent object and referent properties, the sense of the term determine which referent properties are picked out. (shrink)

This paper is partly exegetical, partly systematic. I argue that Frege's account of what he called “colouring” contains some important insights on how communication is related to mental states such as mental images or emotions. I also show that the Fregean perspective is supported by current research in psycholinguistics and that a full understanding of some linguistic phenomena that scholars have accounted for in terms of either semantics or pragmatics need involve psycholinguistic elements.

There is a long-standing gap in the literature as to whether Gödelian incompleteness constitutes a challenge for Neo-Logicism, and if so how serious it is. In this paper, I articulate and address the challenge in detail. The Neo-Logicist project is to demonstrate the analyticity of arithmetic by deriving all its truths from logical principles and suitable definitions. The specific concern raised by Gödel’s first incompleteness theorem is that no single sound system of logic syntactically implies all arithmetical truths. I set (...) out some responses that initially seem appealing and explain why they are not compelling. The upshot is that Neo-Logicism either offers an epistemic route only to some truths of arithmetic; or that it has to move from a syntactic to a semantic notion of logical consequence, which risks undermining its epistemic goals. I conclude by considering Crispin Wright’s recent attempt to address Gödelian incompleteness, which I argue is not satisfactory. (shrink)

n this paper I take up these proposals, giving reasons to incorporate semantic features associated with proper names over and above their referent in any (genuine) semantic account of natural language. I also argue that my proposal is compatible with the main points made in Naming and Necessity, by contending that not Millianism but externalism was the claim most forcefully argued for in that impressive piece of work.

In a previous issue of Philosophia Christi, Kirk MacGregor responded to an essay of mine in which I argued for a neo-Molinist account of open theism. The argument demonstrated how, given standard counterfactual semantics, one could derive an “open future square of opposition,” that is, a depiction of the logical relations that hold between future-tense statements from an open theistic standpoint. Conceding the validity of the argument, MacGregor nevertheless sought to deny its soundness by criticizing both its conclusion and (...) the Stalnaker-Lewis semantics on which the argument was based. In this paper, I argue that MacGregor’s reasons for rejecting the open future square, as well as his Molinist alternative to the Stalnaker-Lewis semantics, are uncompelling. (shrink)

One of the most prominent myths in analytic philosophy is the so- called “Fregean Axiom”, according to which the reference of a sentence is a truth value. In contrast to this referential semantics, a use-based formal semantics will be constructed in which the logical value of a sentence is not its putative referent but the information it conveys. Let us call by “Question Answer Semantics” (thereafter: QAS) the corresponding formal semantics: a non-Fregean many-valued logic, (...) where the meaning of any sentence is an ordered n-tupled of yes-no answers to corresponding questions. A sample of philosophical problems will be approached in order to justify the relevance of QAS. These include: (1) illocutionary forces, and the logical analysis of speech-acts; (2) the variety of logical negations, and their characterization in terms of restricted ranges of logical values; (3) change in meaning, and the use of dynamic oppositions for belief sets. (shrink)

Deflationary positions have been defended in many areas of philosophy. Most prominent are semantic deflationism about truth and reference, and meta-ontological deflationism, according to which existence has no deep nature and the standard neo-Quinean approach to ontology is misguided. Although both kinds of views have generated much discussion, surprisingly little attention has been paid to the question of how they relate to each other. Are they independent, is it advisable to hold them all at once, or do they even entail (...) each other? One exception is Amie Thomasson, who has argued that semantic deflationism actually entails meta-ontological deflationism. This is unexpected, since semantic deflationism is usually regarded as much less controversial than meta-ontological deflationism. In our paper, we will argue that Thomasson’s argument fails though, and that the connection between the views is in fact weaker than she makes them out to be. (shrink)

According to ethical neo-expressivism, all declarative sentences, including those used to make ethical claims, have propositions as their semantic contents, and acts of making an ethical claim are properly said to express mental states, which (if motivational internalism is correct) are intimately connected to motivation. This raises two important questions: (i) The traditional reason for denying that ethical sentences express propositions is that these were thought to determine ways the world could be, so unless we provide an analysis of ethical (...) terms in terms of natural properties, are we not committed to the Moorean conclusion that ethical sentences describe sui generis “nonnatural” ways the world could be? (ii) If we reject the claim that motivational attitudes constitute any part of the semantics of ethical sentences, are we not committed to denying the intuition behind motivational internalism after all? This chapter argues for negative answers to both of these questions. (shrink)

I develop an expressivist account of verbal disagreements as practical disagreements over how to use words rather than factual disagreements over what words actually mean. This account enjoys several advantages over others in the literature: it can be implemented in a neo-Stalnakerian possible worlds framework; it accounts for cases where speakers are undecided on how exactly to interpret an expression; it avoids appeals to fraught notions like subject matter, charitable interpretation, and joint-carving; and it naturally extends to an analysis of (...) metalinguistic negotiations. (shrink)

Adviser: Professor Stefan Baumrin In the first chapter I introduce the distinction between metaethics and normative ethics and argue that metaethics, properly conceived, is a part of cognitive science. For example, the debate between rationalism and sentimentalism can be informed by recent empirical work in psychology and the neurosciences. In the second chapter I argue that the traditional view that one’s theory of semantics determines what one’s theory of justification must be is mistaken. Though it has been the case (...) that there are ‘typical’ combinations of semantic and justificational theories this is by no means forced on one. In the third chapter I examine two current kinds of expressivism; that of Blackburn and Copp. Each gives us an example of different combinations of semantic and justificatory theory. In Blackburn’s case he combines a use theory of meaning with a classic emotivist theory of justification, In Copp’s case it is a neo-Gricean philosophy of language with a realist’s theory of justification. I find both of these wanting as they ultimately collapse into relativistic subjectivism. In the fourth and fifth chapter I turn to developing Emotive Realism. The basic idea behind this view is that when someone says ‘x is wrong/right’ that person has (a) expressed a moral emotion about x and at the same time (b) expressed the belief that the emotion in (a) is the correct one to have. The belief expressed in (b) will be true or false depending on one’s theory of justification. In the fourth chapter I argue that we need separate semantic theories for thoughts and sentences. In the fifth chapter I fill in the details of Emotive Realism as I see it. (shrink)

Neo-Fregeans such as Bob Hale and Crispin Wright seek a foundation of mathematics based on abstraction principles. These are sentences involving a relation called the abstraction relation. It is usually assumed that abstraction relations must be equivalence relations, so reflexive, symmetric and transitive. In this article I argue that abstraction relations need not be reflexive. I furthermore give an application of non-reflexive abstraction relations to restricted abstraction principles.

Neo-Fregean logicists claim that Hume’s Principle (HP) may be taken as an implicit definition of cardinal number, true simply by fiat. A long-standing problem for neo-Fregean logicism is that HP is not deductively conservative over pure axiomatic second-order logic. This seems to preclude HP from being true by fiat. In this paper, we study Richard Kimberly Heck’s Two-Sorted Frege Arithmetic (2FA), a variation on HP which has been thought to be deductively conservative over second-order logic. We show that (...) it isn’t. In fact, 2FA is not conservative over n-th order logic, for all $n \geq 2$. It follows that in the usual one-sorted setting, HP is not deductively Field-conservative over second- or higher-order logic. (shrink)

This paper will first give an overview of the role of events in semantics against the background of Davidsonian semantics and its Neo-Davidsonian variant. Second, it will discuss some serious issues for standard views of events in contemporary semantics and present novel proposals of how to address them. These are [1] the semantic role of abstract (or Kimean) states, [2] wide scope adverbials, and [3] the status of verbs as event predicates with respect to the mass-count distinction. (...) The paper will show that abstract states as the entities described by (most) stative verbs are incompatible with Neo-Davidsonian event semantics and proposes a decompositional analysis of stative verbs that may be able to overcome the difficulty. The paper will argue that in addition to Davidsonian events, the semantics of adverbials requires events as truthmakers as well as actions as more complex entities sharply distinguished from events. The paper will also argue that the verbal domain of events sides with mass nouns rather than dividing into mass and count, unlike event nouns. (shrink)

In a pair of recent essays, William Lane Craig has argued that certain open theist understandings of the nature of the future are both semantically and modally confused. I argue that this is not the case and show that, if consistently observed, the customary semantics for counterfactuals Craig relies on not only undermine the validity of his complaint against the open theist, they actually support an argument for the openness position.

The article develops a correctness theory of truth (CTT) for semantic information. After the introduction, in section two, semantic information is shown to be translatable into propositional semantic information (i). In section three, i is polarised into a query (Q) and a result (R), qualified by a specific context, a level of abstraction and a purpose. This polarization is normalised in section four, where [Q + R] is transformed into a Boolean question and its relative yes/no answer [Q + A]. (...) This completes the reduction of the truth of i to the correctness of A. In sections five and six, it is argued that (1) A is the correct answer to Q if and only if (2) A correctly saturates (in a Fregean sense) Q by verifying and validating it (in the computer science’s sense of “verification” and “validation”); that (2) is the case if and only if (3) [Q + A] generates an adequate model (m) of the relevant system (s) identified by Q; that (3) is the case if and only if (4) m is a proxy of s (in the computer science’s sense of “proxy”) and (5) proximal access to m commutes with the distal access to s (in the category theory’s sense of “commutation”); and that (5) is the case if and only if (6) reading/writing (accessing, in the computer science’s technical sense of the term) m enables one to read/write (access) s. The last section draws a general conclusion about the nature of CTT as a theory for systems designers not just systems users. (shrink)

I explain and criticize a theory of beliefs and of belief sentences offered by Graeme Forbes. My main criticism will be directed at Forbes' idea that, as a matter of the semantic rules of belief reporting -- as a matter of the meaning of belief ascriptions -- to get at the subject's way of thinking in an attitude ascription, we must use expressions that are "linguistic counterparts" of the subject's expressions. I think we often do something like that, but that (...) we have other, equally good methods of getting at ways of thinking; so what is wanted is a more inclusive characterization of the rules of belief reporting by which we manage to do it -- a characterization more along the lines of: anything goes. (shrink)

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)

Neo-Fregean approaches to set theory, following Frege, have it that sets are the extensions of concepts, where concepts are the values of second-order variables. The idea is that, given a second-order entity $X$, there may be an object $\varepsilon X$, which is the extension of X. Other writers have also claimed a similar relationship between second-order logic and set theory, where sets arise from pluralities. This paper considers two interpretations of second-order logic—as being either extensional or intensional—and whether either (...) is more appropriate for this approach to the foundations of set theory. Although there seems to be a case for the extensional interpretation resulting from modal considerations, I show how there is no obstacle to starting with an intensional second-order logic. I do so by showing how the $\varepsilon$ operator can have the effect of “extensionalizing” intensional second-order entities. (shrink)

A wide variety of concepts are nowadays considered to be hyperintensional, and some of them do not seem to involve our representational attitudes. This led some philosophers to identify and defend a notion of worldly hyperintensionality: the idea that some hyperintensional phenomena derive from features of objective reality, independently of how we represent it. Against this view, Darragh Byrne and Naomi Thompson argue that the correct understanding of such phenomena must be conceptualist in nature, and claim that hyperintensionality always derives (...) from features of representations. In the present work I defend the genuine distinction between worldly and representational hyperintensionality through a new framing of the issue: the comparison with worldly intensionality. I argue that locating the sources of hyperintensionality should not be affected by preferences towards any specific semantic framework, and reject Byrne and Thompson's argument against worldly hyperintensionality. (shrink)

In his groundbreaking book, Thin Objects, Linnebo (2018) argues for an account of neo-Fregean abstraction principles and thin existence that does not rely on analyticity or conceptual rules. It instead relies on a metaphysical notion he calls “sufficiency”. In this short discussion, I defend the analytic or conceptual rule account of thin existence.

How do we acquire the notions of cardinality and cardinal number? In the (neo-)Fregean approach, they are derived from the notion of equinumerosity. According to some alternative approaches, defended and developed by Husserl and Parsons among others, the order of explanation is reversed: equinumerosity is explained in terms of cardinality, which, in turn, is explained in terms of our ordinary practices of counting. In their paper, ‘Cardinality, Counting, and Equinumerosity’, Richard Kimberly Heck proposes that instead of equinumerosity or counting, (...) cardinality is derived from a cognitively earlier notion of _just as many_. In this paper, we assess Heck’s proposal in terms of contemporary theories of number concept acquisition. Focusing on bootstrapping theories, we argue that there is no evidence that the notion of _just as many_ is cognitively primary. Furthermore, since the acquisition of cardinality is an enculturated process, the cognitive primariness of these notions, possibly including _just as many_, depends on various external cultural factors. Therefore, being possibly a cultural construction, _just as many_ could be one among several notions used in the acquisition of cardinality and cardinal number concepts. This paper thus challenges those accounts which seek for a fundamental concept underlying all aspects of numerical cognition. (shrink)

This is what I hope is an illuminating, and to a certain degree, novel exposition of Montague Grammar. It is against many standard interpretations, and perhaps even against things Montague himself says at times. However, it makes more sense of how his various commitments fit together in a systematic way. Why, for instance, is it called "Montague Grammar" rather than "Montague Semantics," and what role does his commitment to Fregeanism plays in his conception of language? It is clear that (...) he is committed to the idea that function application is the fundamental mode of semantic composition, and that he is committed to an intensional framework. However, intensions have, since Carnap, been understood as nearly conceptually equivalent to functions from possible worlds to sets of individuals. But, in truth, possible worlds semantics is just dressed up extensional semantics. There are just more objects to go around to serve as inputs for functions, whatever we think of their ontological status. That is, possible worlds semantics is really a semantic reduction of intensional semantics achieved by expanding our ontological commitments. It would be difficult to make sense of Montague's strong commitment to Fregean semantics, if his notion of intension was that of Carnap's. According to my interpretation, Montague's notion of intension must be distinct from the version adopted by possible world semantics. Montague took seriously the idea that intensional semantics was something quite different from extensionalist semantics. The first was not reducible to the second semantically speaking. Just as Frege believed that meaning consisted of both sense and reference, so too did Montague. However, just as Frege also believed, Montague thought that sense and reference were systematically related. As I illustrate, interpreting Montague as adopting a different notion of intension can also resolve the apparent problem of distinguishing the difference in meaning between intensional equivalents. It might also enable us to draw a distinction in epistemic logic between an agent having contradictory beliefs and believing contradictions. (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)

This paper is concerned with neo-Fregean accounts of reference to abstract objects. It develops an objection to the most familiar such accounts, due to Bob Hale and Crispin Wright, based upon what I call the 'proliferation problem': Hale and Wright's account makes reference to abstract objects seem too easy, as is shown by the fact that any equivalence relation seems as good as any other. The paper then develops a response to this objection, and offers an account of what (...) it is for abstracta to exist that is Fregean in spirit but more robust than familiar views. (shrink)

Content nonconceptualism and State conceptualism are motivated by different readings of what I want to call here Bermúdez’s conditions on content-attribution (2007). In one read- ing, what is required is a neo-Fregean content to solve problems of cognitive significance at the nonconceptual level (Toribio, 2008; Duhau, 2011). In the other reading, what is required is a neo-Russellian or possible-world content to account for how conspecifics join attention and cooperate, contemplating the same things from different perspectives in the same perceptual (...) field. The solution to this apparent contradiction is the rejection of the real content view and the adherence to what I call here Content-pragmatism: there is no such thing as the content of experience. According to content pragmatism, “proposition” is not as real as a mental state, but rather, it is a term of art that semanticists use, as a matter of theoretical convenience, to classify mental states. What follows from Content-pragmatism is Content- pluralism: there are so many contents that are required to meet Bermúdez’s condition on content attribution. Because both criticism and the defense of State conceptualism overlook the real scope of Bermúdez’s condition on content attribution, they are ineffective. In this paper, I will argue that the opposition between State and Content nonconceptualism is a real one, but only a relative one, that is, relative to the opposite constraints to be met. If we want to solve the problems of cognitive significance, the best we can do is to let the content of experience be modeled as neo-Fregean content, namely, a compound of nonconceptual modes of presentation of objects and properties. In this case, Content-nonconceptualism prevails. In contrast, if we want to account for how conspecifics join attention to the same entities in the same perceptual field from different perspectives, the best we can do is let the content of experience be modeled either as a structured Russellian proposition or as a function from possible worlds to truth-values. In this case, State-nonconceptualism prevails. (shrink)

Despite the recent increase in interest in philosophy about ignorance, little attention has been paid to the question of what makes it possible for a being to become aware of their own ignorance. In this paper, I try to provide such an account by arguing that, for a being to become aware of their own ignorance, they must have the mental capacity to represent something as being unknown to them. For normal adult humans who have mastered a language, mental representation (...) of an unknown is enabled by forming linguistic expressions whose content is grasped, but whose referent is unknown. I provide a neo-Fregean, a neo-Russellian, and then a unified account of this. On that basis, I then argue further that the content of ignorance can always be captured by a question. I then distinguish between propositional ignorance and non-propositional ignorance and argue that propositional ignorance attributions can be of three types, that-ignorance, whether-ignorance, and fact-ignorance. I conclude by arguing that the acquisition of truths, even when it yields knowledge that is certain, does not always eliminate one’s ignorance and that there is a degree of ignorance in almost everything we claim to know. (shrink)

In this paper we give some suggestions from etymology on the contrast between Kaplan’s direct reference theory and a neo-Fregean view on indexicals. After a short summary of the philosophical debate on indexicals (§1), we use some remarks about the hidden presence of a demonstrative root in all indexicals to derive some provisional doubts concerning Kaplan’s criticism of what he calls “sloppy thinker” (§2). To support those doubts, we will summarise some etymological data on the derivation of the so-called (...) “pure indexicals” from an original demonstrative root (§ 3). The aim of the paper is to consider etymological data as providing evidence for alternative theories of language and fostering new directions in linguistic and philosophical research on specific topics. (shrink)

A formal theory of oppositions and opposites is proposed on the basis of a non- Fregean semantics, where opposites are negation-forming operators that shed some new light on the connection between opposition and negation. The paper proceeds as follows. After recalling the historical background, oppositions and opposites are compared from a mathematical perspective: the first occurs as a relation, the second as a function. Then the main point of the paper appears with a calculus of oppositions, by means (...) of a non-Fregean semantics that redefines the logical values of various sorts of sentences. A num- ber of topics are then addressed in the light of this algebraic semantics, namely: how to construct value-functional operators for any logical opposition, beyond the classical case of contradiction; Blanché's "closure problem", i.e., how to find a complete structure connecting the sixteen binary sentences with one another. All of this is meant to devise an abstract theory of opposition: it encompasses the relation of consequence as subalternation, while relying upon the use of a primary "proto- negation" that turns any relatum into an opposite. This results in sentential negations that proceed as intensional operators, while negation is broadly viewed as a difference-forming operator without special constraints on it. (shrink)

It is claimed hereby that, against a current view of logic as a theory of consequence, opposition is a basic logical concept that can be used to define consequence itself. This requires some substantial changes in the underlying framework, including: a non-Fregean semantics of questions and answers, instead of the usual truth-conditional semantics; an extension of opposition as a relation between any structured objects; a definition of oppositions in terms of basic negation. Objections to this claim will (...) be reviewed. (shrink)

Fregeans face the difficulty finding a notation for distinguishing statements about the sense or meaning of an expression as opposed to its reference or denotation. Famously, in "On Denoting", Russell rejected methods that begin with an expression designating its denotation, and then alter it with a "the meaning of" operator to designate the meaning. Such methods attempt an impossible "backward road" from denotation to meaning. Contemporary neo-Fregeans, however, have suggested that we can disambiguate _with_, rather than _against_, the grain, by (...) using a notation that begins with expressions designating senses or meanings, and then alters them with a "the denotation of" operator to designate the denotation. I show that in his manuscripts of 1903–05, Russell both considered and rejected a similar notation along with the metaphysical suppositions underlying it. This discussion sheds light on the evolution of Russell's thought, and may yet be instructive for ongoing debates. (shrink)

One of the issues that has been hotly discussed in connection with the direct designation theory is whether or not coreferential names can be substituted salva veritate in epistemic contexts. Some direct designation theorists believe that they can be so substituted. Some direct designation theorists and all Fregeans and neo-Fregeans believe that they cannot be so substituted. Fregeans of various stripes have used their intuition against free substitution to argue against the direct designation theory. Some direct designation theorists have used (...) the same intuitions to argue against the view that belief reports of simple declarative sentences can be accounted for with singular propositions. This paper has two main goals; first, to show that the discussion of the issue has tended to treat all epistemic contexts equally, and second, to argue that we should not treat substitutions in contexts that involve justification (and hence knowledge) in the same way as we treat substitution in simple belief contexts, i.e., contexts that just involve the belief relation. (shrink)

Vendler’s :161–173, 1979) puzzle about imagination is that the sentences ‘Imagine swimming in that water’ and ‘Imagine yourself swimming in that water’ seem at once semantically different and semantically the same. They seem semantically different, since the first requires you to imagine ’from the inside’, while the second allows you to imagine ’from the outside.’ They seem semantically the same, since despite superficial dissimilarity, there is good reason to think that they are syntactically and lexically identical. This paper sets out (...) the puzzle and offers a novel solution. Our proposal is that, just as there is knowledge-wh, there is also imagining-wh and that the inside/outside distinction Vendler points to is properly understood as a distinction within imagining-wh. In particular, to imagine swimming from the inside is to imagine what it feels like to swim, while to imagine swimming from the outside is to imagine what it looks like to swim. We show that this proposal is well grounded in both the semantics and syntax of ‘imagine.’ We also argue it makes better sense than its rivals of the data Vendler found so puzzling. (shrink)

Post-Fregean theorists use 'quotation' to denote indifferently both colloquially called quotations (repetitions of prior utterances) and what I call 'displays': 'Rot' means red. Colloquially, quotation is a strictly historical property, not semantic or syntactic. Displays are semantically and syntactically distinctive sentential elements. Most displays are not quotations. Pure echo quotations (Cosmological arguments involve "an unnecessary shuffle") aren't displays. Frege-inspired formal languages stipulate that enquotation forms a singular term referring to the enquoted expression (type). Formalist enquotations differ semantically and syntactically (...) from natural language displays. Call them autonomes, and mark them with stars: *Rot* means red. In formal languages, an unenstarred expression has only one meaning, and an autonome has only one meaning viz., a name (or indexical) designating the unenstarred expression (type). Stars have semantic content and can’t disambiguate. Display punctuation only disambiguates; it says only: This material is displayed. Displays have a semantic function; their marks don't.nDisplays are not terms or lexical items. Displays are objects incorporable into utterances. Such incorporation enables them to be linguistically appropriated much as we appropriate speech-external objects by extrasentential supplementation (e.g., gesturing) to identify the extension of a term by ostending the object -- but now without any extrasentential supplement. Displays are always adjunctive to an (implicit or explicit) ostensionable term, a term whose extension is identifiable by ostending an object. The display-ostensionable term extension relations are various. A display may (1) be the term's referent, or (2) represent the term's extension by (a) replicating or (b) instantiating or (c) expressing the term's referent, or (e) instantiating the property the term predicates. (shrink)

Are Fregean thoughts compositionally complex and composed of senses? We argue that, in Begriffsschrift, Frege took 'conceptual contents' to be unstructured, but that he quickly moved away from this position, holding just two years later that conceptual contents divide of themselves into 'function' and 'argument'. This second position is shown to be unstable, however, by Frege's famous substitution puzzle. For Frege, the crucial question the puzzle raises is why "The Morning Star is a planet" and "The Evening Star is (...) a planet" have different contents, but his second position predicts that they should have the same content. Frege's response to this antinomy is of course to distinguish sense from reference, but what has not previously been noticed is that this response also requires thoughts to be compositionally complex, composed of senses. That, however, raises the question just how thoughts are composed from senses. We reconstruct a Fregean answer, one that turns on an insistence that this question must be understood as semantic rather than metaphysical. It is not a question about the intrinsic nature of residents of the third realm but a question about how thoughts are expressed by sentences. (shrink)