The usual conception of transcendence is as the success of a process or practice of mediation, meditation, transmutation, salvation, supplication, application or implication. Blanchot's unusual transcendence escapes the inevitable ruin of such achievements by arriving in the form of the failure of immanence. Although it is impossible to describe that failure explicitly, it can be approached apophatically. Following an impossible imperative to see the whole, immanence generates inadvertent transcendence “thus exposing the essential ambiguity of transcendence and the impossibility that (...) this ambiguity be measured according to truth or legitimacy.” ( Writing of the Disaster p.65). The demanding process of bringing enough ambiguity into play in order to elucidate the failure of immanence and demonstrate a glimpse of an unavowable transcendence shall be undertaken through an assemblage of fragments from The Writing of the Disaster , interpreted as instructions for constructing and interrogating a temporary singularity. (shrink)

This paper first offers a standard modal extension of dialetheic logics that respect the normal semantics for negation and conjunction, in an attempt to adequately model absolutism, the thesis that there are true contradictions at metaphysically possible worlds. It is shown, however, that the modal extension has unsavoury consequences for both absolutism and dialetheism. While the logic commits the absolutist to dialetheism, it commits the dialetheist to the impossibility of the actual world. A new modal logic AV is then (...) proposed which avoids these unsavoury consequences by invalidating the interdefinability rules for the modal operators with the use of two valuation relations. However, while using AV carries no significant cost for the absolutist, the same isn't true for the dialetheist. Although using AV allows her to avoid the consequence that the actual world is an impossible world, it does so only on the condition that the dialetheist admits that she cannot give a dialetheic solution to all self-refe.. (shrink)

Suppose that the members of a group each hold a rational set of judgments on some interconnected questions, and imagine that the group itself has to form a collective, rational set of judgments on those questions. How should it go about dealing with this task? We argue that the question raised is subject to a difficulty that has recently been noticed in discussion of the doctrinal paradox in jurisprudence. And we show that there is a general impossibility theorem that (...) that difficulty illustrates. Our paper describes this impossibility result and provides an exploration of its significance. The result naturally invites comparison with Kenneth Arrow's famous theorem (Arrow, 1963 and 1984; Sen, 1970) and we elaborate that comparison in a companion paper (List and Pettit, 2002). The paper is in four sections. The first section documents the need for various groups to aggregate its members' judgments; the second presents the discursive paradox; the third gives an informal statement of the more general impossibility result; the formal proof is presented in an appendix. The fourth section, finally, discusses some escape routes from that impossibility. (shrink)

The ``doctrinal paradox'' or ``discursive dilemma'' shows that propositionwise majority voting over the judgments held by multiple individuals on some interconnected propositions can lead to inconsistent collective judgments on these propositions. List and Pettit (2002) have proved that this paradox illustrates a more general impossibility theorem showing that there exists no aggregation procedure that generally produces consistent collective judgments and satisfies certain minimal conditions. Although the paradox and the theorem concern the aggregation of judgments rather than preferences, they invite (...) comparison with two established results on the aggregation of preferences: the Condorcet paradox and Arrow's impossibility theorem. We may ask whether the new impossibility theorem is a special case of Arrow's theorem, or whether there are interesting disanalogies between the two results. In this paper, we compare the two theorems, and show that they are not straightforward corollaries of each other. We further suggest that, while the framework of preference aggregation can be mapped into the framework of judgment aggregation, there exists no obvious reverse mapping. Finally, we address one particular minimal condition that is used in both theorems – an independence condition – and suggest that this condition points towards a unifying property underlying both impossibility results. (shrink)

I formulate a counterfactual version of the notorious 'Ramsey Test'. Whereas the Ramsey Test for indicative conditionals links credence in indicatives to conditional credences, the counterfactual version links credence in counterfactuals to expected conditional chance. I outline two forms: a Ramsey Identity on which the probability of the conditional should be identical to the corresponding conditional probabihty/expectation of chance; and a Ramsey Bound on which credence in the conditional should never exceed the latter.Even in the weaker, bound, form, the counterfactual (...) Ramsey Test makes counterfactuals subject to the very argument that Lewis used to argue against the indicative version of the Ramsey Test. I compare the assumptions needed to run each, pointing to assumptions about the time-evolution of chances that can replace the appeal to Bayesian assumptions about credence update in motivating the assumptions of the argument.I finish by outlining two reactions to the discussion: to indicativize the debate on counterfactuals; or to counterfactualize the debate on indicatives. (shrink)

