Aggregative consequentialism and several other popular moral theories are threatened with paralysis: when coupled with some plausible assumptions, they seem to imply that it is always ethically indifferent what you do. Modern cosmology teaches that the world might well contain an infinite number of happy and sad people and other candidate value-bearing locations. Aggregative ethics implies that such a world contains an infinite amount of positive value and an infinite amount of negative value. You can affect only (...) a finite amount of good or bad. In standard cardinal arithmetic, an infinite quantity is unchanged by the addition or subtraction of any finite quantity. So it appears you cannot change the value of the world. Modifications of aggregationism aimed at resolving the paralysis are only partially effective and cause severe side effects, including problems of “fanaticism”, “distortion”, and erosion of the intuitions that originally motivated the theory. Is the infinitarian challenge fatal? (shrink)

The epochal transition from the medieval to the modern world has long been thought in terms of the "infinitization" of the world-picture, that is, as the transition from the finite, hierarchically ordered medieval cosmos to the infinite and homogeneous universe of the new astronomy and physics. In this dissertation I argue that this process of "infinitization" must be understood intensively as well as extensively. Nature, in the modern age, is thought not only as infinitely extended in space, but (...) also as exhibiting an infinite richness in all of its parts. Each individual being is grasped as utterly unique and consequently as conceptually inexponable. Thus the infinitization of the real leads to an infinitization of the knowable-- the radical shift in ontology grounds a corresponding shift in epistemology, so that the progress of human knowledge is understood as an unending project infinitely extended over time. ;I take as my point of departure a consideration of Hans Blumenberg's reading of this epochal transition in The Legitimacy of the Modern Age. Blumenberg views the transference of the attribute of infinity from God to the world as characteristic of the modern rejection of the medieval tendency to locate the measure of self- and world-understanding in a transcendent deity. The "worldliness" of the modern age, Blumenberg holds, must be understood as a reaction to the extreme intensification of divine transcendence in late medieval Nominalism. In the face of an absconded God, human "self-assertion" aims at the realization of this-worldly possibilities through the mastery and alteration of reality. I agree with Blumenberg that the primary expression of this self-assertion has been seen in the progress of modern science. The possibility of that progress, however, is grounded in an understanding of nature as a law-like and yet inexhaustible field of investigation directing thought toward an objectivity that is never entirely realized. The origin of such an understanding, I argue, is to be found in late medieval Neoplatonic speculation on the nature of God's omnipresence in the world, in particular in the notion of the immanence of the infinite in the finite. (shrink)

In an earlier paper the authors discussed some super-tasks by means of a kinematical interpretation. In the present paper we show a semi-formal way that a more abstract treatment is possible. The core idea of our approach is simple: if a super-task can be considered as a union of (finite) tasks, it is natural to define the effect of the super-task as the union of the effects of the finite tasks it consists of. We show that this approach (...) enables us to handle two of the three super-tasks that we discussed earlier. We also argue that recent objections against our original kinematical interpretation do not hold water. One of our arguments is based on the construction of an elegant correspondence between the first of those three super-tasks and Zeno's Achilles and the Tortois. (shrink)

In this article, I consider the importance of philosophy in the dialogue between religious believers and non-believers. I begin by arguing that a new epistemology of epistemic peer disagreement is required if the dialogue is to progress. Rather than viewing the differences between the positions as due to a deficit of understanding, I argue that differences result from the existential anchoring of such enquiries in life projects and the under-determination of interpretations by experience. I then explore a central issue which (...) is often implicit in these dialogues, namely the ontological status of God-world relations. Drawing on the reflections of Hegel on the infinite and the finite, I argue that his version of panentheism provides an insightful way to conceptualise God-world relations that avoids both dualistic and monistic approaches and helps to explicate a holistic ontology of transcendence from within the world of experience. (shrink)

The infinite-valued logic of ukasiewicz was originally defined by means of an infinite-valued matrix. ukasiewicz took special forms of negation and implication as basic connectives and proposed an axiom system that he conjectured would be sufficient to derive the valid formulas of the logic; this was eventually verified by M. Wajsberg. The algebraic counterparts of this logic have become know as Wajsberg algebras. In this paper we show that a Wajsberg algebra is complete and atomic (as a lattice) (...) if and only if it is a direct product of finite Wajsberg chains. The classical characterization of complete and atomic Boolean algebras as fields of sets is a particular case of this result. (shrink)

The full-text of this article is not currently available in ORA, but you may be able to access the article via the publisher copy link on this record page.

Central to Levinas’ “phenomenological” approach to ethics is his identification of an “infinite signification” in the human face. This insistence on the appearance of an infinitely signifying phenomenon has led many, notably Dominique Janicaud, to decry Levinas’ work as anti-phenomenological: little more than a novel approach to metaphysics. A significant element of the phenomenological revolution, Janicaud insists, referencing Husserl and the early Heidegger for support, is grounded in the recognition that phenomena arise in and are circumscribed by finitude. Any (...) reference to an infinite phenomenon which breaks with apperception, he therefore concludes, necessarily breaks as well with the phenomenological tradition, signaling a reversion to idealism, metaphysics, and ultimately theology. As this paper will argue however, a close reading of Husserl reveals not only the recognition of infinite phenomena; but, more significantly, the possibility that all phenomena are potentially infinite. This means that in many ways Levinas is not only more faithful to Husserl’s project than is often admitted; but moreover, that Levinas’ work serves as a lens through which a hitherto under-emphasized element of Husserl’s work can be examined – an element which challenges the traditional critique of Levinas. What’s more, the possibility of infinite phenomena opened up in Husserl’s work, when read through Levinas’ analysis of the ethical significance of the infinite, creates the possibility of recognizing the potential ethical value of all objects, and not merely one object in particular: the human face. This possibility, as I will show, contributes to further blurring the already ambiguous distinction within Levinas between “good” and “bad” infinities – a blurring which, as I will argue, serves as a powerful heuristic in interpreting certain human pathologies, from obsessive compulsive disorder and certain forms of schizophrenia, to the temptation of evil. In this way, an analysis of the status of the infinite in Husserl and Levinas provides a purely phenomenological ground for exploring issues traditionally seen as the exclusive domain of metaphysics and theology. (shrink)

In this paper is presented and discussed the notion of true finite by opposition to the notion of theoretical finite. Examples from mathematics and physics are given. Fermat’s infinite descent principle is challenged.

This paper proposes a reassessment of Hegel’s critical reading of Spinoza and of the charge of acosmism, for which this reading is known. We argue that this charge is actually the consequence of a more fundamental criticism, namely Spinoza’s presumable inability to conceive the unity of the finite and the infinite. According to Hegel, the infinite and the finite remain two poles apart in Spinoza’s metaphysics, which thus fails to be a true monism, insofar as it (...) contains an irreducible duality. Against this reading, we argue that Spinoza’s conception of the causal co-determination of finite modes entails the acknowledgment of their essentially infinite nature. The study of this particular instance of coincidentia oppositorum enables to counter some of Hegel’s criticisms as well as to illuminate a fairly unexplored aspect of Spinoza’s substance monism. (shrink)

This paper proposes a reassessment of Hegel’s critical reading of Spinoza and of the charge of acosmism, for which this reading is known. We argue that this charge is actually the consequence of a more fundamental criticism, namely Spinoza’s presumable inability to conceive the unity of the finite and the infinite. According to Hegel, the infinite and the finite remain two poles apart in Spinoza’s metaphysics, which thus fails to be a true monism, insofar as it (...) contains an irreducible duality. Against this reading, we argue that Spinoza’s conception of the causal co-determination of finite modes entails the acknowledgment of their essentially infinite nature. The study of this particular instance of coincidentia oppositorum enables to counter some of Hegel’s criticisms as well as to illuminate a fairly unexplored aspect of Spinoza’s substance monism. (shrink)

