The best accuracy arguments for probabilism apply only to credence functions with finite domains, that is, credence functions that assign credence to at most finitely many propositions. This is a significant limitation. It reveals that the support for the accuracy-first program in epistemology is a lot weaker than it seems at first glance, and it means that accuracy arguments cannot yet accomplish everything that their competitors, the pragmatic (Dutch book) arguments, can. In this paper, I investigate the extent to (...) which this limitation can be overcome. Building on the best arguments in finite domains, I present two accuracy arguments for probabilism that are perfectly general—they apply to credence functions with arbitrary domains. I then discuss how the arguments’ premises can be challenged. We will see that it is particularly difficult to characterize admissible accuracy measures in infinite domains. (shrink)

Recent years have witnessed a proliferation of attempts to apply the mathematical theory of probability to the semantics of natural language probability talk. These sorts of “probabilistic” semantics are often motivated by their ability to explain intuitions about inferences involving “likely” and “probably”—intuitions that Angelika Kratzer’s canonical semantics fails to accommodate through a semantics based solely on an ordering of worlds and a qualitative ranking of propositions. However, recent work by Wesley Holliday and Thomas Icard has been widely thought to (...) undercut this motivation: they present a world-ordering semantics that yields essentially the same logic as probabilistic semantics. In this paper, I argue that the challenge remains: defenders of world-ordering semantics have yet to offer a plausible semantics that captures the logic of comparative likelihood. Holliday & Icard’s semantics yields an adequate logic only if models are restricted to Noetherian pre-orders. But I argue that the Noetherian restriction faces problems in cases involving infinitely large domains of epistemic possibilities. As a result, probabilistic semantics remains the better explanation of the data. (shrink)

Argument-forms exist which are valid over finite but not infinite domains. Despite understanding of this by formal logicians, philosophers can be observed treating as valid arguments which are in fact invalid over infinite domains. In support of this claim I will first present an argument against the classical pragmatist theory of truth by Mark Johnston. Then, more ambitiously, I will suggest the fallacy lurks in certain arguments for physicalism taken for granted by many philosophers today.

The goal of this paper consists of developing a new (more physical and numerical in comparison with standard and non-standard analysis approaches) point of view on Calculus with functions assuming infinite and infinitesimal values. It uses recently introduced infinite and infinitesimal numbers being in accordance with the principle ‘The part is less than the whole’ observed in the physical world around us. These numbers have a strong practical advantage with respect to traditional approaches: they are representable at a (...) new kind of a computer – the Infinity Computer – able to work numerically with all of them. An introduction to the theory of physical and mathematical continuity and differentiation (including subdifferentials) for functions assuming finite, infinite, and infinitesimal values over finite, infinite, and infinitesimal domains is developed in the paper. This theory allows one to work with derivatives that can assume not only finite but infinite and infinitesimal values, as well. It is emphasized that the newly introduced notion of the physical continuity allows one to see the same mathematical object as a continuous or a discrete one, in dependence on the wish of the researcher, i.e., as it happens in the physical world where the same object can be viewed as a continuous or a discrete in dependence on the instrument of the observation used by the researcher. Connections between pure mathematical concepts and their computational realizations are continuously emphasized through the text. Numerous examples are given. (shrink)

This thesis articulates the resonances between J. M. Coetzee's lifelong engagement with mathematics and his practice as a novelist, critic, and poet. Though the critical discourse surrounding Coetzee's literary work continues to flourish, and though the basic details of his background in mathematics are now widely acknowledged, his inheritance from that background has not yet been the subject of a comprehensive and mathematically- literate account. In providing such an account, I propose that these two strands of his intellectual trajectory not (...) only developed in parallel, but together engendered several of the characteristic qualities of his finest work. The structure of the thesis is essentially thematic, but is also broadly chronological. Chapter 1 focuses on Coetzee's poetry, charting the increasing involvement of mathematical concepts and methods in his practice and poetics between 1958 and 1979. Chapter 2 situates his master's thesis alongside archival materials from the early stages of his academic career, and thus traces the development of his philosophical interest in the migration of quantificatory metaphors into other conceptual domains. Concentrating on his doctoral thesis and a series of contemporaneous reviews, essays, and lecture notes, Chapter 3 details the calculated ambivalence with which he therein articulates, adopts, and challenges various statistical methods designed to disclose objective truth. Chapter 4 explores the thematisation of several mathematical concepts in Dusklands and In the Heart of the Country. Chapter Five considers Waiting for the Barbarians and Foe in the context provided by Coetzee's interest in the attempts of Isaac Newton to bridge the gap between natural language and the supposedly transparent language of mathematics. Finally, Chapter 6 locates in Elizabeth Costello and Diary of a Bad Year a cognitive approach to the use of mathematical concepts in ethics, politics, and aesthetics, and, by analogy, a central aspect of the challenge Coetzee's late fiction poses to the contemporary literary landscape. (shrink)

ABSTRACT Theories of sets such as Zermelo Fraenkel set theory are usually presented as the combination of two distinct kinds of principles: logical and set-theoretic principles. The set-theoretic principles are imposed ‘on top’ of first-order logic. This is in agreement with a traditional view of logic as universally applicable and topic neutral. Such a view of logic has been rejected by the intuitionists, on the ground that quantification over infinite domains requires the use of intuitionistic rather than classical (...) logic. In the following, I consider constructive set theories, which use intuitionistic rather than classical logic, and argue that they manifest a distinctive interdependence or an entanglement between sets and logic. In fact, Martin-Löf type theory identifies fundamental logical and set-theoretic notions. Remarkably, one of the motivations for this identification is the thought that classical quantification over infinite domains is problematic, while intuitionistic quantification is not. The approach to quantification adopted in Martin-Löf’s type theory is subtly interconnected with its predicativity. I conclude by recalling key aspects of an approach to predicativity inspired by Poincaré, which focuses on the issue of correct quantification over infinite domains and relate it back to Martin-Löf type theory. (shrink)

We study logical reduction (factorization) of relations into relations of lower arity by Boolean or relative products that come from applying conjunctions and existential quantifiers to predicates, i.e. by primitive positive formulas of predicate calculus. Our algebraic framework unifies natural joins and data dependencies of database theory and relational algebra of clone theory with the bond algebra of C.S. Peirce. We also offer new constructions of reductions, systematically study irreducible relations and reductions to them and introduce a new characteristic of (...) relations, ternarity, that measures their ‘complexity of relating’ and allows to refine reduction results. In particular, we refine Peirce’s controversial reduction thesis, and show that reducibility behaviour is dramatically different on finite and infinite domains. (shrink)

