Bowin begins with an apparent paradox about Aristotelian infinity: Aristotle clearly says that infinity exists only potentially and not actually. However, Aristotle appears to say two different things about the nature of that potential existence. On the one hand, he seems to say that the potentiality is like that of a process that might occur but isn't right now. Aristotle uses the Olympics as an example: they might be occurring, but they aren't just now. On the other hand, (...) Aristotle says that infinity "exists in actuality as a process that is now occurring" (234). Bowin makes clear that Aristotle doesn't explicitly solve this problem, so we are left to work out the best reading we can. His proposed solution is that "infinity must be...a per se accident...of number and magnitude" (250). (shrink)
Against any obscurantist stand, denying the interest of natural sciences for the comprehension of human meaning and language, but also against any reductionist hypothesis, frustrating the specificity of the semiotic point of view on nature, the paper argues that the deepest dynamic at the basis of meaning consists in its being a mechanism of ‘potentiality navigation’ within a universe generally characterized by motility. On the one hand, such a hypothesis widens the sphere of meaning to all beings somehow endowed with (...) the capacity of moving and/or perceiving movement. On the other hand, through a new evolutionist interpretation of the concept of generativity, such a hypothesis preserves the peculiarity of human meaning, meant as essentially founded on a certain intuition of infinity. Two corollaries stem from this hypothesis: first, religiosity can be considered as a matrix of grammars of infinity, aiming at regimenting its flight of potentialities. Second, non-genetic transmission of cultural information exerts determinant influence also at the level of that very deep mechanism of the human predicament that is the cognitive navigation of motor potentialities. A re-reading of the structuralist epistemology, scientific literature on the nervous cells of jellyfish, and some recent experiments on the mirror neurons of dancers, as well as certain intuitions of Teilhard de Chardin, are the main arguments of the paper. (shrink)
Does mathematical practice require the existence of actual infinities, or are potential infinities enough? Contrasting points of view are examined in depth, concentrating on Aristotle’s arguments against actual infinities, Cantor’s attempts to refute Aristotle, and concluding with Zermelo’s assertion of the primacy of potential infinity in mathematics.
We describe a variety of sets internal to models of intuitionistic set theory that (1) manifest some of the crucial behaviors of potentially infinite sets as described in the foundational literature going back to Aristotle, and (2) provide models for systems of predicative arithmetic. We close with a brief discussion of Church’s Thesis for predicative arithmetic.
In article <email@example.com> firstname.lastname@example.org writes: Reminds me of a friend of mine who claims that the number 17 is "the most random" number. His proof ran as follows: pick a number. It's not really as good a random number as 17, is it? (Invariable Answer: "Umm, well, no...") This reminds me of a little experiment I did a couple of years ago. I stood on a busy street corner in Oxford, and asked passers by to "name a random number between (...) zero and infinity." I was wondering what this "random" distribution would look like. (shrink)
Cosmological arguments attempt to prove the existence of God by appeal to the necessity of a first cause. Schematically, a cosmological argument will thus appear as: (1) All contingent beings have a cause of existence. (2) There can be no infinite causal chains. (3) Therefore, there must be some non-contingent First Cause. Cosmological arguments come in two species, depending on their justification of the second premiss. Non-temporal cosmological arguments, such as those of Aristotle and Aquinas, view causation as requiring explanatory (...) or conceptual priority, and thus insist that there can be no infinite regresses in such priority. Temporal cosmological arguments, also called kalam cosmological arguments due to their historical roots in Islamic kalam philosophers such as Abu Yusuf Ya'qub b. Ishaq al-Kindi and Abu Ali al-Hussain ibn Sina, view causation as requiring temporal priority, and thus insist that there can be no infinite temporal regresses.1 The kalam cosmological argument thus requires some supporting argument showing the incoherence of an infinite temporal regress of causally related events. William Lane Craig, in "The Finitude of the Past and the Existence of God"2, attempts to provide such an argument: (4) An actual infinite cannot exist. (5) An infinite temporal regress of events is an actual infinite. (6) Therefore an infinite temporal regress of events cannot exist. (9) I will not be concerned here with the general status of cosmological arguments, kalam or otherwise, or with contesting Craig's assumption that an infinite past would (unlike an infinite future) constitute a problematic actual infinity. I am rather concerned with Craig's general working principle, embodied in (4) above, that actual infinities are impossible. Craig, of course, is not alone in denying the possibility of the actually infinite. Resistance to such infinities is at least as old as Aristotle (Physics 3.5.204b1 – 206a8), and, as Craig rightly points out, persists through much of modern (i.e., post-scholastic, pre-twentieth-century) philosophy.. (shrink)
Exploring philosophical questions about infinity, Graham Oppy examines how the infinite lurks everywhere, both in science and in our ordinary thoughts about the world. He also analyzes the many puzzles and paradoxes that follow in the train of the infinite, addressing such simple notions as counting, adding, and maximizing present serious difficulties. Other topics examined include the nature of space and time, infinities in physical science, infinities in theories of probability and decision, the nature of part/whole relations, mathematical theories (...) of the infinite, and infinite regression and principles of sufficient reason. (shrink)
The aim of this paper is not only to deal with the concept of infinity, but also to develop some considerations about the epistemological status of cosmology. These problems are connected because from an epistemological point of view, cosmology, meant as the study of the universe as a whole, is not merely a physical (or empirical) science. On the contrary it has an unavoidable metaphysical character which can be found in questions like “why is there this universe (or a (...) universe at all)?”. As a consequence, questions concerning the infinity of the universe in space and time can correctly arise only taking into account this metaphysical character of cosmology. Accordingly, in the following paper it will be shown that two different concepts of physical infinity of the universe (the relativistic one and the inflationary one) rely on two different ways of solution of a metaphysical problem. The difference between these concepts cannot be analysed using the classical distinctions between actual/potential infinity or numerable/continuum infinity, but the introduction of a new “modal” distinction will be necessary. Finally, it will be illustrated the role of a philosophical concept of infinity of the universe. (shrink)
Celebrated as a courtesan and poet, and as a woman of great intelligence and wit, Tullia d'Aragona (1510–56) entered the debate about the morality of love that engaged the best and most famous male intellects of sixteenth-century Italy. First published in Venice in 1547, but never before published in English, Dialogue on the Infinity of Love casts a woman rather than a man as the main disputant on the ethics of love. Sexually liberated and financially independent, Tullia d'Aragona dared (...) to argue that the only moral form of love between woman and man is one that recognizes both the sensual and the spiritual needs of humankind. Declaring sexual drives to be fundamentally irrepressible and blameless, she challenged the Platonic and religious orthodoxy of her time, which condemned all forms of sensual experience, denied the rationality of women, and relegated femininity to the realm of physicality and sin. Human beings, she argued, consist of body and soul, sense and intellect, and honorable love must be based on this real nature. By exposing the intrinsic misogyny of prevailing theories of love, Aragona vindicates all women, proposing a morality of love that restores them to intellectual and sexual parity with men. Through Aragona's sharp reasoning, her sense of irony and humor, and her renowned linguistic skill, a rare picture unfolds of an intelligent and thoughtful woman fighting sixteenth-century stereotypes of women and sexuality. (shrink)
This article discusses the history of the concepts of potential infinity and actual infinity in the context of Christian theology, mathematical thinking and metaphysical reasoning. It shows that the structure of Ancient Greek rationality could not go beyond the concept of potential infinity, which is highlighted in Aristotle's metaphysics. The limitations of the metaphysical mind of ancient Greece were overcome through Christian theology and its concept of the infinite God, as formulated in Gregory of Nyssa's theology. That (...) is how the concept of actual infinity emerged. However, Gregory of Nyssa's understanding of human rationality went still further. He said that access to the infinity of God was to be found only in an asymptotic ascension, as expressed in apophatic theology, and this view endangered the rationality of theology. Deeply influenced by the apophatic tradition, Nicholas of Cusa avoided this danger by showing that infinity could be accessed by symbolic representation and asymptotic mathematical reasoning. Thus, he made an immense contribution in making infinity rationally accessible. This endeavor was finally realized by Georg Cantor. This rational accessibility revealed discernible structures of infinity, such as the continuum hypothesis, and the cardinal numbers. However, the probable logical inconsistency of Georg Cantor's all-encompassing Absolute Infinity points to an intuitive understanding of infinity that goes beyond its rational structures – as in apophatic theology. (shrink)
Simple-type theory is widely regarded as inadequate to capture the metaphysics of mathematics. The problem, however, is not that some kinds of structure cannot be studied within simple-type theory. Even structures that violate simple-types are isomorphic to structures that can be studied in simple-type theory. In disputes over the logicist foundations of mathematics, the central issue concerns the problem that simple-type theory fails to assure an infinity of natural numbers as objects . This paper argues that the problem of (...)infinity is based on a metaphysical prejudice in favor of numbers as objects — a prejudice that mathematics can get along without. (shrink)
Machine generated contents note: Introduction Rudy Rucker; Part I. Perspectives on Infinity from History: 1. Infinity as a transformative concept in science and theology Wolfgang Achtner; Part II. Perspectives on Infinity from Mathematics: 2. The mathematical infinity Enrico Bombieri; 3. Warning signs of a possible collapse of contemporary mathematics Edward Nelson; Part III. Technical Perspectives on Infinity from Advanced Mathematics: 4. The realm of the infinite W. Hugh Woodin; 5. A potential subtlety concerning the distinction (...) between determinism and nondeterminism W. Hugh Woodin; 6. Concept calculus: much better than Harvey M. Friedman; Part IV. Perspectives on Infinity from Physics and Cosmology: 7. Some considerations on infinity in physics Carlo Rovelli; 8. Cosmological intimations of infinity Anthony Aguirre; 9. Infinity and the nostalgia of the stars Marco Bersanelli; 10. Infinities in cosmology Michael Heller; Part V. Perspectives on Infinity from Philosophy and Theology: 11. God and infinity: directions for future research Graham Oppy; 12. Notes on the concept of the infinite in the history of Western metaphysics David Bentley Hart; 13. God and infinity: theological insights from Cantor's mathematics Robert J. Russell; 14. A partially skeptical response to Hart and Russell Denys A. Turner. (shrink)
Kant says patently conflicting things about infinity and our grasp of it. Infinite space is a good case in point. In his solution to the First Antinomy, he denies that we can grasp the spatial universe as infinite, and therefore that this universe can be infinite; while in the Aesthetic he says just the opposite: ‘Space is represented as a given infinite magnitude’ (A25/B39). And he rests these upon consistently opposite grounds. In the Antinomy we are told that we (...) can have no intuitive grasp of an infinite space, and in the Aesthetic he says that our grasp of infinite space is precisely intuitive. (shrink)
The article presents Leibniz's preoccupation (in 1675?6) with the difference between the notion of infinite number, which he regards as impossible, and that of the infinite being, which he regards as possible. I call this issue ?Leibniz's Problem? and examine Spinoza's solution to a similar problem that arises in the context of his philosophy. ?Spinoza's solution? is expounded in his letter on the infinite (Ep.12), which Leibniz read and annotated in April 1676. The gist of Spinoza's solution is to distinguish (...) between three kinds of infinity and, in particular, between one that applies to substance, and one that applies to numbers, seen as auxiliaries of the imagination. The rest of the paper examines the extent to which Spinoza's solution solves Leibniz's problem. The main thesis I advance is that, when Spinoza and Leibniz say that the divine substance is infinite, in most contexts it is to be understood in non-numerical and non-quantitative terms. Instead, for Spinoza and Leibniz, a substance is said to be infinite in a qualitative sense stressing that it is complete, perfect and indivisible. I argue that this approach solves one strand of Leibniz's problem and leaves another unsolved. (shrink)
Two fundamental categories of any ontology are the category of objects and the category of universals. We discuss the question whether either of these categories can be infinite or not. In the category of objects, the subcategory of physical objects is examined within the context of different cosmological theories regarding the different kinds of fundamental objects in the universe. Abstract objects are discussed in terms of sets and the intensional objects of conceptual realism. The category of universals is discussed in (...) terms of the three major theories of universals: nominalism, realism, and conceptualism. The finitude of mind pertains only to conceptualism. We consider the question of whether or not this finitude precludes impredicative concept formation. An explication of potential infinity, especially as applied to concepts and expressions, is given. We also briefly discuss a logic of plural objects, or groups of single objects (individuals), which is based on Bertrand Russell’s (1903, The principles of mathematics, 2nd edn. (1938). Norton & Co, NY) notion of a class as many. The universal class as many does not exist in this logic if there are two or more single objects; but the issue is undecided if there is just one individual. We note that adding plural objects (groups) to an ontology with a countable infinity of individuals (single objects) does not generate an uncountable infinity of classes as many. (shrink)
It is controversial whether Wittgenstein's philosophy of mathematics is of critical importance for mathematical proofs, or is only concerned with the adequate philosophical interpretation of mathematics. Wittgenstein's remarks on the infinity of prime numbers provide a helpful example which will be used to clarify this question. His antiplatonistic view of mathematics contradicts the widespread understanding of proofs as logical derivations from a set of axioms or assumptions. Wittgenstein's critique of traditional proofs of the infinity of prime numbers, specifically (...) those of Euler and Euclid, not only offers philosophical insight but also suggests substantive improvements. A careful examination of his comments leads to a deeper understanding of what proves the infinity of primes. (shrink)
There are two seemingly opposed descriptions of the subject in Totality and Infinity : the separate and autonomous I and the self that is ready to respond to the Other’s suffering and need. This paper points out that there is in fact another way Levinas speaks of the subject, which reinforces and reconciles the other two accounts. Throughout his first major work, Levinas explains how the ego is allowed to emerge as such by the Other who constantly confronts it. (...) At certain points in that work Levinas comes to describe the self as a creature given to itself by another. The notion of the created ego allows for both freedom and responsibility as Levinas understands the creature as capable of thinking critically, becoming an independent individual, and turning to the Other in responsibility. (shrink)
In this article I concentrate on three issues. First, Graham Oppy’s treatment of the relationship between the concept of infinity and Zeno’s paradoxes lay bare several porblems that must be dealt with if the concept of infinity is to do any intellectual work in philosophy of religion. Here I will expand on some insightful remarks by Oppy in an effort ot adequately respond to these problems. Second, I will do the same regarding Oppy’s treatment of Kant’s first antinomy (...) in the first critique, which deals in part with the question of whether the world had a beginning in time or if time extends infinitely into the past. And third, my examination of these two issues will inform what I have to say regarding a key topic in philosophy of religion: the question regarding the proper relationship between the infinite and the finite in the concept of God. (shrink)
In this paper a simple model in particle dynamics of a well-known supertask is constructed (the supertask was introduced by Max Black some years ago). As a consequence, a new and simple result about creation ex nihilo of particles can be proved compatible with classical dynamics. This result cannot be avoided by imposing boundary conditions at spatial infinity, and therefore is really new in the literature. It follows that there is no reason why even a world of rigid spheres (...) should be eternal, as has been erroneously assumed, especially since the time of Newton. (shrink)
Eli Maor examines the role of infinity in mathematics and geometry and its cultural impact on the arts and sciences. He evokes the profound intellectual impact the infinite has exercised on the human mind--from the "horror infiniti" of the Greeks to the works of M. C. Escher from the ornamental designs of the Moslems, to the sage Giordano Bruno, whose belief in an infinite universe led to his death at the hands of the Inquisition. But above all, the book (...) describes the mathematician's fascination with infinity--a fascination mingled with puzzlement. "Maor explores the idea of infinity in mathematics and in art and argues that this is the point of contact between the two, best exemplified by the work of the Dutch artist M. C. Escher, six of whose works are shown here in beautiful color plates."--Los Angeles Times "[Eli Maor's] enthusiasm for the topic carries the reader through a rich panorama."--Choice "Fascinating and enjoyable.... places the ideas of infinity in a cultural context and shows how they have been espoused and molded by mathematics."--Science. (shrink)
We suggest a new approach for addressing the problem of establishing an axiomatic foundation for large cardinals. An axiom asserting the existence of a large cardinal can naturally be viewed as a strong Axiom of Infinity. However, it has not been clear on the basis of our knowledge of ω itself, or of generally agreed upon intuitions about the true nature of the mathematical universe, what the right strengthening of the Axiom of Infinity is—which large cardinals ought to (...) be derivable? It was shown in the 1960s by Lawvere that the existence of an infinite set is equivalent to the existence of a certain kind of structure-preserving transformation from V to itself, not isomorphic to the identity. We use Lawvere's transformation, rather than ω, as a starting point for a reasonably natural sequence of strengthenings and refinements, leading to a proposed strong Axiom of Infinity. A first refinement was discussed in later work by Trnková—Blass, showing that if the preservation properties of Lawvere's tranformation are strengthened to the point of requiring it to be an exact functor , such a transformation is provably equivalent to the existence of a measurable cardinal. We propose to push the preservation properties as far as possible, short of inconsistency. The resulting transformation V→V is strong enough to account for virtually all large cardinals, but is at the same time a natural generalization of an assertion about transformations V→V known to be equivalent to the Axiom of Infinity. (shrink)
Mathematics is obviously important in the sciences. And so it is likely to be equally important in any effort that aims to understand God in a scientifically significant way or that aims to clarify the relations between science and theology. The degree to which God has any perfection is absolutely infinite. We use contemporary mathematics to precisely define that absolute infinity. For any perfection, we use transfinite recursion to define an endlessly ascending series of degrees of that perfection. That (...) series rises to an absolutely infinite degree of that perfection. God has that absolutely infinite degree. We focus on the perfections of knowledge, power, and benevolence. Our model of divine infinity thus builds a bridge between mathematics and theology. (shrink)
Problem: There is currently a great deal of mysticism, uncritical hype, and blind adulation of imaginary mathematical and physical entities in popular culture. We seek to explore what a radical constructivist perspective on mathematical entities might entail, and to draw out the implications of this perspective for how we think about the nature of mathematical entities. Method: Conceptual analysis. Results: If we want to avoid the introduction of entities that are ill-defined and inaccessible to verification, then formal systems need to (...) avoid introduction of potential and actual infinities. If decidability and consistency are desired, keep formal systems finite. Infinity is a useful heuristic concept, but has no place in proof theory. Implications: We attempt to debunk many of the mysticisms and uncritical adulations of Gödelian arguments and to ground mathematical foundations in intersubjectively verifiable operations of limited observers. We hope that these insights will be useful to anyone trying to make sense of claims about the nature of formal systems. If we return to the notion of formal systems as concrete, finite systems, then we can be clear about the nature of computations that can be physically realized. In practical terms, the answer is not to proscribe notions of the infinite, but to recognize that these concepts have a different status with respect to their verifiability. We need to demarcate clearly the realm of free creation and imagination, where platonic entities are useful heuristic devices, and the realm of verification, testing, and proof, where infinities introduce ill-defined entities that create ambiguities and undecidable, ill-posed sets of propositions. Constructivist content: The paper attempts to extend the scope of radical constructivist perspective to mathematical systems, and to discuss the relationships between radical constructivism and other allied, yet distinct perspectives in the debate over the foundations of mathematics, such as psychological constructivism and mathematical constructivism. (shrink)
Puzzles can arise in ethical theory (as well as decision theory) when infinity is involved. The puzzles arise primarily in theories—such as consequentialist theories—that appeal to the value of actions or states of affairs. Section 1 addresses the question of whether one source of value (such as major aesthetic pleasures) can be infinitely more valuable than another (such as minor gustatory pleasures). An affirmative answer is given by appealing to the notion of lexicographic priority. Section 2 address the question (...) of what morality requires when there are an infinite number of feasible options and no option is maximally valuable? In such cases, it is suggested, morality can demand no more than that we “almost maximize” or (more weakly) that we “satisfice”. Section 3 addresses a puzzle that can arise when time is infinitely long. Is a state of affairs with two units of value at each time more valuable than a state of affairs with one unit at each time (even though both produce infinite amounts of value)? A plausible principle is introduced that answers affirmatively, but it faces certain problems. Section 4 addresses a puzzle that can arise when time is finite but infinitely divisible. (shrink)
Alternative oppositions to “infinity” and “totality” are suggested, examined and shown to be inadequate by comparison to the sense of the opposition contained in title Totality and Infinity chosen by Levinas. Special attention is given to this opposition and the priority given to ethics in relation Kant’s distinction between understanding and reason and the priority given by Kant to ethics. The book’s title is further illuminated by means of its first sentence, and the first sentence is illuminated by (...) means of the book’s title. Special attention is given to explicating the nature and significance of the hitherto unnoticed “informal” fallacy contained in the first sentence. (shrink)
The reach of explanations -- Closer to reality -- The spark -- Creation -- The reality of abstractions -- The jump to universality -- Artificial creativity -- A window on infinity -- Optimism -- A dream of Socrates -- The multiverse -- A physicist's history of bad philosophy -- Choices -- Why are flowers beautiful? -- The evolution of culture -- The evolution of creativity -- Unsustainable -- The beginning.
Although Levinas does not specifically articulate an environmental ethic, he certainly has a concept of nature working within his philosophy, a portrait of which can be drawn from the various texts that describe in detail what he believes to be the human, primordial relationship to the elemental. The following essay is an attempt to articulate how Levinas comes to define that relationship, and to imagine what kind of environmental ethic is implied by it. We will see that an important, dichotomous (...) distinction is made between two types of infinity, the “bad infinity” of the sacred and the “good infinity” of the holy. This distinction corresponds to the separated subject’srelationship to the natural world and to the human world. For Levinas, this distinction addresses not only the rationalist vs. empiricist question concerning the relationship between consciousness and the body, a guiding question for modern philosophy from Descartesthrough Husserl, but also the question concerning technology, especially as it is posed by Heidegger and other twentieth century continental philosophers. These two related questions can help guide us to an understanding of how Levinas imagines environmentalimperatives toward both the body’s exclusive relationship to nature, and to the interpersonal relationships between the self and other human beings. We will begin this analysis with Husserl’s answer to the question of consciousness. (shrink)
It amazes children, as they try to count themselves out of numbers, only to discover one day that the hundreds, thousands, and zillions go on forever—to something like infinity. And anyone who has advanced beyond the bounds of basic mathematics has soon marveled at that drunken number eight lying on its side in the pages of their work. Infinity fascinates; it takes the mind beyond its everyday concerns—indeed, beyond everything—to something always more. Infinity makes even the (...) infinite universe seem small; yet it can also be infinitesimal. Infinity thrives on paradox, and it turns the simplest arithmetic on its head, with 1 seeming feasibly to equal 0, after all. Infinity defies common sense. The contemplation of it has relieved at least two great mathematicians of their sanity. Thoroughly readable and entirely accessible, science writer Brian Clegg's lively history explores infinity in its many intriguing facets, from its ancient origins to its place today at the heart of mathematics and science. He examines infinity's paradoxes and profiles the people who first grappled with and then defined and refined them, offering information, mystery, and poetry to conceive the inconceivable and define the indefinable. (shrink)
In Infinity and the Mind, Rudy Rucker leads an excursion to that stretch of the universe he calls the "Mindscape," where he explores infinity in all its forms: potential and actual, mathematical and physical, theological and mundane. Here Rucker acquaints us with Gödel's rotating universe, in which it is theoretically possible to travel into the past, and explains an interpretation of quantum mechanics in which billions of parallel worlds are produced every microsecond. It is in the realm of (...)infinity, he maintains, that mathematics, science, and logic merge with the fantastic. By closely examining the paradoxes that arise from this merging, we can learn a great deal about the human mind, its powers, and its limitations. Using cartoons, puzzles, and quotations to enliven his text, Rucker guides us through such topics as the paradoxes of set theory, the possibilities of physical infinities, and the results of Gödel's incompleteness theorems. His personal encounters with Gödel the mathematician and philosopher provide a rare glimpse at genius and reveal what very few mathematicians have dared to admit: the transcendent implications of Platonic realism. (shrink)
This article deals with the concept of infinity in classical American philosophy. It focuses on the philosophical and technical developments of infinity in the 19th Century American thinkers Royce and Peirce.
Today it is generally assumed that epistemic justification comes in degrees. The consequences, however, have not been adequately appreciated. In this paper we show that the assumption invalidates some venerable attacks on infinitism: once we accept that epistemic justification is gradual, an infinitist stance makes perfect sense. It is only without the assumption that infinitism runs into difficulties.
“Why did God create the World?” is one of the traditional questions of theology. In the twentieth century this question was rephrased in a secularized manner as “Why is there something rather than nothing?” While creation - at least in its traditional, temporal, sense - has little place in Spinoza’s system, a variant of the same questions puts Spinoza’s system under significant pressure. According to Spinoza, God, or the substance, has infinitely many modes. This infinity of modes follow from (...) the essence of God. If we ask: “Why must God have modes?,” we seem to be trapped in a real catch. On the one hand, Spinoza’s commitment to thoroughgoing rationalism demands that there must be a reason for the existence of the radical plurality of modes. On the other hand, the asymmetric dependence of modes on the substance seems to imply that the substance does not need the modes, and that it can exist without the modes. But if the substance does not need the modes, then why are there modes at all? Furthermore, Spinoza cannot explain the existence of modes as an arbitrary act of grace on God’s side since Spinoza’s God does not act arbitrarily. Surprisingly, this problem has hardly been addressed in the existing literature on Spinoza’s metaphysics, and it is my primary aim here to draw attention to this problem. In the first part of the paper I will present and explain the problem of justifying the existence of infinite plurality modes in Spinoza’s system. In the second part of the paper I consider the radical solution to the problem according to which modes do not really exist, and show that this solution must be rejected upon consideration. In the third and final part of the paper I will suggest my own solution according to which the essence of God is active and it is this feature of God’s essence which requires the flow of modes from God’s essence. I also suggest that Spinoza considered radical infinity and radical unity to be roughly the same, and that the absolute infinity of what follow from God’s essence is grounded in the absolute infinity of God’s essence itself. (shrink)
Friedrich Waismann, a little-known mathematician and onetime student of Wittgenstein's, provides answers to problems that vexed Wittgenstein in his attempt to explicate the foundations of mathematics through an analysis of its practice. Waismann argues in favor of mathematical intuition and the reality of infinity with a Wittgensteinian twist. Waismann's arguments lead toward an approach to the foundation of mathematics that takes into consideration the language and practice of experts.
The mathematician Georg Cantor strongly believed in the existence of actually infinite numbers and sets. Cantor’s “actualism” went against the Aristotelian tradition in metaphysics and mathematics. Under the pressures to defend his theory, his metaphysics changed from Spinozistic monism to Leibnizian voluntarist dualism. The factor motivating this change was two-fold: the desire to avoid antinomies associated with the notion of a universal collection and the desire to avoid the heresy of necessitarian pantheism. We document the changes in Cantor’s thought with (...) reference to his main philosophical-mathematical treatise, the Grundlagen (1883) as well as with reference to his article, “Über die verschiedenen Standpunkte in bezug auf das aktuelle Unendliche” (“Concerning Various Perspectives on the Actual Infinite”) (1885). (shrink)
The following essay sets out the background developments in mathematics and set theory that inform Alain Badiou’s Being and Event in order to provide some context both for the original text and for comment on Chris Norris’s excellent exploration of Badiou’s work. I also provide a summary of Badiou’s overall approach.
infinite, and offer several arguments in sup port of this thesis. I believe their arguments are unsuccessful and aim to refute six of them in the six sections of the paper. One of my main criticisms concerns their supposition that an infinite series of past events must contain some events separated from the present event by an infinite number of intermediate events, and consequently that from one of these infinitely distant past events the present could never have been reached. I (...) introduce.. (shrink)
We consider an approach to some philosophical problems that I call the Method of Conceptual Articulation: to recognize that a question may lack any determinate answer, and to re-engineer concepts so that the question acquires a definite answer in such a way as to serve the epistemic motivations behind the question. As a case study we examine “Galileo’s Paradox”, that the perfect square numbers seem to be at once as numerous as the whole numbers, by one-to-one correspondence, and yet less (...) numerous, being a proper subset. I argue that Cantor resolved this paradox by a method at least close to that proposed—not by discovering the true nature of cardinal number, but by articulating several useful and appealing extensions of number to the infinite. Galileo was right to suggest that the concept of relative size did not apply to the infinite, for the concept he possessed did not. Nor was Bolzano simply wrong to reject Hume’s Principle (that one-to-one correspondence implies equal number) in the infinitary case, in favor of Euclid’s Common Notion 5 (that the whole is greater than the part), for the concept of cardinal number (in the sense of “number of elements”) was not clearly defined for infinite collections. Order extension theorems now suggest that a theory of cardinality upholding Euclid’s principle instead of Hume’s is possible. Cantor’s refinements of number are not the only ones possible, and they appear to have been shaped by motivations and fruitfulness, for they evolved in discernible stages correlated with emerging applications and results. Galileo, Bolzano, and Cantor shared interests in the particulate analysis of the continuum and in physical applications. Cantor’s concepts proved fruitful for those pursuits. Finally, Gödel was mistaken to claim that Cantor’s concept of cardinality is forced on us; though Gödel gives an intuitively compelling argument, he ignores the fact that Euclid’s Common Notion is also intuitively compelling, and we are therefore forced to make a choice. The success of Cantor’s concept of cardinality lies not in its truth (for concepts are not true or false), nor its uniqueness (for it is not the only extension of number possible), but in its intuitive appeal, and most of all, its usefulness to the understanding. (shrink)
Some, of course, would go further and claim that Jesus was the very content of what he preached, the ontological embodiment of his message, or as Origin put it centuries ago, the kingdom-of-God-in-person, ho autobasileia.1 This affirmation in fact lies at the heart of the Christian tradition, and if the guardians of that orthodoxy were to answer the question we are posing today, they would say: What the Christ of faith will be is the same as what the Jesus of (...) history was: the incarnate presence of the self-communicating God. (shrink)
Hegel’s very first acknowledged publication was, among other things, an attack on Fichte.1 In 1801, Hegel was still laboring in almost complete obscurity, while Fichte was an international sensation, though already somewhat past the peak of his meteoric career. In the 1801 Differenzschrift, Hegel cut his teeth by criticizing Fichte’s already widely-criticized Wissenschaftslehre, and by demonstrating that Schelling’s philosophical system was not simply to be equated with it. Fichte himself never bothered to respond to Hegel’s criticisms; indeed he never publicly (...) acknowledged their existence. This was not because he was unconcerned with criticisms of his views; quite the contrary. But at the time he had bigger fish to fry. He responded to Jacobi’s criticisms, and to Schelling’s; he replied in great detail to critical questions raised by Reinhold, and with vituperative intensity to objections raised by skeptics and purportedly loyal Kantians. But Hegel’s Differenzschrift was left without a Fichtean rebuttal. This is a pity, both because of the missed opportunity to illuminate by controversy central issues at stake in the post-Kantian period, but also because it made it easier for Hegel simply to reiterate his youthful criticism as if it were the last word. And reiterate it he did: in one form or another Hegel’s early criticisms of Fichte reappear at every subsequent stage of his career: in the Phenomenology, in the Science of Logic, in the Encyclopaedia, as the final chapter in Hegel’s History of Philosophy, and in countless other minor works and documents from the Nachlass and correspondence. (shrink)
Many philosophic arguments concerned with infinite series depend on the mutual inconsistency of statements of the following five forms: (1) something exists which has R to something; (2) R is asymmetric; (3) R is transitive; (4) for any x which has R to something, there is something which has R to x; (5) only finitely many things are related by R. Such arguments are suspect if the two-place relation R in question involves any conceptual vagueness or inexactness. Traditional sorites arguments (...) show that a statement of form (4) can fail to be true even though it has no clear counter-example. Conceptual vagueness allows a finite series not to have any definite first member. I consider the speculative possibilities that there have been only finitely many non-overlapping hours although there has been no first hour and that space and time are only finitely divisible even though there are no smallest spatial or temporal intervals. (shrink)
In this paper some of the history of the development of arithmetic in set theory is traced, particularly with reference to the problem of avoiding the assumption of an infinite set. Although the standard method of singling out a sequence of sets to be the natural numbers goes back to Zermelo, its development was more tortuous than is generally believed. We consider the development in the light of three desiderata for a solution and argue that they can probably not all (...) be satisfied simultaneously. (shrink)
We define a first-order theory FIN which has a recursive axiomatization and has the following two properties. Each finite part of FIN has finite models. FIN is strong enough to develop that part of mathematics which is used or has potential applications in natural science. This work can also be regarded as a consistency proof of this hitherto informal part of mathematics. In FIN one can count every set; this permits one to prove some new probabilistic theorems.
Peter Walley argues that a vague credal state need not be representable by a set of probability functions that could represent precise credal states, because he believes that the members of the representor set need not be countably additive. I argue that the states he defends are in a way incoherent.