This book clearly explains what an infinite number is, how infinite numbers differ from finite numbers, and how infinite numbers differ from one another. The concept of recursivity is concisely but thoroughly covered, as are the concepts of cardinal and ordinal number. All of Cantor's key proofs are clearly stated, including his epoch-making diagonal proof, whereby he proved that that there are more reals than rationals and, more generally, that there are infinitely large, non-recursive classes. In (...) the final section, Kurt Gödel's celebrated Incompleteness Theorem is shown to be equivalent with a number of the various different theorems proved in this short but profound work. (shrink)

Writing, the exigency of writing: no longer the writing that has always (through a necessity in no way avoidable) been in the service of the speech or thought that is called idealist (that is to say, moralizing), but rather the writing that through its own slowly liberated force (the aleatory force of absence) seems to devote itself solely to itself as something that remains without identity, and little by little brings forth possibilities that are entirely other: an anonymous, distracted, deferred, (...) and dispersed way of being in relation, by which everything is brought into question – and first of all the idea of God, of the Self, of the Subject, then of Truth and the One, then finally the idea of the Book and the Work so that this writing (understood in its enigmatic rigor), far from having the Book as its goal rather signals its end: a writing that could be said to be outside discourse, outside language. – Maurice Blanchot ( The Infinite Conversation , xi) The Compendium * Beginning with the idea and practice of writing, and moving to the subject or self, then to truth and the One, and arriving at the Book and the Work, Blanchot’s words reflect the trajectory of the following work of writing. True to the embeddedness of the subject in the work of writing, the term “Compendium” has been a metonym for me over the past few years as I have thought about the concept of totality alongside its expression in figures such as the One, the Whole, or the All. In the following I aim to share some of the content of this metonym, and to enrich it by making some distinctions. 1 Here the term “Compendium” will refer to a concept of totality that is ontological (pertaining to being, and the copula) and also textual (pertaining to the symbolic, and the signifier-signified relationship). The Compendium is a figure for thinking the world as a Book, in the broadest sense—an approach to reality that is by no means new, but one that is due for renewal. 2 In partial answer to the question of the Compendium we will say that the word ‘Compendium’ stands in for expressions which seek to totalize, or concepts which seek to approach the concept of ‘everything,’ particularly when these expressions are bound up in the question of the Book (both the book as a physical object and the Book as a metaphysical figure: a way of thinking about the work in and of writing). The question of the Compendium is strongly associated with the physical and metaphysical form of the Book, like the mysterious and symbolic books which are opened in the Biblical book of Revelation, the book of life and the book of death, which together constitute an important couplet. 3 Parataxis & Hypotaxis There are two helpful distinctions that will bring us closer to an answer to the question “What is a Compendium?” The first distinction is between two figures in and for writing: parataxis and hypotaxis . Typically paired in contrast to one another as literary techniques, with parataxis indicating a side-by-side placement of textual elements and hypotaxis referring to subordinate arrangements of textual elements, the two figures can be understood as having a philosophical significance in addition to their practical function as devices for writers. For us these two terms will remain between philosophical theory and writing practice, and serve as a perspective for our writing and creation of texts. Here I take texts to refer to anything from the concrete written words in a book, to the ontological text of the world that we experience. Parataxis , as a figural way of thinking about the ontological structure of texts, refers to texts which are tightly woven and interdependent – texts within which each sentence bears the weight of the entire work. Parataxis often involves repetition, great density, and fragility. One of the best examples of this sort of text is Theodor Adorno’s posthumous magnum opus , Aesthetic Theory . In addition to the text itself, the translation history of the book may also help us to better understand parataxis and its relation to hypotaxis . The final published version of Aesthetic Theory , in German, was a text that Adorno intended to revise and rewrite, but this intention was never realized because of his untimely death. Where the German text of Aesthetic Theory certainly exemplifies the concept of parataxis , the first English edition took this densely woven text and carved Adorno’s lengthy paragraphs and lengthy sentences into manageable ‘bite-sized’ pieces of English text. The first translator took further liberty and inserted headings and new paragraph breaks where there were none in the original. Aesthetic Theory was eventually retranslated by Robert Hullot-Kentor and is now available in a form that is much more faithful to the original work. 4 The pertinent idea that this translation history points to is the distinction between parataxis and hypotaxis . Where parataxis describes texts which are repetitive, densely woven, and often fragile, hypotaxis describes texts which are hierarchical and in which the primary relation is linear – the latter of which is very similar to the first English translation of Aesthetic Theory . On the other hand, the original German text that Adorno wrote was very dense, often repetitive, and contained long sections of text unbroken by paragraphs or headings. This example of parataxis was then turned towards hypotaxis through the initial translation which took a text that was, in many ways, nonhierarchical and nonlinear, and artificially subjected it to a hierarchy that was not its own (and here I take the word of Fredric Jameson who comments on the two translations in a note at the beginning of his book Late Marxism ). 5 The point here is not about translation, but rather the distinction between parataxis and hypotaxis precisely as they are figures for discourse, written or otherwise. The concept of parataxis looks far more postmodern and rhizomic than the concept of hypotaxis which remains very modern and arborescent. This is a more figural way of talking about the distinction. However, if we wanted to take a more precise and analytical approach we could say that on the level of form parataxis involves a relationship between sentences and paragraphs in which each part bears an equally crushing responsibility to present the whole content of the text. As well, on the level of content, parataxis requires that each concept in a work take on the full conceptual weight of the total work. Continuing the analysis, we could say that parataxis describes texts in which there is no (or very little) linear or causal move from antecedent to consequent, whether in content or form. Instead, parataxis describes texts which weave together concepts via conjugations or associations. The concept of hypotaxis , on the other hand, requires that texts submit themselves to hierarchy, one example of which is logical argumentation. The contingency of the conclusion upon premises in hypotaxis is certainly distinct from the repetition, re-presentation, and conjugation of concepts in parataxis , and I think that this is evident in the difference between the writing styles prevalent in contemporary Analytic philosophy and Continental philosophy. It is not the case that the distinction between parataxis and hypotaxis absolutely corresponds with the writing styles of Continental and Analytic philosophy (respectively). There are thinkers who take exception to this pattern, such as Badiou’s more formal approach in the discourse of Continental philosophy to give one example. However, when Analytic philosophy takes its writing lessons from the sciences, and seeks to do philosophy via the clean linear move from antecedent to consequent, then I think that Analytic philosophy writes with hypotaxis in mind. On the other hand, when Continental (particularly German and French) philosophy takes its writing lessons from narrative or poetry then Continental philosophy writes with parataxis in mind. It is not fair to say that all those writing Continental philosophy are looking to narrative and poetry for stylistic direction, just as it is not the case that all those writing Analytic philosophy have mathematics and science as their writing format, however there are some striking ways in which the differing epistemologies of Continental and Analytic philosophy encourage writing with parataxis and hypotaxis in mind (respectively). For some, writing with parataxis or hypotaxis in mind is a conscious decision and a product of stylistic self-consciousness, and for others it is an unconscious discursive and epistemic requirement that must be met in order to be involved in a particular discourse. Before moving on to our second distinction, and then an examination of the question of the Book, it is important to point out that both totality and figurations like the One, the Whole, and the All, come out of very human desires to totalize or to actualize our being-towards-totality. The relationship between identity and totality then can be construed, with Heidegger in mind, as striving toward wholeness, completion, or fulfillment, each of which is a quality of compendia. 6 Compilation & Selection The first distinction between parataxis and hypotaxis pertains to both form and content, and to both the mechanics of writing and the ideas to which writing refers. The second distinction pertains to both as well. In the process of writing and in the process of perception as well, there is a tension between compilation and selection . To begin with, in the work of theory-writing there is compilation, and this is because writing theory requires a broad perspective and certain measure of totalization. On the other hand, writing theory requires that the writer select an idea or a combination of ideas to individuate out of a radical and infinite multiplicity of identities and combinations. The concern here is not primarily for the writing of a theory about a specific idea, like a secondary work or a reference text. But rather the concern is with the writing of grand theories: Marx and Marxism, Derrida and Deconstruction, Husserl and Phenomenology, Sartre and Existentialism, Saussure and Structuralism —each of which strives along a trajectory towards being all-encompassing, whether it intends to or not. Today, we could even say that Speculative Realism has embarked on this journey, and perhaps now we could say that the discourse of Speculative Realism has reached the inevitable point after which a grand theory leaves the hands of its writer or writers and becomes a possession of the collective consciousness of the academy, or (perhaps now) the mass consciousness of the blogosphere—and this is a true pharmakon , a poison and a cure, a blessing and a curse. 7 When we write theory, whether the scope is that of a grand theory or a particular theory, we write in the tension between compilation (making good on the desire to be all encompassing) and selection (being required to decide and discern and to judge what is included in the work and what is deleted or appended or abridged or given over to ellipses). Generally speaking, the work of theory-writing often comes out of a desire to totalize, that is, to develop a theory of everything that is able to apprehend new experiences and ideas while still remaining whole. I grant that this is not a universal desire, and that not everyone who sits down to write a work (or book) of theory does so because of their will-to-totality, but it remains that this drive to totalize does condition a great many writers of theory (especially those who seek to develop grand theories like those mentioned previously). At the beginning of his book of interviews, Between Existentialism and Marxism , Sartre is quoted as saying, after completing the first volume of his Critique of Dialectical Reason : “I no longer feel the need to make long digressions in my books, as if I were forever chasing after my own philosophy. It will now be deposited in little coffins, and I will feel completely emptied and at peace—as I felt after Being and Nothingness . A feeling of emptiness: a writer is fortunate if he can attain such a state. For when one has nothing to say, one can say everything .” 8 This is where our two initial distinctions come to bear on the being-towards-totality as it is expressed in the concrete practice of writing: the first being between parataxis and hypotaxis , and the second being between compilation and selection. Where this second distinction is concerned there is a certain paradox at play given that selection is inescapable, and compilation is unachievable. Selection is inescapable (with the figure of the Compendium in mind) because, even when the imperative to compile is followed to excruciating lengths, selection still has the last word. This is why the Compendium is a figure rather than some material thing that can actually be accomplished or actualized. No matter how far one goes along with the will-to-archive and the will-to-compile, it is only ever a question of minimizing selection and never eliminating it. This leads to the second point, which is that total compilation is unachievable. The closest thing to total compilation that we have before us is the ontological and textual fabric of the world. Even in the case of the world, compilation cannot be enacted in a total fashion because of the need to include both the sphere of the actual and the sphere of the possible or potential. This as another way in which compilation is always-already selection, and further evidence that total compilation is practically impossible. Discursive Figuration and Total Writing Rather than figuration referring to a figure of speech or an image, here the term points to a way in which to think about the work of writing, both the work put into writing, and the work that is the result of writing: the finished yet incomplete final piece. As figures or figurations, the Book and the Compendium are ways of thinking about the work of writing and the human desire for the wholeness, completion, and fulfillment that are made manifest in the completed form of the book (whether a published or printed or saved document put to rest by the author). These two figures bear more strongly upon works that seek to be all-encompassing, and works that strive towards expressions of totality such as the One, the Whole, or the All. Moving on to the topic of the subtitle, and on a more prescriptive note, I would say that there is more hope for theory-writing to be found in parataxis than hypotaxis . Part of the reason for this claim is the poststructuralist critique of hierarchies, and yet another part is the compelling line of thinking called “weak thought” (in theology by John D. Caputo, and in philosophy by Gianni Vattimo, among others). 9 The consequences of these two convictions are such that if one is to strongly assert the truth of a grand theory without leaving the realm of hierarchy-critique and weak thought, then one must write paradoxically with parataxis in mind, and in so doing write weakly and non-hierarchically. This does not mean avoiding a sort of topography or topology when writing theory, rather it means avoiding both subjugation and oppression in thought by pursuing a nonviolent sort of ontology. In order to do this, theory writing does not present itself as an exercise in logical analysis where one mechanically moves from a set of premises (via contingency) to the inevitable conclusion (via necessity). Instead, theory approaches the idea of a Compendium. Given that the figural Compendium places parataxis and compilation above hypotaxis and selection, then the question becomes: is placing one part of a binary term before another not just another way of selecting, or another expression of hypotaxis ? Counter to the urge to resign oneself to the reign of selection, with some qualification one can nonetheless write without deciding whether selection and hypotaxis should be subservient to compilation and parataxis (which is to say that writing-without-decision is somewhere between and beyond possibility and impossibility). This dilemma can be disarmed by stating that theory writing is not about primacy, and not about having-decided-beforehand, both stylistically and also where content is concerned. This is the paradox of writing: always striving along a trajectory ( telos ) towards totality via parataxis and compilation, but always being drawn back to finitude and making selections, and placing one idea before another with hypotaxis in mind. In light of this paradox, the question of the Compendium as a figure for discourse and a figural Book has resonance with Jacques Derrida’s essay on Edmund Jabès’ Book of Questions , found in his Writing and Difference . The Question of the Book “Little by little the book will finish me.” 10 Derrida quotes Jabès, and proceeds to outline the reflexive relationship between the author of the book and the book itself, each of which are subjected to the other through a sort of chiasmus, both ontological and textual (not that the two are entirely separable). The Book, for Derrida like Blanchot in the introductory quotation, “infinitely reflects itself” and “develops as a painful questioning of its own possibility”, and in light of this we can draw an association with the painful tension between the practical reality of selection and the ideal trajectory of compilation. 11 This tension in writing, between the will to total compilation and the necessity of abridgment, is an ontological tension between part and whole just as it is a textual tension between signifier and signified. The ontological tension in writing that Derrida expresses in his essay on Jabès is between everything and nothing – a contradiction which Derrida finds in Jabès’ Book of Questions and also in the divine, in God. When one writes between compilation and selection one writes towards totality, and here we can follow Derrida who states that the lapse in signification, presumably in the signifier-signified discrepancy, is a “ rupture with totality itself” and furthermore that this lapse cannot be rectified through deductive reason or even philosophical discourse. 12 This rupture with totality, found in the troubled relation between signifier and signified, can also tell us a lot about the Book and about writing. Given an understanding of writing as an ontological act that strives towards (but never accomplishes) totality, we can see the written book as the manifested and given body of that striving. Perhaps in other disciplines or even other schools of philosophy there is a cultural climate within which the article is prized above the book, but I am fairly confident, especially when referring to the grand theories of Continental thought, that there is a respect for the book as a uniquely meaningful object capable of apprehending totality. Derrida writes, Between the too warm flesh of the literal event and the cold skin of the concept runs meaning. This is how it enters into the book. Everything enters into, transpires in the book. This is why the book is never finite. It always remains suffering and vigilant. 13 Here the vitality of the literal event is compromised by the deadening weight of the concept, and the figure of the Book assists in this lapse of meaning. The Book is a totalizing object, much like the figure of the Compendium, and yet this totalization lacks its final object of completed totality both because the figural Book is necessarily incomplete, and because the physical book is always-already a product of selection. Instead of achieving its end of being a place where everything takes place, it suffers from the lapse of writing, the discrepancy between event and concept. Derrida continues his exposition on Jabès by bringing to light yet another reflexive relation, a reversal of the relationship between the Book and the world. Derrida writes that, for Jabès, “the book is not in the world, but the world is in the book.” 14 In addition to what was stated before, I take figuration to mean that the concepts employed, such as the Book or the Compendium, are not subject to the supposed rigor of analysis that is so prized by Enlightenment or Capitalist realisms. The figure of the Book and the figure of the Compendium cannot be held accountable to standards imported from scientific method, given an understanding that these standards require a concept to be replicable, consistent, falsifiable, measurable, and so on… This is an important point to make, especially in the present atmosphere within which theory must justify itself under conditions that are not its own. Instead of being held to these standards, figuration serves as a way in which to think about writing that leaves thought open to idealistic speculation, imperfect analogies, and most importantly the ever-present gain and loss that occur in the relationship between thought and being. By extension the figural way of addressing writing indulges in enough generalization to accommodate the excess/lack relationship between the ideal form of the Book or the Compendium, and the manifested and given body of a text (as it is practically completed and closed). Here we speak against the hostile atmosphere which would have theory submit itself to hierarchical rigor, rather than Blanchot’s “enigmatic rigor”, by being explicit about the discursive conditions and epistemic conditions under which theory operates. To write with parataxis in mind is, to a certain degree, to write with weakness as one’s methodology (with weak thought being in opposition to hypotaxis and hierarchy as much as weak thought can be in opposition to anything). Rather than asserting the strength of hierarchical theory, and rather than employing antagonistic argumentation with the goal of refutation different discursive and epistemic conditions for theory writing must be cultivated (and these are by no means new). First the critical and theoretical spirit reveals itself as being concerned with the task of complication—especially the complication and critique of binaries, dichotomies, dualities, polarities, paradoxes, parallaxes, hybridities, and especially antinomies. Second, theory positions itself as a sort of showing or revealing, rather than being ultimately focused on coming to full agreement or disagreement. This is where figuration can help theory-writing, both by placing emphasis on teleologies and trajectories (like parataxis and compilation), and by shifting focus away from pure primacy, power, or absolute origin. Figuration then, assists theory writing by placing the concern of theory outside of the concerns of the hard or soft sciences, and into the realm of thought or the idea. To speak of ‘the’ Compendium or ‘the’ Book, here, is to generalize not regarding the perfect form of the Compendium or Book, but to engage speculatively with an abstract idea which remains singular and yet complicated by multiplicity. The question of the Book that Derrida asks through Jabès is a question of everything and nothing, totality and nonbeing, and this question is a concern for writing and a concern for the figure of the Compendium so defined by the tension between compilation and selection, and parataxis and hypotaxis . On the note of nonbeing, we can look to the final page of Derrida’s first essay on Jabès in Writing and Difference and notice the introduction of his neologism, différance (with an ‘a’). Derrida writes: Life negates itself in literature only so that it may survive better. So that it may be better. It does not negate itself any more than it affirms itself: it differs from itself, defers itself, and writes itself as différance . Books are always books of life (the archetype would be the Book of Life kept by the God of the Jews) or of afterlife (the archetype would be the Books of the Dead kept by the Egyptians). 15 This introduction of différance into the equation of the Book, alongside ontological affirmation and negation, hearkens back to the discussion of the symbolic lapse earlier in his essay. Differing and deferring, the Book is always a Book of Life and a figure for the intersection of the vital (life) and the total in writing. In a way, the writer of the Book may be someone who lives life, and in another way the writer of the book-as-object may be someone who engages in the act of writing, both practically (by inscribing words on paper, or typing script on a computer) and ontologically or symbolically (by investing their existence and inexistence into a work worthy of the figural Book). In addition to the writer as writer, the writer also serves as an editor, and the editorial role alongside the idea of the Compendium shows the editor to be one who collects and compiles, while being restrained by eventual selection and decision. Beyond this the editor of works and texts, in both the Book and the world, is engaged in a process of inscribing notation—of annotating (on) the Compendium. Eternal commentary is a feature of the textual Compendium, just as open-ended totality describes the ontological Compendium. The writer as writer does not simply write texts, but rather engages in a profoundly ontological act of inscribing their existence into the world, and the writer as editor does not merely annotate or alter texts as they are, but rather comments upon the text of the world. In/Conclusion So as we create texts, and as we write and create theory, let us be and remain attentive to the figure of the Compendium and the figure of the Book. These two concurrent metonymies are essential for total writing (grand theories, etc.), and may be forgettable for those concerned with fragmentary or hierarchical writing (which are valid in their own right). From the ontological and symbolic text of the world and phenomenological experience, to concrete texts such as books or mixed media, the figure of the Compendium and the figure of the Book are important for the actualization of the human will to be all-encompassing. The figure of the Compendium teaches writers of theory that the repetition, density, and fragility of parataxis offers a strong sort of weakness which does not become yet another variety of oppressive and hegemonic thought. Rather than write with hypotaxis in mind, subjugating one thought to another via cause and effect or antecedent and consequent, I would hope that theory-writing could guiltlessly indulge in the dialectical and contradictory conjugation of ideas, and take this as a legitimate methodology. Rather than being ashamed of showing resonances or giving way to abridgment or ellipses, it is my own authorial (but not authoritative) conviction that one need not give up on totalizing and constructing grand theories because of the fact that complete totalization is impossible, and one need not give up on totalizing and constructing grand theories because of the worry of violence, for the Book and the Compendium lack their completed object and are ever incomplete trajectories. NOTES * UPDATED 7/19/13: we've updated the HTML version to reflect the (correct) PDF version. Our apologies to the author—eds. 1. I would like extend thanks to Dr. Peter Schwenger of the University of Western Ontario for his comments on this paper and his hospitality as it was presented as a Theory Session at the Centre for Theory and Criticism on October 26th 2012. I would also like to thank Andrew Weiss for conversation and critique. 2. I should clarify my use of the term ‘figure’ at the outset. Given the use of the term by Jean-Francois Lyotard in Discourse, Figure (and also Gilles Deleuze in Francis Bacon ), I should state clearly that my use of the term will not correspond to the term ‘figure’ understood as the representation of an object. Instead, my use of the term ‘figure’ and its variations (‘figural’, ‘figurative’, ‘figuration’) will refer to the illustrative or metaphorical use of the Compendium or the Book as models or ways of thinking about writing and discourse. 3. Cf. Revelations 20:12-15. 4. Theodor Adorno, Aesthetic Theory , Trans. Robert Hullot-Kentor (London & New York: Continuum Press, 1997). 5. Fredric Jameson, Late Marxism: Adorno, or the Persistence of the Dialectic (London & New York: Verso, 1990), ix-x. 6. I have written about this concept of being-towards-totality elsewhere in two pieces of writing: the first is called Notes on the Compendium (an unfinished draft) which addresses some very wide theoretical concerns, being structured as a sort of itinerary or archive, and the second is Dialectics Unbound (Punctum Books, 2013) which outlines a concept of totality without the violence of totalization. While these works are more concerned with ontological totality, here I would like to focus on the idea of the Compendium as a textual totality. 7. Cf. Louis Morelle, “Speculative Realism: After Finitude and Beyond, A vade mecum” in Speculations: Journal of Speculative Realism . Issue 3 (Brooklyn, New York: Punctum Books, 2012), 241-272. 8. Jean-Paul Sartre, Between Existentialism and Marxism . Trans. John Matthews (London & New York: Verso, 1974), 9. 9. Cf. John D. Caputo, The Weakness of God (Indiana: Indiana University Press, 2006). 10. Jacques Derrida, “Edmond Jabès and the Question of the Book” in Writing and Difference . Trans. Alan Bass (Chicago: University of Chicago Press, 1978), 65. 11. Ibid, 65. 12. Ibid, 71. 13. Ibid, 75. 14. Ibid, 76. 15. Ibid, 78. (shrink)

