Online research in philosophy

Standard approaches to possible-world semantics allow us to define necessity and logical truth, but analyticity is considerably more difficult to account for. The source of this difficulty lies in the received model-theoretical conception of a language interpretation. In intuitive terms, analyticity amounts to truth in virtue of meaning alone, i.e. solely in virtue of the interpretation of linguistic expressions. In other words, an analytic sentence should remain true under all variations of ‘extralinguistic reality’ as long as the interpretation is kept constant. However, the received conception of an interpretation as a mapping from language to a model frame hinders keeping the interpretation constant while varying other components of the model. To make room for analyticity, the concept of an interpretation should therefore be revised. The latter should be made richer in content than it has usually been assumed. As a by-product, this revision also gives us a one-dimensional analogue of the influential two-dimensional account of a priori. We are thus able to map out the network of formal connections between the notions of analyticity, apriority, logical truth and necessity.

I grew up with a cat and so I know that cats are the most intelligent, graceful, and insightful beings in the Universe. (This is already an example of how we humans can achieve a small measure of wisdom if we live with cats.) My whole family has always been into cats, and since I don't have a cat of my own now, I will tell you about some of theirs. My sister Gina's cat Tuti was remarkable by any measure.

Many people face a problem about potentiality: their moral beliefs appear to dictate inconsistent views about the significance of the potentiality to become a healthy adult. Briefly, the problem arises as follows. Consider the following two claims. First, both human babies and cats have moral status, but harms to babies matter more, morally, than similar harms to cats. Second, early human embryos lack moral status. It appears that the first claim can only be true if human babies have more moral status than cats. Among the properties that determine moral status, human babies have no properties other than their potentiality that could explain their having more moral status than cats. So human babies’ potentiality to become adult persons must explain their having more moral status than cats. But then potentiality must raise moral status generally. So early human embryos must have some moral status. It appears that the view that must underlie the first claim implies that the second claim is false.

Analyticity is a bogus explanatory concept, and is so even granting genuine synonomy. Definitions can't explain the truth of a statement, let alone its necessity and/or our a priori knowledge of it. The illusion of an explanation is revealed by exposing diverse confusions: e.g., between nominal, conceptual and real definitions, and correspondingly between notational, conceptual, and objectual readings of alleged analytic truths, and between speaking a language and operating a calculus. The putative explananda of analyticity are (alleged) truths about essential properties. Real definitions (a la Socrates) are the (alleged) explananda, not the explanans of analyticity. Their truth can be explained neither by conceptual definitions (a la Kant), nor by nominal definitions (a la Frege). The Quinean assault on synonomy is unsuccessful and in any case misplaced, because analyticity turns on the explanatory import of synonomy, not its existence. Synonym substitution in a logical truth cannot yield a necessary truth for it doesn't preserve logical form. Self-identity statements (for properties and/or individuals) differ in logical form from alter-identity statements.

According to the so-called metaphysical conception of analyticity, analytic truths are true in virtue of meaning (or content) alone and independently of (extralinguistic) facts. Quine and Boghossian have tried to present a conclusive argument against the metaphysical conception of analyticity. In effect, they tried to show that the metaphysical conception inevitably leads into a highly implausible view about the truthmakers of analytic truths. We would like to show that their argument fails, since it relies on an ambiguity of the notion of 'independence of (extralinguistic) facts'. If one distinguishes between variation independence and existence independence, the unwelcome view about the truthmakers of analytic truths no longer follows. Thus, there is at best a challenge, but no conclusive argument. The door to the metaphysical conception of analyticity is still open.

