The case for longtermism depends on the vast potential scale of the future. But that same vastness also threatens to undermine the case for longtermism: If the universe as a whole, or the future in particular, contain infinite quantities of value and/or disvalue, then many of the theories of value that support longtermism (e.g., risk-neutral total utilitarianism) seem to imply that none of our available options are better than any other. If so, then even apparently vast effects on the far (...) future cannot in fact make the world morally better. On top of this, some strategies for avoiding this problem of “infinitarian paralysis” (e.g., exponential pure time discounting) yield views that are much less supportive of longtermism. In this chapter, we explore how the potential infinitude of the future affects the case for longtermism. We argue that (i) there are reasonable prospects for extending risk-neutral totalism and similar views to infinite contexts and (ii) many such extension strategies will still support the case for longtermism, since they imply that when we can only effect (or only predictably affect) a finite, bounded part of an infinite universe, we can ignore the unaffectable rest of the universe and reason as if the finite, affectable part were all there is. (shrink)

Children with specific language impairment (SLI) show a protracted period of inconsistent use of tense/agreement morphemes. The purpose of this investigation was to determine whether this inconsistent use could be attributed to the children's misinterpretations of particular syntactic structures in the input. In Study 1, preschool-aged children with SLI and typically developing peers heard sentences containing novel verbs preceded by auxiliarywasor sentences in which the novel verb formed part of a nonfinite subject-verb sequence within a larger syntactic structure (e.g.We saw (...) the dog relling). The children were then tested on their use of the novel verbs in contexts that obligated use of auxiliaryis. The children with SLI were less accurate than their peers and more likely to produce the novel verb withoutisif the verb had been heard in a nonfinite subject-verb sequence. In Study 2, children with SLI and typically developing peers were tested on their comprehension of sentences such asThe cow sees the horse eating. The children with SLI were less accurate than their peers and were disproportionately influenced by the nonfinite subject-verb clause at the end of the sentence. We interpret these findings within the framework of construction learning. (shrink)

The study considers development and use of verb/predicate chaining constructions by Hebrew speakers from early childhood to adolescence, based on analysis of authentic conversational and narrative corpora. Three types of such constructions are considered, ordered hierarchically by stage of acquisition: (1) monoclausal extended predicates consisting of a verb (modal, aspectual, or evaluative) marked for tense or mood and followed by one or more complements in the infinitive – e.g., yaxol la-asot ‘can, is able to-do’; (2) coreferential interclausal predicate (...) chaining; and (3) mature discursively-motivated topic-chaining. Relevant typological features of Modern Hebrew are reviewed to explain the lack of canonic clause-chaining construction in the language (e.g. the paucity of non-finite constructions in everyday usage, lack of an uninflected basic form of verbs, lack of auxiliary verbs expressing categories of aspect and voice, and monolexemic verb-internal complexity). Monoclausal verb-chaining emerges early in the speech of toddlers in interaction with their caretakers, whereas predicate chaining by coordination across clauses occurs only later, and chunking of such constructions at the service of discourse connectivity is a late-developing device. Nonfinite subordination is an advanced form of clause-combining, in contrast to straightforward subordination with the multifunctional subordinator še’that’. The conclusion is that, unlike the obligatorily fused monoclausal “extended predicates”, bi- and multi-clausal predicate chaining represents an optional rhetorical choice on the part of a given speaker-writer in a particular communicative context. (shrink)

I develop a new argument to the effect that past causal chains cannot extend back infinitely, but must instead terminate in a first uncaused cause. It has the advantage of sidestepping a historically prominent objection to cosmological arguments of this general type, one leveled by Aquinas and various other Scholastics.

In this study we use a computational model of language learning called model of syntax acquisition in children (MOSAIC) to investigate the extent to which the optional infinitive (OI) phenomenon in Dutch and English can be explained in terms of a resource-limited distributional analysis of Dutch and English child-directed speech. The results show that the same version of MOSAIC is able to simulate changes in the pattern of finiteness marking in 2 children learning Dutch and 2 children learning (...) English as the average length of their utterances increases. These results suggest that it is possible to explain the key features of the OI phenomenon in both Dutch and English in terms of the interaction between an utterance-final bias in learning and the distributional characteristics of child-directed speech in the 2 languages. They also show how computational modeling techniques can be used to investigate the extent to which cross-linguistic similarities in the developmental data can be explained in terms of common processing constraints as opposed to innate knowledge of universal grammar. (shrink)

Many metaphysicians accept the view that, necessarily, any collection of things composes some further thing. Necessarily, my arms, legs, head, and torso compose my body; necessarily, my arms, my heart, and the table compose something y; necessarily, my heart and the sun compose something z; and so on. 1 Though there have been a few recent attempts to argue against the necessity of this principle of unrestricted composition the consensus is that if it is true, it is necessarily true. 2In (...) what follows I will join the few dissenters and argue that this principle of unrestricted composition is not necessarily true. If I am right, it follows that either some principle of restricted composition is necessarily true or the existence of composite objects is a contingent matter. I will end by indicating why the latter option seems the most plausible. 3I proceed by reductio. Assume the following: Unrestricted composition is necessarily true.That is, assume that necessarily, any collection of things composes something. Then, necessarily, the collection of everything composes something. That is, necessarily, there exists a universal object U having all things as parts, not itself being a proper part of anything. Hence, by our assumption, we get: There must be a universal object U.It is important to note that this is so whether the world is finite or infinite. Holding that in worlds of finite cardinality there is a universal object U while in worlds of infinite cardinality there is no universal object U amounts to accepting a restricted form of composition. 4Now consider the following scenario. Everything in this world is spatially extended and just one half of something else that is also spatially extended. That is, for any thing in this world, there is something else of which …. (shrink)

We examine the range of anonymity that is compatible with a Paretian social welfare relation (SWR) on infinite utility streams. Three alternative coherence properties of an SWR are considered, namely, acyclicity, quasi-transitivity, and Suzumura consistency. For each case, we show that a necessary and sufficient condition for a set of permutations to be the set of permissible permutations of some Paretian SWR is given by the cyclicity of permutations and a weakening of group structure. Further, for each case of coherence (...) property, we show that the extended Pareto rule is the least element of the class of anonymous Paretian SWRs. (shrink)

Supererogatory acts are those that lie “beyond the call of duty.” There are two standard ways to define this idea more precisely. Although the definitions are often seen as equivalent, I argue that they can diverge when options are infinite, or when there are cycles of better options; moreover, each definition is acceptable in only one case. I consider two ways out of this dilemma.

:We address the question, in decision theory, of how the value of risky options should be assessed when they have no finite standard expected value, that is, where the sum of the probability-weighted payoffs is infinite or not well defined. We endorse, combine and extend the proposal of Easwaran to evaluate options on the basis of their weak expected value, and the proposal of Colyvan to rank options on the basis of their relative expected value.