Muhammad Iqbal sees each person as the “self” with an independent identity, and God as the “Absolute Self”. The human experience of the self is a constantly changing experience. This change develops around a center and eventually forms an organic unity. The independence of the self does not mean that it is closed to other-selves. It is wrong to see the essence of the self as an unchanging substance or to conceive it as an unstable flow. According to Iqbal, the (...) real personality of man is not a "thing" but an "action", a "sum of behaviors". The human being at the highest level of self-consciousness is the only being among all creatures capable of consciously participating in the creative life of the Creator. (shrink)

The ‘Turing barrier’ is an evocative image for 0′, the degree of the unsolvability of the halting problem for Turing machines—equivalently, of the undecidability of Peano Arithmetic. The ‘barrier’ metaphor conveys the idea that effective computability is impaired by restrictions that could be removed by infinite methods. Assuming that the undecidability of PA is essentially depending on the finite nature of its computational means, decidability would be restored by the ω-rule. Hypercomputation, the hypothetical realization of infinitary machines through (...) relativistic and quantium models, would thus be capable of breaking the Turing barrier. The speculation is unfounded in principle, apart from issues of physical realizability: The point is that the ω-rule does not cope with all objects entailing the undecidability of PA. As long as the system is consistent, the computational boundary can be established by paradox-like constructions, such as Gödel-Rosser’s and Yablo’s, which are refractory to infinite induction, and do stand as the barrier’s buttresses. (shrink)

