Two-dimensional (2D) semantics is a formal framework that is used to characterize the meaning of certain linguistic expressions and the entailment relations among sentences containing them. 2D semantics has also been applied to thought contents. In contrast with standard possible worlds semantics, 2D semantics assigns extensions and truth-values to expressions relative to two possible world parameters, rather than just one. So a 2D semantic framework provides finer-grained semantic values than those available within standard possible world semantics, while using the same (...) basic model-theoretic resources. The 2D framework itself is just a formal tool. To develop a semantic theory for someone’s language, a proponent of 2D semantics must do three things: (i) explain what exactly the two possible world parameters represent, (ii) explain the rules for assigning 2D semantic values to a person’s words and sentences, and (iii) explain how 2D semantic values help in understanding the meanings of the person’s words and sentences. (shrink)

Crispin Wright and Filippo Ferrari have accused relativism of not accounting for “parity” – the idea that, when we argue over matters of taste, we take our opponents’ opinions to be “as good as ours” from our own, committed perspective. In this paper, I show that i) explaining parity has not been taken to be a desideratum by relativists and thus they cannot be accused of failing to fulfil a promise; ii) Wright’s and Ferrari’s reasons for claiming that parity should (...) be a desideratum are unconvincing. (shrink)

De re or singular thoughts are, intuitively, those essentially or constitutively about a particular object or objects; any thought about different objects would be a different thought. How should a philosophical articulation or thematization of their nature look like? In spite of extended discussion of the issue since it was brought to the attention of the philosophical community in the late fifties by Quine (1956), we are far from having a plausible response. Discussing the matter in connection with the status (...) of the Kripkean category of the contingent a priori, Donnellan (1979) argued that what can be properly classified as knowable a priori about utterances like those involving ‘one meter’ or ‘Neptune’ famously proposed by Kripke (1980) cannot be the very same singular content that is contingent he distinguished to that end between knowing a true proposition expressed by an utterance, and knowing that an utterance expresses a true proposition. Evans (1979) replied that, for a very specific sort of cases involving “descriptive names”, a related proto-two-dimensionalist account should be preferred, on which it is not the singular contingent content, but rather a general descriptive one which is knowable a priori. In a series of papers, Robin Jeshion (2000, 2001) has recently attacked Donnellan's proposal, arguing in favour of the most straightforward interpretation of Kripke's claim: in the relevant cases, the very same singular content can be both contingent and knowable a priori. This paper appeals to a generalized version of two-dimensional semantics to advance an account of the Kripkean cases along the lines of Evans's, and argues that Jeshion's compelling arguments against Donnellan's view do not apply to this version. (shrink)

In this discussion paper, I argue that no theory of consciousness can simultaneously respect four initially plausible metaphysical claims – namely, “first-person realism”, “non-solipsism”, “non-fragmentation”, and “one world” – but that any three of the four claims are mutually consistent. So, theories of consciousness face a “quadrilemma”. Since it will be hard to achieve a consensus on which of the four claims to retain and which to give up, we arrive at a landscape of competing theories, all of which have (...) pros and cons. I will briefly indicate which kinds of theories correspond to the four horns of the quadrilemma. (shrink)

In Overlooking Conventions Michael Devitt argues in defence of the traditional approach to semantics. Devitt’s main line of argument is an inference to the best explanation: nearly all cases that linguistic pragmatists discuss in order to challenge the traditional approach to semantics are better explained by adding conventions into language, in the form of expanding the range of polysemy or the range of indexicality (in the broad sense of linguistically governed context sensitivity). In this paper, we discuss three aspects of (...) a draft of Devitt’s Overlooking Conventions, which was discussed at a conference in Dubrovnik in September 2018. First, we try to show that his rejection of Bach’s distinction between convention and standardization overlooks important features of standardization. Second, we elaborate on Devitt’s argument against linguistic pragmatism based on the normative aspect of meaning and show that a similar argument can be mounted against semantic minimalism. While Devitt and minimalists have a common enemy, they are not allies either. Third, we address a methodological difficulty in Devitt’s view concerning a threat of over-generation and propose a solution to it. Although this paper is the result of collaboration the authors have written different parts. Carlo Penco has written part 1, Massimiliano Vignolo has written part 2 and part 3. (shrink)