continent. 1.2 (2011): 78-91. This article consists of three parts. First, I will review the major themes of Quentin Meillassoux’s After Finitude . Since some of my readers will have read this book and others not, I will try to strike a balance between clear summary and fresh critique. Second, I discuss an unpublished book by Meillassoux unfamiliar to all readers of this article, except those scant few that may have gone digging in the microfilm archives of the École normale (...) supérieure. The book in question is Meillassoux’s revised doctoral dissertation L’Inexistence divine (or The Divine Inexistence ), with its seemingly bizarre vision of a God who does not yet exist but might exist in the future. Without literally accepting this view, I will claim that it is philosophically interesting in ways that even a hardened sceptic might be able to appreciate. Third and finally, I will speculate on the possible future of Meillassoux’s speculative materialism itself. And here I mean its future development not by Meillassoux, but by those readers who might be inspired by his book. Plato could never have predicted the emergence of Aristotle’s philosophy, despite the obvious debt of the latter to the former. Nor could Descartes have predicted Spinoza and Leibniz, nor Kant the German Idealists, and neither could Husserl in 1901 have foreseen the later emergence of Heidegger. How are the works of interesting philosophers transformed by later thinkers of comparable importance? While it may seem that there are countless ways to do this, I think there are only two basic ways in which this happens: you can radicalize your predecessors, or you can reverse them. I will close this article with a few words about these two methods, and try to imagine how Meillassoux might be radicalized or reversed by some future admirer. My view is that the more important thinkers are, the easier they are to radicalize or reverse. This helps explain why the great philosophers of the West have so often appeared in clusters, succeeding one another at relatively brief intervals during periods of especial ferment. 1. After Finitude After Finitude is unusually short for such an influential book of philosophy: running to just 178 pages in the original French, and an even more compact 128 pages in the English version, despite the introduction of roughly eight pages of new material for the English edition. Rather than summarizing Meillassoux’s book in the order he intended, I will focus on six points that strike me as the pillars of his debut book. Along the way, I will offer a few criticisms as well. The first pillar of the book is Meillassoux’s own term “correlationism.”1 Although he introduces this term as the name for an enemy, it is striking that Meillassoux remains impressed by correlationism much more than his fellow speculative realists are. This continued appreciation for his great enemy influences the shape of his own ontology. Is there a world outside our thinking of it, or does the world consist entirely in being thought? Traditionally, this dispute between realism and idealism has been dismissed in continental philosophy as a “pseudo-problem,” in a strategy pioneered by Husserl and extended by Heidegger. We cannot be realists, since following Kant we have no direct access to things-in-themselves. But neither are we idealists, since the human being is always already outside itself, aiming at objects in intentional experience, deeply engaged with practical implements, or stationed in some particular world-disclosing mood. The centuries-old dispute between realism and idealism is dissolved by saying that we cannot think either real or ideal in isolation from the other. There is neither human without world nor world without human, but only a primordial correlation or rapport between the two. This is what “correlationism” means: philosophy trapped in a permanent meditation on the human-world correlate, trying to find the best model of the correlate: is it language, intentionality, embodiment, or some other form of correlation between human and world? Among other problems, this generates some friction between philosophy and the literal meaning of science. When cosmologists say that the universe originated 13.5 billion years ago, they do not mean “13.5 billion years ago for us ,” but literally 13.5 billion years ago, well before conscious life existed, and thus at a time when there was no such thing as a correlate. Meillassoux also coins the term “ancestrality” (10) for the reality that predated the correlate, and later expands this term to “dia-chronicity,” (112) to refer to events occurring after the extinction of human beings no less than to those occurring before we existed. Up to this point, Meillassoux’s focus on ancestral entities existing prior to consciousness might seem like a straightforward realist who wants to unmask correlationism as just another form of idealism. Yet Meillassoux also admires the correlationist maneuver, which can obviously be traced back to Kant. Unlike a thinker such as Whitehead, Meillassoux feels no nostalgia for the pre-critical realism that came before Kant: “we cannot but be heirs of Kantianism,” he says (29). What impresses Meillassoux about correlationism is something both simple and familiar. If we attempt to think a tree outside thought, this is itself a thought . Any form of realism which thinks it can simply and directly address the world the way it is fails to escape the correlational circle, since the attempt to think something outside of thought is itself nothing other than a thought, and thereby collapses back into the very human-world correlate that it pretends to escape. For Meillassoux this step, suggested by Kant but first refined by the ensuing figures of German Idealism, marks decisive forward progress in the history of philosophy that must not be abolished. Any attempt to break free from the correlate must first acknowledge its mighty intellectual power. Realist though he may seem, Meillassoux’s works are filled with praise of such figures as Fichte and Hegel, not of so-called “naïve realists.” It is also the case that for Meillassoux, not all correlationisms are the same. The second pillar of his book is a distinction between various positions that I have termed “Meillassoux’s Spectrum,” though of course he is never so immodest as to name it after himself. He distinguishes between at least six different possible positions, and perhaps we could add even subtler variations if we wished. But in its simplest form, Meillassoux’s Spectrum allows for just four basic outlooks on the question of realism vs. anti-realism. Three of these are easy to understand, since we have already been discussing them. At one extreme is so-called “naïve realism,” which holds that a world exists outside the mind, and that we can know this world. Meillassoux rejects this naïve realism as having been overthrown by Kant’s critical philosophy. At the other extreme is subjective idealism, in which nothing exists outside the mind. For to think a dog outside thought immediately turns it into a thought, and therefore there cannot be anything outside; the very notion is meaningless. In between these two is what we have called correlationism. And here comes a crucial moment for Meillassoux, since he distinguishes between the two forms of “weak” and “strong” correlationism, and chooses the strong form as the launching pad for his own philosophy. Weak correlationism is easy to explain, since we all know it from the philosophy of Kant. The things-in-themselves can be thought but not known. They certainly must exist, since there cannot be appearances without something that appears. And we can think about them, which idealism holds to be impossible. They are simply unknowable due to the finitude of human thought. Strong correlationism is the new position introduced by Meillassoux (though he sees it at work in numerous twentieth century thinkers), midway between weak correlationism and subjective idealism. The major difference between the three positions is as follows. Weak correlationism says: “The things-in-themselves exist, but we cannot know them.” The subjective idealist says: “This is a contradiction in terms, since when we think the things-in-themselves, we already turn them into thoughts.” But the strong correlationist says: “Just because ‘things-in-themselves’ is a meaningless notion does not mean that they cannot exist. No one has ever traveled to the world-in-itself and come back to make a report on it. Thus, the fact that we cannot think things-in-themselves without contradiction does not prove that they do not exist anyway. There may be things-in-themselves, we simply are not capable of thinking them without contradiction form within the correlational circle.” This step is crucial for Meillassoux, since strong correlationism is the position he attempts to radicalize into his own new standpoint: speculative materialism. As I see it, this step of the argument fails. Strong correlationism cannot avoid collapsing into subjective idealism, since the statements of the strong correlationist are rendered meaningless from within. All three of the other positions in the Spectrum make perfectly good sense even for those who disagree with them. The naïve realist says that things-in-themselves exist and we can know them; the meaning of this statement is clear. The weak correlationist can say that things-in-themselves exist but lie forever beyond our grasp; this too makes perfect sense, even though the German Idealists try to show a contradiction at work here. We can also understand the claim of the subjective idealist that to think anything outside thought turns it into a thought, and that for this reason we cannot think the unthought. The strong correlationist, alone among the four, speaks nonsense . This person says “I cannot think the unthought without turning it into a thought, and yet the unthought might exist anyway.” But notice that the final phrase “the unthought might exist anyway” is fruitless for this purpose. For we have already heard that to think any unthought turns it into a thought. But now the strong correlationist wants to do two incompatible things simultaneously with this unthought. On the one hand, he neutralizes the unthought by showing that it instantly changes into just another thought. But on the other hand, he wants to appeal to the unthought as a haunting residue that might exist outside thought, thereby undercutting the absolute status of the human-world correlate found in idealism. But this is impossible. If you accept the argument that thinking the unthought turns it into a thought, you cannot also add “but maybe there is something outside that prevents this conversion from being absolutely true,” because this “something outside” is immediately converted into nothing but a thought for us. In short, Meillassoux here seems to be offering a kind of Zen koan: his “strong correlationism” is reminiscent of the gateless gate, or the sound of one hand clapping, or the command to punch Hegel in the jaw when meeting him on the road. We cannot at the same time both destroy the realist challenge of the things-in-themselves in order to undercut realism and reintroduce that very realist sense in order to undercut idealism. In a world where everything is instantly converted into thought, we cannot claim that there might be something extra-mental anyway, because this “might be something” is itself converted into a thought by the same rules that condemned dogs, trees, and houses to the idealist prison. This brings us to the third pillar of Meillassoux’s argument, which is the key to all the rest: the necessity of contingency. His strategy is to transform our supposed ignorance of things-in-themselves into an absolute knowledge that they exist without reason, and that the laws of nature can change at any time for no reason at all. In this way the cautious agnosticism of Kantian philosophies is avoided, but so is the collapse of reality into thought as found in German Idealism. Meillassoux does try to prove the existence of things-in-themselves existing outside thought; he simply holds that they must be proven after passing through the rigors of the correlationist challenge, not just arbitrarily decreed to exist in the manner of naïve realism. As he puts it, “Everything could actually collapse: from trees to stars, from stars to laws, from physical laws to logical laws; and this not by virtue of some superior law whereby everything is destined to perish, but by virtue of the absence of any superior law capable of preserving anything, no matter what, from perishing” (53). If idealism thinks that the human-world correlate is absolute, for Meillassoux it is the facticity of the correlate that is absolute. He tries to show this with a nice brief dialogue between five separate characters (55-59) which is covered in detail in my forthcoming book,2 but which I will simplify here for reasons of time. In this simplified version, we first imagine a dogmatic realist arguing with a dogmatic idealist. The realist says that we can know the truth about the things-in-themselves; the idealist counters that we can only the truth about thought, since all statements about reality must be turned into statements concerning our thoughts about reality. Here the correlationist enters and proclaims that both of these positions are equally dogmatic. For although we have access to nothing but thoughts, we cannot be sure that these thoughts are all that exist; there could be a reality outside thought, there is simply no way to know for sure. And this latter position is the one that Meillassoux attempts to transform from an agnostic, skeptical point into an ontological claim about the contingency of everything. Consider it this way. How does the correlationist defeat the idealist? The idealist holds that the existence of anything outside thought is impossible. The correlationist, by contrast, holds that something might exist outside the human-world correlate. But this “something might” has to be an absolute possibility. It cannot mean that “something outside thought might exist for thought ,” because that is what the idealist already says. No, the correlationist must mean that something might exist outside thought quite independently of thought. In other words, the correlationist says that idealism might be wrong, and this means it is absolutely true that idealism might be wrong. Thus, correlationism is no longer just a skeptical position. It holds that all the possibilities of the world are absolute possibilities. We have absolute knowledge that any of the possibilities about the existence or non-existence of things-in-themselves might be true, and this means that correlationism flips into Meillassoux’s own position: speculative materialism. As Meillassoux sees it, there are only two options here. Option A is to absolutize the human-world correlate, which is what the idealist does: there absolutely cannot be anything outside thought. Option B, by contrast, is to absolutize the facticity of the correlate: its character of simply being given to us, without any inherent necessity. The correlationist cannot have it both ways by saying: “there absolutely might be something outside thought, yet maybe this is absolutely impossible.” In other words, once we escape dogmatism we can only be idealists or speculative materialists, not correlationists. The human-world correlate is merely a fact, not an absolute necessity. But this facticity itself cannot be merely factical: it must be absolute. Here Meillassoux coins the French neologism factualité , which has been suitably translated into the English neologism “factiality.” (7, 122-3) Factialty means that for everything that exists, it is absolutely possible that it might be otherwise, not just that we cannot know whether or not it might be otherwise. Just as Kant transformed philosophy into a meditation on the categories governing human finitude, Meillassoux wishes to turn philosophy into a meditation on the necessary conditions of factiality, which he calls “figures”—a new technical term for him. (80) One such figure is that the law of non-contradiction must be true, and for an unusual reason. Since everything is proven to be contingent, nothing that exists can be contradictory, for whatever is contradictory has no opposite into which it might be transformed, and thus contingency would be impossible.3 Another such figure is that there must be something rather than nothing: for since contingency exists, something must exist in order to be contingent. It is a daring high-wire act, one that sacrifices realism to the correlational circle in order to rebuild it from out of its own ashes. Some might conclude that the lack of reason in things is a byproduct of the ignorance of finite humans, Meillassoux is making precisely the opposite point. For in fact, the doctrine of finitude usually leads directly to belief in a hidden reason. The fact that it lies beyond human comprehension merely increases our belief in this arbitrarily chosen concealed ground. By defending anew the concept of absolute knowledge Meillassoux evacuates the world of everything hidden. The reason for things having no reason is not that the reason is hidden, but that no reason exists. Thus, even while insisting on the necessity of non-contradiction, he rejects the other Leibnizian principle: sufficient reason. Everything simply is what it is, in purely immanent form, without deeply hidden causes. Or as Meillassoux puts it: “There is nothing beneath or beyond the manifest gratuitousness of the given—nothing but the limitless and lawless power of its destruction, emergence, or persistence” (63).The world is a “hyper-chaos”(64). But this is not the same thing as flux. For the chaos of the world is such that stability might occur just as easily as constant, turbulent change. Let’s now digress a bit, and return to the question of ancestrality, which Meillassoux transforms later in the book into “dia-chronicity.” Correlationism holds that all talk of a world outside the correlate is immediately recuperated by the correlate. The phrase “13.5 billion years ago” becomes “13.5 billion years ago for us ,” and the phrase “the universe following the extinction of humans” becomes “the universe following the extinction of humans for humans .” But notice that whether we talk about the world before or after humans, in both cases it is time that is used to challenge the correlate. Meillassoux has no interest in challenges that might be posed by space. For example, what about a vase in a lonely country house that topples to the floor and smashes when no one is there to watch it? Isn’t this also a challenge to correlationism, no less than the Big Bang or the heat death of the universe long after humans have vanished? In an eight-page supplement to the English translation of After Finitude ,4 possibly in response to my own 2007 review of the French original,5 Meillassoux bluntly denies that space is of any relevance to the question. Spatial distance is a merely harmless challenge to the human-world correlate. After all, even though no one is there in the lonely country house to witness the shattering of the vase, we can say that had there been an observer , that observer would have witnessed the toppling and destruction of the vase. For this event still occurs in a world in which the human-world correlate already exists, whereas the diachronicity of events both before and after the existence of humans makes it impossible to say that had there been an observer they would have witnessed the Big Bang occurring in such and such a fashion. However, it seems to me that Meillassoux merely asserts that the temporal simultaneity of our existence with that of the vase in the lonely country house is enough to render it harmless. It is true that the house does not exist prior to the correlate, but nonetheless it exists outside the correlate, and that is enough to make the same challenge. It is difficult to see why the “had there been an observer” maneuver succeeds in the case of a vase in the countryside in April 2011 but fails in the case of the Big Bang. This is not just a matter of nitpicking Meillassoux’s argumentative style: the fact that he bases his argument on time has at least two important consequences for his position. For in the first place, even though Meillassoux insists that the laws of nature are absolutely contingent, this turns out to be true only in a temporal sense. That is to say, it is a paradoxical feature of Meillassoux’s philosophy that he does allow for the existence of laws of nature, and simply believes that they can change at any moment without reason. Within any given moment, laws of nature do exist. He never suggests that different parts of the universe can have different laws at the same time, nor does he have any interest in the laws of part/whole composition that take place within any given instant. Could it be the case that rather than being made of gold atoms, a small chunk of gold could be made of silver atoms, cotton, horses, or that this same small piece of gold could be made of gigantic vaults filled with even more gold? These are not topics that draw Meillassoux’s attention, since he is focused solely on how the laws of nature might change or endure from one moment to the next . Another implication for Meillassoux’s system is that his concept of things-in-themselves turns out to be to be inadequate. For when he proves that things-in-themselves can exist without humans, this turns out to be true only in a temporal sense as well. Namely, things-in-themselves existed ten billion years ago, and they will continue to exist after all humans have succeeded in exterminating themselves. However, being able to exist before our births and after our deaths is just one small part of what it means to be a thing-in-itself. The more important part is that even if a thing is sitting on a table right now, in front of me, even if I stroke it lovingly or press my face up against it directly, I am still dealing only with a phenomenal version of the thing; the thing-in-itself continues to withdraw from all access. Yet no such thing is acknowledged by Meillassoux. For him finitude is a disaster, and absolute knowledge is in fact possible. Meillassoux’s thing-in-itself exists in independence only of the human lifespan , not of human knowledge. The fifth pillar of Meillassoux’s argument is his use of Cantor’s transfinite mathematics to show that even if the laws of nature are contingent, they need not be unstable, and thus we cannot use the apparent stability of nature to disprove his metaphysics of absolute contingency. What Cantor showed is that there are different sizes of infinity, and that all these infinities cannot be totalized in a single infinite number of infinities. Meillassoux sees this as crucial, since it allows him to discredit any “probabilistic” argument against his theory. The probabilistic argument (as defended quite clearly by Jean-René Vernes)6 would say this: given that the laws of nature seem so stable, it it is extremely improbable that there is no hidden reason for their remaining so stable. As Meillassoux sees it, probability is of value only when we can index an accessible total of cases. These can even be infinite: for example, there are an infinite number of points where a rope can break when stretched tight, but this does not stop us from calculating probabilities for various sections of the rope to break. By contrast, there is no way to sum up the number of possible laws of nature. For here there is no way to totalize; we cannot stand outside of nature and calculate the possible number of laws so as to determine the probabilities that any one of them might change. Therefore, although we can speak of probability when dealing with intraworldly events such as elections, horse races, and coin-flips, we cannot use the words “probable” or “improbable” when describing alterations at the level of nature as a whole. Rather than commenting on the validity of this argument and its use of Cantor, let me simply note that it once again creates a dualistic ontology. We already saw that Meillassoux treats time differently from space. In analogous fashion, he now treats the level of world differently from that of intraworldly events. The emergence of worlds is purely contingent and virtual and governed by no probability at all, while events within the world necessarily follow laws (even if these laws can change at any moment without reason), and thus their probabilities can be calculated. It is a strategy deeply reminiscent of Badiou’s (2005) own dualism between the normal “state of the situation” and the rare and intermittent “event.” The sixth and final pillar of Meillassoux’s book can be dealt with briefly, since we have already touched on it elsewhere. It comes at the very beginning of the book, when Meillassoux says that we must revive the distinction between primary and secondary qualities, and that the primary qualities are the ones that can be mathematized. He admits that he has not yet published a proof of this idea, though in fact it is already known as one of his primary doctrines. And here we encounter the familiar problem with Meillassoux’s inadequate conception of things-in-themselves. “Primary qualities” refers to those qualities that a thing has independently of its relations with us or anything else. But if the primary qualities can be mathematized, this means that they are not entirely independent of us, since our knowledge can get right to the bottom of them. The mathematized qualities of things are independent of us only in Meillassoux’s sense that they will still have those qualities even when all humans are dead. But to repeat, autonomy from the human lifespan is not the same as autonomy from human access. Here once more Meillassoux is concerned only with independence from the human-world correlate across time, not in any given instant. 2. L’Inexistence divine In 1997, the same year in which he turned thirty years old, Meillassoux earned his doctorate at the École normale supériuere with a brazen dissertation entitled L’Inexistence divine ( The Divine Inexistence ). The work was substantially revised in 2003. But even then, with typical fastidiousness, Meillassoux decided that the work was not yet ready for press. It has now been scrapped in favor of some future, multi-volume work bearing the same title. While writing my book on Meillassoux for Edinburgh University Press, I was permitted to translate excerpts from this unpublished work for use as an appendix in my own book; in total, the appendix contains approximately twenty percent of Meillassoux’s 2003 manuscript, the first time any of it will be published in any language. Nonetheless, a portion of the argument was already tested in the article “Spectral Dilemma,” published in English in the journal Collapse (2008: 261-75). There the philosophical motives for the virtual God are already made clear. What troubles us most are early deaths, brutal deaths, deaths of especial injustice– the sorts of deaths in which the brutal twentieth century was so abundant. And here, neither the atheist nor the believer can help us. The atheist can offer nothing but a sad and cynical resignation when reflecting on the victims of these terrible crimes. The believer does little better, being unable to explain how God could have allowed such things to happen, due to the famous intractability of the problem of evil. The solution offered to this dilemma by Meillassoux is bold, and all the more so given that he emerges from such a deeply Leftist, materialist, and unreligious background. His solution is that God does not yet exist, and therefore is not blameworthy for these catastrophes. Given that everything is contingent in Meillassoux’s philosophy, this God and divine justice might never exist, but they can at least exist as an object of hope. Let’s begin by jumping to the end of L’Inexistence divine , where the alternatives are laid out so nicely. There are four basic attitudes that humans can have towards God, Meillassoux says. First, we can believe in God because he exists. This is the classical theist attitude, rejected for the simple reason that it would be amoral and blasphemous to believe in a God who allows children to be eaten by dogs, to use Dostoevsky’s example. Second, we can disbelieve in God because he does not exist: the classical atheist attitude. But this leads to sadness, cynicism, and a sneering contempt for the greatness of human capacity. The third option, rather more complex, is to disbelieve in God because he does exist: in other words, to exist in rebellion against God as the one who must be blamed for the evils of the earth. The examples here might range from Lucifer himself, to the more human figure of Captain Ahab in Melville’s Moby-Dick , to Werner Herzog’s even more recent catchphrase, “Every man for himself, and God against all.” That leaves only the fourth option: believing in God because he does not exist. Meillassoux closes his book by saying that the fourth option has now been tried (namely, in the course of his own book), and that now that all four have been specified, we must choose. The first reaction to this theory of the inexistent God will be laughter. Few readers will ever be literally convinced by it, and probably none will immediately be convinced by it. But if we ask ourselves why we laugh, the answer is because it sounds so improbable that an inexistent God might suddenly emerge and resurrect the dead. It obviously sounds more like a gullible theology than a rigorous piece of philosophical work. Yet two things need to be kept in mind. First, Meillassoux’s theories are hardly more unlikely than those of great philosophers of the past such as Plato, Plotinus, Avicenna, Malebranche, Spinoza, Leibniz, Nietzsche, or Whitehead. We read the great philosophers not because their systems are plausible in commonsense terms that can be measured by the laws of probability. Instead, we read them precisely because they shatter the existing framework of common sense and open up new window on the universe. Second, and even more importantly, Meillassoux has already rejected probability as a valid measuring stick in philosophy. Or rather, he accepts probability in the intra-worldly realm (where it is linked with potentiality), and rejects it at the level of the world itself (where potentiality is replaced with what he calls virtuality). The virtual God can appear at any moment for no reason at all, just as any other new configuration of laws of nature can appear: in a manner that the laws of probability cannot calculate. Responding to those who might ridicule the idea of a sudden emergence of God and a resurrection of the dead, Meillassoux cites Pascal, who asserts that the resurrection of the dead would be far less incredible than the fact that we were born in the first place. This shifts philosophy onto new ground. Rather than concerning ourselves with what is likely to happen in the world as we know it, we focus instead on the most important things that could happen. For this reason, the expected objection that a virtual God is no more likely to appear than a virtual unicorn or a virtual flying spaghetti monster misses the point. Unicorns and spaghetti monsters could also appear, just like any other non-contradictory thing. But these would just be novel bizarre entities among others, not the heralds of completely new worlds. For Meillassoux, the emergence of matter, life, and thought have been the three truly amazing advents of the world so far, each of them dependent on the advent(s) preceding them. As he sees it, there can be no greater intraworldly entity than the human beings who already exist, since nothing in the world is better than the absolute knowledge of which humans alone are capable. This means that the next great advent must be something that perfects human beings rather than superseding them. And this can only be the world of justice, in which the dead are resurrected and their horrible deaths partially cancelled (Meillassoux never considers the possibility of a God who would literally erase the pre-divine past so that it never happened at all). The only immortality worth having is an immortality of this life, not an existence in some ill-defined afterworld. Human existence, he holds, must always be governed by a “symbol” that gives us the “immanent and comprehensible inscription of values in a world.” And just as cosmic history made the three great contingent leaps of matter, life, and thought, with a leap to justice as the only one still to come, a similar structure occurs within human culture and its symbols, which consist so far of the cosmological, naturalistic, and historical symbols, with a “factial” symbol still to come. We can review each of these symbols briefly. The cosmological symbol refers to the ancient dualism between the terrestrial and celestial spheres. Here below everything is conflict, corruption, and decay; but in the heavens nothing is perishable, all movement is circular, and everything is arranged in mutual harmony. This symbol is ended by modern physics when Galileo discovers such blemishes as sunspots and craters on the moon, and when Newton integrates both celestial and terrestrial movement into a single gravitational law. Next comes the naturalistic or romantic symbol, in which perfection comes not from the sky but from nature itself. The world is filled with pretty flowers (Meillassoux claims that the ancients never discussed the beauty of flowers until Plotinus in the third century) and with living creatures naturally moved by pity, at least until society corrupts them. This symbol collapses in the face of reality as we know it, since pity is no more common than war, corruption, and violence. This brings us to the historical symbol, which only now is passing away. Bad things may happen, but history has an inner logic of its own, such that everything works out in the end. The ultimate form of the historical symbol is the economic symbol, whether in a Marxist or neo-liberal form. Just as the Marxist holds that the inner economic logic of the capitalists will inexorably lead them to self-destruction, the neo-liberal assumes that the sum total of individual selfish actions will lead, in the long run, to the greatest possible good. We worship the economy and let it guide history for us, just as the ancients worshipped celestial bodies and held them to be free from blemish. The final remaining symbol is the factial symbol, which Meillassoux hopes will now emerge. Factiality, we recall, is his term for the absolute contingency of everything that exists. Once we have grasped this absolute contingency, we are free to expect the dramatic advent of the coming fourth World: the world of justice, inaugurated by a virtual God and even mediated by a messianic human figure. There is the added feature, however, that this messiah must abandon all claims to special status once the messianic realm of justice is achieved. The messianic figure will then be no more special than any person on the street, since a reign of human equality will have arisen. Although this focus on human being might seem like a return to standard humanism, Meillassoux holds that human pre-eminence has never truly been maintained. Previously, humans have been treated as special only because they contemplate the Good, because they resemble their omnipotent creator, or because they happen to be the temporary victors in a cruel Darwinian death-match between millions of living species. For Meillassoux, by contrast, humans have value because they know the eternal. But it is not the eternal that is important, since this merely represents the blind, anonymous contingency of each thing. What is important is not knowledge of the eternal , but knowledge of the eternal. We should not admire Prometheus for stealing fire from the gods; Prometheus is simply as bad as all the gods, no matter how much he increased our power. Feuerbach and Marx were wrong to say that God is a projection of the human essence, since for Meillassoux the usual concept of God represents the degradation of the human essence. If the traditional God was allowed to inflict plagues and tsunamis on the human race, the Promethean human of the twentieth century simply assumes the right to inflict death camps and atomic fireballs instead. In this respect, we have simply begun to imitate the degradation of humanity that was formerly invested in an omnipotent and arbitrary God. In response to charges that absolute contingency might lead to political quietism, Meillassoux counters that the World of justice would mean nothing unless we had already hoped for it beforehand. A World of justice that came along at random would merely be an improved third World of thought: indeed, a perfect one. But it would have satisfied no craving, and would therefore have no redemptive power. For this reason, we must actively hope for the fourth World of justice for such a fourth World ever to arise. Not only justice, but beauty is dependent on such hope: for Meillassoux, who is here somewhat dependent on Kant, beauty means an accord between our human symbolization and the actual world, which could never be present in a World of the blessed any more than justice could. And just as a messianic figure is needed to incarnate our hope and then abandon power once the World of justice is realized, it is the figure of the child whose fragile contingency shows us a dignity and a demand for justice beyond all power. 3. Meillassoux Radicalized or Reversed Given the promising reception of Meillassoux’s first book, it would not be groundless to engage in early speculation about what it might take to earn him a place in the history of philosophy. Maybe this will never happen—who knows?—but quite possibly it will: his lucid argumentative methods and sheer philosophical imagination at least make him a good candidate to be read well into the future, especially following further elaboration in print of his mature system. Philosophy is often practiced as thought it were nothing more than the amassing of “knockdown arguments.” But this is no more insightful than saying that good architecture is the amassing of steal beams. It is true that poorly constructed building cannot stand for long, but sound construction is merely the first, indispensable step in building. In fact, I am inclined to say that what really makes a philosopher important is not being right, but being wrong . I mean this in a very specific sense. I once heard the interesting remark about twentieth century culture that “you have to remember that the sixties really happened in the seventies.” That is to say, it was in the 1970’s rather than the more honored 1960’s that civil rights, free love, long hair, and the rock and roll drug culture really took root. With respect to the history of philosophy, we might just as easily say: “you have to remember that Plato really happened in Aristotle,” that “Kant really happened in Hegel” or “Hume really happened in Kant,” or that “Husserl’s phenomenology first achieved its truth in Heidegger.” One becomes an important philosopher not by being right, but by attracting rebellious admirers who tell you that you are wrong , even as their own careers silently orbit around your own. To recruit faithful disciples may be comforting and flattering, but the greatest thinkers have generally had to experience refutation at the hands of their most talented heirs. For this reason, I would propose that we size up the magnitude of living thinkers not by deciding how many times they are right and wrong, but by asking instead: who would take the trouble to refute this author? For this reason I do not ask: “Is Meillassoux right?”, since I do not believe in the virtual God myself, nor am I convinced by any important aspect of Meillassoux’s philosophy. Instead, I ask if there are interesting ways to overturn him. Only by being overturned, by no longer remaining a contemporary, does one become a classic. Let’s begin with a simple model of refutation, which can be refined further at a later date once the basic point is established. One kind of refutation simply consists in saying: “This author is a complete idiot.” The refuter now walks away in celebration, and no link between the present and the future is built; all is reduced to rubble. But this sort of mediocre triumphalism is generally practiced by those who achieve little of their own, and is not especially interesting. Much more interesting is the sort of refutation that does not take its target to be a complete idiot. I would like to suggest that there are just two basic ways in which this can be done: radicalization and reversal . It has not escaped my notice that this is a fairly good match for the Deleuzian distinction between irony and humor. Whereas irony critiques and adopts the opposite principle of what it attacks, humor accepts what it confronts but pushes it into highly exaggerated form. The ironist is like the worker who sows chaos by rebeling and contradicting the boss, while the humorist is like the worker who follows orders to an absurdly literal degree, with equally chaotic results. Let’s start with a few examples. In Aristotle’s treatment of Plato, and Heidegger’s of Husserl, we find reversal. Plato’s eidei are transformed by Aristotle into mere secondary substances, and the individual worldly things despised by Plato become what is primary. For Husserl what is primary is whatever is present to consciousness, while for Heidegger this is precisely what is secondary, since the primary stuff of the world withdraws from any form of presence at all. As for radicalization, it is most easily found in the transformation of Kant by German Idealism: “Kant was right to wall off the things-in-themselves from human access, and simply should have realized that the thought of the Ding an sich is also a thought, and thereby the noumena are just special cases of the phenomena,” with much following from this discovery. It would also be easy to read Spinoza as a radicalizer of Descartes, and Berkeley and Hume as radicalized versions of Locke. Perhaps the distinction is now sufficiently clear. Admiring refutations are not those that say “Professor X is an idiot,” which is merely the flip side of the eager disciple’s fruitless “Professor X got everything right.” Instead, it will be some variant of one of the following two options: “Professor X is important, but got it backwards,” or “Professor X is important, but didn’t push things far enough.” In the history of philosophy these two latter cases have often been painful in purely human terms: Aristotle expresses sadness at refuting Plato, Kant is openly annoyed at Fichte, and Husserl feels betrayed and used by Heidegger. Rude handling from later figures almost seems to be the sine qua non of being a great philosopher. Now, it has already been claimed that Meillassoux is an emerging philosopher of the first importance, and by no less a figure than Alain Badiou: “It would be no exaggeration to say that Quentin Meillassoux has opened up a new path in the history of philosophy…” (Preface, vii). But rather than taking Badiou’s word for it, or rejecting his word, we might experiment by asking how Meillassoux could be radicalized or reversed. Are there interesting ways of doing this that might launch whole new schools of philosophy, unexpected or even condemned by Meillassoux himself? While no one can see the future, the present is poor when it is not riddled with virtual futures. The relation between philosophers and their predecessors and successors is always somewhat complicated, of course. But generally there is one central divergence at stake, which might be taken as the key to all the others. On this basis we could say that new thinkers primarily radicalize or primarily reverse the main ideas of their chief philosophical forerunner. There may be specific historical conditions and perhaps even personality traits connected with these two types, but this question can be left aside for now. More important for us is that radicalizers will generally be followed by reversers, and vice versa. Consider the textbook example of a reversal in the history of philosophy: Kant’s Copernican Revolution, which inverts the so-called dogmatic tradition that addresses the world itself, and makes the world revolve instead around the conditions by which it is known. While it is not completely impossible that Kant’s successors might have re-reversed this principle back into a new and stronger dogmatic realism, conditions were premature for such a move. Anyone doing this too early would likely have been an angry anti-Kantian reactionary rather than an original thinker in command of a genuinely new realist principle. The far more likely outcome is the one that actually happened: Kant’s reversal of his predecessors was viewed as incomplete, or as retaining lamentable bits of the traditional view, which despite his admirable breakthrough he was unable to shake off. This was the view of German Idealism, anyway. In similar fashion, Spinoza could also be viewed as a radicalizer of Descartes, who is equally accused of preserving various Scholastic dogmas in an otherwise radical project of philosophical reversal. The point is this: reversals in the history of thought tend to be followed soon thereafter by radicalizations of those reversals. The same may hold true in reverse: radicalizations might generally be followed by reversals, given that it is not always possible to be more radical than the radicals have already been. Consider the case of Husserl, who radicalizes Brentano’s early vagueness about what lies beyond immanent objectivity, and Twardowski’s assertion that there must be an external object lying outside the intentional content, by collapsing everything into the intentional sphere: there is no difference between the Berlin in my consciousness and the actual Berlin that is home to millions of people. It is difficult to see how one could be even more radical than Husserl’s idealist turn here. And thus the road is paved to Heidegger’s reversal of classical phenomenology, in which the key point is what lies deeper than any presence to consciousness: the Sein whose power and obscurity cannot be made exhaustively present, but only sends itself in historical epochs. In similar fashion we might also read Leibniz as a reverser of Spinoza’s radicalization, retrieving a strong sense of individual substance and a certain validity of what the Scholastics had said. Returning to Meillassoux, we might ask which kind of philosopher he is: a radicalizer or a reverser? At present, Meillassoux looks to me like a radicalizer (though for now his future remains shrouded in mist). He takes the correlationist tradition, which allows us to speak only of the relation between human and world, and tries to raise it into an even more extreme claim about the absolute contingency of everything. But whereas German Idealism did this by trying to collapse the distinction between thought and world entirely into the “thought” side, Meillassoux does it by trying to shift the non-absolute contingency of the thought-world correlate from epistemology to ontology. It is no longer a question of the inability of human knowledge to know what lies outside the correlate, but the inability of reality itself to be rooted in any definite laws. Furthermore, if we look at the various features of Meillassoux’s philosophy identified earlier tonight, all but one are already so radical that there is no obvious way to push them further. The one exception would be his claim that the world as a whole can change for no reason at any moment, coupled with the inconsistent claim that within a given world there are laws of nature that everything must follow. If gravitational attraction between all masses is a current law in our world, then for Meillassoux there can be no exceptions to this law for as long as it remains in force. A toppled vase will fall to the floor every time for sure,unless there is a cosmic change by which the laws of nature as a whole have altered. (This is reminiscent of the late medieval distinction between the absolute and ordained power of God, according to which God has the power to set or change the laws of nature, but not to contravene those laws locally once they are set.) On this point, to radicalize Meillassoux would simply be to say: there are no laws of nature even in the local sense. Everything that happens, even in the world here and now, is purely contingent and not governed by even a trace of law. And while this would be a more consistent development of Meillassoux’s thoughts on contingency, it is difficult to see how it could lead to a new philosophy. Instead, the admiring successors of Meillassoux are more likely to reverse one of his already sufficiently radical points. At least four candidates come to mind: *First, we have seen that Meillassoux thinks correlationism is challenged by a time before or after consciousness, but not by a space lying outside it. Perhaps this could be reversed into saying that spatial exteriority is the really crucial point. The arguments on this point are perhaps the least convincing in After Finitude (and do not even occur in the original French edition), and therefore it might be a candidate for the “blind spot” of which no philosopher is ever free. *Second, Meillassoux uses Cantor to claim that the contingency of laws of nature would not entail that they are unstable. A successor of Meillassoux might claim that it does make them unstable, and celebrate this fact. This person would then have to explain why common sense seems to encounter a relatively stable world despite its truly rampant instability. Whereas Meillassoux’s problem is to show how stability might exist despite contingency, this successor’s problem would be slightly different: to show why actual, full-blown instability might have the appearance of stability. *Third, Meillassoux claims that the primary qualities of things are those that can be mathematized. He might be reversed by a successor who says the opposite: the mathematizable qualities are the secondary ones, and the primary ones are those that elude symbolic formulation. While this is a perfectly valid possible objection to Meillassoux, it is one that is made in advance by some of his predecessors and is still made by some of his peers, making it less interesting for futurology than some of his other points. *Fourth and finally, whereas Meillassoux claims that God does not exist but might exist in the future, a successor might argue even more bizarrely that God has always existed but might vanish in the future. Let’s arbitrarily select the first of these possibilities, and imagine briefly where it might lead, if pursued in the future by admiring detractors. Meillassoux comes from the circle of Badiou, and some of Badiou’s most ardent admirers are found in Latin America. So, let’s imagine that towards mid-century some ingenious reversers of Meillassoux emerge in that portion of the Spanish-speaking world. Just for fun, let’s call them Castro and Chávez. And in order to avoid any confusion with the present-day politicians of those names, we will stipulate that Meillassoux’s great successors are both women. The philosopher Castro (we will suppose she comes from Peru) reverses Meillassoux’s argument that the ancestral or diachronic are what most threaten the human-world correlate. Instead, she claims that the diachronic does not threaten the correlate at all, and that we must instead look at space as what ruins the correlate and demands a strange new realism. What would such a philosophy look like? In order to determine this, we might ask what price Meillassoux pays for doing it the opposite way. As I see it, he pays in two separate ways. One is that laws of nature for him are contingent over time . The laws of nature apply to the universe as a whole at any given moment, and would be changed globally if they are ever changed at all. The second price he pays is that Meillassoux has no mereology , or theory of parts and wholes. Everything for him is on the level of the given, or immanent in experience, with the sole proviso that the laws governing this immanence might change without notice at any given moment. In reversing Meillassoux, Castro makes the following claims in the preface to her stunning debut book of 2045, The Cosmos and its Neighborhoods , rapidly translated from Spanish into all the languages of the world: Despite his brilliant analysis of the contingency of laws of nature over time, Meillassoux gets two important assumptions wrong. First, he allows for only one set of contingent laws to govern nature as a whole. Second, he allows laws to govern only the world that is immanent in experience, and thereby fails to explore the contingency among part-whole relations. In this book I will argue, first, that the laws of nature vary in any given instant between one region of the universe and the next; and second, that the world is made up of layers of parts and wholes that are also contingent with respect to one another. Those are the words of Castro. This may sound like a hopeless free-for-all of chaos, yet the book somehow succeeds in drawing some compelling deductions about how laws must vary from one place or level in the world to the next. Trapped in the limited horizon of 2011, and not yet inspired by the heavily balkanized political and technological situation of 2050 that somehow lends additional credence to Castro’s vision, we can only vaguely grasp what such a philosophy might look like. After this reversal of Meillassoux by Castro, the usual pattern leads us to expect a radicalization by Chávez, a young Argentine student of Castro. How could the already strange theories of Castro be radicalized? Perhaps as follows, in a disturbing new book entitled The Implosion of the Neighborhoods , which argues as follows: Castro was right to shift the Meillassouxian framework of contingency from time to space. However, in this respect she retained a surprisingly traditional opposition between the two. In this book I will show that time and space collapse into one another. This may sound too much like the discredited four-dimensional block universe of twentieth century physics and philosophy. However, the four-dimensional universe is a model biased in favor of space, merely adding an extra dimension to the commonsense spatial continuum while stipulating that the serial passage of time is an illusion. In this book I will argue instead for a one-dimensional space-time modeled after our experience of time, in which there is no simultaneous co-existence at all between different parts of the universe, or ‘neighborhoods’ as my esteemed teacher Castro has called them. Instead, the various portions of the universe link to one another by succession rather than by coexistence. Buenos Aires, New York, and Amsterdam do not exist simultaneously in the same landscape, but one after the other in the mind of some observer, and this observer can only be an observer much larger than any human. Against Meillassoux’s notion of a virtual God that does not exist now but might exist in the future, I will argue for an actual God that surveys the universe in sequence, thereby generating the illusion of spatial diversity and even the illusion of individual minds located within that diversity. Once this divine observer dies, the universe as a whole must perish. Again, these ideas are so bizarre that we of 2011 can barely comprehend them, just as Aristotle would have had a difficult time grasping the theories of Descartes. We could then perhaps imagine a further reversal of this theory, emanating from the intellectually resurgent Philippines of the twenty-second century. The Filipino School might argue that the universe is already dead, given the collapse of its spatial richness into the serial observations of a flimsy and mortal God. The virtual universe does not yet exist, but might exist in fully spatial form in the future, and this would require the death of God and the resulting liberation of God’s succession of images as independent, spatially situated realities. With a bit of sharpening, we might be able to make all of these imaginary thinkers more intuitively clear. Along with the history of philosophy, there might arise a new discipline generating imaginary futures for philosophy. The richness of Meillassoux’s system comes not from the fact that he is plausibly right about so many things, but because his philosophy offers such a treasury of bold statements ripe for being radicalized or reversed. He is a rich target for many still-unborn intellectual heirs, and this is what gives him the chance to be an important figure. NOTES 1. Quentin Meillassoux, After Finitude . Trans. R Brassier. (London: Continuum, 2008.) Page 5. The word “correlationism” does not appear in his doctoral thesis. As Meillassoux informed me in an email of February 8, 2011, he first coined this term in 2003 or 2004, while editing for publication a lecture he had given at the École normale supérieure on a day devoted to the theme of “Philosophy and Mathematics,” an event including Alain Badiou as one of the participants. 2. Graham Harman, Quentin Meillassoux: Philosophy in the Making . (Edinburgh: Edinburgh University Press, forthcoming 2011). 3. In an email of December 6, 2010, Meillassoux clarifies that in After Finitude he only deduces the impossibility of a “universal contradiction,” not of a determinate contradiction. In the same email he suggests that he can also prove the latter, though the proof is somewhat lengthier than the one found in After Finitude . 4. After Finitude (18-26), in the passage falling between the two sets of triple asterisks. These pages were sent by Meillassoux to translator Ray Brassier (in French) during the translation process, and do not appear in the original French version of the book. 5. Graham Harman, “Quentin Meillassoux: A New French Philosopher.” Philosophy Today 51.1 (2007): Pages 104-117. The passage where I raise the question of space can be found in the first column of page 107. 6. Vernes is first cited on p. 95 of After Finitude . See Jean-René Vernes, Critique de la raison aléatoire, ou Descartes contra Kant . (Paris: Aubier, 1982).  . (shrink)