‘Mathematics is the science of the infinite, its goal the symbolic comprehension of the infinite with human, that is finite, means.’ Along this line, in The Open World, Hermann Weyl contrasted the desire to make the infinite accessible through finite processes, which underlies any theoretical investigation of reality, with the intuitive feeling for the infinite ‘peculiar to the Orient,’ which remains ‘indifferent to the concrete manifold of reality.’ But a critical analysis may acknowledge a (...) valuable dialectical opposition. Struggling to spell out the infinity of real numbers mathematicians come to see the active role of emptiness. Pondering over the essence of self-awareness, the Japanese philosopher Nishida Kitarō comes to see the ‘place’ where it abides as absolute nothingness. Thus, the two ways of seeing coalesce into a perspective in which infinity and nothingness mirror each other. (shrink)

I show that the recursive structure of Leibniz's Law requires agents to perform infinitely many operations to psychologically identify the referents of phenomenal and physical concepts, even though the referents of ordinary concepts (e.g. Hesperus and Phosphorus) can be identified in a finite number of steps. The resulting problem resembles the hard problem of consciousness in the fact that it appears (and indeed is) unsolvable by anyone for whom it arises, and in the fact that it invites dualist and (...) eliminativist responses. Moreover, if this is the hard problem then we can predict that regardless of the strength of the argument for physicalism, and regardless of physicalism's truth, an ineliminable dissatisfaction is bound to accompany any physicalist theory of consciousness. Accordingly, I suggest that this is the hard problem of consciousness, and therefore that the hard problem arises from a recursively degenerate application of Leibniz's Law. (shrink)