In ancient philosophy, there is no discipline called “logic” in the contemporary sense of “the study of formally valid arguments.” Rather, once a subfield of philosophy comes to be called “logic,” namely in Hellenistic philosophy, the field includes (among other things) epistemology, normative epistemology, philosophy of language, the theory of truth, and what we call logic today. This entry aims to examine ancient theorizing that makes contact with the contemporary conception. Thus, we will here emphasize the theories of the “syllogism” (...) in the Aristotelian and Stoic traditions. However, because the context in which these theories were developed and discussed were deeply epistemological in nature, we will also include references to the areas of epistemological theorizing that bear directly on theories of the syllogism, particularly concerning “demonstration.” Similarly, we will include literature that discusses the principles governing logic and the components that make up arguments, which are topics that might now fall under the headings of philosophy of logic or non-classical logic. This includes discussions of problems and paradoxes that connect to contemporary logic and which historically spurred developments of logical method. For example, there is great interest among ancient philosophers in the question of whether all statements have truth-values. Relevant themes here include future contingents, paradoxes of vagueness, and semantic paradoxes like the liar. We also include discussion of the paradoxes of the infinite for similar reasons, since solutions have introduced sophisticated tools of logical analysis and there are a range of related, modern philosophical concerns about the application of some logical principles in infinite domains. Our criterion excludes, however, many of the themes that Hellenistic philosophers consider part of logic, in particular, it excludes epistemology and metaphysical questions about truth. Ancient philosophers do not write treatises “On Logic,” where the topic would be what today counts as logic. Instead, arguments and theories that count as “logic” by our criterion are found in a wide range of texts. For the most part, our entry follows chronology, tracing ancient logic from its beginnings to Late Antiquity. However, some themes are discussed in several eras of ancient logic; ancient logicians engage closely with each other’s views. Accordingly, relevant publications address several authors and periods in conjunction. These contributions are listed in three thematic sections at the end of our entry. (shrink)

We introduce a ranking of multidimensional alternatives, including uncertain prospects as a particular case, when these objects can be given a matrix form. This ranking is separable in terms of rows and columns, and continuous and monotonic in the basic quantities. Owing to the theory of additive separability developed here, we derive very precise numerical representations over a large class of domains (i.e., typically notof the Cartesian product form). We apply these representationsto (1)streams of commodity baskets through time, (2)uncertain (...) social prospects, (3)uncertain individual prospects. Concerning(1), we propose a finite horizon variant of Koopmans’s (1960) axiomatization of infinite discounted utility sums. The main results concern(2). We push the classic comparison between the exanteand expostsocial welfare criteria one step further by avoiding any expected utility assumptions, and as a consequence obtain what appears to be the strongest existing form of Harsanyi’s (1955) Aggregation Theorem. Concerning(3), we derive a subjective probability for Anscombe and Aumann’s (1963) finite case by merely assuming that there are two epistemically independent sources of uncertainty. (shrink)