Suppose you found that the universe around you was infinite—that it extended infinitely far in space or in time and, as a result, contained infinitely many persons. How should this change your moral decision-making? Radically, it seems, according to some philosophers. According to various recent arguments, any moral theory that is ’minimally aggregative’ will deliver absurd judgements in practice if the universe is (even remotely likely to be) infinite. This seems like sound justification for abandoning any such theory. -/- (...) My goal in this thesis is simple: to demonstrate that we need not abandon minimally aggregative theories, even if we happen to live in an infinite universe. I develop and motivate an extension of such theories, which delivers plausible judgements in a range of realistic cases. I show that this extended theory can overcome key objections—both old and new—and that it succeeds where other proposals do not. With this proposal in hand, we can indeed retain minimally aggregative theories and continue to make moral decisions based on what will promote the good. (shrink)

We extend the hierarchy of finite-dimensional Ellentuck spaces to infinite dimensions. Using uniform barriers [Formula: see text] on [Formula: see text] as the prototype structures, we construct a class of continuum many topological Ramsey spaces [Formula: see text] which are Ellentuck-like in nature, and form a linearly ordered hierarchy under projections. We prove new Ramsey-classification theorems for equivalence relations on fronts, and hence also on barriers, on the spaces [Formula: see text], extending the Pudlák–Rödl theorem for barriers on the Ellentuck (...) space. The inspiration for these spaces comes from continuing the iterative construction of the forcings [Formula: see text] to the countable transfinite. The [Formula: see text]-closed partial order [Formula: see text] is forcing equivalent to [Formula: see text], which forces a non-p-point ultrafilter [Formula: see text]. This work forms the basis for further work classifying the Rudin–Keisler and Tukey structures for the hierarchy of the generic ultrafilters [Formula: see text]. (shrink)