The purpose of this article is to offer a new view of the key relation between the content and the conscious character of visual experience. The author aims to support the following claims. First, the author rejects the qualia realist claim that conscious character is an intrinsic, nonrepresentational property of visual experience, for example, a pattern of activation of neurons. However, the author also rejects the rival widespread representationalist claim that the conscious character of visual experience is identical to, or (...) supervenes on, any specific property represented by visual experience. The positive proposal is the following. Conscious character is identical to those patterns of activation of neurons that are referentially or representationally alive. Conscious redness, for example, is a pattern of activations of neurons that is normally created only when brains of physical duplicates come in visual contact with some distal property. This pattern of activation is recruited by natural selection to represent that property. This is called meaning representationalism. (shrink)

Epistemic contextualism (‘EC’), the view that the truth-values of knowledge attributions may vary with the context of ascription, has a variety of different linguistic implementations. On one of the implementations most popular in the early days of EC, the predicate ‘knows p’ functions semantically similarly to gradable adjectives such as ‘flat’, ‘tall’, or ‘empty’. In recent work Jason Stanley and John Hawthorne have presented powerful arguments against such implementations of EC. In this article I briefly systematize the contextualist analogy to (...) gradable adjectives, present Stanley’s argument against the analogy, and offer a contextualist response that abandons the analogy in favor of modeling the semantics of ‘knows p’ along the lines of quantifier expressions. I then present Hawthorne’s objection to the views presented, and finally conclude by outlining an argument to the effect that ‘knows p’ is an automatic indexical and as such to be expected to function differently from many other indexicals that the term has been compared to in the literature. I finally point out that no analogy should be expected to be perfect, and that no harm is done by postulating some unique behavior of ‘knows p’. (shrink)

I critically discuss some aspects of Mark Sainsbury's Reference without Referents, from an otherwise sympathetic viewpoint. My objections focus on the adequacy of the truth-conditional framework that Sainsbury presupposes. I argue that, as semantic theories, truth-conditional accounts are both too ambitious, and too austere to be fully explanatory, and that both problems have consequences for an account of reference. The latter problem has to do with the difficulties to capture in a truth-conditional framework the descriptive contribution of indexicals and, in (...) my view, proper names. The former has to do with the non-semantic contribution of context to the determination of truth-conditions in general and reference in particular. /// En este artículo discuto críticamente algunos aspectos del libro de Mark Sainsbury Reference without Referents, desde una perspectiva por lo demás próxima. Mis objeciones se centran en la adecuación del marco que Sainsbury presupone: la semántica de condiciones de verdad. Argumento que tales propuestas son, en tanto que teorías semánticas, a la vez demasiado ambiciosas y demasiado austeras para ser genuinamente explicativas, y que ambos problemas tienen consecuencias en lo que respecta a la explicación de la referencia. El segundo problema tiene que ver con las dificultades para representar la contribución descriptiva de los deícticos y, en mi opinión, de los nombres propios también en el marco de condiciones de verdad. El primero tiene que ver con la contribución no semántica del contexto a la determinación de las condiciones de verdad en general y la referencia en particular. (shrink)

There are at least three interpretations that attempt to read from the Sense-Certainty Chapter a Hegelian theory of indexicals. First, the Impossibility of Singular Reference Reading understands Hegel as excluding in principle the possibility of any linguistic cognition of individuals. Second, the Theory of Reference Reading criticizes the first reading and interprets from Hegel the classical idea of direct reference theory. Third, Brandom’s Anaphoric Theory Reading suggests an alternative explanation while still defending the possibility of knowledge of individuals in Hegel. (...) I criticize the first two readings and argue that the third is the most exegetically and philosophically adequate interpretation. The first interpretation attempts to ascribe to Hegel a sort of skepticism, but this can be at most in a very restricted sense successful and the skepticism constructed in such a way is too trivial to refute Hegel’s position. The second reading is more adequate in that it does not fall into the error that the first one committed, but is still flawed because it introduces a subject-object or mind-world dualism that Hegel denies. The third reading has great advantages compared to the first two readings in terms that it provides a suitable account of indexical knowledge on individuals while avoiding skepticism and dualism which arise in the former readings. (shrink)

This paper is a new defense of the view that visual hallucinations lack content. The claim is that visual hallucinations are illusory not because their content is nonveridical, but rather because they seem to represent when they fail to represent anything in the first place. What accounts for the phenomenal character of visual experiences is not the content itself (content-representationalism), but rather the vehicle of content (vehicle-representationalism), that is, not the properties represented by visual experience, but rather the relational properties (...) of experience (or of the brain) of representing singular contents, namely particular instantiations of properties. I argue that the Russellian particular-involving proposition is the only appropriate model for the representational content of visual experience and hence that visual hallucinations are just like failed demonstrations. (shrink)

