Intension and Extension

The aim of this paper is to provide a complete Natural Kind Semantics for an Essentialist Theory of Kinds. The theory is formulated in two-sorted first order monadic modal logic with identity. The natural kind semantics is based on Rudolf Willes Theory of Concept Lattices. The semantics is then used to explain several consequences of the theory, including results about the specificity (species–genus) relations between kinds, the definitions of kinds in terms of genera and specific differences and the existence of (...) negative kinds. First, I show under which conditions the Hierarchy principle, which has been subjected to counterexamples in the literature, holds. I also show that a different principle about the species–genus relations between kinds, namely Kant’s Law, follows from the essentialist theory. Second, I introduce two new operations for kinds and show that they can be used to provide traditional definitions of kinds in terms of genera and specific differences. Finally, I show that these operations of specific difference induce, for each kind, a uniquely specified contrary kind and a uniquely specified subcontrary kind, which can be used as semantic values for non-classical predicate negations of kind terms. (shrink)

Formal semantic theories are generally thought to make contact with pre-theoretic semantic notions of aboutness and reference. The nature of that contact is, however, not always straightforward. This paper addresses two debates where that issue assumes a significant role. I begin with Simchen’s recent argument that Lewisian Interpretationism succumbs to referential indeterminacy. I develop a proposal about the relationship between the theoretical notion of a term’s semantic value and the pre-theoretic notion of reference, and argue that the indeterminacy Simchen identifies (...) does not constitute a form of referential indeterminacy. In the second part, I apply these resources to the debate between singularist and pluralist approaches to the semantics of plural terms, arguing that a certain form of singularism that emerges from the dialectic ends up agreeing with the pluralist at the level of reference, if not semantic value. The paper concludes with some remarks on what a properly referential style of singularism might look like. (shrink)

I argue that Frege's puzzle can extend beyond semantics and to, for example, pictures and scent. Accordingly, attempted solutions to the puzzle should not focus solely on semantics. Solutions that do so can at best provide a partial solution to the puzzle. They will not provide a solution that explains the broader phenomenon, including the one where I, as a child, learned the identity of Clark Kent and Superman without possessing their names. Below I will provide a solution that accounts (...) for the typical Frege case as well as my childhood case. The solution will, accordingly, not be a semantic solution. Instead it will focus on information we have on objects and how we organize and access the information. The solution I will provide is psychological and not semantic in nature. At the same time I will show that the solution I provide aligns itself well with Millianism. (shrink)

The ex ante Pareto principle has an intuitive pull, and it has been a principle of central importance since Harsanyi’s defence of utilitarianism. The principle has been used to criticize and refine a range of positions in welfare economics, including egalitarianism and prioritarianism. But this principle faces a serious problem. I have argued elsewhere :303-323 2017) that the concept of ex ante Pareto superiority is not well defined, because its application in a choice situation concerning a fixed population can depend (...) on how the members of that population are designated. I show in this paper that in almost all cases of policy choice, there will be numerous sets of rival designators for the same fixed population. I explore two ways that we might complete the definition of ex ante Pareto superiority. I call these the ‘supervaluationist’ reading and the ‘subvaluationist’ reading. I reject the subvaluationist reading as uncharitable, and argue that the supervaluationist reading is the most promising interpretation of the ex ante Pareto principle. I end by exploring some of the implications of this principle for prioritarianism and egalitarianism. (shrink)

In the paper, various notions of the logical semiotic sense of linguistic expressions – namely, syntactic and semantic, intensional and extensional – are considered and formalised on the basis of a formal-logical conception of any language L characterised categorially in the spirit of certain Husserl's ideas of pure grammar, Leśniewski-Ajdukiewicz's theory of syntactic/semantic categories and, in accordance with Frege's ontological canons, Bocheński's and some of Suszko's ideas of language adequacy of expressions of L. The adequacy ensures their unambiguous syntactic and (...) semantic senses and mutual, syntactic and semantic correspondence guaranteed by the acceptance of a postulate of categorial compatibility of syntactic and semantic (extensional and intensional) categories of expressions of L. This postulate defines the unification of these three logical senses. There are three principles of compositionality which follow from this postulate: one syntactic and two semantic ones already known to Frege. They are treated as conditions of homomorphism of partial algebra of L into algebraic models of L: syntactic, intensional and extensional. In the paper, they are applied to some expressions with quantifiers. Language adequacy connected with the logical senses described in the logical conception of language L is, obviously, an idealisation. The syntactic and semantic unambiguity of its expressions is not, of course, a feature of natural languages, but every syntactically and semantically ambiguous expression of such languages may be treated as a schema representing all of its interpretations that are unambiguous expressions. (shrink)