Where there are infinitely many possible [equiprobable] basic states of the world, a standard probability function must assign zero probability to each state—since any finite probability would sum to over one. This generates problems for any decision theory that appeals to expected utility or related notions. For it leads to the view that a situation in which one wins a million dollars if any of a thousand of the equally probable states is realized has an expected value of zero (since (...) each such state has probability zero). But such a situation dominates the situation in which one wins nothing no matter what (which also has an expected value of zero), and so surely is more desirable. I formulate and defend some principles for evaluating options where standard probability functions cannot strictly represent probability—and in particular for where there is an infinitely spread, uniform distribution of probability. The principles appeal to standard probability functions, but overcome at least some of their limitations in such cases. (shrink)

How might we extend aggregative moral theories to compare infinite worlds? In particular, how might we extend them to compare worlds with infinite spatial volume, infinite temporal duration, and infinitely many morally valuable phenomena? When doing so, we face various impossibility results from the existing literature. For instance, the view we adopt can endorse the claim that worlds are made better if we increase the value in every region of space and time, or that they are made better if we (...) increase the value obtained by every person. But they cannot endorse both claims, so we must choose. In this paper I show that, if we choose the latter, our view will face serious problems such as generating incomparability in many realistic cases. Opting instead to endorse the first claim, I articulate and defend a spatiotemporal, expansionist view of infinite aggregation. Spatiotemporal views such as this do face some difficulties, but I show that these can be overcome. With modification, they can provide plausible comparisons in cases that we care about most. (shrink)

