One of Kripke's fundamental objections to descriptivism was that the theory misclassifies certain _a posteriori_ propositions expressed by sentences involving names as _a priori_. Though nowadays very few philosophers would endorse a descriptivism of the sort that Kripke criticized, many find two-dimensional semantics attractive as a kind of successor theory. Because two-dimensionalism needn't be a form of descriptivism, it is not open to the epistemic argument as formulated by Kripke; but the most promising versions of two-dimensionalism are (...) open to a close relative of that argument. (shrink)

According to Epistemic Two-Dimensional Semantics (E2D), expressions have a counterfactual intension and an epistemic intension. Epistemic intensions reflect cognitive significance such that sentences with necessary epistemic intensions are a priori. We defend E2D against an influential line of criticism: arguments from epistemic misclassification. We focus in particular on the arguments of Speaks [2010] and Schroeter [2005]. Such arguments conclude that E2D is mistaken from (i) the claim that E2D is committed to classifying certain sentences as (...) a priori, and (ii) the claim that such sentences are a posteriori. We aim to show that these arguments are unsuccessful as (i) and (ii) undercut each other. One must distinguish the general framework of E2D from a specific implementation of it. The framework is flexible enough to avoid commitment to the apriority of any particular sentence; only specific implementations are so committed. Arguments from epistemic misclassification are therefore better understood as arguments for favouring one implementation of E2D over another, rather than as refutations of E2D. (shrink)

This note argues that Laura Schroeter's [2005] critique of David Chalmers's epistemic two-dimensional semantics is not touched by a reply by Edward Elliott, Kelvin McQueen, and Clas Weber [2013].

One of Kripke's fundamental objections to descriptivism was that the theory misclassifies certain a posteriori propositions expressed by sentences involving names as a priori. Though nowadays very few philosophers would endorse a descriptivism of the sort that Kripke criticized, many find two-dimensional semantics attractive as a kind of successor theory. Because two-dimensionalism needn't be a form of descriptivism, it is not open to the epistemic argument as formulated by Kripke; but the most promising versions of two-dimensionalism are (...) open to a close relative of that argument. (shrink)

According to epistemic two-dimensionalism, or simply two-dimensionalism, linguistic expressions are associated with two intensions, one of which represents an expression’s a priori implications. The author investigates the prospects of conceptual analysis on the basis of a two-dimensionalist theory of meaning. He discusses a number of arguments for and against two-dimensional semantics and argues that properly construed, two-dimensionalism provides a potent and plausible account of meaning. Against the background of this account, the author then goes on to (...) assess the value of conceptual analysis in philosophical practice, outlining its goals, its promises, but also its limitations. (shrink)

There is reason to expect a reasonable account of a priori knowledge to be linked with an account of the nature of conceptual thought. Recent “two-dimensionalist” accounts of conceptual thought propose an extremely direct connection between the two: on such views, being in a position to know a priori a large number of non-trivial propositions is a necessary condition of concept-possession. In this paper I criticize this view, by arguing that it requires an implausibly internalist and intellectualist conception of capacities (...) we bring to bear in applying concepts in experience. Empirical concept-application depends on the exercise of a variety of capacities, many of which can be grouped together under the general label “recognitional”. As I argue, two-dimensionalism cannot accommodate a plausible account of such capacities. This suggests that the link between a priori knowledge and the nature of conceptual thought is not as direct as twodimensionalists take it to be. I close by briefly sketching a different way to think of that link. (shrink)

Epistemic two-dimensional semantics, advocated by Chalmers and Jackson, among others, aims to restore the link between necessity and a priority seemingly broken by Kripke, by showing how armchair access to semantic intensions provides a basis for knowledge of necessary a posteriori truths. The most compelling objections to E2D are that, for one or other reason, the requisite intensions are not accessible from the armchair. As we substantiate here, existing versions of E2D are indeed subject to such access-based objections. But, (...) we moreover argue, the difficulty lies not with E2D but with the typically presupposed conceiving-based epistemology of intensions. Freed from that epistemology, and given the right alternative—one where inference to the best explanation provides the operative guide to intensions—E2D can meet access-based objections, and fulfill its promise of restoring the desirable link between necessity and a priority. This result serves as a central application of Biggs and Wilson, according to which abduction is an a priori mode of inference. (shrink)