Routledge Encyclopedia entry on Intensionality and Hyperintensionality.

Hans Reichenbach’s pragmatic treatment of the problem of induction in his later works on inductive inference was, and still is, of great interest. However, it has been dismissed as a pseudo-solution and it has been regarded as problematically obscure. This is, in large part, due to the difficulty in understanding exactly what Reichenbach’s solution is supposed to amount to, especially as it appears to offer no response to the inductive skeptic. For entirely different reasons, the significance of Bertrand Russell’s classic (...) attempt to solve Hume’s problem is also both obscure and controversial. Russell accepted that Hume’s reasoning about induction was basically correct, but he argued that given the centrality of induction in our cognitive endeavors something must be wrong with Hume’s basic assumptions. What Russell effectively identified as Hume’s (and Reichenbach’s) failure was the commitment to a purely extensional empiricism. So, Russell’s solution to the problem of induction was to concede extensional empiricism and to accept that induction is grounded by accepting both a robust essentialism and a form of rationalism that allowed for a priori knowledge of universals. So, neither of those doctrines is without its critics. On the one hand, Reichenbach’s solution faces the charges of obscurity and of offering no response to the inductive skeptic. On the other hand, Russell’s solution looks to be objectionably ad hoc absent some non-controversial and independent argument that the universals that are necessary to ground the uniformity of nature actually exist and are knowable. This particular charge is especially likely to arise from those inclined towards purely extensional forms of empiricism. In this paper the significance of Reichenbach’s solution to the problem of induction will be made clearer via the comparison of these two historically important views about the problem of induction. The modest but important contention that will be made here is that the comparison of Reichenbach’s and Russell’s solutions calls attention to the opposition between extensional and intensional metaphysical presuppositions in the context of attempts to solve the problem of induction. It will be show that, in effect, what Reichenbach does is to establish an important epistemic limitation of extensional empiricism. So, it will be argued here that there is nothing really obscure about Reichenbach’s thoughts on induction at all. He was simply working out the limits of extensional empiricism with respect to inductive inference in opposition to the sort of metaphysics favored by Russell and like-minded thinkers. (shrink)

Terence Horgan and Mark Timmons have written a number of articles where they use their Moral Twin Earth thought experiment to attack the new moral realism. The new moral realism is based on advances made in the philosophy of language that allows us to introduce synthetic definitions of moral terms. The Moral Twin Earth thought experiment relies in crucial ways on the use of intuitions. Specifically, it relies on the intuitions that were Earthers and Twin Earthers to meet, they would (...) be able to have genuine moral disagreements. Horgan and Timmons rely on that intuition when they argue that the meaning of the relevant terms on Earth and Twin Earth must be the same. I will argue that we can accept that Earthers and Twin Earthers can have genuine moral disagreement while at the same time claim that the terms they use have different referents and so different semantic meaning. That is, having genuine disagreements does not require that the semantic meaning or the reference of the terms used in the debate being the same. (shrink)

On the basis of arguments put forth by (Kripke, 1977a) and (Kripke, 1980), it is widely held that one can sometimes rationally accept propositions of the form "P and not-P" and also that there are necessary a posteriori truths. We will find that Kripke's arguments for these views appear probative only so long as one fails to distinguish between semantics and presemantics—between the literal meanings of sentences, on the one hand, and the information on the basis of which one identifies (...) those literal meanings, on the other. This same failure, it will be argued, underlies the popular thesis that intersubstituting co-referring terms sometimes turns true sentences into false ones and vice versa. Though seemingly plausible, this thesis has a number of counterintuitive consequences, among them that the occurrence of “snow” in “it is true that snow is white” doesn’t refer to snow. An understanding of the distinction between semantics and presemantics suggests a way to develop a semantic system that doesn’t have these consequences and that, moreover, reconciles our intuitions concerning cognitive content with some powerfully argued theses of contemporary philosophy of language. Some of this paper's main contentions are anticipated by Andrzej Boguslawski in his 1994 paper “Sentential Complementation and Truth.”. (shrink)