I introduce various proposal from Gottlob Frege to lately Kit Fine for the solution of Frege's Puzzle, viz. "a is b" has a different cognitive value from "a is a".

The material account proposes that indicative conditionals are material, but it is widely believed that this account cannot be applied to subjunctive conditionals. There are three reasons for this consensus: (1) the concern that most subjunctive conditionals would be vacuously true if they were material, which seems implausible; (2) the inconsistency with Adams pair, which suggests that indicative and subjunctive conditionals have different truth conditions; and (3) the belief that the possible world theories are a superior alternative to the material (...) account. In this paper, I will argue against (1) by showing that the counterintuitive aspects of vacuously true conditionals can be explained away in a consistent manner, regardless of whether they are indicative or subjunctive. I will support this argument by demonstrating that the positive arguments for the material account of indicatives also apply to subjunctives. I will counter (2) by explaining the Adams pair as logically equivalent conditionals that may be appropriate at different times, depending on the speaker’s epistemic situation. Finally, I will challenge (3) by arguing that the possible world account faces insurmountable issues and that a comprehensive material account of both indicatives and subjunctives is ultimately a more elegant solution. (shrink)

In the standard theory of deontic modals, ‘ought’ is understood as expressing a propositional operator. However, this view has been called into question by Almotahari and Rabern’s puzzle about deontic ‘ought’, according to which the ethical principle that one ought to be wronged by another person rather than wrong them is intuitively coherent but the standard theory makes it incoherent. In this paper, I take up Almotahari and Rabern’s challenge and offer a refinement of the standard theory to handle the (...) puzzle. I propose that ‘ought’ is evaluated relative to contextual parameters (e.g., Kratzer’s conversational backgrounds, Finlay and Snedegar’s alternative sets) and those contextual parameters are sensitive to agents as well as possible worlds. (shrink)

A fairly simple theory of the semantics of tense is obtained by combining three claims: (i) for any time t, a present-tense sentence `p' is either true or false at t; (ii) for any time t0 earlier than t, the future-tense sentence `It will be the case that p at t' is true at t0 if `p' is true at t, false otherwise; (iii) for any time t0 later than t, the past-tense sentence `It was the case that p at (...) t' is true at t0 if `p' is true at t, false otherwise. This theory, which has been called the theory of timeless truth, is often dismissed on the basis of its alleged incapacity to comply with indeterminism. Here, instead, it will be suggested that there is no reason to be dismissive. Section 1 provides some elucidations about the theory. Sections 2 and 3 explain how a foregone objection to it can be resisted. Sections 4 and 5 show that there is a plausible sense in which (i)-(iii) are compatible with indeterminism. Sections 6 and 7 dispel some misunderstandings that may lead to think that indeterminism is not vindicated in some important sense other than that outlined. (shrink)

This programmatic paper is an attempt to connect some worries in the philosophy of language with some traditional views in artificial intelligence. After a short introduction to the notion of context in philosophy (§1), starting from the inventor of mathematical logic, Gottlob Frege, I list three debates in the philosophy of language where the solution is strongly undecided: §2 treats the debate between holism and molecularism; §3 describes the debate on the boundaries between semantics and pragmatics; §4 hints at a (...) solution of the debate between explicit and implicit view of incomplete descriptions. These debates may be considered case studies on what is happening to the notion of context in philosophy in the first two decades of XXI century; they push us to look for a unifying framework in which to frame those worries: I propose to shift the attention towards a representation of the basic abilities required to navigate across contexts (§5). In the conclusion, I use some suggestions from computer sciences as a contribution towards a better definition of what is meant by “pragmatic competence”, strictly connected to the philosophical enterprise (§6). (shrink)

What is the relationship between the claim that generics articulate psychologically primitive generalizations and the claim that they exhibit a unique form of context sensitivity? This paper maintains that the two claims are compatible. It develops and defends an overlooked form of contextualism grounded in the idiosyncrasies of System 1 thought.