I formulate a counterfactual version of the notorious ‘Ramsey Test’. Whereas the Ramsey Test for indicative conditionals links credence in indicatives to conditional credences, the counterfactual version links credence in counterfactuals to expected conditional chance. I outline two forms: a Ramsey Identity on which the probability of the conditional should be identical to the corresponding conditional probability/expectation of chance; and a Ramsey Bound on which credence in the conditional should never exceed the latter. Even in the weaker, bound, form, the (...) counterfactual Ramsey Test makes counterfactuals subject to the very argument that Lewis used to argue against the indicative version of the Ramsey Test. I compare the assumptions needed to run each, pointing to assumptions about the time‐evolution of chances that can replace the appeal to Bayesian assumptions about credence update in motivating the assumptions of the argument. I finish by outlining two reactions to the discussion: to indicativize the debate on counterfactuals; or to counterfactualize the debate on indicatives. (shrink)

Putnam construed the aim of Carnap’s program of inductive logic as the specification of a “universal learning machine,” and presented a diagonal proof against the very possibility of such a thing. Yet the ideas of Solomonoff and Levin lead to a mathematical foundation of precisely those aspects of Carnap’s program that Putnam took issue with, and in particular, resurrect the notion of a universal mechanical rule for induction. In this paper, I take up the question whether the Solomonoff–Levin proposal is (...) successful in this respect. I expose the general strategy to evade Putnam’s argument, leading to a broader discussion of the outer limits of mechanized induction. I argue that this strategy ultimately still succumbs to diagonalization, reinforcing Putnam’s impossibility claim. (shrink)

While a large social-choice-theoretic literature discusses the aggregation of individual judgments into collective ones, there is much less formal work on the transformation of judgments in group communication. I develop a model of judgment transformation and prove a baseline impossibility theorem: Any judgment transformation function satisfying some initially plausible conditions is the identity function, under which no opinion change occurs. I identify escape routes from this impossibility and argue that the kind of group communication envisaged by deliberative democats (...) must be "holistic": It must focus on webs of connected propositions, not on one proposition at a time, which echoes the Duhem-Quine "holism thesis" on scientific theory testing. My approach provides a map of the logical space in which different possible group communication processes are located. (shrink)

It is a venerable slogan due to David Hume, and inherited by the empiricist tradition, that the impossible cannot be believed, or even conceived. In Positivismus und Realismus, Moritz Schlick claimed that, while the merely practically impossible is still conceivable, the logically impossible, such as an explicit inconsistency, is simply unthinkable. -/- An opposite philosophical tradition, however, maintains that inconsistencies and logical impossibilities are thinkable, and sometimes believable, too. In the Science of Logic, Hegel already complained against “one of the (...) fundamental prejudices of logic as hitherto understood”, namely that “the contradictory cannot be imagined or thought” (Hegel 1931: 430). Our representational capabilities are not limited to the possible, for we appear to be able to imagine and describe also impossibilities — perhaps without being aware that they are impossible. -/- Such impossibilities and inconsistencies are what this entry is about... (shrink)

Taylor's book Sources of the Self faces the tasks of showing how persons are situated in moral traditions and how these can be used in moral arguments. ?Moral traditions? cover answers to questions of the meaning of life, of the good life and of justice. The first part of this paper deals with the relationship of persons with moral traditions. Do people have to make sense of their lives, do they have to distinguish between worthy and unworthy ways of living? (...) It is argued that people have a strong need to answer these questions; life would be unbearable without biographical narratives; living without orientation towards the good is an existential impossibility. Taylor's theory is evaluative in the sense that his transcendental conditions of personhood are necessary because they fulfil a practical need. The second part of the paper examines the use of articulating moral traditions. It is claimed that they can be useful in practical discourse but that they presuppose the moral point of view. Moral traditions answer the question why people are worthy of respect, but not why we should ask that question. It is argued that a minimal version of the principle of equal respect is built into the structure of communication, so that we have no choice but to ask for the normative justification of relationships. (shrink)