Some opponents of epistemic two-dimensionalism say that the view should be rejected on the grounds that it misclassifies certain a posteriori claims as a priori. Elliott, McQueen, & Weber [2013] have argued that any argument of this form must fail. I argue that this conclusion is mistaken, and defend my argument [Speaks (2010] against their criticisms.

I argue that the two-dimensional hyperintensions of epistemic topic-sensitive two-dimensional truthmaker semantics provide a compelling solution to the access problem. I countenance an abstraction principle for epistemic hyperintensions based on Voevodsky's Univalence Axiom and function type equivalence in Homotopy Type Theory. I apply, further, modal rationalism in modal epistemology to solve the access problem. Epistemic possibility and hyperintensionality, i.e. conceivability, can be a guide to metaphysical possibility and hyperintensionality, when (i) epistemic worlds or epistemic hyperintensional (...) states are interpreted as being centered metaphysical worlds or hyperintensional states, i.e. indexed to an agent, when (ii) the epistemic (hyper-)intensions and metaphysical (hyper-)intensions for a sentence coincide, i.e. the hyperintension has the same value irrespective of whether the worlds in the argument of the functions are considered as epistemic or metaphysical, and when (iii) sentences are said to consist in super-rigid expressions, i.e. rigid expressions in all epistemic worlds or states and in all metaphysical worlds or states. I argue that (i) and (ii) obtain in the case of the access problem. (shrink)

Graeme Forbes (2011) raises some problems for two-dimensional semantic theories. The problems concern nested environments: linguistic environments where sentences are nested under both modal and epistemic operators. Closely related problems involving nested environments have been raised by Scott Soames (2005) and Josh Dever (2007). Soames goes so far as to say that nested environments pose the “chief technical problem” for strong two-dimensionalism. We call the problem of handling nested environments within two-dimensional semantics “the nesting problem”. We show that (...) the two-dimensional semantics for attitude ascriptions developed in Chalmers (2011a) has no trouble accommodating certain forms of the nesting problem that involve factive verbs such as “know” or “establish”. A certain form of the nesting problem involving apriority and necessity operators does raise an interesting puzzle, but we show how a generalized version of the nesting problem arises independently of two-dimensional semantics—it arises, in fact, for anyone who accepts the contingent a priori. We, then, provide a two-dimensional treatment of the apriority operator that fits the two-dimensional treatment of attitude verbs and apply it to the generalized nesting problem. We conclude that two-dimensionalism is not seriously threatened by cases involving the nesting of epistemic and modal operators. (shrink)

In two‐dimensional semantics in the tradition of Davies and Humberstone, whether a singular term receives an epistemically shifted reading in the scope of a modal operator depends on whether the world considered as actual is shifted. This means that epistemically shifted readings should be available only in environments where an explicit contrast between the actual world and some counterfactual worlds cannot be made. In this paper, I argue that this is incorrect. Whether a singular term receives an epistemically shifted reading (...) is independent of whether the world treated as actual is shifted. This, I argue, undermines the two‐dimensionalist account of epistemic shift. I then turn to the question how a positive view should handle these two phenomena separately. I argue for treating singular terms with a version of counterpart theory in which the difference between epistemically shifted and other readings is determined in the context of utterance. (shrink)

In Meaning and Necessity (1947/1950), Carnap advances an intensional semantic framework on which modal claims are true in virtue of semantical rules alone, and so are a priori. In 'Empiricism, Semantics, and Ontology' (1950), Carnap advances an epistemic-ontological framework on which metaphysical claims are either trivial or meaningless, since lacking any means of substantive confirmation. Carnap carried out these projects two decades before Kripke influentially argued, in Naming and Necessity (1972/1980), that some modal claims are true a posteriori. How (...) should a neo-Carnapian respond to Kripke's results? Some (notably, Chalmers and Jackson, in their 2001) have suggested that an extension of intensional semantics along lines of "epistemic two-dimensionalism" can accommodate Kripke's results while largely preserving commitment to the semantics-based a priority of modal claims. Here we consider how best to implement this suggestion, and how the resulting semantics fits with Carnap's second project. We find that the most promising (and most Carnapian!) post-Kripke version of Carnap’s semantics---abductive two-dimensionalism---presupposes an epistemology which undermines Carnap's metaphysical anti-realism. (shrink)

According to epistemic two-dimensionalism, every expression is associated with two kinds of meaning: a primary intension (a “Fregean” component) and a secondary intension (a “Russellian” component). While the rst kind of meaning lines up with the speaker’s abilities to pick out referents of correctly employed expressions in hypothetical scenarios, the second kind of meaning is a version of what standard semanticists call “semantic content”—a kind of content which does not pivot on speaker abilities. Despite its conciliatory temperament, (...) class='Hi'>epistemic two-dimensionalism has come under recent attack. It has been alleged that it is bound to attribute to speakers a priori identifying knowledge of the referents of correctly employed terms, and bound also to reject valid rules of inference such as exportation: P(a) → λx[P(x)](a) (see, e.g., Soames 2005. (shrink)

Two‐dimensional semantics is probably the most significant development in contemporary philosophy of language. Among its various versions, it is Chalmers's epistemic two‐dimensionalism that received most widely discussions and most severe criticisms. Here I consider one such criticism, namely, “the nesting problem,” which concerns the interaction between modality and apriority. I propose a solution to the problem and defend it through comparison with other approaches in the literature, as well as rebut with some potential objections. It turns out that (...) my solution not only handles the interaction between modality and apriority naturally but also avoids many difficulties of other approaches. (shrink)

The notion of conceivability has traditionally been regarded as crucial to an account of modal knowledge. Despite its importance to modal epistemology, there is no received explication of conceivability. In recent discussions, some have attempted to explicate the notion in terms of epistemic possibility. There are, however, two notions of epistemic possibility, a more familiar one and a novel one. I argue that these two notions are independent of one another. Both are irrelevant to an account of modal (...) knowledge on the predominant view of modal reality. Only the novel notion is relevant and apt on the competing view of modal reality; but this latter view is problematic in light of compelling counterexamples. Insufficient care regarding the independent notions of epistemic possibility can lead to two problems: a gross problem of conflation and a more subtle problem of obscuring a crucial fact of modal epistemology. Either problem needlessly hampers efforts to develop an adequate account of modal knowledge. I conclude that the familiar notion of epistemic possibility should be eschewed in the context of modal epistemology. (shrink)

In a recent paper, Brian Rabern suggests a semantics for languages with two kinds of modality, standard Kripkean metaphysical modality as well as epistemic modality. This semantics presents an alternative to two-dimensionalism, which was developed in the last decades. Both Rabern’s semantics and two-dimensionalism are subject to a puzzle that Chalmers and Rabern, 210–224 2014) call the nesting problem. I will investigate how Rabern’s semantics answers this puzzle.

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

The essence of the associated-proposition strategy is to distinguish the necessary proposition _expressed by_ a sentence.

In recent years two‐dimensional semantics has become one of the most serious alternatives to Millianism for the proper interpretation of modal discourse. It has origins in the works of a diverse group of philosophers, and it has proven popular as an interpretation of both language and thought. It has probably received most of its attention, however, because of its use by David Chalmers in his arguments against materialism. It is this more metaphysical application of two‐dimensionalism that is the concern (...) in this paper. For though there is probably something salvageable from two‐dimensionalism as a way to explain the content of thought, as a metaphysical tool it should be abandoned. In this paper I aim to establish this point by reductio: if ‘metaphysical’ two‐dimensionalism is assumed, it can be shown to be false. (shrink)

Two-dimensional semantics aims to eliminate the puzzle of necessary a posteriori and contingent a priori truths. Recently many argue that even assuming two-dimensional semantics we are left with the puzzle of necessary and a posteriori propositions. Stephen Yablo (Pacific Philosophical Quarterly, 81, 98–122, 2000) and Penelope Mackie (Analysis, 62(3), 225–236, 2002) argue that a plausible sense of “knowing which” lets us know the object of such a proposition, and yet its necessity is “hidden” and thus a posteriori. This paper answers (...) this objection; I argue that given two-dimensional semantics you cannot know a necessary proposition without knowing that it is true. (shrink)

Kripke and Putnam have convinced most philosophers that we cannot do metaphysics of nature by analysing the senses of natural kind terms -- simply because natural kind terms do not have senses. Neo-descriptivists, especially Frank Jackson and David Chalmers, believe that this view is mistaken. Merging classical descriptivism with a Kaplan-inspired two-dimensional framework, neo-descriptivists devise a semantics for natural kind terms that assigns natural kind terms so-called 'primary intensions'. Since primary intensions are senses by other names, Jackson and Chalmers conclude (...) that we can and should do metaphysics of nature by analysing the natural kind concepts competent speakers possess. I argue that neo-descriptivism does not provide a suitable basis for doing this kind of metaphysics. I first of all give a detailed account of the neo-descriptivist semantics and deflate the intuitive support neo-descriptivists try to draw from their case of the XYZ-world. I then present three arguments -- the Argument from Ignorance, the Argument from Conceptual Analysis, and the Argument from Laziness. Taken together, these arguments undermine the neo-descriptivist analysis of natural kind terms. I conclude that natural kind terms do not have senses, that we cannot do metaphysics of nature by analysing the senses of our kind terms, and that the Kripke-Putnam account still provides the best semantics for natural kind terms we have. (shrink)

This paper develops and critiques the two-dimensionalist account of mental content developed by David Chalmers. I first explain Chalmers's account and show that it resists some popular criticisms. I then argue that the main interest of two-dimensionalism lies in its accounts of cognitive significance and of the connection between conceivability and possibility. These accounts hinge on the claim that some thoughts have a primary intension that is necessarily true. In this respect, they are Carnapian, and subject to broadly Quinean (...) attack. The remainder of the paper advances such an attack. I argue that there are possible thinkers who are willing to revise their beliefs in response to expert testimony, and that such thinkers will have no thoughts with necessary primary intensions. I even suggest that many actual humans may well be such thinkers. I go on to argue that these possible thinkers show that the two-dimensionalist accounts fail. (shrink)

For those who endorse Millianism and take ‘Sherlock Holmes’ to be an empty name, the sentence ‘Sherlock Holmes is clever’ may not count as expressing a complete proposition. The sentence ‘According to the fiction, Sherlock Holmes is clever’, however, should count as expressing a true proposition. I attempt to reconcile these two intuitions by arguing that ‘According to the fiction’ is a two-dimensional operator: to evaluate a statement of the form ‘According to the fiction, S’ at world @ (where @ (...) is also taken to be the actual world), we evaluate S at the world of the fiction (where the fiction is also taken to be the actual world). (shrink)

Robert Stalnaker contrasts two interpretations, semantic and metasemantic, of the two-dimensionalist framework. On the semantic interpretation, the primary intension or diagonal proposition associated with an utterance is a semantic value that the utterance has in virtue of the actual linguistic meaning of the corresponding sentence, and that primary intension is both what a competent speaker grasps and what determines different secondary intensions or horizontal propositions relative to different possible worlds considered as actual. The metasemantic interpretation reverses the order of explanation: (...) an utterance has the primary intension it has because it yields the secondary intensions it yields relative to different possible worlds considered as actual. In these possible worlds, the semantic facts can be different: the metasemantic interpretation is metasemantic in the sense that the secondary intensions are determined relative to possible worlds considered as actual given the meanings the expressions have there. Stalnaker holds a causal picture of the reference of names, according to which names have no meaning over and above their unique referent, and therefore maintains that the semantic interpretation is not an option. He thus endorses the metasemantic interpretation, while insisting that this interpretation does not, contrary to what he originally thought, yield any account of a priori truth and knowledge. My double aim in this paper is to show (i) that the metasemantic interpretation, as sketched by Stalnaker, is not compatible with one natural understanding of the causal picture of reference, on which names are rigid because they have their original bearers essentially , and (ii) that a third kind of interpretation of the framework is available, the metasyntactic interpretation, which grants that names have their bearers essentially and yields some account of a priori knowledge. (shrink)

Scott Soames’ Reference and Description contains arguments against a number of different versions of two-dimensional semantics. After early chapters on descriptivism and on Kripke’s anti-descriptivist arguments, a chapter each is devoted to the roots of twodimensionalism in “slips, errors, or misleading suggestions” by Kripke and Kaplan, and to the two-dimensional approaches developed by Stalnaker (1978) and by Davies and Humberstone (1981). The bulk of the book (about 200 pages) is devoted to “ambitious twodimensionalism”, attributed to Frank Jackson, David Lewis, and (...) me. After a quick overview of two-dimensional approaches, I will focus on Soames’ discussion of ambitious twodimensionalism. I will then turn to a system advocated by Soames that is itself strikingly reminiscent of a two-dimensional approach. Two-dimensional semantic theories are varieties of possible-worlds semantics on which linguistic items can be evaluated relative to possibilities in two different ways, yielding two sorts of intensional semantic values, which can be seen as two “dimensions” of meaning. The second dimension is the familiar sort of Kripkean evaluation in metaphysically possible worlds, so that necessarily coextensive terms (such as ‘Hesperus’ and ‘Phosphorus’ or ‘water’ and ‘H2O’) always have the same semantic value. The first dimension behaves differently, so that there are typically at least some cases where necessarily coextensive terms have different semantic values on the first dimension. For this reason, the two-dimensional framework is sometimes seen as a way of granting many of the insights of a Kripkean approach to meaning (on the second dimension), while retaining elements of a Fregean approach to meaning (on the first dimension). (shrink)

Here the extension of a sentence token is a truth-value, the extension of a name is an individual, and so on. Scenarios are most often understood as centered possible worlds – i.e. ordered triples of worlds, individuals, and times - although they may also be understood in other ways.

As tends to be the way with philosophical positions, there are at least as many two-dimensionalisms as there are two-dimensionalists. But painting with a broad brush, there are core epistemological and metaphysical commitments which underlie the two-dimensionalist project, commitments for which I have no sympathies. A sketch of three signi?cant points of disagreement.

There are different _kinds _of two-dimensional matrix one can work with, representing different properties of an expression. One has to understand the rows and columns differently for the different matrices; but there are some formal characteristics all the matrices have in common.

I understand (MR) as meaning that there is a way the world is that is independent of our minds or representations. One may also state (MR) in terms of ‘A description/language independent world/reality’ or ‘a conceptual scheme independent world/reality’. For our purposes, we need not distinguish these variants of formulation.

Epistemic two-dimensional semantics is a theory in the philosophy of language that provides an account of meaning which is sensitive to the distinction between necessity and apriority. While this theory is usually presented in an informal manner, I take some steps in formalizing it in this paper. To do so, I define a semantics for a propositional modal logic with operators for the modalities of necessity, actuality, and apriority that captures the relevant ideas of epistemic two-dimensional semantics. I (...) also describe some properties of the logic that are interesting from a philosophical perspective, and apply it to the so-called nesting problem. (shrink)

This paper criticizes Soames’s main argument against a variant of two-dimensionalism that he calls strong two-dimensionalism. The idea of Soames’s argument is to show that the strong two-dimensionalist’s semantics for belief ascriptions delivers wrong semantic verdicts about certain complex modal sentences that contain both such ascriptions and claims about the truth of the ascribed beliefs. A closer look at the formal semantics underlying strong two-dimensionalism reveals that there are two feasible ways of specifying the truth conditions for (...) claims of the latter sort. Only one of the two yields the problematic semantic verdicts, so strong two-dimensionalists can avoid Soames’s argument by settling for the other way. (shrink)

In this paper, I argue that, contrary to Robert Stalnaker’s highly influential account of linguistic communication, successful communication does not depend on a common ground between speaker and hearer. The problem for Stalnaker’s account manifests itself in communicative situations that represent both Lingens cases, i.e., cases involving egocentric beliefs, and Frege cases, i.e., cases involving identity confusions. I describe two hypothetical cases that involve successful communication, but in which no common ground of the kind required by Stalnaker’s account is available. (...) I therefore propose an alternative account of communication that is based on epistemic two-dimensionalism. This account maintains that communication requires the transfer of a thought content from speaker to hearer. By holding that this shared content often constitutes common ground, it preserves much of the appeal of Stalnaker’s account. However, my account allows for cases in which the shared thought content does not figure in common ground. (shrink)

At the April 2006 meeting of the Central Division of the American Philosophical Association, in an author-meets-critics session on Scott Soames' book _Reference and Description: The Case Against Two-Dimensionalism_ , I presented a comment on Soames' book, "Scott Soames' Two-Dimensionalism" . The other critic was Robert Stalnaker. Soames presented his response to critics . Below is a reply to Soames' response to me, for those who were at the session and interested others. Note that this response was mostly written (...) before the session, except for one or two paragraphs where the discussion in the session is mentioned. (shrink)

In this book, Scott Soames defends the revolution in philosophy led by Saul Kripke, Hilary Putnam, and David Kaplan against attack from those wishing to revive ..

According to the modal account of propositional apriority, a proposition is a priori if it is possible to know it with a priori justification. Assuming that modal truths are necessarily true and that there are contingent a priori truths, this account has the undesirable consequence that a proposition can be a priori in a world in which it is false. Epistemic two-dimensionalism faces the same problem, since on its standard interpretation, it also entails that a priori propositions are (...) necessarily a priori. In response to this problem, Chalmers and Rabern propose an alternative conception of propositional apriority as well as two-dimensional truth-conditions for apriority statements. Their proposal is also supposed to avoid another problem for the modal account, namely that it entails the existence of false instances of ‘φ iff actually φ’. I discuss Chalmers and Rabern’s account and point out a number of problems with it. I then develop my own account of propositional apriority that solves the problems in question, that can be accepted by friends and foes of two-dimensionalism alike, and that is also neutral with respect to the question of how one construes the objects of propositional apriority. (shrink)

David’s epistemic understanding of two-dimensional semantics has these two features. First, although he considers at least two construals of epistemically possible worlds, on one of them they are centered metaphysically possible worlds. Second, David intends epistemic two-dimensional semantics to yield a theory of propositional-attitude content, as well as having application to the semantics of natural language expressions. These two features come together in David’s “The Components of Content,” where he deploys the apparatus of epistemic two-dimensional semantics to (...) provide an account of propositional-attitude content, and where, for reasons of simplicity and familiarity, epistemically possible worlds are taken to be centered metaphysically possible worlds. My talk is about this account of content. (shrink)

It is a core commitment of Epistemic Two-Dimensionalism that an utterance is 1-necessary iff it is a priori. But Jeff Speaks's Argument from Misclassification proves that, on a natural interpretation, E2D assigns necessary 1-intensions to many utterances that speakers deem a posteriori. Given that 1-intensions are meant to formalize a speaker's own understanding of the words she utters, this proof raises serious difficulties for E2D. In response, Elliott, McQueen, and Weber point out that the Argument from Misclassification presupposes (...) a controversial theory of reference-fixation for proper names and argue that E2Dists ought to reject this theory. They discuss three alternatives to the theory that render E2D immune to the Argument from Misclassification. I demonstrate here that each of these alternatives either replicates the faults of the original theory by assigning necessary 1-intensions to a posteriori utterances, or makes 1-intensions creatures of darkness. I argue that, although the A.. (shrink)

The article explores the inter-relations between episteme, ideology and knowledge in biblical translations and the underlying historical and intellectual questions that emerge. Through four narratives, drawn across differing timelines, this article maps the implications of theological and temporal power. Besides, it is also argued for how translations are sites of transgressions that eventually shape knowledge and impact epistemology. In conclusion, the article argues that Jerome and Wycliffe represent the role of public intellectuals and the dissident lessons of history.

In ‘Kripke on epistemic and metaphysical possibility: two routes to the necessary a posteriori’, Scott Soames identifies two arguments for the existence of necessary a posteriori truths in Naming and Necessity . He argues that Kripke's second argument relies on either of two principles, each of which leads to contradiction. He also claims that it has led to ‘two-dimensionalist’ approaches to the necessary a posteriori which are fundamentally at odds with the insights about meaning and modality expressed in NN. (...) I argue that the alleged second argument is not in NN. I identify the mistakes that lead to Soames' misinterpretation. (shrink)

Theodore Sider’s Four-Dimensionalism is a well-organized and clearly written book that is chock-full of important arguments. Both friends and foes of the views defended by Sider will benefit enormously from careful study of the book. I am going to focus on just two of Sider’s many arguments for Four-Dimensionalism: his argument from vagueness, which I take to be the most important and powerful argument in the book, and his argument from time travel, which I find to be the (...) funnest to think about. (shrink)