Infinite time Turing machines extend the operation of ordinary Turing machines into transfinite ordinal time. By doing so, they provide a natural model of infinitary computability, a theoretical setting for the analysis of the power and limitations of supertask algorithms.

In this paper the notion of unifier is extended to the infinite set case. The proof of existence of the most general unifier of any infinite, unifiable set of types (terms) is presented. Learning procedure, based on infinite set unification, is described.

Infinite time Turing machines represent a model of computability that extends the operations of Turing machines to transfinite ordinal time by defining the content of each cell at limit steps to be the lim sup of the sequences of previous contents of that cell. In this paper, we study a computational model obtained by replacing the lim sup rule with an ‘eventually constant’ rule: at each limit step, the value of each cell is defined if and only if the content (...) of that cell has stabilized before that limit step and is then equal to this constant value. We call these machines weak infinite time Turing machines. We study different variants of wITTMs adding multiple tapes, heads, or bidimensional tapes. We show that some of these models are equivalent to each other concerning their computational strength. We show that wITTMs decide exactly the arithmetic relations on natural numbers. (shrink)

One result of this note is about the nonconstructivity of countably infinite lotteries: even if we impose very weak conditions on the assignment of probabilities to subsets of natural numbers we cannot prove the existence of such assignments constructively, i.e., without something such as the axiom of choice. This is a corollary to a more general theorem about large-small filters, a concept that extends the concept of free ultrafilters. The main theorem is that proving the existence of large-small filters requires (...) a nonconstructive axiom like AC. (shrink)