By applying Arrow’s impossibility theorem for social choice to scientific theory choice, Okasha concludes that there is no acceptable theory choice rule. Okasha identifies the only way out of the impossibility in enriching the input for the theory choice rule, following Sen’s work for social choice. However, such a route seems not to be available for ‘large scale’ theory choices—i.e. choices among ‘key theories’ which imply a change of paradigm—based on Kuhn’s criteria, since these criteria cannot provide a (...) richer input. The aim of the paper is to explore two lines of response to this conclusion. The first response proposes an example suggesting that Kuhn’s criteria may, indeed, provide sufficiently rich inputs. The second one proposes to use Kuhn’s criteria to evaluate prior probability and likelihood of the theories, and then take these as elements of the ‘Bayesian theory choice rule’ that avoids the impossibility. I will then argue against an objection to the second response, derived from Stegenga’s observation that a rule that translates the information provided by Kuhn’s criteria into prior probabilities suffers from Arrovian impossibility. Finally, I will answer a separate interesting question suggested by Stegenga’s observation. (shrink)

We characterize seniority rules, also known as lexical dictatorships, under weak consistency constraints on the group’s choice function. These constraints are base triple-acyclicity in the case of binary choices and rationalizability (although not rationality) in the case of choices between an arbitrary number of alternatives. Existing results on these weakened constraints remain silent on the treatment of the group’s most junior individuals and therefore do not yield a complete characterization of seniority rules. We also impose a universal domain, binary strict (...) Pareto optimality, binary Pareto indifference, binary independence of irrelevant alternatives, and the newly introduced condition of conflict resolution. The latter condition requires a social choice rules not to remain indecisive between alternatives for which individuals have conflicting preferences. (shrink)

The reductio ad absurdum has been elected by Zeno as the only method permitting to descry the true reality, invisible both to the senses and to the common way of thinking. Showing some continuity with the previous philosophers, not only in the search for a procedure in order to speculation to advance, but also on the same route departing from what is nearer, more acquainted and particular (visible) toward what is less acquainted, more distant and universal (invisible), to say it (...) with aristotelic words, Zeno made use of aporetic arguments as the only possible way to catch a glimpse of the ‘domain of Being’. This, in fact, is invisible not only to our senses, but also to our ordinary reasoning. Therefore, just the ‘way of not-being’, the only one that could be walked after Parmenides, as Wolff says, allows us to have an insight of what is ‘really invisible’. So invisible that it is unreachable also to thought. (shrink)

This article discusses the theological implications of Adorno’s writings on Beckett by specifically examining their constellative motifs of death, reconciliation and redemption. It addresses not only their content but also their form, suggesting a mutually stimulating relationship between the two as based both on a negative-dialectical approach and an inverse-theological trajectory. Focusing on Adorno’s discussion of Beckett’s oeuvre as a “metaphysical entity,” I argue that Adorno’s reading of Beckett is peculiar because it is inextricably tied to his own critical-theological venture. (...) The essay claims that Adorno’s reflections on Beckett contour, at their most basic level, meditations on theology in the age of its impossibility. (shrink)

The purpose of this article is to introduce a Cartesian product structure into the social choice theoretical framework and to examine if new possibility results to Gibbard’s and Sen’s paradoxes can be developed thanks to it. We believe that a Cartesian product structure is a pertinent way to describe individual rights in the social choice theory since it discriminates the personal features comprised in each social state. First we define some conceptual and formal tools related to the Cartesian product structure. (...) We then apply these notions to Gibbard’s paradox and to Sen’s impossibility of a Paretian liberal. Finally we compare the advantages of our approach to other solutions proposed in the literature for both impossibility theorems. (shrink)

This paper develops a form of moral actualism that can explain the procreative asymmetry. Along the way, it defends and explains the attractive asymmetry: the claim that although an impermissible option can be self-conditionally permissible, a permissible option cannot be self-conditionally impermissible.

Galen Strawson’s Basic Argument is that because self-creation is required to be truly morally responsible and self-creation is impossible, it is impossible to be truly morally responsible for anything. I contend that the Basic Argument is unpersuasive and unsound. First, I argue that the moral luck debate shows that the self-creation requirement appears to be contradicted and supported by various parts of our commonsense ideas about moral responsibility, and that this ambivalence undermines the only reason that Strawson gives for the (...) self-creation requirement. Second, I argue that the self-creation requirement is so demanding that either it is an implausible requirement for a species of true moral responsibility that we take ourselves to have or it is a plausible requirement of a species of true moral responsibility that we have never taken ourselves to have. Third, I explain that Strawson overgeneralizes from instances of constitutive luck that obviously undermine moral responsibility to all kinds of constitutive luck. (shrink)