It would be ever so nice if there were a viable analytic/synthetic distinction. Though nobody knows for sure, there would seem to be several major philosophical projects that having one would advance. For example: analytic sentences2 are supposed to have their truth values solely in virtue of the meanings (together with the syntactic arrangement) of their constituents; i.e., their truth values are supposed to supervene on their linguistic properties alone.3 So they are true in every possible world where they mean what they mean here.4 So they are necessarily true. So if there were a viable analytic/synthetic distinction (‘a/s distinction’ often hereafter), we would understand the necessity of at least some necessary truths. If, in particular, it were to turn out that the logical and/or the mathematical truths are analytic, we would understand why they are necessary. It would be ever so nice to understand why the logical and/or mathematical truths are necessary (cf. Gibson 1998; Quine 1998). Any account of necessity would be welcome, but one according to which necessary truths are analytic has special virtues. Necessity isn’t, of course, an epistemic property. Still, suppose that the necessity of a sentence arises from the meanings of its parts. It’s natural to assume that one of the things one knows in virtue of knowing one’s language is what the expressions of the language mean (cf., e.g., Boghossian 1994). A treatment of modality in terms of analyticity therefore connects the concept of necessity with the concept of knowledge; and knowledge is, of course, an epistemic property. So maybe if there is an a/s distinction, we could explain why the necessary truths, or at least some of the necessary truths, are knowable a priori by anybody who knows a language that can express them (cf. Quine 1991). It bears emphasis that not every theory of..

What ethical obligations do people have to cats? Are cats more rational than humans? What can cats teach humans about evolutionary psychology? In this fascinating collection of articles, 18 philosophers try to answer these questions and more as they explore the majesty, mystique, and mystery of the cat. They reveal surprising insights into the feline mind and world and offer delightful anecdotes of cats they have known.

At least since W. V. O. Quine's famous critique of the analytic/synthetic distinction, philosophers have been deeply divided over whether there are any analytic truths. One line of thought suggests that the simple fact that people have 'intuitions of analyticity' might provide an independent argument for analyticities. If defenders of analyticity can explain these intuitions and opponents cannot, then perhaps there are analyticities after all. We argue that opponents of analyticity have some unexpected resources for explaining these intuitions and that, accordingly, the argument from intuition fails.

What's the relation between being a P and being called 'P', for example, between being a cat and being called 'cat'? Surely something might be a cat without being called 'cat'; indeed, cats as such might not be called 'cats'. If the word 'cat' disappeared from the language, the event would not entail the disappearence of cats. What about the converse implication? Does being called 'cat' entail being a cat? It would seem so. For suppose 'cat' refers to certain objects, and let Moon be one such object. Consider the statement that Moon is a cat. The statement is true just in case Moon is one of the objects that 'cat' refers to, which she is. Hence, the statement is true, therefore Moon is a cat. Being among the objects that 'cat' refers to entails being a cat. However, it is one thing to say that 'cat' refers to certain objects, and (possibly) a different thing to say that certain objects are called 'cats'. Spiders are often called 'insects', yet 'insect' does not refer to spiders: it is not correct to call spiders 'insects'. "Being called" is often intended as a descriptive notion: whether something is, or is not called 'P' is just a fact that can be stated in terms of people's behavior or patterns of behavior. Reference, on the other hand, may not be descriptive in this sense. Philosophers have often been trying to characterize the quasi-technical notion of reference by suitably restricting or qualifying the everyday, descriptive notion of "being called". Success in such an enterprise would amount to showing that being called* 'P' -a suitably modified version of being called 'P'- entails being P. Whether the enterprise is bound to fail is not the topic of this article. Here, I would like to show that one such attempt did fail, whereas another, more recent attempt that would seem to be bound to fail for analogous reasons does not fail; or not for such reasons, anyway. A few decades ago, some philosophers believed that being called 'P' was (with some qualifications) a sufficient condition for being a P..

Some things are _about_, or are _directed on_ , or _represent_, other things. For example, the sentence 'Cats are animals' is about cats (and about animals), this article is about intentionality, Emanuel Leutze's most famous painting is about Washington's crossing of the Delaware, lanterns hung in Boston's North Church were about the British, and a map of Boston is about Boston. In contrast, '#a$b', a blank slate, and the city of Boston are not about anything. Many mental states and events also have "aboutness": the belief that cats are animals is about cats, as is the fear of cats, the desire to have many cats, and seeing that the cats are on the mat. Arguably some mental states and events are not about anything: sensations, like pains and itches, are often held to be examples. Actions can also be about other things: hunting for the cat is about the cat, although tripping over the cat is not. This -- rather vaguely characterized -- phenomenon of "aboutness" is called _intentionality_. Something that is about (directed on, represents) something else is said to "have intentionality", or (in the case of mental states) is said to be an "intentional mental state".