This essay examines the problem of evil, and then develops a free will theodicy. Then the paper considers some themes in distinctively Christian theodicy building, in more detail.

In lieu of an abstract, here is a brief excerpt of the content:Joseph Margolis THE OPTIONS OF CONTEMPORARY ETHICAL THEORY It may be said, with some prospect ofbeing not altogether idiotic, that the global philosophical question ofour age concerns the possibility of legitimating the conceptual grounds for legitimating claims about anything. The formulation has no interest in the abstract. It merely registers the possibility of an infinite regress; and in that form it has been with us forever. But our own (...) world has inexorably subverted all the standard forms of confidence regarding legitimation—not so much perhaps by intellectual confrontation as, more indirectly, by coming to believe the deep contingencies of human history, by discovering again and again the astounding diversity of actual human societies, by reflecting on the incompletely managed self-manipulation of our immense technology, by the natural fear entailed in the growing chaos of the entire terrestrial world we mean to put into serviceable order. These considerations are certainly local to moral theorizing. But since they have a general currency as well, they lead us to suppose that speculations about legitimizing moral claims cannot be more satisfactory than those of philosophy in general, though they may be weaker. This, in its turn, encourages us to imagine that a reduced assessment of the larger claims of philosophy may conveniendy justify a greater respect for the inherendy modest prospects ofmoral theorizing. Furthermore, the characteristic triple thinking of our age, always incipient in any reflexive appraisal of cognitive powers, has been raised to a particularly fine art — if that is the right term. It is quite impossible nowadays, unless by a confidence or innocence bordering on the Martian, simply to proclaim the principles or grounds or foundations of moral judgment and moral commitment. Nevertheless, what one cannot help noticing is that wher37 38Philosophy and Literature ever theorists are morally serious — and they seem never more serious than when they are theorizing about morality— they are understandably inclined to believe that they absolutely must give some sense of the accessibility of reliable and valid grounds for judgments and commitments of the most important sorts. In yielding to that touching obligation to serve others in the capacity of philosopher, however, they usually yield as well in the direction ofinsinuating— ifnot openly announcing— what their own sense of professional history would otherwise have readily shown to be in desperate need of a smidgen of support. Notably in the last generation, the retreat from older forms of confidence, in moral philosophy, in philosophy in general, and in all those intellectual disciplines either pleased or displeased to be linked to the fate of philosophy, has decidedly accelerated. There is no resisting the current, though that is hardly to say we understand its implications or are obliged to subscribe to its madder exemplars. But when, to take a counter-specimen from the Anglo-American tradition of the last decade, a moral philosopher like Alan Donagan attempts to restore something like the Kantian moral system, we sense its unlikely and alien body even before we prepare our instruments for the required dissection. Thus, Donagan, who can hardly be accused of failing to sustain a most humane document, speaks at the beginning of The Theory ofMorality of his having been persuaded — by George Orwell and others — "that any acceptable form of social order, whether socialist or not, must rest on moral foundations, which are in principle ascertainable at any period, and permanendy valid."1 Donagan had hoped to recover in a compelling way the "common morality" of mankind, the rationally accessible portion of the Biblical tradition, presumably congruent with the classical tradition, ordered in a conceptually convincing way for the first time by Immanuel Kant reflecting, apparently, on his own Pietist upbringing. Donagan is, of course, among other things, a careful student of R. G. Collingwood's work, and here may be thought to exhibit Collingwood's confidence that the historian is capable, under favorable conditions, of "reenacting" at any period the motivating thought of effective historical agents of the past.2 At any rate, Donagan is quite explicit that: (a) social orders must have moral foundations or first principles; (b) social orders do have such moral foundations; (c) those foundations are ascertainable; (d) they are ascertainable in principle at... (shrink)

We propose a simple notion of "extender" for coding large elementary embeddings of models of set theory. As an application we present a self-contained proof of the theorem by D. Martin and J. Steel that infinitely many Woodin cardinals imply the determinacy of every projective set.

My two principal aims in this essay are interconnected. One aim is to provide a new interpretation of the ‘infinite modes’ in Spinoza’s Ethics. I argue that for Spinoza, God, conceived as the one infinite and eternal substance, is not to be understood as causing two kinds of modes, some infinite and eternal and the rest finite and non-eternal. That there cannot be such a bifurcation of divine effects is what I take the ‘infinite mode’ propositions, E1p21–23, to establish; E1p21–23 (...) show that each and every one of the immanent effects of an infinite and eternal God is an infinite and eternal mode. The other aim is to show that these propositions can be understood as part of an extended critical response to Descartes’s infamous doctrine that God creates eternal truths and true and immutable natures. If we have the correct (Spinozan) conceptions of what God is and how God works, we see that an eternal and infinite God can only be understood to cause ‘eternal truths,’ and that these eternal truths are infinite and eternal modes of God. (shrink)

On Itamar Pitowsky’s subjective interpretation of quantum mechanics, “the Hilbert space formalism of quantum mechanics [QM] is just a new kind of probability theory”, one whose probabilities correspond to odds rational agents would accept on the outcomes of gambles concerning quantum event structures. Our aim here is to ask whether Pitowsky’s approach can be extended from its original context, of quantum theories for systems with an finite number of degrees of freedom, to systems with an infinite number of degrees (...) of freedom, such as quantum field theory and quantum statistical mechanics in the thermodynamic limit. An impediment to generalization is that Pitowsky adopts the framework of event structures encoded by atomic algebras, whereas the algebras typical of QM for infinitely many degrees of freedom are usually non-atomic. We describe challenges to Pitowsky’s approach deriving from this impediment, and sketch and assess strategies Pitowsky might use to meet those challenges. Although we offer no final verdict about the eventual success of those strategies, a testament to the worth of Pitowsky’s approach is that attempting to extend it engages us in provocative foundational issues. (shrink)

This article discusses how the concept of a fair finite lottery can best be extended to denumerably infinite lotteries. Techniques and ideas from non-standard analysis are brought to bear on the problem.