In a famous passage drawing implications from determinism, Laplace introduced the image an intelligence who knew the positions and momenta of all of the particles of which the universe is composed, and asserted that in a deterministic universe such an intelligence would be able to predict everything that happens over its entire history. It is not, however, difficult to establish the physical possibility of a counterpredictive device, i.e., a device designed to act counter to any revealed prediction of its behavior. (...) What would happen if a Laplacean intelligence were put into communication with such a device and forced to reveal its prediction of what the device would do on some occasion? On the one hand, it seems that the Laplacean Intelligence should be able to predict the device's behavior. On the other hand, it seems like that device should be able to act counter to the prediction. An examination of the puzzle leads to clarification of what determinism does entail, with some insights about various other things along the way. (shrink)

Apart from his critique of Kant, Maimon’s significance for the history of philosophy lies in his crucial role in the rediscovery of Spinoza by the German Idealists. Specifically, Maimon initiated a change from the common eighteenth-century view of Spinoza as the great ‘atheist’ to the view of Spinoza as an ‘acosmist’, i.e., a thinker who propounded a deep, though unorthodox, religious view denying the reality of the world and taking God to be the only real being. I have discussed this (...) aspect of Maimon’s philosophy in other places, and though the topic of the current paper has an interesting relation to certain doctrines of Spinoza, I will not develop this issue here. Neither of these two issues -- Maimon’s criticism of Kant or his original interpretation of Spinoza -- was considered by Maimon as his main contribution to philosophy. There is little doubt that if Maimon were asked to point out his single most important innovation he would have picked his doctrine of the Principle of Determinability [Satz der Bestimmbarkeit]. Regarding this doctrine Maimon writes: ... [T]he principle of determinability laid down in this work is a principle of all objectively real thought, and consequently of philosophy as a whole too. All the propositions of philosophy can be derived from, and be determined by it [woraus sich alle Sätze herleiten und wodurch sie sich bestimmen lassen]. … I have made available a supreme principle of all objectively real thought, viz., the principle of determinability... and have established as the ground of the whole of pure philosophy -- a principle which, if it is ever grasped, will, I hope, withstand every scrutiny. These claims may strike the reader as somewhat presumptuous, to say the least. But, if we pay attention to the last sentence of the passage, we can see that Maimon doubts whether his great finding will ever be understood. It is not unlikely that in this phrase (“wenn er nur einmal eingesehen werden wird”) Maimon was reacting to his own repeatedly unsuccessful attempts to explain the principle. The fate of Maimon’s principle has not been much better in the few works written on Maimon’s philosophy, and though almost all commentators agree that the principle of determinability is the linchpin of the positive philosophy Maimon was trying to develop, we do not yet have a clear explanation of this principle, or of the reason why Maimon assigns such importance to it. Recently, Oded Schechter developed an excellent reading of this principle, and in most aspects my view agrees with his (primarily, in its rejecting the attempt to explain the principle as a version of Leibniz’s predicate-in-subject [Praedicatum inest subjecto] containment thesis). My paper consists of two parts. The first is expository in nature. In this part, I spell out briefly the main aspects of Maimon’s principle of determinability and its aims. In the second part, I examine Maimon’s surprising claim that once we accept the principle of determinability, we have to deny the possibility of two subjects sharing the same predicate. Maimon provides several proofs for this highly counterintuitive claim, and I will try to clarify and evaluate these proofs. (shrink)

Descartes’ demon is a deceiver: the demon makes things appear to you other than as they really are. However, as Descartes famously pointed out in the Second Meditation, not all knowledge is imperilled by this kind of deception. You still know you are a thinking thing. Perhaps, though, there is a more virulent demon in epistemic hell, one from which none of our knowledge is safe. Jonathan Schaffer thinks so. The “Debasing Demon” he imagines threatens knowledge not via the truth (...) condition on knowledge, but via the basing condition. This demon can cause any belief to seem like it’s held on a good basis, when it’s really held on a bad basis. Several recent critics, Conee, Ballantyne & Evans ) grant Schaffer the possibility of such a debasing demon, and argue that the skeptical conclusion doesn’t follow. By contrast, we argue that on any plausible account of the epistemic basing relation, the “debasing demon” is impossible. Our argument for why this is so gestures, more generally, to the importance of avoiding common traps by embracing mistaken assumptions about what it takes for a belief to be based on a reason. (shrink)