We introduce the notion of complexity, first at an intuitive level and then in relatively more concrete terms, explaining the various characteristic features of complex systems with examples. There exists a vast literature on complexity, and our exposition is intended to be an elementary introduction, meant for a broad audience. -/- Briefly, a complex system is one whose description involves a hierarchy of levels, where each level is made of a large number of components interacting among themselves. The time evolution (...) of such a system is of a complex nature, depending on the interactions among subsystems in the next level below the one under consideration and, at the same time, conditioned by the level above, where the latter sets the context for the evolution. Generally speaking, the interactions among the constituents of the various levels lead to a dynamics characterized by numerous characteristic scales, each level having its own set of scales. What is more, a level commonly exhibits ‘emergent properties’ that cannot be derived from considerations relating to its component systems taken in isolation or to those in a different contextual setting. In the dynamic evolution of some particular level, there occurs a self-organized emergence of a higher level and the process is repeated at still higher levels. -/- The interaction and self-organization of the components of a complex system follow the principle commonly expressed by saying that the ‘whole is different from the sum of the parts’. In the case of systems whose behavior can be expressed mathematically in terms of differential equations this means that the interactions are nonlinear in nature. -/- While all of the above features are not universally exhibited by complex systems, these are nevertheless indicative of a broad commonness relative to which individual systems can be described and analyzed. There exist measures of complexity which, once again, are not of universal applicability, being more heuristic than exact. The present state of knowledge and understanding of complex systems is itself an emerging one. Still, a large number of results on various systems can be related to their complex character, making complexity an immensely fertile concept in the study of natural, biological, and social phenomena. -/- All this puts a very definite limitation on the complete description of a complex system as a whole since such a system can be precisely described only contextually, relative to some particular level, where emergent properties rule out an exact description of more than one levels within a common framework. -/- We discuss the implications of these observations in the context of our conception of the so-called noumenal reality that has a mind-independent existence and is perceived by us in the form of the phenomenal reality. The latter is derived from the former by means of our perceptions and interpretations, and our efforts at sorting out and making sense of the bewildering complexity of reality takes the form of incessant processes of inference that lead to theories. Strictly speaking, theories apply to models that are constructed as idealized versions of parts of reality, within which inferences and abstractions can be carried out meaningfully, enabling us to construct the theories. -/- There exists a correspondence between the phenomenal and the noumenal realities in terms of events and their correlations, where these are experienced as the complex behavior of systems or entities of various descriptions. The infinite diversity of behavior of systems in the phenomenal world are explained within specified contexts by theories. The latter are constructs generated in our ceaseless attempts at interpreting the world, and the question arises as to whether these are reflections of `laws of nature' residing in the noumenal world. This is a fundamental concern of scientific realism, within the fold of which there exists a trend towards the assumption that theories express truths about the noumenal reality. We examine this assumption (referred to as a ‘point of view’ in the present essay) closely and indicate that an alternative point of view is also consistent within the broad framework of scientific realism. This is the view that theories are domain-specific and contextual, and that these are arrived at by independent processes of inference and abstractions in the various domains of experience. Theories in contiguous domains of experience dovetail and interpenetrate with one another, and bear the responsibility of correctly explaining our observations within these domains. -/- With accumulating experience, theories get revised and the network of our theories of the world acquires a complex structure, exhibiting a complex evolution. There exists a tendency within the fold of scientific realism of interpreting this complex evolution in rather simple terms, where one assumes (this, again, is a point of view) that theories tend more and more closely to truths about Nature and, what is more, progress towards an all-embracing ‘ultimate theory’ -- a foundational one in respect of all our inquiries into nature. We examine this point of view closely and outline the alternative view -- one broadly consistent with scientific realism -- that there is no ‘ultimate’ law of nature, that theories do not correspond to truths inherent in reality, and that successive revisions in theory do not lead monotonically to some ultimate truth. Instead, the theories generated in succession are incommensurate with each other, testifying to the fact that a theory gives us a perspective view of some part of reality, arrived at contextually. Instead of resembling a monotonically converging series successive theories are analogous to asymptotic series. -/- Before we summarize all the above considerations, we briefly address the issue of the complexity of the {\it human mind} -- one as pervasive as the complexity of Nature at large. The complexity of the mind is related to the complexity of the underlying neuronal organization in the brain, which operates within a larger biological context, its activities being modulated by other physiological systems, notably the one involving a host of chemical messengers. The mind, with no materiality of its own, is nevertheless emergent from the activity of interacting neuronal assemblies in the brain. As in the case of reality at large, there can be no ultimate theory of the mind, from which one can explain and predict the entire spectrum of human behavior, which is an infinitely rich and diverse one. (shrink)

W. V. Quine famously defended two theses that have fallen rather dramatically out of fashion. The first is that intensions are “creatures of darkness” that ultimately have no place in respectable philosophical circles, owing primarily to their lack of rigorous identity conditions. However, although he was thoroughly familiar with Carnap’s foundational studies in what would become known as possible world semantics, it likely wouldn’t yet have been apparent to Quine that he was fighting a losing battle against intensions, due in (...) large measure to developments stemming from Carnap’s studies and culminating in the work of Kripke, Hintikka, and Bayart. These developments undermined Quine’s crusade against intensions on two fronts. First, in the context of possible world semantics, intensions could after all be given rigorous identity conditions by defining them (in the simplest case) as functions from worlds to appropriate extensions, a fact exploited to powerful and influential effect in logic and linguistics by the likes of Kaplan, Montague, Lewis, and Cresswell. Second, the rise of possible world semantics fueled a strong resurgence of metaphysics in contemporary analytic philosophy that saw properties and propositions widely, fruitfully, and unabashedly adopted as ontological primitives in their own right. This resurgence — happily, in my view — continues into the present day. -/- For a time, at any rate, Quine experienced somewhat better success with his second thesis: that higher-order logic is, at worst, confused and, at best, a quirky notational alternative to standard first-order logic. However, Quine notwithstanding, a great deal of recent work in formal metaphysics transpires in a higher-order logical framework in which properties and propositions fall into an infinite hierarchy of types of (at least) every finite order. Initially, the most philosophically compelling reason for embracing such a framework since Russell first proposed his simple theory of types was simply that it provides a relatively natural explanation of the paradoxes. However, since the seminal work of Prior there has been a growing trend to consider higher-order logic to be the most philosophically natural framework for metaphysical inquiry, many of the contributors to this volume being among the most important and influential advocates of this view. Indeed, this is now quite arguably the dominant view among formal metaphysicians. -/- In this paper, and against the current tide, I will argue in §1 that there are still good reasons to think that Quine’s second battle is not yet lost and that the correct framework for logic is first-order and type-free — properties and propositions, logically speaking, are just individuals among others in a single domain of quantification — and that it arises naturally out of our most basic logical and semantical intuitions. The data I will draw upon are not new and are well-known to contemporary higher-order metaphysicians. However, I will try to defend my thesis in what I believe is a novel way by suggesting that these basic intuitions ground a reasonable distinction between “pure” logic and non-logical theory, and that Russell-style semantic paradoxes of truth and exemplification arise only when we move beyond the purely logical and, hence, do not of themselves provide any strong objection to a type-free conception of properties and propositions. -/- Most of my arguments in §1 are largely independent of any specific account of the nature of properties and propositions beyond their type-freedom. However, I will in addition argue that there are good reasons to take propositions, at least, to be very fine-grained. My arguments are thus bolstered significantly if it can be shown that there are in fact well-defined examples of logics that are not only type-free but which comport with such a conception of propositions. It is the purpose of §2 to lay out a logic of this sort in some detail, drawing especially upon work by George Bealer and related work of my own. With the logic in place, it will be possible to generalize the line of argument noted above regarding Russell-style paradoxes and, in §3, apply it to two propositional paradoxes — the Prior-Kaplan paradox and the Russell-Myhill paradox — that are often taken to threaten the sort of account developed here. (shrink)

Conventional wisdom holds that the von Neumann entropy corresponds to thermodynamic entropy, but Hemmo and Shenker (2006) have recently argued against this view by attacking von Neumann's (1955) argument. I argue that Hemmo and Shenker's arguments fail due to several misunderstandings: about statistical-mechanical and thermodynamic domains of applicability, about the nature of mixed states, and about the role of approximations in physics. As a result, their arguments fail in all cases: in the single-particle case, the finite particles case, and (...) the infinite particles case. (shrink)

The relationship between the One and the Multiple in mystic philosophy is a profound and central theme that explores the nature of existence, the cosmos, and the divine. This theme is present in various mystical traditions, including those of the East and West, and it addresses the paradoxical coexistence of the unity and multiplicity of all things. -/- In mystic philosophy, the **One** often represents the ultimate reality, the source from which all things emanate and to which all things return. (...) It is the absolute, the infinite, and the unchanging. The One is beyond all attributes and is often associated with the divine or the absolute truth. -/- The **Multiple**, on the other hand, represents the manifest world, the diversity of forms, and the realm of change and plurality. It is the world we experience through our senses, the domain of time and space, where differentiation and individuality are apparent. -/- The relationship between the One and the Multiple is not one of opposition but of emanation and unity. The Multiple is seen as a reflection, expression, or manifestation of the One. In this sense, the diversity of the world doesn’t contradict the unity of the One but rather demonstrates it in a myriad of forms. -/- Mystics seek to understand and experience this relationship through various practices and insights. They aim to transcend the illusion of separation and duality to experience the non-dual reality where the One and the Multiple are recognized as inseparable. -/- This concept can be illustrated by the metaphor of the ocean and its waves. The ocean represents the One—vast, deep, and all-encompassing—while the waves represent the Multiple—distinct, diverse, and ever-changing. Each wave is unique, yet it is not separate from the ocean. The wave’s existence is dependent on and made of the same substance as the ocean. In the same way, each individual entity in the Multiple is an expression of the One. -/- In summary, the relationship between the One and the Multiple in mystic philosophy is a dynamic interplay that challenges the conventional understanding of separation. It invites a deeper exploration of reality, where the apparent multiplicity of the world is a direct expression of the singular, underlying essence of all that is. -/- The relationship between the One and the Multiple in the context of mathematical philosophy is a profound topic that touches upon the very foundations of existence and knowledge. It’s a theme that has been explored by philosophers and mathematicians alike, often leading to the contemplation of unity and diversity within the structures of reality. -/- In mathematics, the concept of the One can be seen as the basis of unity from which all numbers derive. It’s the identity element in multiplication, the starting point in counting, and the foundation of dimension in geometry. The One is often associated with the concept of monism in philosophy, which posits that there is a single, underlying substance or principle that constitutes reality. -/- On the other hand, the Multiple represents the infinite variety and diversity of forms and numbers that arise from the One. It’s the embodiment of plurality and the complex interplay of different entities that mathematics seeks to understand and describe. This reflects the philosophical stance of pluralism, which acknowledges the existence of multiple realities or truths. -/- The interplay between the One and the Multiple can be seen in the mathematical concept of sets. A set can be thought of as a unity, a whole composed of distinct elements. Yet, each element within the set also retains its individuality, contributing to the diversity of the set’s composition. This duality is mirrored in the philosophical exploration of the universal and the particular, where the universal represents the One, and the particulars represent the Multiple. -/- In the realm of mathematical philosophy, this relationship often leads to questions about the nature of mathematical objects: Are they discovered as part of an objective reality (the One), or are they constructed by the human mind from a multitude of experiences (the Multiple)? This debate resonates with the philosophical inquiry into the nature of truth and reality. -/- Reflecting on the One and the Multiple can also lead to a deeper understanding of the self and the cosmos. Just as the number one is integral to the existence of all other numbers, the individual self can be seen as a unique expression of the universal whole. Similarly, the cosmos can be viewed as a grand unity composed of a multiplicity of forms and phenomena. -/- Gödel’s incompleteness theorems have a fascinating connection to the philosophical concepts of the One and the Multiple. These theorems, which are pivotal in mathematical logic and philosophy of mathematics, articulate the inherent limitations of formal axiomatic systems, particularly those sufficient to express the arithmetic of natural numbers. -/- Gödel’s incompleteness theorems have a fascinating connection to the philosophical concepts of the One and the Multiple. These theorems, which are pivotal in mathematical logic and philosophy of mathematics, articulate the inherent limitations of formal axiomatic systems, particularly those sufficient to express the arithmetic of natural numbers⁴. -/- The **first incompleteness theorem** reveals that within any such consistent system, there are propositions that are true but cannot be proven within the system itself. This reflects the idea of the Multiple in that there is an abundance of mathematical truths, a multiplicity that exceeds the unifying framework of any one system. It suggests that the realm of mathematical truth is more extensive than any single formal system can fully capture. -/- The **second incompleteness theorem** extends this by showing that a system cannot prove its own consistency. This relates to the concept of the One, as it implies that a system’s complete self-understanding, its unity and coherence, is unattainable from within. It must look beyond itself, to an external vantage point, to ascertain its consistency. -/- In the context of the One and the Multiple, Gödel’s theorems imply that the One (a consistent formal system) is inherently incomplete and cannot encompass the Multiple (the totality of mathematical truths). This resonates with philosophical discussions about the relationship between unity and plurality. Just as a single philosophical system cannot capture the entirety of truth, a single formal mathematical system cannot encapsulate all mathematical truths. -/- Moreover, Gödel’s work suggests that the pursuit of a single, unified theory of everything in mathematics—a One that encompasses all Multiples—is an inherently Sisyphean task. There will always be more truths (Multiples) than can be derived from any given set of axioms (the One). -/- In essence, Gödel’s incompleteness theorems provide a formal underpinning to the philosophical notion that the One cannot exist without the Multiple, and vice versa. They are interdependent, with the One giving rise to the Multiple, and the Multiple necessitating the One for its expression and comprehension. This interplay is a dance of limitations and possibilities, where the boundaries of logic, mathematics, and philosophy blur into one another. -/- The relationship between the One and the Multiple in the context of the mathematics of zero is a deeply philosophical inquiry that bridges the abstract world of numbers with the existential questions of being and non-being. -/- Zero, in mathematics, is a symbol of absence, a representation of nothingness, yet it holds a pivotal position as a number. It is the void from which all things emerge and to which they return. In the philosophy of mathematics, zero is the paradoxical junction where the One and the Multiple converge and diverge. -/- From the perspective of the One, zero can be seen as the origin—the singular point that precedes the existence of numbers. It is the empty set, the foundation upon which the edifice of mathematics is constructed. As the identity element in addition, zero maintains the integrity of numbers, for adding zero to any number leaves it unchanged, reflecting the immutable nature of the One. -/- Conversely, when we consider the Multiple, zero represents the infinite potentiality of creation. It is the canvas upon which the integers, both positive and negative, express their multitude. Zero is the balance point, the fulcrum around which the symphony of numbers dances. It embodies the plurality of possibilities, the beginning of the number line that stretches infinitely in both directions. -/- Philosophically, zero challenges our understanding of existence. It is both something and nothing—a number that quantifies the absence of quantity. This duality echoes the philosophical struggle to comprehend how the One gives rise to the Multiple. How does the unity of being manifest the diversity of the cosmos? Zero offers a mathematical metaphor for this mystery, as it encapsulates the transition from non-existence to existence, from the undifferentiated One to the differentiated Multiple. -/- In the realm of set theory, zero corresponds to the empty set—a set with no elements. This set is unique in that it is the only set that contains nothing, yet it is the foundation upon which all other sets are built. The empty set is the mathematical embodiment of the One, and all other sets, containing multiple elements, arise from it. -/- Reflecting on zero in the context of Gödel’s incompleteness theorems, we find a resonance with the idea that the One (a consistent formal system) cannot capture the entirety of the Multiple (the totality of mathematical truths). Zero, as the foundation of numbers, similarly suggests that from the nothingness of the One, the infinite complexity of the Multiple emerges—yet it can never be fully encompassed or expressed by any single system. -/- In conclusion, the mathematics of zero offers a profound reflection on the relationship between the One and the Multiple. It serves as a bridge between the abstract and the concrete, the known and the unknowable, challenging us to ponder the origins of existence and the nature of reality itself. -/- . (shrink)

This paper argues that the idea of a computer is unique. Calculators and analog computers are not different ideas about computers, and nature does not compute by itself. Computers, once clearly defined in all their terms and mechanisms, rather than enumerated by behavioral examples, can be more than instrumental tools in science, and more than source of analogies and taxonomies in philosophy. They can help us understand semantic content and its relation to form. This can be achieved because they have (...) the potential to do more than calculators, which are computers that are designed not to learn. Today’s computers are not designed to learn; rather, they are designed to support learning; therefore, any theory of content tested by computers that currently exist must be of an empirical, rather than a formal nature. If they are designed someday to learn, we will see a change in roles, requiring an empirical theory about the Turing architecture’s content, using the primitives of learning machines. This way of thinking, which I call the intensional view of computers, avoids the problems of analogies between minds and computers. It focuses on the constitutive properties of computers, such as showing clearly how they can help us avoid the infinite regress in interpretation, and how we can clarify the terms of the suggested mechanisms to facilitate a useful debate. Within the intensional view, syntax and content in the context of computers become two ends of physically realizing correspondence problems in various domains. (shrink)

In the chapter of Difference and Repetition entitled ‘Ideas and the synthesis of difference,’ Deleuze mobilizes mathematics to develop a ‘calculus of problems’ that is based on the mathematical philosophy of Albert Lautman. Deleuze explicates this process by referring to the operation of certain conceptual couples in the field of contemporary mathematics: most notably the continuous and the discontinuous, the infinite and the finite, and the global and the local. The two mathematical theories that Deleuze draws upon for this (...) purpose are the differential calculus and the theory of dynamical systems, and Galois’ theory of polynomial equations. For the purposes of this paper I will only treat the first of these, which is based on the idea that the singularities of vector fields determine the local trajectories of solution curves, or their ‘topological behaviour’. These singularities can be described in terms of the given mathematical problematic, that is for example, how to solve two divergent series in the same field, and in terms of the solutions, as the trajectories of the solution curves to the problem. What actually counts as a solution to a problem is determined by the specific characteristics of the problem itself, typically by the singularities of this problem and the way in which they are distributed in a system. Deleuze understands the differential calculus essentially as a ‘calculus of problems’, and the theory of dynamical systems as the qualitative and topological theory of problems, which, when connected together, are determinative of the complex logic of different/ciation. (DR 209). Deleuze develops the concept of a problematic idea from the differential calculus, and following Lautman considers the concept of genesis in mathematics to ‘play the role of model ... with respect to all other domains of incarnation’. While Lautman explicated the philosophical logic of the actualization of ideas within the framework of mathematics, Deleuze (along with Guattari) follows Lautman’s suggestion and explicates the operation of this logic within the framework of a multiplicity of domains, including for example philosophy, science and art in What is Philosophy?, and the variety of domains which characterise the plateaus in A Thousand Plateaus. While for Lautman, a mathematical problem is resolved by the development of a new mathematical theory, for Deleuze, it is the construction of a concept that offers a solution to a philosophical problem; even if this newly constructed concept is characteristic of, or modelled on the new mathematical theory. (shrink)

Any computer can create a model of reality. The hypothesis that quantum computer can generate such a model designated as quantum, which coincides with the modeled reality, is discussed. Its reasons are the theorems about the absence of “hidden variables” in quantum mechanics. The quantum modeling requires the axiom of choice. The following conclusions are deduced from the hypothesis. A quantum model unlike a classical model can coincide with reality. Reality can be interpreted as a quantum computer. The physical processes (...) represent computations of the quantum computer. Quantum information is the real fundament of the world. The conception of quantum computer unifies physics and mathematics and thus the material and the ideal world. Quantum computer is a non-Turing machine in principle. Any quantum computing can be interpreted as an infinite classical computational process of a Turing machine. Quantum computer introduces the notion of “actually infinite computational process”. The discussed hypothesis is consistent with all quantum mechanics. The conclusions address a form of neo-Pythagoreanism: Unifying the mathematical and physical, quantum computer is situated in an intermediate domain of their mutual transformation. (shrink)

Hypotheses about the shape of causal reality admit of both theistic and non-theistic interpretations. I argue that, on the simplest hypotheses about the causal shape of reality—infinite regress, contingent initial boundary, necessary initial boundary—there is good reason to suppose that non-theism is always either preferable to, or at least the equal of, theism, at least insofar as we restrict our attention merely to the domain of explanation of existence. Moreover, I suggest that it is perfectly proper for naturalists to (...) be undecided between these simple hypotheses about the causal shape of reality: contrary to the proponents of cosmological arguments, there are no decisive objections to any of these simple hypotheses. (I argue this case in detail in connection with objections offered by William Lane Craig; however, I believe that the case holds quite generally.). (shrink)

It is shown that the infinite-valued first-order Gödel logic G° based on the set of truth values {1/k: k ε w {0}} U {0} is not r.e. The logic G° is the same as that obtained from the Kripke semantics for first-order intuitionistic logic with constant domains and where the order structure of the model is linear. From this, the unaxiomatizability of Kröger's temporal logic of programs (even of the fragment without the nexttime operator O) and of the (...) authors' temporal logic of linear discrete time with gaps follows. (shrink)

The book aims to examine how a Trinitarian Theism can be formulated through the elaboration of a Relational Ontology and a Trinitarian Metaphysics, in the context of a hyperphatic epistemology. This metaphysics has been proposed by some supporters of the so-called Open Theism as a solution to the numerous dilemmas of Classical Theism. The hypothesis they support is that the Trinitarian nature of God, reflected in a world of multiplicity, relationality, substance and relations, demands that we think of God as (...) dynamic, internally multiple and relational. However, if the expression «God is love» – understood as the formula of the Trinity – is the key to a new theism, it leaves a problem open: how can it be translated philosophically? The research develops on two different levels: first, it assesses whether the expression should be translated into the Trinitarian paradigm, and the aporias it generates; secondly, it tries to assess whether this paradigm (eminently relational) has a correspondence in ontology: is there a satisfactory Relational Metaphysics already available? The suspicion is that such Trinitarian-Relational Ontology, invoked by many as a solution to the incongruities of classical theism, has yet to be formulated in a satisfactorily manner, despite the existence of various attempts to formulate Relational Ontologies. In order to provide an evaluation of all these attempts and to outline some possible new perspectives, the thesis consists of five chapters. It is the aim of the present dissertation to evaluate such attempts, and to outline some possible new solutions. In the chapters some points have been established: 1. there must be at least one irreducible real relation (non-reductionist realism); 2. the relation must be equally fundamental to the substance: this means that it is both external and internal; 3. this relation must be able to account for contingent causality; 4. holism is a plausible position; 5. the Trinity is a good theistic model of the divine, apophatic but rational. The last chapter then returns to ontological questions: several Relational Ontologies are examined – including ontic structural realism and process (or eventist) ontology – together with their applications in philosophy of religion (e.g.: the Relational God, Process Trinitarianism, the Entangled God). This assessment shows how all these ontologies postulate real transcendental relations (subsistent relations), inside the substances or inside the powers, inside the tropes or the structures, describing them as monads or processes (or actual occasions). These relations are the same we need to describe the Trinity. Therefore, they are either possible for both domains – ontology and theology – or they are both impossible. It has been opted for the second conclusion. But they are both impossible and inevitable: the fundamental entities of the world and their interactions (causation) must be described as real transcendental relations because each ontology transforms entities or relations into real transcendental relationships at some point. Thus, neither relationalism nor substantialism are convincing: from the fall of these two dogmas (or, rather, from the fall of their naive interpretations) we can realise that the fundamental reality is something that lies between processism (relationalism) and substantialism. It is impossible to completely substitute the notion of substance with the notion of event, process, structure or relation, both in speaking of God and in speaking about the entities of fundamental ontology. Neither monism nor pluralism can be affirmed in their pure forms. The hypothesis proposed, then, is that the notion of gunk-junk is the only one that can translate the relationality hitherto sought in an ontological model. The central part of the chapter describes the merits and defects of an eventist-infinitive ontology (EIO) based on the concept of gunk, and its potentiality to generate new theistic accounts. Through the notion of infinityings it seems to be possible to find some solutions for the questions left open by the causal relation, and therefore to defend at least the existence of one relation (external and internal). Each fundamental entity is described, in this ontology, through four transcendentals: ‘entity’, ‘relation’, ‘unity’ and ‘multiplicity’. The co-primarity between substance and relations (borrowed from the notion of relatio subsistens) differentiates EIO from the process philosophies precisely because it does not pretend to eliminate the substantial principle, or the category of substance, but wants to think of it with the transcendental of relationality. Of course, EIO poses a challenge to the role, the method and the explicative capacity of metaphysics, because what we can state of the fundamental reality is antinomic. EIO tries to assume the antinomy as a result, to make it the basis of a kind of apophatic ontology. If our best ontology is gunky, then it is possible to confirm what has been said in chap. 4: the ‘how’ of individual substances is unknown to us at least as much as the ‘how’ of God. Even in the world we have the mystery of a distinction that is not division. However, the convergence of these antinomies can find an ultimate explanation in a theistic metaphysics (EIM): God creates inside of Himself and his Trinitarian substance is “contracted” into the worldly entities. They are made contingent and ontologically different by this self-limitation, but it is still the infinity of God that makes space in Himself for something new, even though He is totally present in every entity. It is not absurd to think that the substances of the world keep track of the divine nature, even in His “contraction”. Among the characteristics of the divine nature that each created entity maintains we have the subsistent relationality, the pericoretic indwelling (the infinite gunk-junk), the fact of being always one-and-many. If EIO and EIM are accepted as a good compromise between relationalism and substantialism, even in their apophaticity, then, on this basis, a Trinitarian Philosophy is possible. The picture of reality that emerges represents the world as multiple, substantial, contingent and intrinsically relational, forcing us to postulate the transcendental of relationality and multiplicity. Such transcendental leads us to think of the world and God (and their relations) in a Trinitarian way – With the necessary acknowledgement that this is a reasonable but apophatic discourse. (shrink)

Natural recursion in syntax is recursion by linguistic value, which is not syntactic in nature but semantic. Syntax-specific recursion is not recursion by name as the term is understood in theoretical computer science. Recursion by name is probably not natural because of its infinite typeability. Natural recursion, or recursion by value, is not species-specific. Human recursion is not syntax-specific. The values on which it operates are most likely domain-specific, including those for syntax. Syntax seems to require no more (and (...) no less) than the resource management mechanisms of an embedded push-down automaton (EPDA). We can conceive EPDA as a common automata-theoretic substrate for syntax, collaborative planning, i-intentions, and we-intentions. They manifest the same kind of dependencies. Therefore, syntactic uniqueness arguments for human behavior can be better explained if we conceive automata-constrained recursion as the most unique human capacity for cognitive processes. (shrink)

Given the hard problem of consciousness, there are no brain electrophysiological correlates of the subjective experience (the felt quality of redness or the redness of red, the experience of dark and light, the quality of depth in a visual field, the sound of a clarinet, the smell of mothball, bodily sensations from pains to orgasms, mental images that are conjured up internally, the felt quality of emotion, the experience of a stream of conscious thought, or the phenomenology of thought). However, (...) there are occipital and left temporal brain electrophysiological correlates of the subjective experience. Notwithstanding, as an evoked signal, the change in event-related brain potential phase (frequency is the change in phase over time) is instantaneous, that is, the frequency will transiently be infinite: a transient peak in frequency (positive or negative), if any, is instantaneous in electroencephalogram averaging or filtering that the event-related brain potentials required and the underlying structure of the event-related brain potentials in the frequency domain cannot be accounted for, for example, by the Wavelet Transform or the Fast Fourier Transform analysis, because they require that frequency be derived by convolution rather than by differentiation. However, as I show, one suitable method for analysing the instantaneous change in event-related brain potential phase and accounting for a transient peak in frequency (positive or negative), if any, in the underlying structure of the event-related brain potentials is the Empirical Mode Decomposition with post-processing Ensemble Empirical Mode Decomposition. (shrink)

For aggregative theories of moral value, it is a challenge to rank worlds that each contain infinitely many valuable events. And, although there are several existing proposals for doing so, few provide a cardinal measure of each world's value. This raises the even greater challenge of ranking lotteries over such worlds—without a cardinal value for each world, we cannot apply expected value theory. How then can we compare such lotteries? To date, we have just one method for doing so (proposed (...) separately by Arntzenius, Bostrom, and Meacham), which is to compare the prospects for value at each individual location, and to then represent and compare lotteries by their expected values at each of those locations. But, as I show here, this approach violates several key principles of decision theory and generates some implausible verdicts. I propose an alternative—one which delivers plausible rankings of lotteries, which is implied by a plausible collection of axioms, and which can be applied alongside almost any ranking of infinite worlds. (shrink)

People with the kind of preferences that give rise to the St. Petersburg paradox are problematic---but not because there is anything wrong with infinite utilities. Rather, such people cannot assign the St. Petersburg gamble any value that any kind of outcome could possibly have. Their preferences also violate an infinitary generalization of Savage's Sure Thing Principle, which we call the *Countable Sure Thing Principle*, as well as an infinitary generalization of von Neumann and Morgenstern's Independence axiom, which we call (...) *Countable Independence*. In violating these principles, they display foibles like those of people who deviate from standard expected utility theory in more mundane cases: they choose dominated strategies, pay to avoid information, and reject expert advice. We precisely characterize the preference relations that satisfy Countable Independence in several equivalent ways: a structural constraint on preferences, a representation theorem, and the principle we began with, that every prospect has a value that some outcome could have. (shrink)

In formal ontology, infinite regresses are generally considered a bad sign. One debate where such regresses come into play is the debate about fundamentality. Arguments in favour of some type of fundamentalism are many, but they generally share the idea that infinite chains of ontological dependence must be ruled out. Some motivations for this view are assessed in this article, with the conclusion that such infinite chains may not always be vicious. Indeed, there may even be room (...) for a type of fundamentalism combined with infinite descent as long as this descent is “boring,” that is, the same structure repeats ad infinitum. A start is made in the article towards a systematic account of this type of infinite descent. The philosophical prospects and scientific tenability of the account are briefly evaluated using an example from physics. (shrink)

This paper discusses an infinite regress that looms behind a certain kind of historical explanation. The movement of one barbarian group is often explained by the movement of others, but those movements in turn call for an explanation. While their explanation can again be the movement of yet another group of barbarians, if this sort of explanation does not stop somewhere we are left with an infinite regress of barbarians. While that regress would be vicious, it cannot be (...) accommodated by several general views about what viciousness in infinite regresses amounts to. This example is additional evidence that we should prefer a pluralist approach to infinite regresses. (shrink)

Consider an infinite series whose items are each explained by their immediate successor. Does such an infinite explanation explain the whole series or does it leave something to be explained? Hume arguably claimed that it does fully explain the whole series. Leibniz, however, designed a very telling objection against this claim, an objection involving an infinite series of book copies. In this paper, I argue that the Humean claim can, in certain cases, be saved from the Leibnizian (...) “infinite book copies” objection, and that this provides an interesting way to defuse some cosmological arguments for the existence of God and to give a non-theistic but complete explanation of the Universe. In the course of my argumentation, I also show that circular explanations can be “self-explanatory” as well: explaining two items by each other can explain the couple of items tout court. (shrink)

We can have credences in an infinite number of propositions—that is, our opinion set can be infinite. Accuracy-first epistemologists have devoted themselves to evaluating credal states with the help of the concept of ‘accuracy’. Unfortunately, under several innocuous assumptions, infinite opinion sets yield several undesirable results, some of which are even fatal, to accuracy-first epistemology. Moreover, accuracy-first epistemologists cannot circumvent these difficulties in any standard way. In this regard, we will suggest a non-standard approach, called a relativistic (...) approach, to accuracy-first epistemology and show that such an approach can successfully circumvent undesirable results while having some advantages over the standard approach. (shrink)

This paper uses a schema for infinite regress arguments to provide a solution to the problem of the infinite regress of justification. The solution turns on the falsity of two claims: that a belief is justified only if some belief is a reason for it, and that the reason relation is transitive.

In this paper, I discuss two concerns for pluralist truth theories: a concern about a key detail of these theories and a concern about their viability. The detail-related concern is that pluralists have relied heavily upon the notion of a domain, but it is not transparent what they take domains to be. Since the notion of a domain has been present in philosophy for some time, it is important for many theorists, not only truth pluralists, to be clear on (...) what domains are and what work they can do. The viability-related concern is that it’s not clear how a pluralist truth theory could explain the truth-conditions of mixed atomic propositions. To address this concern, truth pluralists should recognize something to which they have not been sufficiently attentive: that some atomic propositions belong to more than one domain. But, recognizing this requires rethinking the relationships between the nature of propositions, their membership in domains, and their truth. I address these issues and propose an understanding of them that is preferable to the best existing account of them, that offered by Michael Lynch. (shrink)

This book examines the philosophy of the nineteenth-century Indian mystic Sri Ramakrishna and brings him into dialogue with Western philosophers of religion, primarily in the recent analytic tradition. Sri Ramakrishna’s expansive conception of God as the impersonal-personal Infinite Reality, Maharaj argues, opens up an entirely new paradigm for addressing central topics in the philosophy of religion, including divine infinitude, religious diversity, the nature and epistemology of mystical experience, and the problem of evil.

A common argument for atheism runs as follows: God would not create a world worse than other worlds he could have created instead. However, if God exists, he could have created a better world than this one. Therefore, God does not exist. In this paper I challenge the second premise of this argument. I argue that if God exists, our world will continue without end, with God continuing to create value-bearers, and sustaining and perfecting the value-bearers he has already created. (...) Given this, if God exists, our world—considered on the whole—is infinitely valuable. I further contend that this theistic picture makes our world's value unsurpassable. In support of this contention, I consider proposals for how infinitely valuable worlds might be improved upon, focusing on two main ways—adding value-bearers and increasing the value in present value-bearers. I argue that neither of these can improve our world. Depending on how each method is understood, either it would not improve our world, or our world is unsurpassable with respect to it. I conclude by considering the implications of my argument for the problem of evil more generally conceived. (shrink)

Drawing upon the practice of caregiving and the insights of feminist care ethics, I offer a phenomenology of caregiving through the work of Eva Feder Kittay and Emmanuel Lévinas. I argue that caregiving is a material dialectic of embodied response involving moments of leveling, attention, and interruption. In this light, the Levinasian opposition between responding to another's singularity and leveling it via parity-based principles is belied in the experience of care. Contra much of response ethics’ and care ethics’ respective literatures, (...) this dialectic suggests that they are complementary in ways that productively illuminate themes of each. I conclude by suggesting that when response and care ethics are thought together through the experience of caregiving, such labors produce finite responsibility with infinite hope. (shrink)

Once one accepts that certain things metaphysically depend upon, or are metaphysically explained by, other things, it is natural to begin to wonder whether these chains of dependence or explanation must come to an end. This essay surveys the work that has been done on this issue—the issue of grounding and infinite descent. I frame the discussion around two questions: (1) What is infinite descent of ground? and (2) Is infinite descent of ground possible? In addressing the (...) second question, I will consider a number of arguments that have been made for and against the possibility of infinite descent of ground. When relevant, I connect the discussion to two important views about the way reality can be structured by grounding: metaphysical foundationalism and metaphysical infinitism. (shrink)

Domain extension in mathematics occurs whenever a given mathematical domain is augmented so as to include new elements. Manders argues that the advantages of important cases of domain extension are captured by the model-theoretic notions of existential closure and model completion. In the specific case of domain extension via ideal elements, I argue, Manders’s proposed explanation does not suffice. I then develop and formalize a different approach to domain extension based on Dedekind’s Habilitationsrede, to which Manders’s account is compared. I (...) conclude with an examination of three possible stances towards extensions via ideal elements. (shrink)

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

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

Aggregative moral theories face a series of devastating problems when we apply them in a physically realistic setting. According to current physics, our universe is likely _infinitely large_, and will contain infinitely many morally valuable events. But standard aggregative theories are ill-equipped to compare outcomes containing infinite total value so, applied in a realistic setting, they cannot compare any outcomes a real-world agent must ever choose between. This problem has been discussed extensively, and non-standard aggregative theories proposed to overcome (...) it. This paper addresses a further problem of similar severity. Physics tells us that, in our universe, how remotely in time an event occurs is _relative_. But our most promising aggregative theories, designed to compare outcomes containing infinitely many valuable events, are sensitive to how remote in time those events are. As I show, the evaluations of those theories are then relative too. But this is absurd; evaluations of outcomes must be absolute. So we must reject such theories. Is this objection fatal for all aggregative theories, at least in a relativistic universe like ours? I demonstrate here that, by further modifying these theories to fit with the physics, we can overcome it. (shrink)

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

In this chapter I explain Spinoza's concept of "infinite modes". After some brief background on Spinoza's thoughts on infinity, I provide reasons to think that Immediate Infinite Modes are identical to the attributes, and that Mediate Infinite Modes are merely totalities of finite modes. I conclude with some considerations against the alternative view that infinite modes are laws of nature.

In this paper, I suggest that infinite numbers are large finite numbers, and that infinite numbers, properly understood, are 1) of the structure omega + (omega* + omega)Ө + omega*, and 2) the part is smaller than the whole. I present an explanation of these claims in terms of epistemic limitations. I then consider the importance, part of which is demonstrating the contradiction that lies at the heart of Cantorian set theory: the natural numbers are too large to (...) be counted by any finite number, but too small to be counted by any infinite number – there is no number of natural numbers. (shrink)

It is possible that the world contains infinitely many agents that have positive and negative levels of well-being. Theories have been developed to ethically rank such worlds based on the well-being levels of the agents in those worlds or other qualitative properties of the worlds in question, such as the distribution of agents across spacetime. In this thesis I argue that such ethical rankings ought to be consistent with the Pareto principle, which says that if two worlds contain the same (...) agents and some agents are better off in the first world than they are in the second and no agents are worse off than they are in the second, then the first world is better than the second. I show that if we accept four axioms – the Pareto principle, transitivity, an axiom stating that populations of worlds can be permuted, and the claim that if the ‘at least as good as’ relation holds between two worlds then it holds between qualitative duplicates of this world pair – then we must conclude that there is ubiquitous incomparability between infinite worlds. I show that this is true even if the populations of infinite worlds are disjoint or overlapping, and that we cannot use any qualitative properties of world pairs to rank these worlds. Finally, I argue that this incomparability result generates puzzles for both consequentialist and non-consequentialist theories of objective and subjective permissibility. (shrink)

Suppose we wish to decide which of a pair of actions has better consequences in a case in which both actions result in infinite utility. Peter Vallentyne and others have proposed that one action has better consequences than a second if there is a time after which the cumulative utility of the first action always outstrips the cumulative utility of the second. I argue against this principle, in particular I show how cases may arise in which up to any (...) point of time action a1 produces more utility than action a2, yet for each individual involved a2 produces more utility. (shrink)

I will explore the paradoxical nature of epistemic access. By critiquing the traditional conception of mental states that are labelled as ’knowledge’, I demonstrate the susceptibility of these states to an infinite regress, thus, challenging their existence and validity. I scrutinise the assumption that an epistemic agent can have complete epistemic access to all facts about a given object while simultaneously being ignorant of certain truths that impact the very knowledge claims about the object. I further analyse the implications (...) of this paradox when attempting to fine-grain the parameters of epistemic access, which happens to reveal the vacuity of such definitions and the inevitability of the regress. (shrink)

This article offers a reconstruction of an argument against infinite regress formulated by Aristotle in Posterior Analytics I 22. I argue against the traditional interpretation of the chapter, according to which singular terms and summa genera, in virtue of having restrict logical roles, provide limits for predicative chains, preventing them from proceeding ad infinitum. As I intend to show, this traditional reading is at odds with some important aspects of Aristotle’s theory of demonstration. More importantly, it fails to explain (...) how his proof is connected to a defence of the existence of ultimate explanations, a connection that must be the case if I 19-22 is advancing a foundationalist way-out to a sceptical challenge raised in I 3. (shrink)

A comment on Paul Schoemaker's target article in Behavioral and Brain Sciences, 14 (1991), p. 205-215, "The Quest for Optimality: A Positive Heuristic of Science?" (https://doi.org/10.1017/S0140525X00066140). This comment argues that the optimizing model of decision leads to an infinite regress, once internal costs of decision (i.e., information and computation costs) are duly taken into account.

Some environmental ethicists and economists argue that attributing infinite value to the environment is a good way to represent an absolute obligation to protect it. Others argue against modelling the value of the environment in this way: the assignment of infinite value leads to immense technical and philosophical difficulties that undermine the environmentalist project. First, there is a problem of discrimination: saving a large region of habitat is better than saving a small region; yet if both outcomes have (...) infinite value, then decision theory prescribes indifference. Second, there is a problem of swamping probabilities: an act with a small but positive probability of saving an endangered species appears to be on par with an act that has a high probability of achieving this outcome, since both have infinite expected value. Our paper shows that a relative concept of infinite value can be meaningfully defined, and provides a good model for securing the priority of the natural environment while avoiding the failures noted by sceptics about infinite value. Our claim is not that the relative infinity utility model gets every detail correct, but rather that it provides a rigorous philosophical framework for thinking about decisions affecting the environment. (shrink)

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

Infinity exists as a concept but has no existence in actuality. For infinity to have existence in actuality either time or space have to already be infinite. Unless something is already infinite, the only way to become infinite is by an 'infinity leap' in an infinitely small moment, and this is not possible. Neither does infinitely small have an existence since anything larger than zero is not infinitely small. Therefore infinity has no existence in actuality.

I analyze the role of infinite idealizations used in the renormalization group (RG hereafter) method in explaining universality across microscopically different physical systems in critical phenomena. I argue that despite the reference to infinite limit systems such as systems with infinite correlation lengths during the RG process, the key to explaining universality in critical phenomena need not involve infinite limit systems. I develop my argument by introducing what I regard as the explanatorily relevant property in RG (...) explanations: linearization* property; I then motivate and prove a proposition about the linearization* property in support of my view. As a result, infinite limit systems in RG explanations are dispensable. (shrink)

The infinite judgement has long been forgotten and yet, as I am about to demonstrate, it may be urgent to revive it for its critical and productive potential. An infinite judgement is neither analytic nor synthetic; it does not produce logical truths, nor true representations, but it establishes the genetic conditions of real objects and the concepts appropriate to them. It is through infinite judgements that we reach the principle of transcendental logic, in the depths of which (...) all reality can emerge in its material and sensible singularity, making possible all generalization and formal abstraction. (shrink)