Metaphysics and ethics are two distinct fields in academic philosophy. The object of metaphysics is what is, while the object of ethics is what ought to be. Necessitarianism is a modal doctrine that appears to obliterate this neat distinction. For it is commonly assumed that ought (at least under normal circumstances) implies can. But if necessitarianism is true then I can only do what I actually do. Hence what I ought to do becomes limited to what I in fact do. (...) This is one widespread way of construing the danger that necessitarianism poses for ethics. There is, however, another way in which this collapse of what is with what ought to be can be construed. One could think of what is as already being what ought to be, of the two being one. On this picture, everything that is, is already valuable. In this thesis I explore the theory that being is intrinsically valuable. I do so by investigating the philosophy of perfection present in the works of the early modern rationalist Spinoza. For in his philosophy of perfection, I argue, we find being and value to be perfectly aligned. Hence, my reading challenges a widespread interpretation, according to which (ontological) perfection is divested of normativity in Spinozism. The position that all being is intrinsically valuable since it is perfect may be thought to be incompatible with human perfectionism. For what room can there be for human progress toward an ideal of perfection if all that exists, is necessarily perfect? The goal of the thesis is to respond to this question by providing a systematic interpretation of the metaphysics of human perfectibility in Spinoza’s philosophy. In order to achieve this goal, I undertake two tasks. First, I examine Spinoza’s multi-faceted philosophy of perfection. I distinguish between ontological and teleological perfection. Moreover, I argue that since Spinoza maintains that everything is perfect to the extent that it is, perfection shoulders the role of a transcendental within his system. In order to highlight the normative significance of transcendental perfection, I compare Spinoza’s thought with the transcendental theory of the good in Thomas Aquinas. In addition, I distinguish between ontological and speculative perfection. Speculative perfection is conscious awareness of ontological perfection. Second, I show how infinity plays an essential role in Spinoza’s ethics by indicating how we, by availing ourselves of this notion, are able to acquire a perspective on reality from which its ontological perfection may be discovered. On this basis, I am able to demonstrate the (relatively understudied) ethical and soteriological importance of Spinoza’s conception of infinity. I argue that it is because (a) Spinoza’s ideal of human perfection is speculative, and because (b) one will be able to establish the (ontological) perfection of things by deducing it from the divine essence only when one considers this essence absolutely infinite, that (c) the absolute infinity of the divine essence plays a significant role in Spinoza’s account of human perfection as consisting in conscious awareness of the value of all being. (shrink)

The problem of value disagreement and contextualist, relativist and metalinguistic attempts of solving it are laid out. Although the metalinguistic account seems to be on the right track, it is argued that it does not sufficiently explain why and how disagreements about the meaning of evaluative terms are based on and can be decided by appeal to existing social practices. As a remedy, it is argued that original suggestions from Putnam's 'The Meaning of "Meaning"' ought to be taken seriously. The (...) resulting dual aspect theory of meaning can explain value disagreement in much the same way as it deals with disagreement about general terms. However, the account goes beyond Putnam's by not just defending a version of social externalism, but also defending the thesis that the truth conditional meaning of many evaluative terms is not fixed by experts either and instead constantly contested as part of a normal function of language. (shrink)

This paper outlines a truth-conditional view of logical form, that is, a view according to which logical form is essentially a matter of truth-conditions. The main motivation for the view is a fact that seems crucial to logic. As _§_1 suggests, fundamental logical relations such as entailment or contradiction can formally be explained only if truth-conditions are formally represented.§2 spells out the view. _§_3 dwells on its anity with a conception of logical form that has been defended in the past. (...) _§§_4-6 draw attention to its impact on three major issues that concern, respectively, the extension of the domain of formal explanation, the semantics of tensed discourse, and the analysis of quantication. (shrink)

As is well known, the linguistic/philosophical reflection on natural kind terms has undergone a remarkable development in the early seventies with Putnam and Kripke’s essentialist approaches, touching upon different aspects of Kan’s slant. Preliminarily, however, it might be useful to review some of the theoretical stages in Locke and Leibniz’s approaches on natural kind terms in the light of contemporary reflections, to eventually pinpoint Kant’s contribution and see how some commentators have placed it within the theory of direct reference. Starting (...) with textual evidence even from the logical corpus, in the present essay I will attempt to discuss some of the arguments dismissing Kant’s adherence to this view. These assume that in his approach to the semantics of natural kind Kant appears to be still holding on to a nominalist/conceptualist position, though he seems to be well aware of a few key issues for the theorists of direct reference. (shrink)