The moral philosophy of Levinas offers a stark prospectus of impossibility for corporate ethics. It differs from most traditional ethical theories in that, for Levinas, the ethical develops in a personal meeting of one with the Other, rather than residing in some internal deliberation of the moral subject. Levinasian ethics emphasises an infinite personal responsibility arising for each of us in the face of the Other and in the presence of the Third. It stresses the imperious demand we experience (...) to be open to, prepared for and impassioned with that which we may not know, or recognise, about ourselves or about the Other. Such a demand transcends our intellectual and/or rational potential; it involves us in a carnal and somatic bodily experience of otherness. If we are to speak of Levinasian ethics in a business context, it cannot be a matter of corporate ethics but only a matter of individual managerial ethics. What such an ethics would be like is yet to be outlined. This paper proposes a series of questions and suggestions that will explicate some key terms of a practice organised around a Levinasian vocabulary of otherness, responsibility, proximity, diachrony and justice. (shrink)

A model of judgment aggregation is presented in which judgments on propositions are not binary but come in degrees. The primitives are a set of propositions, an entailment relation, and a “triangular norm” which establishes a lower bound on the degree to which a proposition is true whenever it is entailed by a set of propositions. Under standard assumptions, we identify a necessary and sufficient condition for the collective judgments to be both deductively closed and free from veto power. This (...) condition says that the triangular norm used to establish the lower bound must contain a zero divisor. (shrink)

We need to understand the impossible. Francesco Berto and Mark Jago start by considering what the concepts of meaning, information, knowledge, belief, fiction, conditionality, and counterfactual supposition have in common. They are all concepts which divide the world up more finely than logic does. Logically equivalent sentences may carry different meanings and information and may differ in how they're believed. Fictions can be inconsistent yet meaningful. We can suppose impossible things without collapsing into total incoherence. Yet for the leading philosophical (...) theories of meaning, these phenomena are an unfathomable mystery. To understand these concepts, we need a metaphysical, logical, and conceptual grasp of situations that could not possibly exist: Impossible Worlds. This book discusses the metaphysics of impossible worlds and applies the concept to a range of central topics and open issues in logic, semantics, and philosophy. It considers problems in the logic of knowledge, the meaning of alternative logics, models of imagination and mental simulation, the theory of information, truth in fiction, the meaning of conditional statements, and reasoning about the impossible. In all these cases, impossible worlds have an essential role to play. (shrink)

Impossible Worlds focuses on an exciting new theory in philosophy, with applications in metaphysics, logic, and the theory of meaning. Its central topic is: how do we meaningfully talk and reason about situations which, unbeknownst to us, are impossible? This issue emerges as a central problem in contemporary philosophical accounts of meaning, information, knowledge, belief, fiction, conditionality, and counterfactual supposition. The book is written bytwo of the leading philosophers in the area and contains original research of relevance to professional philosophers (...) and logicians working in metaphysics, philosophy of language, formal logic, and adjacentareas. (shrink)

Mereological nihilism is the philosophical position that there are no items that have parts. If there are no items with parts then the only items that exist are partless fundamental particles, such as the true atoms (also called philosophical atoms) theorized to exist by some ancient philosophers, some contemporary physicists, and some contemporary philosophers. With several novel arguments I show that mereological nihilism is the correct theory of reality. I will also discuss strong similarities that mereological nihilism has with empirical (...) results in quantum physics. And I will discuss how mereological nihilism vindicates a few other theories, such as a very specific theory of philosophical atomism, which I will call quantum abstract atomism. I will show that mereological nihilism also is an interpretation of quantum mechanics that avoids the problems of other interpretations, such as the widely known, metaphysically generated, quantum paradoxes of quantum physics, which ironically are typically accepted as facts about reality. I will also show why it is very surprising that mereological nihilism is not a widely held theory, and not the premier theory in philosophy. (shrink)

Some influential arguments in the metaphysics of consciousness, in particular Chalmers’ Zombie Argument, suppose that all the physical properties of composed physical systems are metaphysically necessitated by their fundamental constituents. In this paper I argue against this thesis in order to debate Chalmers’ argument. By discussing, in non-technical terms, an EPR system I try to show that there are good reasons to hold that some composed physical systems have properties which are nomologically necessitated by their fundamental constituents, i.e., which emerge (...) in the sense of the so-called ‘nomological supervenience’ views. (shrink)