This article concerns the split between syntactic and semantic approaches to scientific theories. It aims at showing that an axiomatic representation of a scientific theory is a precondition of comprehending if the models of contain infinite entities. This result is established on the basis of the proposition that the human mind—which is finitely bounded for all we know—is not capable of directly grasping infinite entities. In view of this cognitive limitation, an indirect and finite representation of (...) possibly infinite components of the models of a scientific theory proves to be indispensable. Sets of axioms and sets of axiom schemes provide such a representation. These considerations will be cast into an argument for an axiomatic conception of scientific theories. The article concludes with a case study of the ideal gas model. (shrink)

The article explores the idea that according to Spinoza finite thought and substantial thought represent reality in different ways. It challenges “acosmic” readings of Spinoza's metaphysics, put forth by readers like Hegel, according to which only an infinite, undifferentiated substance genuinely exists, and all representations of finite things are illusory. Such representations essentially involve negation with respect to a more general kind. The article shows that several common responses to the charge of acosmism fail. It then argues (...) that we must distinguish the well-founded ideality of representations of finite things from mere illusoriness, insofar as for Spinoza we can have true knowledge of what is known only abstractly. Finite things can be seen as well-founded beings of reason. The article also proposes that within Spinoza's framework it is possible to represent a finite thing without drawing on representations of mind-dependent entities. (shrink)

The connection between the infinite nature of Quantum Cosmology and the infinite nature of God is presented here. At the beginning of the creation process, there was a single God/Void that was divided into many Gods/Voids all filled with Dark Energy consisting of photons which were responsible for creating the Multiverses made of matter, antimatter, space, time, charge, and multiple dimensions of space. The one God initially had no material existence which along with the laws of science was (...) a creation of the powers of His infinite mind. Since the process of creation started with the Dark Energy of the Voids, the Conservation of Energy Principle applied to all of them. If the Dark Energy of each Void were to be finite, then its energy would begin to decrease as Multiverses were created, and the only solution for not violating the Conservation of Energy Principle was that the Dark Energy of each of the Voids must be infinite implying that the Voids themselves must be infinite, and with infinite amount of energy be able to create an infinite number of Multiverses. According to Mathematics, all infinite numbers are not equal, some infinities are greater than other infinities. Hence of the many infinite Voids that were initially created, some Voids were greater than others. Each Void has a Supreme Leader that we refer to as God, and therefore there exist many Gods, some Gods more powerful than other Gods. (shrink)

This paper discusses the theoretical relationship between the views of Damascius and those of Pseudo-Dionysius the Areopagite. While Damascius’ De principiis is a bold treatise devoted to investigating the hypermetaphysics of apophatism, it anticipates various theoretical positions put forward by Dionysius the Areopagite. The present paper focuses on the following. First, Damascius is the only ancient philoso­pher who systematically demonstrates the first principle to be infinite. Second, Damascius modifies the concept and in several important passages shows the infinite (...) to be superior and prior to the finite. Third, Damascius’ theory of being is the strongest ancient articulation of the nature of the One which is a clear prefiguration of the negative theology developed by Dionysius the Areopagite. (shrink)

Let K be an infinite Galois extension of the rationals such that every finite subextension has odd degree over the rationals and its prime ideals dividing 2 are unramified. We show that its ring of integers is first-order definable in K. As an application we prove that equation image together with all its Galois subextensions are undecidable, where Δ is the set of all the prime integers which are congruent to −1 modulo 4.

We write and for the cardinalities of the set of finite sequences and the set of finite subsets, respectively, of a set which is of cardinality. With the axiom of choice (), for every infinite cardinal but, without, any relationship between and for an arbitrary infinite cardinal cannot be proved. In this paper, we give conditions that make and comparable for an infinite cardinal. Among our results, we show that, if we assume the axiom of (...) choice for sets of finite sets, then for every Dedekind‐infinite cardinal and the condition that is Dedekind‐infinite cannot be weakened to weakly Dedekind‐infinite. (shrink)

The present study clarifies the theological importance of feeling in the formation of a person, as Edith Stein understands it. Feeling constitutes the originating dimension of the finite spirit, disclosing the dynamic pair of thinking and willing while being capable of anticipating infinite Spirit. A finite spirit is a most real and authentic incarnate spirit when it comprehends itself as stemming from God. The foundations of this formation are to be found in the ontic, historical, dynamic (...) relationship between finite spirit and the Infinite Spirit, who anticipates finite spirit answering to an “image” logos (Bild ) as one who is led toward a “full similitude” (Gleichnis) to God by the Holy Spirit. The longing of the finite for the infinite manifests itself in the dynanimic relations between feeling, intelligence, and willing. Guided by these fundamental insights, Edith Stein teaches that the relationship between Bildung and Ausbildung constitutes a process of divinization based in a loving dialogue. (shrink)

This article offers two commentaries on two of Félix Guattari's essays from Chaosmosis: ‘The New Aesthetic Paradigm’ and ‘Schizoanalytic Metamodelisation’. The first commentary attends specifically to how Guattari figures the infinite/finite relation in relation to what he calls the three Assemblages (pre-, extant, and post-capitalism) and then even more specifically to the mechanics of this relation – or folding – within the third ‘processual’ Assemblage or new aesthetic paradigm of the essay's title. The second commentary looks at what (...) Guattari has to say about this paradigm in relation to subjectivity, that is, the schizoanalytic programme or practice of metamodelling. Here the focus is on the turn to asignifying semiotics – but also the importance of signifying material and indeed the actual material scene of encounter – in any programme for the production of subjectivity (it is here also that the symptom makes its appearance). (shrink)