According to reductive intellectualists about knowledge-how :147–190, 2008; Philos Phenomenol Res 78:439–467, 2009) knowledge-how is a kind of knowledge-that. To the extent that this is right, then insofar as we might conceive of ways knowledge could be extended with reference to active externalist :7–19, 1998; Clark in Supersizing the mind: embodiment, action, and cognitive extension: embodiment, action, and cognitive extension. Oxford University Press, Oxford, 2008) approaches in the philosophy of mind, we should expect no interesting difference between the two. (...) However, insofar as anti-intellectualist approaches to knowledge-how are a viable option, there is an overlooked issue of how knowledge-how might be extended, via active externalism, in ways very differently from knowledge-that. This paper explores this overlooked space, and in doing so, illustrates how a novel form of extended knowledge-how emerges from a pairing of active externalism in the philosophy of mind with anti-intellectualism in the theory of knowledge. Crucial to our argument will be a new way of thinking about the extended mind thesis, as it pertains to the kinds of state one is in when one knows how to do something, and how this state connects with non-accidentally successful performance. (shrink)

Many have the intuition that human persons are both extremely and equally valuable. This seeming extremity and equality of vale is puzzling: if overall value is the sum of one’s final value and instrumental value, how could it be that persons share the same extreme value? One way that we can solve the Value Puzzle is by following Andrew Bailey and Josh Rasmussen. Philosophy and Phenomenological Research, 103, 264–277 (2020) and accepting that persons have infinite final value. But there are (...) some significant downsides to their way of thinking about values, which relies on the extended real numbers. We offer a different approach: if we model values using the hyperreal numbers, we can capture many of our intuitions about the extremity and relative equality of human value without incurring the substantial theoretical costs of using the extended real numbers. We also examine other ways of modeling the infinite value of persons and evaluate the strengths and weaknesses of these other accounts compared to ours. (shrink)

The problem of how to rationally aggregate probability measures occurs in particular when a group of agents, each holding probabilistic beliefs, needs to rationalise a collective decision on the basis of a single ‘aggregate belief system’ and when an individual whose belief system is compatible with several probability measures wishes to evaluate her options on the basis of a single aggregate prior via classical expected utility theory. We investigate this problem by first recalling some negative results from preference and judgment (...) aggregation theory which show that the aggregate of several probability measures should not be conceived as the probability measure induced by the aggregate of the corresponding expected utility preferences. We describe how McConway’s :410–414, 1981) theory of probabilistic opinion pooling can be generalised to cover the case of the aggregation of infinite profiles of finitely additive probability measures, too; we prove the existence of aggregation functionals satisfying responsiveness axioms à la McConway plus additional desiderata even for infinite electorates. On the basis of the theory of propositional-attitude aggregation, we argue that this is the most natural aggregation theory for probability measures. Our aggregation functionals for the case of infinite electorates are neither oligarchic nor integral-based and satisfy a weak anonymity condition. The delicate set-theoretic status of integral-based aggregation functionals for infinite electorates is discussed. (shrink)

Altruistic punishment has been shown to invade when rare if individuals are allowed to opt out of cooperative ventures. Individuals that opt out do not contribute to the common enterprise or derive benefits from it. This result is potentially significant because it offers an explanation for the origin of large-scale cooperation in oneshot interactions among unrelated individuals. Here, we show that this result is not a general consequence of optional participation in cooperative activities, but depends on special assumptions about (...) cooperative pay-offs. We extend the pay-off structure of optional participation models to consider the effects of economies and diseconomies of scale in public-goods production, rival and non-rival consumption of goods, and different orderings of the pay-offs of freeriding and opting out. This more general model highlights the kinds of pay-offs for which optional participation favours cooperation, and those in which it does not. (shrink)

Kriegel described the problem of intentional inexistence as one of the ‘perennial problems of philosophy’, 307–340, 2007: 307). In the same paper, Kriegel alluded to a modal realist solution to the problem of intentional inexistence. However, Kriegel does not state by name who defends the kind of modal realist solution he has in mind. Kriegel also points out that even what he believes to be the strongest version of modal realism does not pass the ‘principle of representation’ and thus modal (...) realism is not an adequate solution to the problem of intentional inexistence. In this paper, I respond to Kriegel by defending a modal realist solution that he did not consider in 2007, called ‘extended modal realism’. EMR is a version of modal realism where possible worlds are not completely isolated as they are under the Lewisian model. Rather, under EMR worlds are, in a way, spatiotemporally related. The fact EMR worlds are related allows EMR to sufficiently pass the principle of representation and thus can be deemed a legitimate solution to the problem of intentional inexistence. I conclude that either EMR can pass the principle of representation in some cases or, and I think the more sensible option, we give up on the principle of representation altogether. (shrink)

We solve a longstanding problem by providing a denotational model for nondeterministic programs that identifies two programs iff they have the same range of possible behaviours. We discuss the difficulties with traditional approaches, where divergence is bottom or where a term denotes a function from a set of environments. We see that making forcing explicit, in the manner of game semantics, allows us to avoid these problems.We begin by modelling a first-order language with sequential I/O and unbounded nondeterminism. Then we (...) extend the model to a calculus with higher-order and recursive types, by adapting standard game semantics. Traditional adequacy proofs using logical relations are not applicable, so we use instead a novel hiding and unhiding argument. (shrink)

A theory of the extended classical charged particle is presented. The theory assumes extension along the forward light cone of the particle instead of the usual now-plane. Solutions are given for many of the traditional problems including 4/3, instability, infinite self-energy, and runaway velocity. The Lorentz and Lorentz-Dirac equations are derived from a more general equation of motion.

Draft for presentation at the 14th International Kant-Congress, September 2024. -/- Abstract: Kant claims we intuit infinite space. There’s a problem: Kant thinks full awareness of infinite space requires synthesis—the act of putting representations together and comprehending them as one. But our ability to synthesize is finite. Tobias Rosefeldt has argued in a recent paper that Kant’s notion of decomposing synthesis offers a solution. This talk criticizes Rosefeldt’s approach. First, Rosefeldt is committed to nonconceptual yet determinate awareness of (potentially) infinite (...) space, but I argue that such awareness is (1) prima facie implausible, as well as contravened by textual evidence from Kant’s (2a) definitions of ‘infinity’ and (2b) account of geometrical construction. Second, scrutiny of how Kant thinks awareness of potential infinity is afforded by geometrical construction (e.g., extending a line segment ad indefinitum) indicates no essential role for decomposing synthesis. Familiar synthesis from parts to wholes is sufficient. (shrink)

In Physics, Aristotle starts his positive account of the infinite by raising a problem: “[I]f one supposes it not to exist, many impossible things result, and equally if one supposes it to exist.” His views on time, extended magnitudes, and number imply that there must be some sense in which the infinite exists, for he holds that time has no beginning or end, magnitudes are infinitely divisible, and there is no highest number. In Aristotle's view, a plurality cannot escape (...) having bounds if all of its members exist at once. Two interesting, and contrasting, interpretations of Aristotle's account can be found in the work of Jaako Hintikka and of Jonathan Lear. Hintikka tries to explain the sense in which the infinite is actually, and the sense in which its being is like the being of a day or a contest. Lear focuses on the sense in which the infinite is only potential, and emphasizes that an infinite, unlike a day or a contest, is always incomplete. (shrink)

The point of departure of this review essay on Charles Taylor′s “A Secular Age” is that Taylor adds a new meaning to the already numerous meanings of the concept of “secularization”. His main interest is in the rise of what he calls “the secular option” and in the repercussions the availability of this option has for believers and non-believers. While his monumental study offers an immensely rich and rewarding material for the understanding of these processes, two major weaknesses are identified (...) here. 1. By taking medieval Christianity – and not a completely pre-axial civilization – as the prototype of an “enchanted” world, Taylor is in danger of interpreting the constant efforts at reform as a linear vector leading to modernity. This does not do justice to the contingency of these processes. 2. Taylor seems to overestimate the quantitative dimension of what he calls the post-Durkheimian forms of religious life, but his understanding of the true nature of the Church as a quintessentially network society is very important. In general, in some parts Taylor′s masterful history of ideas has to be extended into a more sociologically oriented explanation of secularization processes. (shrink)

We tell a story where an agent who chooses in such a way as to make the greatest possible profit on each of an infinite series of transactions ends up worse off than an agent who chooses in such a way as to make the least possible profit on each transaction. That is, contrary to what one might suppose, it is not necessarily rational always to choose the option that yields the greatest possible profit on each transaction.

In 2002 Coecke and Martin (Research Report PRG-RR-02-07, Oxford University Computing Laboratory, 2002) created a model for the finite classical and quantum states in physics. This model is based on a type of ordered set which is standard in the study of information systems. It allows the information content of its elements to be compared and measured. Their work is extended to a model for the infinite classical states. These are the states which result when an observable is applied (...) to a quantum system. When this extended order is restricted to a finite number of coordinates, the model of Coecke and Martin is obtained. The infinite model retains many desirable aspects of the finite model, such as pure states as maximal elements and expected behavior of thermodynamic entropy. But it looses some of the important domain theoretic aspects, such as having a least element and exactness. Shannon entropy is no longer defined over the entire model and both it and thermodynamic entropy cease to be a measurements in the sense of Martin. (shrink)

Philosophers and cognitive scientists alike have recently been interested in whether cognition extends beyond the boundaries of skin and skull and into the environment. However, the extended cognition hypothesis has suffered many objections over the past few decades. In this paper, I explore the option of control extending beyond the human boundary. My aim is to convince the reader of three things: (i) that control can be implemented in artifacts, (ii) that humans and artifacts can form extended control (...) systems, and (iii) that perhaps extended control ought to be preferred over extended cognition. Using the objections to extended cognition as constraints on my own extended theorizing and the example of autofocus systems in cameras, I decompose and localize the components of an autofocus system that realize the central properties of control from a plausible theory of control in the literature. I then provide criteria according to which control can be extended in a system. Finally, I consider how this theory of extended control ought to be preferred to theories of extended cognition. (shrink)

In this commentary I take up thoughts about the sociology of time and Luhmann’s theory to consider whether automated future option maximization can be extended with a social dimension.