Composition as Identity is the view that an object is identical to its parts taken collectively. I elaborate and defend a theory based on this idea: composition is a kind of identity. Since this claim is best presented within a plural logic, I develop a formal system of plural logic. The principles of this system differ from the standard views on plural logic because one of my central claims is that identity is a relation which comes in a variety of (...) forms and only one of them obeys substitution unrestrictedly. I justify this departure from orthodoxy by showing some problems which result from attempts to avoid inconsistencies within plural logic by means of postulating other non-singular terms besides plural terms. Thereby, some of the main criticisms raised against Composition as Identity can be addressed. Further, I argue that the way objects are arranged is relevant with respect to the question which object they compose, i.e. to which object they are identical to. This helps to meet a second group of arguments against Composition as Identity. These arguments aim to show that identifying composite objects on the basis of the identity of their parts entails, contrary to our common sense view, that rearranging the parts of a composite object does not leave us with a different object. Moreover, it allows us to carve out the intensional aspects of Composition as Identity and to defend mereological universalism, the claim that any objects compose some object. Much of the pressure put on the latter view can be avoided by distinguishing the question whether some objects compose an object from the question what object they compose. Eventually, I conclude that Composition as Identity is a coherent and plausible position, as long as we take identity to be a more complex relation than commonly assumed. (shrink)

Determining what content is expressed by a demonstrative when its reference cannot be determined is a problem for those who assume that demonstrative reference is cognized by interpreters and demonstrative meaning has a mere indicative role. Here, I explore a concept of content that gives meaning a cognitively relevant role, namely, John Perry’s classificatory concept of content. With that purpose, I compare the interpretation of a deictic demonstrative in two cases: for an eavesdropper and a conversational participant, aiming to show (...) that meaning, in the form of reflexive rules, can be recruited to play the role of content when information is scarce. (shrink)

This dissertation is about the structure of thought. Following Gottlob Frege, I define a thought as the sort of content relevant to determining whether an assertion is true or false. The historical component of the dissertation involves interpreting Frege’s actual views on the structure of thought. I argue that Frege did not think that a thought has a unique decomposition into its component senses, but rather the same thought can be decomposed into senses in a variety of distinct ways. I (...) extend Frege’s position and use it to develop an account of the hierarchy of senses, the senses expressed by indexicals and demonstratives, and the distinction between logical and non-logical structure. I also discuss various connections with the nature of meta-representation, our capacity for reflective judgment, some aspects of the structure of conscious experience, the way we perceive regions of space and durations of time, and our conscious awareness of our own perceptions and events of thinking. (shrink)

The Lying/Misleading Distinction Belied.

Asserting is the act of claiming that something is the case—for instance, that oranges are citruses, or that there is a traffic congestion on Brooklyn Bridge (at some time). We make assertions to share information, coordinate our actions, defend arguments, and communicate our beliefs and desires. Because of its central role in communication, assertion has been investigated in several disciplines. Linguists, philosophers of language, and logicians rely heavily on the notion of assertion in theorizing about meaning, truth and inference. -/- (...) The nature of assertion and its relation to other speech acts and linguistic phenomena (implicatures, presuppositions, etc.) have been subject to much controversy. This entry will situate assertion within speech act theory and pragmatics more generally, and then go on to present the current main accounts of assertion. (shrink)

‘Bayesian epistemology’ became an epistemological movement in the 20th century, though its two main features can be traced back to the eponymous Reverend Thomas Bayes (c. 1701-61). Those two features are: (1) the introduction of a formal apparatus for inductive logic; (2) the introduction of a pragmatic self-defeat test (as illustrated by Dutch Book Arguments) for epistemic rationality as a way of extending the justification of the laws of deductive logic to include a justification for the laws of inductive logic. (...) The formal apparatus itself has two main elements: the use of the laws of probability as coherence constraints on rational degrees of belief (or degrees of confidence) and the introduction of a rule of probabilistic inference, a rule or principle of conditionalization. (shrink)

This is the Stanford Encyclopedia of Philosophy entry on the contents of perception.

-/- Human beings are conscious not only of the world around them but also of themselves: their activities, their bodies, and their mental lives. They are, that is, self-conscious (or, equivalently, self-aware). Self-consciousness can be understood as an awareness of oneself. But a self-conscious subject is not just aware of something that merely happens to be themselves, as one is if one sees an old photograph without realising that it is of oneself. Rather a self-conscious subject is aware of themselves (...) as themselves; it is manifest to them that they themselves are the object of awareness. Self-consciousness is a form of consciousness that is paradigmatically expressed in English by the words “I”, “me”, and “my”, terms that each of us uses to refer to ourselves as such. -/- A central topic throughout the history of philosophy—and increasingly so since the seventeenth century—the phenomena surrounding self-consciousness prompt a variety of fundamental philosophical and scientific questions, including its relation to consciousness; its semantic and epistemic features; its realisation in both conceptual and non-conceptual representation; and its connection to our conception of an objective world populated with others like ourselves. (shrink)