Finite model theory is currently not one of the hot topics in the philosophy and history of mathematics, not even in the philosophy and history of mathematical logic. The philosophy of mathematics and mathematical logic has concentrated on infinite structures, closely related to foundational issues. In that context, finite models deserved only marginal attention because it was taken for granted that the study of finite structures is trivial compared to the study of infinite structures. In (...) retrospect, research on finite structures turned out to be neither trivial nor irrelevant but had an important impact on theoretical computer science. A closer look at the early history of the spectrum problem shows that the birth of finite model theory has roots in formal logic, at a time when computer science did not yet exist. (shrink)

Traditionally, emancipatory politics is a question of knowing which parts of society are capable of counting for something, and which ones are not. Formulating the question of emancipatory politics in terms of existence, more specifically, in terms of “political subjects who are not social groups but rather forms of inscriptions of the count of the uncounted” , means acknowledging that the proper place for emancipatory politics is the very terrain in which the system of domination operates, a system that (...) radical political theorists characterize as a system of placement, identification, or counting. At present, however, this question of counting the uncountable, crucial for emancipatory politics, cannot be raised at all to the extent that globalization means that everybody is always already included, the exclusion of the uncounted is necessarily obscured, indeed, it has become invisible. Beginning with a discussion on an enigmatic remark: “the infinitization of the value of the subject”, taken from Lacan’s Seminar The Four Fundamental concepts of Psycho-analysis, this paper examines a conceptual shift in the articulation of the relation between the subject and the figures of the Other in an epoch of the Other which does not exist. Taking as her point of departure Lacan’s theory of the cut, the author shows how, in an era of the “generalized metonymization”, only an act constitutes a way out of a discourse that knows no closure. (shrink)

How can the infinite, a subject so remote from our finite experience, be an everyday tool for the working mathematician? Blending history, philosophy, mathematics, and logic, Shaughan Lavine answers this question with exceptional clarity. Making use of the mathematical work of Jan Mycielski, he demonstrates that knowledge of the infinite is possible, even according to strict standards that require some intuitive basis for knowledge.

In lieu of an abstract, here is a brief excerpt of the content:Bishop Berkeley Exorcises the Infinite: Fuzzy Consequences of Strict Finitism1 David M. Levy Introduction It all began simply enough when Molyneux asked the wonderful question whether a person born blind, now able to see, would recognize by sight what he knew by touch (Davis 1960). After George Berkeley elaborated an answer, that we learn to perceive by heuristics, the foundations ofcontemporarymathematics wereinruin. Contemporary mathematicians waved their hands and (...) changed the subject.2 Berkeley's answer received a much more positive response from economists. Adam Smith,in particular, seizedupon Berkeley's doctrine that welearn to perceive distance tobuild anelaborate system in which one learns to perceive one's self-interest.3 Perhaps because older histories of mathematics are a positive hindrance in helping us understand the importance of Berkeley's argument against infinitesimals,4 its consequences for economics have passed unnoticed. If infinitesimal numbers are ruled out, and we wish to maintain an algebra, then we rule out infinite numbers. This implication of Berkeley's argumenthas a dramatic implication for our understanding ofthe history ofideas about rule-directed action. Let me motivate this claim with a well-known historical problem. The social doctrine set forth by John Locke outside the Two Treatises depends critically upon individual belief about possible states of infinite pain or pleasure. The critical issue for the intolerance of atheism in Locke's system is his claim that without beUefin the infinite bliss of heaven forgone by a criminal, there is no reason to think a calculating individual will avoid crime.5 Locke's discussion is so different from the discussion of religion by David Hume and Smith. Here, questions of the substance of belief—the infinite worth of Heaven—have largely vanished.6 What happened between Locke and Hume-Smith? One answer is Pierre Bayle and Bernard Mandeville. Berkeley's doctrine that only the finite is perceived is, I think, a better answer. Out of sight, out ofmind. In this paper I propose to give a close look at the content and consequences ofBishop Berkeley's once famous Towards a New Theory ofVision. While there are other aspects ofBerkeley's work that attract Volume XVIII Number 2 511 DAVID M. LEVY attention from historians ofeconomics,7 1 shall claim that Berkeley's insight into human perception in the Theory of Vision is central to Adam Smith's attempt to found economic behaviour on the self-awareness of systematic illusion. There is no doubt that Smith finds that much ofhuman behaviour is characterized by illusion.8 The difficulty arises, or so it seems to me, from modern unwilUngness to beheve that illusion can be systematic. There are four pieces to my argument. First, we consider Berkeley's statementofwhat we shall call his doctrine ofstrict finitism in perception.9 Berkeley puts forward two postulates: 1) there exists some minimum perceptible quantity, and 2) distance is not perceived directly but by experience. Second, we define strict finitism and demonstrate that it translates into the claim that perception is fuzzy in a technical sense. If Berkeleian perception is fuzzy, then some modern criticism of Berkeley's strict finitism is based upon a simple misunderstandingofthe propertiesoffuzzyrelations. Thisis quite easy to set right. (Getting right the doctrine of those who implicitly take perception to be fuzzy—Adam Smith is my prime candidate—will be muchharder.)Third, wereconsiderBerkeley's dispute withMandeville on the role ofinfinite gain in choice. Here, we find Mandeville putting forward the Berkeleian position that if infinite amounts mattered, people would not behave as they do. Berkeley's position against Mandeville, however, seems to depend upon the supposition that infinite distance is sensible.10 Earlier, however, the position that Mandeville argued for was defended by Berkeley. Fourth, we ask why all this isn't well known. The debate between Berkeley and Mandeville has been well studied, as has been the link between Berkeley and the Scots. In fact, our work focuses on one aspect of Berkeley's work that led to his challenge of the contemporary foundations of the calculus. If sense is a matter of perception, and infinitesimals cannot be perceived, then they are quite literally nonsense. Armed with this insight, Berkeley refuted contemporary mathematics. Nevertheless, the calculus was too... (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Bishop Berkeley Exorcises the Infinite: Fuzzy Consequences of Strict Finitism1 David M. Levy Introduction It all began simply enough when Molyneux asked the wonderful question whether a person born blind, now able to see, would recognize by sight what he knew by touch (Davis 1960). After George Berkeley elaborated an answer, that we learn to perceive by heuristics, the foundations ofcontemporarymathematics wereinruin. Contemporary mathematicians waved their hands and (...) changed the subject.2 Berkeley's answer received a much more positive response from economists. Adam Smith,in particular, seizedupon Berkeley's doctrine that welearn to perceive distance tobuild anelaborate system in which one learns to perceive one's self-interest.3 Perhaps because older histories of mathematics are a positive hindrance in helping us understand the importance of Berkeley's argument against infinitesimals,4 its consequences for economics have passed unnoticed. If infinitesimal numbers are ruled out, and we wish to maintain an algebra, then we rule out infinite numbers. This implication of Berkeley's argumenthas a dramatic implication for our understanding ofthe history ofideas about rule-directed action. Let me motivate this claim with a well-known historical problem. The social doctrine set forth by John Locke outside the Two Treatises depends critically upon individual belief about possible states of infinite pain or pleasure. The critical issue for the intolerance of atheism in Locke's system is his claim that without beUefin the infinite bliss of heaven forgone by a criminal, there is no reason to think a calculating individual will avoid crime.5 Locke's discussion is so different from the discussion of religion by David Hume and Smith. Here, questions of the substance of belief—the infinite worth of Heaven—have largely vanished.6 What happened between Locke and Hume-Smith? One answer is Pierre Bayle and Bernard Mandeville. Berkeley's doctrine that only the finite is perceived is, I think, a better answer. Out of sight, out ofmind. In this paper I propose to give a close look at the content and consequences ofBishop Berkeley's once famous Towards a New Theory ofVision. While there are other aspects ofBerkeley's work that attract Volume XVIII Number 2 511 DAVID M. LEVY attention from historians ofeconomics,7 1 shall claim that Berkeley's insight into human perception in the Theory of Vision is central to Adam Smith's attempt to found economic behaviour on the self-awareness of systematic illusion. There is no doubt that Smith finds that much ofhuman behaviour is characterized by illusion.8 The difficulty arises, or so it seems to me, from modern unwilUngness to beheve that illusion can be systematic. There are four pieces to my argument. First, we consider Berkeley's statementofwhat we shall call his doctrine ofstrict finitism in perception.9 Berkeley puts forward two postulates: 1) there exists some minimum perceptible quantity, and 2) distance is not perceived directly but by experience. Second, we define strict finitism and demonstrate that it translates into the claim that perception is fuzzy in a technical sense. If Berkeleian perception is fuzzy, then some modern criticism of Berkeley's strict finitism is based upon a simple misunderstandingofthe propertiesoffuzzyrelations. Thisis quite easy to set right. (Getting right the doctrine of those who implicitly take perception to be fuzzy—Adam Smith is my prime candidate—will be muchharder.)Third, wereconsiderBerkeley's dispute withMandeville on the role ofinfinite gain in choice. Here, we find Mandeville putting forward the Berkeleian position that if infinite amounts mattered, people would not behave as they do. Berkeley's position against Mandeville, however, seems to depend upon the supposition that infinite distance is sensible.10 Earlier, however, the position that Mandeville argued for was defended by Berkeley. Fourth, we ask why all this isn't well known. The debate between Berkeley and Mandeville has been well studied, as has been the link between Berkeley and the Scots. In fact, our work focuses on one aspect of Berkeley's work that led to his challenge of the contemporary foundations of the calculus. If sense is a matter of perception, and infinitesimals cannot be perceived, then they are quite literally nonsense. Armed with this insight, Berkeley refuted contemporary mathematics. Nevertheless, the calculus was too... (shrink)

Mutual perceptual knowledge is a prevalent feature of our everyday lives, yet appears to be exceptionally difficult to characterise in an acceptable way. This paper argues for a renewed understanding of Stephen Schiffer’s iterative approach to mutual knowledge, according to which mutual knowledge requires an infinite number of overlapping, embedded mental states. It is argued that the charge of ‘psychological implausibility’ that normally accompanies discussion of this approach can be offset by identifying mutual knowledge, not with the infinite (...) iterations themselves, but with the finite base which Schiffer proves is capable of generating those iterations. An understanding of this finite base as a primitive, relational property holding between two or more people, allows us to understand the iterations as an implicit and ‘harmless’ intrapersonal feature of what is an interpersonal phenomenon. The paper concludes by relating the account to joint attention in infant interaction. (shrink)

First published in 1990, this is a reissue of Professor Hilary Putnam’s dissertation thesis, written in 1951, which concerns itself with The Meaning of the Concept of Probability in Application to Finite Sequences and the problems of the deductive justification for induction. Written under the direction of Putnam’s mentor, Hans Reichenbach, the book considers Reichenbach’s idealization of very long finite sequences as infinite sequences and the bearing this has upon Reichenbach’s pragmatic vindication of induction.

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)