Reality contains information that becomes significances in the mind of the observer. Language is the human instrument to understand reality. But is it possible to attain this reality? Is there an absolute reality, as certain philosophical schools tell us? The reality that we perceive, is it just a fragmented reality of which we are part? The work that the authors present is an attempt to address this question from an epistemological, linguistic and logical-mathematical point of view.

In this critical notice of Kment's _Modality and Explanatory Reasoning_, we focus on Kment’s arguments for impossible worlds and on a key part of his discussion of the interactions between modality and explanation – the analogy that he draws between scientific and metaphysical explanation.

Impossible fictions are valuable evidence both for a theory of fiction and for theories of meaning, mind and epistemology. This article focuses on what we can learn about fiction from reflecting on impossible fictions. First, different kinds of impossible fiction are considered, and the question of how much fiction is impossible is addressed. What impossible fiction contributes to our understanding of "truth in fiction" and the logic of fiction will be examined. Finally, our understanding of unreliable narrators and unreliable narration (...) in fiction needs to accommodate stories that, on the face of it, cannot possibly be true. (shrink)

The moral philosophy of Levinas offers a stark prospectus of impossibility for corporate ethics. It differs from most traditional ethical theories in that, for Levinas, the ethical develops in a personal meeting of one with the Other, rather than residing in some internal deliberation of the moral subject. Levinasian ethics emphasises an infinite personal responsibility arising for each of us in the face of the Other and in the presence of the Third. It stresses the imperious demand we experience (...) to be open to, prepared for and impassioned with that which we may not know, or recognise, about ourselves or about the Other. Such a demand transcends our intellectual and/or rational potential; it involves us in a carnal and somatic bodily experience of otherness. If we are to speak of Levinasian ethics in a business context, it cannot be a matter of corporate ethics but only a matter of individual managerial ethics. What such an ethics would be like is yet to be outlined. This paper proposes a series of questions and suggestions that will explicate some key terms of a practice organised around a Levinasian vocabulary of otherness, responsibility, proximity, diachrony and justice. (shrink)

Forrester’s proposed seventh style of reasoning – thinking in cases – functions as an analogous, dyadic relationship that, whilst indebted philosophically to the logical reasoning and semiotics of Charles Peirce, is prone to creating feedback loops between induction and deduction, precluding novel abductive hypotheses from advancing medical knowledge. Reasoning with a Peircean triadic model opens up the contexts and methods of meaning-making and reasoning through medical cases, and the potent influence of their genre conventions, to intellectual critical scrutiny. Vitally, it (...) offers a third mode – abduction – that this article argues needs to be reintroduced into Forrester’s model of reasoning with cases. This article demonstrates this by applying a Peircean triadic model of reasoning to Forrester’s own model, tracing a shared genealogy but one in which the abductive element was lost. The article goes on to illustrate the explanatory and predictive potential of Peircean abductive reasoning and the necessary re-theorising of the case this entails. This argument is supported through an analysis of early case reports of what would become HIV/Aids, drawn from the Case Records of Massachusetts General Hospital series in the New England Journal of Medicine. (shrink)

Neurorights, as “new human rights,” have been increasingly recognized in the literature. In the Neurorights Initiative, these rights are supposed to be directed toward mental privacy, free will, pe...

SCIENTISTS HAVE DISCOVERED that water is H2O. Water is H2O is true. But is it a necessary truth? In other words, is it true in all possible worlds? Some people think it is. For example Hilary Putnam, in his well-known Twin Earth argument, concludes that "water is H2O" is necessarily true; thus a liquid which phenomenally resembles H2O and fits the description of water in almost all aspects, but has the chemical formula XYZ, cannot be water. Saul Kripke has made (...) a similar claim about the necessary identity between water and H2O. Because this type of truth is based on empirical discoveries, Kripke calls truths of this sort "necessary a posteriori." The thesis shared by Putnam and Kripke has two premises: a realist view that natural kinds exist independently of human cognition, and a theory of direct reference of natural kind terms. Opposing the view that natural kind terms pick out objects through descriptions, Putnam and Kripke hold that natural kind terms pick out natural kinds in the world in a direct way. Based on these two premises, they argue that, if two natural kind terms, A and B, designate the same thing in the world, "A = B" expresses a necessary identity. (shrink)