Analytic philosophy was introduced in Latin America in the mid-twentieth century. Its development has been heterogeneous in different countries of the region but has today reached a considerable degree of maturity and originality, with a strong community working within the analytic tradition in Latin America. This entry describes the historical development of analytic philosophy in Latin America and offers some examples of original contributions by Latin American analytic philosophers.

The notion of a "mental representation" is, arguably, in the first instance a theoretical construct of cognitive science. As such, it is a basic concept of the Computational Theory of Mind, according to which cognitive states and processes are constituted by the occurrence, transformation and storage (in the mind/brain) of information-bearing structures (representations) of one kind or another.

Alonzo Church (1903–1995) was a renowned mathematical logician, philosophical logician, philosopher, teacher and editor. He was one of the founders of the discipline of mathematical logic as it developed after Cantor, Frege and Russell. He was also one of the principal founders of the Association for Symbolic Logic and the Journal of Symbolic Logic. The list of his students, mathematical and philosophical, is striking as it contains the names of renowned logicians and philosophers. In this article, we focus primarily on (...) Church’s philosophical contributions. (For an account of his life and academic history see the Introduction to The Collected Works of Alonzo Church (2019).) However, we also discuss his mathematical results when it is desirable to do so in order to pursue a philosophical issue. (shrink)

These lines — also attributed to H. L. Mencken and Carl Jung — although perhaps politically incorrect, are surely correct in reminding us that more is involved in what one communicates than what one literally says; more is involved in what one means than the standard, conventional meaning of the words one uses. The words ‘yes,’ ‘perhaps,’ and ‘no’ each has a perfectly identifiable meaning, known by every speaker of English (including not very competent ones). However, as those lines illustrate, (...) it is possible for different speakers in different circumstances to mean different things using those words. How is this possible? What's the relationship among the meaning of words, what speakers mean when uttering those words, the particular circumstances of their utterance, their intentions, their actions, and what they manage to communicate? These are some of the questions that pragmatics tries to answer; the sort of questions that, roughly speaking, serve.. (shrink)

Intentionality is the power of minds to be about, to represent, or to stand for, things, properties and states of affairs. The puzzles of intentionality lie at the interface between the philosophy of mind and the philosophy of language. The word itself, which is of medieval Scholastic origin, was rehabilitated by the philosopher Franz Brentano towards the end of the nineteenth century. ‘Intentionality’ is a philosopher's word. It derives from the Latin word intentio, which in turn derives from the verb (...) intendere, which means being directed towards some goal or thing. The entry falls into eleven sections. (shrink)

Truth is one of the central subjects in philosophy. It is also one of the largest. Truth has been a topic of discussion in its own right for thousands of years. Moreover, a huge variety of issues in philosophy relate to truth, either by relying on theses about truth, or implying theses about truth.

Starting with Frege, the semantics (and pragmatics) of quotation has received a steady flow of attention over the last one hundred years. It has not, however, been subject to the same kind of intense debate and scrutiny as, for example, both the semantics of definite descriptions and propositional attitude verbs. Many philosophers probably share Davidson's experience: ‘When I was initiated into the mysteries of logic and semantics, quotation was usually introduced as a somewhat shady device, and the introduction was accompanied (...) by a stern sermon on the sin of confusing the use and mention of expressions’ (Davidson 1979, p. 79). Those who leave it at that, however, miss out on one of the most difficult and interesting topics in the philosophy of language. (shrink)

An overview of hyperintensionality is provided. Hyperintensional languages have expressions with meanings that are more fine-grained than necessary equivalence. That is, the expressions may necessarily co-apply and yet be distinct in meaning. Adequately accounting for theories cast in hyperintensional languages is important in the philosophy of language; the philosophy of mind; metaphysics; and elsewhere. This entry presents a number of areas in which hyperintensionality is important; a range of approaches to theorising about hyperintensional matters; and a range of debates that (...) attention to hyperintensional constructions has generated. (shrink)