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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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.

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)

This paper responds to commentaries by Kaiserman and Magidor, and Hawthorne. The case of the infinite clowns can teach us several things.

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.

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)

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.

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)

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)

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)

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)

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.

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)

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)

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

In 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)

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.

Cross-domain descriptions are descriptions of features pertaining to one domain in terms of vocabulary primarily associated with another domain. Notably, we routinely describe psychological features in terms of the sensory domain and vice versa. Sorrow is said to be ‘bitter’ and fear ‘cold’. Music can be described as ‘happy’, ‘sad’, ‘mournful’, and so on. Such descriptions are rife in both everyday discourse and literary writings. What is it about psychological features that invites descriptions in sensory terms and what is it (...) about the sensory that invites descriptions in terms of the psychological? Drawing on the literature on polysemy, this paper sheds light on cross-domain descriptions pertaining to the sensory and the psychological domains. (shrink)

We argue that C. Darwin and more recently W. Hennig worked at times under the simplifying assumption of an eternal biosphere. So motivated, we explicitly consider the consequences which follow mathematically from this assumption, and the infinite graphs it leads to. This assumption admits certain clusters of organisms which have some ideal theoretical properties of species, shining some light onto the species problem. We prove a dualization of a law of T.A. Knight and C. Darwin, and sketch a decomposition (...) result involving the internodons of D. Kornet, J. Metz and H. Schellinx. A further goal of this paper is to respond to B. Sturmfels’ question, “Can biology lead to new theorems?”. (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)

According to one of Leibniz's theories of contingency a proposition is contingent if and only if it cannot be proved in a finite number of steps. It has been argued that this faces the Problem of Lucky Proof , namely that we could begin by analysing the concept ‘Peter’ by saying that ‘Peter is a denier of Christ and …’, thereby having proved the proposition ‘Peter denies Christ’ in a finite number of steps. It also faces a more general but (...) related problem that we dub the Problem of Guaranteed Proof . We argue that Leibniz has an answer to these problems since for him one has not proved that ‘Peter denies Christ’ unless one has also proved that ‘Peter’ is a consistent concept, an impossible task since it requires the full decomposition of the infinite concept ‘Peter’. We defend this view from objections found in the literature and maintain that for Leibniz all truths about created individual beings are contingent. (shrink)

Benardete paradoxes involve a beginningless set each member of which satisfies some predicate just in case no earlier member satisfies it. Such paradoxes have been wielded on behalf of arguments for the impossibility of an infinite past. These arguments often deploy patchwork principles in support of their key linking premise. Here I argue that patchwork principles fail to justify this key premise.

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)

Le passage spéculatif de la catégorie du mauvais infini dans le véritable infini reste l’un des plus importants dans la Science de la logique. Comme il est bien connu, ce passage est expliqué par Hegel à travers sa théorie de l’idéalité du fini. Pourtant, du fait de sa structure complexe, le surgissement du véritable infini au sein du fini par l’idéalisation peut être considéré comme un processus abstrait, consistant seulement à supprimer la dualité de l’infinité. Cet article se propose donc (...) d’examiner pourquoi l’idéalisation de la véritable infini ne signifie ni une simple neutralisation de la catégorie de la finité ni une infinitisation extérieure de celle-ci, mais un processus dynamique qui s’infinitise en supprimant l’opposition statique du fini et de l’infini. (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)

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.