In lieu of an abstract, here is a brief excerpt of the content:Hume Studies Volume XXIII, Number 2, November 1997, pp. 227-244 Hume on Geometry and Infinite Divisibility in the Treatise H. MARK PRESSMAN Scholars have recognized that in the Treatise "Hume seeks to find a foundation for geometry in sense-experience."1 In this essay, I examine to what extent Hume succeeds in his attempt to ground geometry visually. I argue that the geometry Hume describes in the Treatise faces a serious (...) set of problems. Geometric Lines Hume maintains that ideas "are images" (T 6) which may be called up "when I shut my eyes" (T 3). "That we may fix the meaning of a word, figure," according to Hume, "we may revolve in our mind the ideas of circles, squares, parallelograms, triangles of different sizes and proportions, and may not rest on one image or idea" (T 22). As Arthur Pap notes, "'Idea' is in Hume's usage synonymous with 'mental image'." D.C.G. MacNabb also notes that "Hume thought of ideas as images, and primarily as visual images."2 When Hume argues, then, that "we have the idea of indivisible points, lines and surfaces conformable to the [geometer's] definition" (T 44), he is arguing that we have mental images of geometry's points, lines and planes. Consider geometric lines first. Geometers define a line "to be length without breadth or depth" (T 42). It is not apparent to everyone that we have mental images of such lines. According to "L'Art de penser" (T 43), published in 1662, it is impossible "to conceive a length without any breadth" (T 43). H. Mark Pressman is at the Department of Philosophy, University of California, Davis, 1238 Social Sciences and Humanities Building, Davis CA 95616-8673 USA. email: [email protected] 228 H. Mark Pressman We can only by an abstraction "consider the one without regarding the other" (T 43). Hume, however, offers "clear proof" (T 44), in the form of two arguments, that we actually possess ideas or mental images of geometry's lines. First, we have ideas or mental images of lengths with breadth, though these are supposed never to be without breadth and thus not geometric lines. (A mental image oflength is also a mental image with length, just as "to say the idea of extension agrees to any thing, is to say it is extended" [T 240].) Hume reduces to absurdity the view that our mental images of length are always with breadth and thus not images of geometric lines. If our length-images were always with breadth, then our mental images would be endlessly divisible in breadth, since they would always have some positive breadth (T 43). But no mental image is endlessly divisible, for the mind arrives "at an end in the division of its ideas, nor are there any possible means of evading the evidence of this conclusion" (T 27). We thus have an idea or image of length without (divisible) breadth conforming to the geometer's definition (T 44). Second, we can imagine or picture the termination of a geometric plane. But a geometric plane must terminate in a geometric line (T 44). (Proof: Assume L is a line with breadth which terminates plane P. Since L has breadth, L must contain at least two parts, w and y, exactly one of which actually terminates P. But whether it is w or y, L doesn't terminate P, which was the assumption.) Since we can picture the termination of a geometric plane, we can picture a geometric line, length without divisible breadth. It is one thing to have ideas or mental images of geometric lines which may be called up "when I shut my eyes" (T 3). It is another for such objects actually to exist "in nature." The conceptualist holds that though (a) geometry 's points, lines and planes are ideas, nevertheless (b) there are no such things in nature and that (c) there can't be such things in nature: [T]he objects of geometry... are mere ideas in the mind, and not only never did, but never can exist in nature. They never did exist; for no one will pretend to draw a line or make a... (shrink)

In this paper I show that the existence of an infinite temporal regress does not undermine the soundness of Craigs version of the Kalam Cosmological Argument. To this end I shall focus on a particular complication that Craig raises against one of his arguments in support of a finite temporal regress. I will show that this complication can be made innocuous by extending the notion of A-theoretic time, which is presupposed by Craigs argument, to include a notion of temporal becoming (...) that is compatible with the existence of an infinite regress of temporal events. All this shows that God could have created an infinite temporal regress a finite time in the past without this entailing a contradiction. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Hume Studies Volume XX, Number 2, November 1994, pp. 219-240 Infinite Divisibility in Hume's First Enquiry DALE JACQUETTE The Limitations of Reason The arguments against infinite divisibility in the notes to Sections 124 and 125 of David Hume's Enquiry Concerning Human Understanding are presented as "sceptical" results about the limitations of reason. The metaphysics of infinite divisibility is introduced merely as a particular, though especially representative problem, among several (...) that Hume discusses. Hume first writes: The chief objection against all abstract reasonings is derived from the ideas of space and time; ideas, which, in common life and to a careless view, are very clear and intelligible, but when they pass through the scrutiny of the profound sciences (and they are the chief object of these sciences) afford principles, which seem full of absurdity and contradiction.1 There follows an intuitive appeal to the apparent incoherence of the consequences of infinite divisibility in the geometry of space and measurement of time. Hume enlists natural belief against the infinite divisibility thesis in the mathematics of extension: But what renders the matter more extraordinary, is, that these seemingly absurd opinions are supported by a chain of reasoning, the Dale Jacquette is at the Department of Philosophy, The Pennsylvania State University, 246 Sparks Building, University Park PA 16802 USA. e-mail: [email protected] 220 Dale Jacquette clearest and most natural; nor is it possible for us to allow the premises without admitting the consequences. Nothing can be more convincing and satisfactory than all the conclusions concerning the properties of circles and triangles; and yet, when these are once received, how can we deny, that the angle of contact between a circle and its tangent is infinitely less than any rectilinear angle, that as you may increase the diameter of the circle in infinitum, this angle of contact becomes still less, even in infinitum, and that the angle of contact between other curves and their tangents may be infinitely less than those between any circle and its tangent, and so on, in infinitum? The demonstration of these principles seems as unexceptionable as that which proves the three angles of a triangle to be equal to two right ones, though the latter opinion be natural and easy, and the former big with contradiction and absurdity. (EHU 156-157) The implied sense of contradiction is then extended by Hume to the problem of infinite divisibility in time. The absurdity of these bold determinations of the abstract sciences seems to become, if possible, still more palpable with regard to time than extension. An infinite number of real parts of time, passing in succession, and exhausted one after another, appears so evident a contradiction, that no man, one should think, whose judgment is not corrupted, instead of being improved, by the sciences, would ever be able to admit of it. (EHU 157) The contradictions involved in traditional concepts of extension and time demarcate the limits of which reason is capable. But Hume's answer is more complex than merely surrendering to skepticism over the prospects of reason achieving understanding in the metaphysics of space and time. He tries to show that what he calls "Pyrrhonian" skepticism is ultimately self-defeating in its application of reason against reason. In place of a negative conclusion, he offers another solution to the paradoxes of infinite divisibility. What is remarkable about Hume's pronouncements against the infinite divisibility of extension and time, that may signal a change in his methodology if not his overall position on divisibility in the Enquiry from that of A Treatise of Human Nature, is his straightforward claim that natural belief rebels against the concept of infinite divisibility as its consequences apply to the metric of space and time.2 As in the Treatise, Hume pits natural disbelief in infinite divisibility against abstract metaphysical reason. But in the Enquiry, he does not invoke reason merely to correct the excesses of natural belief for the skeptical deflation of natural belief, say, in the necessity of causal connection, or the existence of mind-independent continuants. On the contrary, Hume Studies Infinite Divisibility in Hume's First Enquiry 221 Hume here appears instead to invoke natural disbelief in... (shrink)

There is a well-known equivalence between avoiding accuracy dominance and having probabilistically coherent credences (see, e.g., de Finetti 1974, Joyce 2009, Predd et al. 2009, Pettigrew 2016). However, this equivalence has been established only when the set of propositions on which credence functions are defined is finite. In this paper, I establish connections between accuracy dominance and coherence when credence functions are defined on an infinite set of propositions. In particular, I establish the necessary results to extend the classic accuracy (...) argument for probabilism to certain classes of infinite sets of propositions including countably infinite partitions. (shrink)

Einstein's gravitational field equations in empty space outside a massive plane with infinite extension give a class of solutions describing a field with flat spacetime giving neutral, freely moving particles an acceleration. This points to the necessity of defining the concept “gravitational field” not simply by the nonvanishing of the Riemann curvature tensor, but by the nonvanishing of certain elements of the Christoffel symbols, called the physical elements, or the nonvanishing of the Riemann curvature tensor. The tidal component of a (...) gravitational field is associated with a nonvanishing Riemann tensor, while the nontidal components are associated with nonvanishing physical elements of the Christoffel symbols. Spacetime in a nontidal gravitational field is flat. Such a field may be separated into a homogeneous and a rotational component. In order to exhibit the physical significance of these components in relation to their transformation properties, coordinate transformations inside a given reference frame are discussed. The mentioned solutions of Einstein's field equations lead to a metric identical to that obtained as a result of a transformation from an inertial frame to a uniformly accelerated frame. The validity of the strong principle of equivalence in extended regions for nontidal gravitational fields is made clear. An exact calculation of the weight of an extended body in a uniform gravitational field, from a global point of view, gives the result that its weight is independent of the position of the scale on the body. (shrink)

Serial issues closely marry the major anthropological questions that a society asks itself… or is about to ask itself; here unfolds “the infinite possibility of possibilities”, and we will see that the theme of the extended human gradually increases in power, often from the angle of a transhumanism gone mad. Anchoring the theme of technological increase in the sexual imagination makes it possible to immediately focus on the intimate fantasy of each reader/viewer; this “situated” motif also singles out the (...) subject, who is nevertheless doomed to the stereotypy of the gender product, post-fordist but necessarily subject to identifiable patterns. The dissensus between the obscure desirability of the process and the horror of the underlying ideologies will therefore form the framework of this statement; the dystopian colouring in fact affects the essence of the device, but without the absence of a form of shameful fascination for this technological, or even epistemocratic, « immortality » that science seems to promise—to the wealthiest in any case. (shrink)

This paper extends theorems of Belegradek about poly-regular groups of finite rank to certain poly-regular groups of infinite rank. A model-theoretic property aiding these investigations is the elimination of unbounded quantifiers, and the paper establishes both a general model-theoretic test for this property and results about bounded quantifiers in the special context of ordered Abelian groups.

Bounded lattices (that is lattices that are both lower bounded and upper bounded) form a large class of lattices that include all distributive lattices, many nondistributive finite lattices such as the pentagon lattice N₅, and all lattices in any variety generated by a finite bounded lattice. Extending a theorem of Paris for distributive lattices, we prove that if L is an ℵ₀-algebraic bounded lattice, then every countable nonstandard model ������ of Peano Arithmetic has a cofinal elementary extension ������ such that (...) the interstructure lattice Lt(������ / ������) is isomorphic to L. (shrink)