. The question of whether nature can embody love or be considered in this sense as “friend” is a thorny problem for Christian theology. The doctrines of finitude and sin argue against nature as a realm of love, whereas the doctrine of creation out of nothing, which links God and the creation so forcefully, would seem to argue for such a view of nature. This paper explores the thesis that Western culture has not offered a concept of nature rich enough (...) to allow for an understanding of it as a domain of gracious-ness. From pre-Socratic times through the Enlightenment and the rise of modern science, nature was conceived of as a realm of defect or lacking in creative possibilities. Christian theology has consistently spoken of nature in terms that defy the limitations of the authorized views proposed by the ambient Western cultures. The present times, under the influence of the sciences, have furnished for the first time an authorized concept of nature that is large enough and dynamic enough to entertain the dimension of grace. Consequently, ours is a time of great promise for developing a more adequate theology of nature. (shrink)

According to Hegel, the true infinite is the fundamental concept of philosophy. Yet despite this fact, there is absence of consensus concerning its meaning and significance. The true infinite challenges the currently dominant non-metaphysical interpretations of Hegel, as it challenged the dominance of the Kantian framework in its own day, specifically Kant’s attack on theology and his treatment of theology as a postulate of moralit y. Kant admits that the God-postulate has only subjective necessity and validity, and is (...) an expression of moral faith. Hegel both accepts Kant’s approach to the God-question through freedom and practical reason, but he rejects Kant’s philosophy of the postulates as incoherent, burdened with finitude and antithesis. The ought is only the beginning of the transcendence of finitude, but also essentially clings to finitude. This is the spurious infinite. In contrast to the traditional view of abstract transcendence, Hegel shows that the very attempt to separate the infinite from the finite only renders the infinite finite and levels it. The consciousness of limit (finitude) implies a transcendence of limit. The true infinite is an onto-theological principle, a social infinite that overcomes the limits imposed by abstract transcendence and the dualisms imposed by the Kantian frame. It is of vital importance for Hegel’s philosophy of religion, as both a doctrine of divine presence and absolute spirit in its community. (shrink)

According to Hegel, the true infinite is the fundamental concept of philosophy. Yet despite this fact, there is absence of consensus concerning its meaning and significance. The true infinite challenges the currently dominant non-metaphysical interpretations of Hegel, as it challenged the dominance of the Kantian framework in its own day, specifically Kant’s attack on theology and his treatment of theology as a postulate of moralit y. Kant admits that the God-postulate has only subjective necessity and validity, and is (...) an expression of moral faith. Hegel both accepts Kant’s approach to the God-question through freedom and practical reason, but he rejects Kant’s philosophy of the postulates as incoherent, burdened with finitude and antithesis. The ought is only the beginning of the transcendence of finitude, but also essentially clings to finitude. This is the spurious infinite. In contrast to the traditional view of abstract transcendence, Hegel shows that the very attempt to separate the infinite from the finite only renders the infinite finite and levels it. The consciousness of limit (finitude) implies a transcendence of limit. The true infinite is an onto-theological principle, a social infinite that overcomes the limits imposed by abstract transcendence and the dualisms imposed by the Kantian frame. It is of vital importance for Hegel’s philosophy of religion, as both a doctrine of divine presence and absolute spirit in its community. (shrink)

According to Hegel, the true infinite is the fundamental concept of philosophy. Yet despite this fact, there is absence of consensus concerning its meaning and significance. The true infinite challenges the currently dominant non-metaphysical interpretations of Hegel, as it challenged the dominance of the Kantian framework in its own day, specifically Kant’s attack on theology and his treatment of theology as a postulate of moralit y. Kant admits that the God-postulate has only subjective necessity and validity, and is (...) an expression of moral faith. Hegel both accepts Kant’s approach to the God-question through freedom and practical reason, but he rejects Kant’s philosophy of the postulates as incoherent, burdened with finitude and antithesis. The ought is only the beginning of the transcendence of finitude, but also essentially clings to finitude. This is the spurious infinite. In contrast to the traditional view of abstract transcendence, Hegel shows that the very attempt to separate the infinite from the finite only renders the infinite finite and levels it. The consciousness of limit (finitude) implies a transcendence of limit. The true infinite is an onto-theological principle, a social infinite that overcomes the limits imposed by abstract transcendence and the dualisms imposed by the Kantian frame. It is of vital importance for Hegel’s philosophy of religion, as both a doctrine of divine presence and absolute spirit in its community. (shrink)