In "The Meaning of 'Meaning'" Putnam argues, among other things, that "'meanings' just ain't in the head". Putnam's central arguments in favor of this conclusion are unsound. The arguments in question are the famous intra-world Twin Earth arguments, given on pages 223-227 of the article in question. Each of these arguments relies on a premise to the effect that this or that Twin Earth scenario is both logically possible and one in which certain individuals are in the same overall "psychological (...) [state] in the narrow sense". The problem is that none of the scenarios are as advertised; that is, none of them are logically possible situations in which the relevant individuals are in the same overall "psychological [state] in the narrow sense". (shrink)

This encyclopedia entry describes intensions and extensions as aspects of the meanings of pieces of language.

Section 1 discerns ambiguity in the word “truth”, observing that the term is used most naturally in reference to truth-bearers rather than truth-makers. Focusing on truths-as-truth-bearers, then, it would appear that alethic realism conflicts with metaphysical realism as naturalistically construed. Section 2 discerns ambiguity in the purporting of truth (as in assertion), conjecturing that all expressions, not just those found in traditionally recognized opaque contexts, can be read intensionally (as well, perhaps, as extensionally). For instance, we would not generally want (...) to say that “The Matterhorn is 4,500 m high” expresses the same truth as “The Matterhorn is 14763.7795276 feet high” (or that it is true in the same range of utterance contexts), even though the two are extensionally equivalent. The reason is that they express different intensions. (shrink)

What does it mean for a general term to be rigid? It is argued by some that if we take general terms to designate their extensions, then almost no empirical general term will turn out to be rigid; and if we take them to designate some abstract entity, such as a kind, then it turns out that almost all general terms will be rigid. Various authors who pursue this line of reasoning have attempted to capture Kripke’s intent by defining a (...) rigid general term as one that applies to the objects in its extension essentially. I argue that this account is significantly mistaken for various reasons: it conflates a metaphysical notion (essentialism) with a semantic one (rigidity); it fails to countenance the fact that any term can be introduced into a language by stipulating that it be a rigid designator; it limits the extension of rigid terms so much that terms such as ‘meter’, ‘rectangle’, ‘truth’, etc. do not turn out to be rigid, when they obviously are; and it wrongly concentrates on the predicative use of a general term in applying a certain test offered by Kripke to determine whether a term is rigid. (shrink)

Michael Dummett has argued that a formal semantics for our language is inadequate unless it can be shown to illuminate to our actual practice of speaking and understanding. This paper argues that Frege’s account of the semantics of predicate expressions according to which the reference of a predicate is a concept (a function from objects to truth values) has exactly the required characteristics. The first part of the paper develops a model for understanding the distinction between objects and concepts as (...) an ontological distinction. It argues that, ontologically, we can take a Fregean function to be generated by a property detection device that can register for any object the presence or absence of that property. This provides a direct connection between the semantics of sentences and the structure of perceptual judgment. The second part of the paper deals with arguments that have been mounted against the coherence of Frege’s semantics. It argues that some of these are question begging, while others are correct in so far as Frege’s claim is untenable if we assume that the syntactic categories singular term and predicate are primary, and the ontological categories are simply projections of these syntactic categories. However, the objections dissipate once we recognize that an independent ontological characterization of the distinction is available. (shrink)

La position résolument extensionaliste de Quine a été appuyée par des arguments de nature différente, dans ses multiples articles destinés à rejeter le projet de logique modale. On peut classer ces arguments en trois catégories : un argument naturaliste, où l’auteur tente de baser le langage scientifique sur une notation tâchée de décrire la “structure ultime de la réalité” ; un argument esthétique, où Quine fait allusion à des raisons de clarté et d’efficacité démonstrative pour privilégier la théorie des fonctions (...) de vérité ; un argument pratique, dans la mesure où Quine défend la logique classique sur la base du “principe de mutilation minimum”. A travers une étude de ses écrits relatifs aux attitudes propositionnelles, nous montrerons que la philosophie de la logique de Quine a prolongé la partie épistémologique de son oeuvre, optant finalement pour une stratégie de réduction naturaliste des intensions, à l’image du mouvement engagé par Word and Object et prolongé par From Stimulus to Science. Ce projet se soldera par un échec relatif, et Quine résumera cette désillusion par un fossé entre les structures du langage et du monde : la thèse du “monisme anomal” de Davidson sera le dernier mot, amer, du défenseur acharné de la logique classique. (shrink)

The paper argues, as against Thau and Caplan, that the traditional interpretation that Frege abandoned his earlier views about identity and identity--statements is correct.