In this article, I argue that it is impossible to complete infinitely many tasks in a finite time. A key premise in my argument is that the only way to get to 0 tasks remaining is from 1 task remaining, when tasks are done 1-by-1. I suggest that the only way to deny this premise is by begging the question, that is, by assuming that supertasks are possible. I go on to present one reason why this conclusion (that supertasks (...) are impossible) is important, namely that it implies a new verdict on a decision puzzle propounded by Jeffrey Barrett and Frank Arntzenius. (shrink)

This work has been selected by scholars as being culturally important and is part of the knowledge base of civilization as we know it. This work is in the public domain in the United States of America, and possibly other nations. Within the United States, you may freely copy and distribute this work, as no entity has a copyright on the body of the work. Scholars believe, and we concur, that this work is important enough to be preserved, reproduced, and (...) made generally available to the public. To ensure a quality reading experience, this work has been proofread and republished using a format that seamlessly blends the original graphical elements with text in an easy-to-read typeface. We appreciate your support of the preservation process, and thank you for being an important part of keeping this knowledge alive and relevant. (shrink)

It is by now generally understood that the nature of events are central to Deleuze’s philosophical endeavour. This has not meant, however, that the process mapped out by this concept has been adequately grasped. Indeed, the lines mapping out events are obscured, theoretical, even otherworldly, whenever the complexities of the creating of the virtual and the actual as the created, are reductively conceived as giving way to two separated domains; two separated domains whereby the repeater would be forever condemned to (...) be the result of an otherworldly will that “works through it,” one that would signal that they would never be capable of becoming worthy of the events that make a life. [i] The perspectival reality of the virtual with respect to the actual, which despite its fragmentary nature is in its entirety encompassed in each singular event, requires of us that we grasp what it is that Antonin Artaud’s points to when saying, I “am my son, my father, my mother, and myself.” It is not as though events perceived in the form of a virtual complex render beings inconsequential; instead, events are capable of ousting the verb “to be” in a double sense, because they enfold what is most affirmative in the activity of beings, the being of becoming whereby a life is born, always yet again, and as a function of which, as Alfred North Whitehead notes, what an actual being is, is how that entity becomes. It is adequate to its becoming. The actual as present-being expresses the verb “to be” in an ephemeral sense, or it is expressed by it in a restrictive way, while when affirmed as indistinct from the virtual, being, the verb “to be,” implies nothing else than the return of becoming. It is an untimely instant in which what is affirmed is the continuation of becoming; an instant that makes each event be the infinite becoming-finite of an actual being. So as to explore the nature of events in Deleuze’s philosophy, it is this displacement, the ousting of the verb “to be,” that I focus in on in this paper. (shrink)

Ernest Gellner's final book, first published in 1998, is a synoptic interpretation of the thought of Wittgenstein and Malinowski.

Daniel Isaacson has advanced an epistemic notion of arithmetical truth according to which the latter is the set of truths that we grasp on the basis of our understanding of the structure of natural numbers alone. Isaacson’s thesis is then the claim that Peano Arithmetic (PA) is the theory of finite mathematics, in the sense that it proves all and only arithmetical truths thus understood. In this paper, we raise a challenge for the thesis and show how it can (...) be overcome. We introduce the concept of purity for theories of arithmetic: a theory of arithmetic is pure when it only proves arithmetical truths. Then, we argue that, under Isaacson’s thesis, some PA-provable truths—including transfinite induction claims for infinite ordinals and some consistency statements—are seemingly not arithmetical in Isaacson’s sense, and hence that Isaacson’s thesis might entail the impurity of PA. Nonetheless, we conjecture that the advocate of Isaacson’s thesis can avoid this undesirable consequence: the arithmetical nature, as understood by Isaacson, of all contentious PA-provable statements can be justified. As a case study, we explore how this is done for transfinite induction claims with infinite ordinals below ε0. To this end, we show that the PA-proof of such claims employs exclusively resources from finite mathematics, and that ordinals below ε0 are finitary objects despite being infinite. (shrink)

The interpretation of propositions in Lukasiewicz's infinite-valued calculus as answers in Ulam's game with lies--the Boolean case corresponding to the traditional Twenty Questions game--gives added interest to the completeness theorem. The literature contains several different proofs, but they invariably require technical prerequisites from such areas as model-theory, algebraic geometry, or the theory of ordered groups. The aim of this paper is to provide a self-contained proof, only requiring the rudiments of algebra and convexity in finite-dimensional vector spaces.

The single greatest challenge facing managers in the developed countries of the world is to raise the productivity of knowledge and service workers. This challenge, which will dominate the management agenda for the next several decades, will ultimately determine the competitive performance of companies. Even more important, it will determine the very fabric of society and the quality of life of every industrialized nation. … Unless this challenge is met, the developed world will face increasing social tensions, increasing polarization, increasing (...) radicalization, possibly even class war. (shrink)

In the article Husserl’s view of the infinite around 1890 is analysed. I give a survey of his mathematical background and other important influences (especially Bolzano). The article contains a short exposition on Husserl's distinction between proper and symbolic presentations in the "Philosophie der Arithmetik" and between finite and infinite symbolic collections. Subsequently Husserl’s conception of surrogate presentations in his treatise "Zur Logik der Zeichen (Semiotik)" is discussed. In this text Husserl gives a detailed account of infinity, (...) using surrogate presentations. The conclusion is that with surrogates we can only operate according to blind psychological rules. (shrink)

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)

I discuss a difficulty concerning the justification of the Axiom of Choice in terms of such informal notions such as that of iterative set. A recent attempt to solve the difficulty is by S. Lavine, who claims in his Understanding the Infinite that the axioms of set theory receive intuitive justification from their being self-evidently true in Fin(ZFC), a finite counterpart of set theory. I argue that Lavine's explanatory attempt fails when it comes to AC: in this respect (...) Fin(ZFC) is no better off than the iterative notion. (shrink)

On the rise over the past 20 years has been ‘moderate supernaturalism’, the view that while a meaningful life is possible in a world without God or a soul, a much greater meaning would be possible only in a world with them. William Lane Craig can be read as providing an important argument for a version of this view, according to which only with God and a soul could our lives have an eternal, as opposed to temporally limited, significance, by (...) virtue of our moral choices then making an ultimate difference. I present two major objections to this position. On the one hand, I contend that if God existed and we had souls that lived forever, then, in fact, all our lives would turn out the same. On the other hand, I maintain that, if this objection is wrong, so that our moral choices would indeed make an ultimate difference and thereby confer an eternal significance on our lives (only) in a supernatural realm, then Craig could not capture the view, aptly held by moderate supernaturalists, that a meaningful life is possible in a purely natural world. An eternal significance would be ‘too big’, reducing any meaning possible during an earthly life to nothing by comparison. I conclude that moderate supernaturalists would be wise to avoid appealing to eternal (or infinite) meaning when spelling out the way God and a soul could alone impart a great meaning to our lives; some other notion of greatness should be considered, perhaps one involving a temporary afterlife. (shrink)

Entanglement and non-locality are non-classical global characteristics of quantum states important to the foundations of quantum mechanics. Recent investigations have shown that environmental noise, even when it is entirely local in influence, can destroy both of these properties in finite time despite giving rise to full quantum state decoherence only in the infinite time limit. These investigations, which have been carried out in a range of theoretical and experimental situations, are reviewed here.

The paper studies equilibrium contracts under adverse selection when there is repeated interaction between a principal and an agent over an infinite horizon, without commitment across periods. We show the second-best contract is offered in a perfect Bayesian equilibrium of the infinite horizon model. Unlike the equilibrium contracts in the finite-horizon, the equilibrium contracts in the infinite horizon are not subject to either the ratchet effect or take-the-money-and-run strategy, but rely on a carrot and stick strategy. (...) We study two important applications, one of which is about the optimal regulation of a publicly-held firm. This application has a mixture of both moral hazard and adverse selection. The other application is to the problem of optimal nonlinear pricing when the valuation of the buyers are drawn from a continuum. (shrink)