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 (...) class='Hi'>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)

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)

This collection of papers centres around a novel approach to the problem of phenomenal consciousness called cosmopsychism. A simple version of cosmopsychism says that the cosmos as a whole is conscious. In this collection, I focus on a comparison between arguably the most promising versions of cosmopsychism and panpsychism, called constitutive cosmopsychism and constitutive panpsychism, respectively. -/- The first paper, ‘A Blueprint for Cosmopsychism’ offers a blueprint for a cosmopsychist approach, comparing it to the panpsychist approach. It highlights how following (...) the blueprint allows one to sidestep the most serious of panpsychism’s problems, the combination problem, while also avoiding the problem of infinite decomposition. However, it notes that the approach must address a serious problem of its own in the derivation problem. -/- The second paper, ‘Beyond Panpsychism and Cosmopsychism? Focuses’ on two related views that reject subjects of experience at the fundamental level, thus avoiding the subject aspects of the combination and derivation problems. Albahari’s perennialism is touted as the natural successor to cosmopsychism; avoiding its subject derivation problem while maintaining a cosmic consciousness. Meanwhile, Coleman’s panqualityism is touted as a natural successor to panpsychism; avoiding its combination problem while maintaining that phenomenality is present at the level of microphysical ultimates. However, I show both views seem to face problems equal in measure to those they seek to avoid. -/- The third paper, ‘The Subject Problem for Panpsychism and Cosmopsychism’ targets the hardest problems for constitutive panpsychism and constitutive cosmopsychism; the subject combination problem and the subject derivation problem, respectively. I show that the two problems are almost identical, both hinging on the entailment of what I call synchronous perspectives scenarios. I formulate broad arguments from metaphysical impossibility and epistemic implausibility against both views, based on such scenarios. However, I provide a possible model of how to understand synchronous perspective scenarios unproblematically. I also provide several alternative responses. -/- The fourth, and final, paper in the collection provides an account of, and motivation for, a version of cosmopsychism I call CRP cosmopsychism. This version of cosmopsychism is created on the priority cosmopsychism blueprint and has three further key commitments: simple panpsychism, priority monism and Russellian monism. The paper motivates each of these commitments both in isolation and in partnership, before responding to each of the derivation problems; the subject derivation problem, the quality derivation problem and the structure derivation problem. Furthermore, I argue that cosmopsychism should be preferred over panpsychism owing to considerations concerning internal relations. (shrink)

A contemporary form of panpsychism says that phenomenality is prevalent because all physical ultimates instantiate phenomenal or protophenomenal properties. According to priority cosmopsychism, an alternative to panpsychism that we propose in this chapter, phenomenality is prevalent because the whole cosmos instantiates phenomenal or protophenomenal properties. It says, moreover, that the consciousness of the cosmos is ontologically prior to the consciousness of ordinary individuals like us. Since priority cosmopsychism is a highly speculative view our aim in this chapter remains modest and (...) limited. Instead of providing a full defense of priority cosmopsychism, we try to show only the theoretical advantage of the view over panpsychism. Tis, however, by no means entails that we develop the view in logical space merely for its own sake. We offer instead a blueprint for a new alternative to panpsychism and explain how such a view avoids some of the most persistent problems for panpsychism while maintaining several of its strengths. (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)

At the heart of chemistry lies the periodic system of chemical elements. Despite being the cornerstone of modern chemistry, the overall structure of the periodic system has never been fully understood from an atomic physics point of view. Group-theoretical models have been proposed instead, but they suffer from several limitations. Among others, the identification of the correct symmetry group and its decomposition into subgroups has remained a problem to this day. In an effort to deepen our limited understanding of (...) the periodic law, we have extended the traditional Lie algebraic framework to account for the peculiar degeneracy structure of the periodic system. Starting from the four-dimensional hidden symmetry and accidental degeneracy of the hydrogen atom, as first revealed by Fock in 1935, our research has mainly focussed on the way this SO(4) symmetry of the Coulomb potential gets broken in the periodic system as a consequence of the transformation of the hydrogenic (n, l) filling order to the Madelung (n+l, n) order due to electronic repulsions, relativistic effects and spin-orbit couplings. In this PhD dissertation, a new left-step format of the periodic table is first proposed on the basis of the Madelung rule. Following the particle physics tradition, the chemical elements are then considered as various states of some 'atomic matter', which is described by a non-compact spectrum-generating dynamical Lie group. The chemical elements are shown to form a basis for a single infinite-dimensional degeneracy space of the SO(4,2) ⊗ SU(2) group. An explanation for the period doubling is then proposed in terms of a particular symmetry breaking of the SO(4,2) group to the anti de Sitter SO(3,2) group. The Madelung rule is rationalised on the basis of nonlinear Lie algebras which reflect the screening of the Coulomb hole. This opens new perspectives for a symmetry-based understanding of how the periodic law emerges from its quantum mechanical foundations, and holds the future promise of complementing our current phenomenological approach by a direct atomic physics approach. (shrink)

According to Roman Ingarden, transcendental idealism prevented Kant from "even undertaking an attempt" at elucidating freedom "in terms of the causal structure of the world." I show that this claim requires qualification. In a remarkable series of Critical-period Reflexionen (5611-4, 5616-9), Kant sketches a defense of the possibility of freedom that differs radically from his published ones by incorporating an indeterministic account of the phenomena. Anticipating Łukasiewicz, he argues that universal causal determination is consistent with an open future: if an (...) action is contingent, there is an infinite regress of determining causes, yet there is a prior time at which this infinite series of causes has not yet commenced. However, he concedes that on this account the unity of experience "cannot fully obtain in the case of free beings." The fact that Kant even contemplated the indeterministic theory may carry implications for interpreting the argument of the Second Analogy. (shrink)

This paper defends an interpretation of Gottlob Frege’s views on the structure of thought. I argue that Frege did not think that a thought has a unique decomposition into its component senses, but rather the same thought can be decomposed into senses in multiple, distinct ways. These multiple decompositions will often have distinct logical forms. I also argue against Michael Dummett and others that Frege was committed to the sense of a predicate being a function from the sense of (...) a name (or names) to a complete thought. I defend my Frege interpretation against a puzzle often discussed in the Frege literature; namely, that the Multiple Decompositions Thesis is incompatible with Frege’s stated view that a thought is built up out of its component senses as parts. I provide textual evidence and argument that Frege thought of the part/whole relation in such a way that a whole can be analyzed into (or built up out of) parts in multiple, distinct ways, thus dissolving the puzzle. I conclude with discussion of every sort of example of multiple decompositions that can be found in Frege's work. (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)

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)

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.

Functional decomposition is an important goal in the life sciences, and is central to mechanistic explanation and explanatory reduction. A growing literature in philosophy of science, however, has challenged decomposition-based notions of explanation. ‘Holists’ posit that complex systems exhibit context-sensitivity, dynamic interaction, and network dependence, and that these properties undermine decomposition. They then infer from the failure of decomposition to the failure of mechanistic explanation and reduction. I argue that complexity, so construed, is only incompatible with (...) one notion of decomposition, which I call ‘atomism’, and not with decomposition writ large. Atomism posits that function ascriptions must be made to parts with minimal reference to the surrounding system. Complexity does indeed falsify atomism, but I contend that there is a weaker, ‘contextualist’ notion of decomposition that is fully compatible with the properties that holists cite. Contextualism suggests that the function of parts can shift with external context, and that interactions with other parts might help determine their context-appropriate functions. This still admits of functional decomposition within a given context. I will give examples based on the notion of oscillatory multiplexing in systems neuroscience. If contextualism is feasible, then holist inferences are faulty—one cannot infer from the presence of complexity to the failure of decomposition, mechanism, and reductionism. (shrink)

Frames, i.e., recursive attribute-value structures, are a general format for the decomposition of lexical concepts. Attributes assign unique values to objects and thus describe functional relations. Concepts can be classified into four groups: sortal, individual, relational and functional concepts. The classification is reflected by different grammatical roles of the corresponding nouns. The paper aims at a cognitively adequate decomposition, particularly, of sortal concepts by means of frames. Using typed feature structures, an explicit formalism for the characterization of cognitive (...) frames is developed. The frame model can be extended to account for typicality effects. Applying the paradigm of object-related neural synchronization, furthermore, a biologically motivated model for the cortical implementation of frames is developed. Cortically distributed synchronization patterns may be regarded as the fingerprints of concepts. (shrink)

I argue, through appeal to the distinction between analysis and decomposition described by Dummett, that Wittgenstein employs both of those notions in the Tractatus. I then bring this interpretation to bear upon the issue of propositional unity, where I formulate an objection to the views of both Leonard Linksy and José Zalabardo. I show that both Linsky and Zalabardo fail to acknowledge the distinction between analysis and decomposition present in the Tractatus, and that they consequently mischaracterise Wittgenstein’s position (...) with respect to propositional unity. (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)

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)

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)

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.

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 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.

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)

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)

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 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.

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)

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

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)

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)

According to Leibniz’s infinite-analysis account of contingency, any derivative truth is contingent if and only if it does not admit of a finite proof. Following a tradition that goes back at least as far as Bertrand Russell, several interpreters have been tempted to explain this biconditional in terms of two other principles: first, that a derivative truth is contingent if and only if it contains infinitely complex concepts and, second, that a derivative truth contains infinitely complex concepts if and (...) only if it does not admit of a finite proof. A consequence of this interpretation is that Leibniz’s infinite-analysis account of contingency falls prey to Robert Adams’s Problem of Lucky Proof. I will argue that this interpretation is mistaken and that, once it is properly understood how the idea of an infinite proof fits into Leibniz’s circle of modal notions, the problem of lucky proof simply disappears. (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)

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)

Attempts to introduce Gestalt theory into the realm of visual neuroscience are discussed on both theoretical and experimental grounds. To define the framework in which these proposals can be defended, this paper outlines the characteristics of a standard model, which qualifies as a received view in the visual neurosciences, and of the research into natural images statistics. The objections to the standard model and the main questions of the natural images research are presented. On these grounds, this paper defends the (...) view that Gestalt psychology and experimental phenomenology provide a contribution to the research into perception by the construction of phenomenological models for an ecologically meaningful interpretation of the empirical evidence and the hypothetical constructs of the natural image research within the visual neuroscience. A formal framework for the phenomenological models is proposed, wherein Gestalt theoretical principles and empirical evidence are represented in terms of topological properties and relationships, which account for the order and structures that make the environment accessible to observers at a relevant behavioural level. It is finally argued that these models allow us to evaluate the principles and the empirical evidence of various natures which are integrated from different fields into the research into perception, and in particular into visual neurosciences. (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, we provide a detailed review of previous classifications of 2 × 2 games and suggest a mathematically simple way to classify the symmetric 2 × 2 games based on a decomposition of the payoff matrix into a cooperative and a zero-sum part. We argue that differences in the interaction between the parts is what makes games interesting in different ways. Our claim is supported by evolutionary computer experiments and findings in previous literature. In addition, we provide (...) a method for using a stereographic projection to create a compact 2-d representation of the game space. (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.

This paper aims to show that a proper understanding of what Leibniz meant by “hypercategorematic infinite” sheds light on some fundamental aspects of his conceptions of God and of the relationship between God and created simple substances or monads. After revisiting Leibniz’s distinction between (i) syncategorematic infinite, (ii) categorematic infinite, and (iii) actual infinite, I examine his claim that the hypercategorematic infinite is “God himself” in conjunction with other key statements about God. I then discuss (...) the issue of whether the hypercategorematic infinite is a “whole”, comparing the four kinds of infinite outlined by Leibniz in 1706 with the three degrees of infinity outlined in 1676. In the last section, I discuss the relationship between the hypercategorematic infinite and created simple substances. I conclude that, for Leibniz, only a being beyond all determinations but eminently embracing all determinations can enjoy the pure positivity of what is truly infinite while constituting the ontological grounding of all things. (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)

Une preuve est pure si, en gros, elle ne réfère dans son développement qu’à ce qui est « proche » de, ou « intrinsèque » à l’énoncé à prouver. L’infinité des nombres premiers, un théorème classique de l’arithmétique, est un cas d’étude particulièrement riche pour les recherches philosophiques sur la pureté. Deux preuves différentes de ce résultat sont ici considérées, à savoir la preuve euclidienne classique et une preuve « topologique » plus récente proposée par Furstenberg. D’un point de vue (...) naïf, il semblerait que la première soit pure et la seconde impure. Des objections à cette vue naïve sont ici considérées et réfutées. Concernant la preuve euclidienne, la question relève de la logique, notamment de la définissabilité arithmétique de l’addition en termes de successeur et de divisibilité telle que démontrée par Julia Robinson, tandis qu’en ce qui concerne la preuve topologique, la question relève de la sémantique, notamment pour tout ce qui touche au problème de savoir ce qui est « inclus » dans le contenu d’énoncés particuliers.A proof is pure, roughly, if it draws only on what is « close » or « intrinsic » to the statement being proved. The infinitude of prime numbers, a classical theorem of arithmetic, is a rich case study for philosophical investigation of purity. Two different proofs of this result are considered, namely the classical Euclidean proof and a more recent « topological » proof by Furstenberg. Naively the former would seem to be pure and the latter to be impure. Objections to these naive views are considered and met. In the case of the former the issue rests on logical matters, specifically the arithmetic definability of addition in terms of successor and divisibility shown by Julia Robinson, while in the case of the latter the issue rests on semantic matters, specifically with respect to what is « contained » in the content of particular statements. (shrink)

Bernard Bolzano (1781–1848) is commonly thought to have attempted to develop a theory of size for infinite collections that follows the so-called part–whole principle, according to which the whole is always greater than any of its proper parts. In this paper, we develop a novel interpretation of Bolzano’s mature theory of the infinite and show that, contrary to mainstream interpretations, it is best understood as a theory of infinite sums. Our formal results show that Bolzano’s infinite (...) sums can be equipped with the rich and original structure of a non-commutative ordered ring, and that Bolzano’s views on the mathematical infinite are, after all, consistent. (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)

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)

Rondo Keele makes a foray into what he calls 'applied logic', investigating a complex argument strategy employed against Ockham by his greatest contemporary opponent, Walter Chatton. Chatton conceives a two-part strategy which attempts to force a kind of iteration of conceptual analysis, together with an infinite explanatory regress, in order to establish that one particular philosophical analysis is ultimately dependent on another. Chatton uses this strategy against Ockham in order to show that the latter's reductionist metaphysics depends ultimately upon (...) a deeper level of realist assumptions that he can neither evade nor explain away. Keele then shows how, earlier in his career, Chatton found himself on the receiving end of this same strategy, defending his own highly original solution to the problem of future contingents from the very iteration-regress attack he would subsequently use on Ockham. Keele concludes with an examination of Chatton's attempts to avoid the consequences of his own strategy, and draws some connections between this argument strategy and modal collapse in modern logics. (shrink)

Infinite machines (IMs) can do supertasks. A supertask is an infinite series of operations done in some finite time. Whether or not our universe contains any IMs, they are worthy of study as upper bounds on finite machines. We introduce IMs and describe some of their physical and psychological aspects. An accelerating Turing machine (an ATM) is a Turing machine that performs every next operation twice as fast. It can carry out infinitely many operations in finite time. Many (...) ATMs can be connected together to form networks of infinitely powerful agents. A network of ATMs can also be thought of as the control system for an infinitely complex robot. We describe a robot with a dense network of ATMs for its retinas, its brain, and its motor controllers. Such a robot can perform psychological supertasks - it can perceive infinitely detailed objects in all their detail; it can formulate infinite plans; it can make infinitely precise movements. An endless hierarchy of IMs might realize a deep notion of intelligent computing everywhere. (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.

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.

Context: The infinite has long been an area of philosophical and mathematical investigation. There are many puzzles and paradoxes that involve the infinite. Problem: The goal of this paper is to answer the question: Which objects are the infinite numbers (when order is taken into account)? Though not currently considered a problem, I believe that it is of primary importance to identify properly the infinite numbers. Method: The main method that I employ is conceptual analysis. In (...) particular, I argue that the infinite numbers should be as much like the finite numbers as possible. Results: Using finite numbers as our guide to the infinite numbers, it follows that infinite numbers are of the structure w + (w* + w) a + w*. This same structure also arises when a large finite number is under investigation. Implications: A first implication of the paper is that infinite numbers may be large finite numbers that have not been investigated fully. A second implication is that there is no number of finite numbers. Third, a number of paradoxes of the infinite are resolved. One change that should occur as a result of these findings is that “infinitely many” should refer to structures of the form w + (w* + w) a + w*; in contrast, there are “indefinitely many” natural numbers. Constructivist content: The constructivist perspective of the paper is a form of strict finitism. (shrink)

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)

What is the relationship between knowledge and ethics? Does what we know and the reason that secures knowledge determine ethical responsibility, or might ethical responsibility itself awaken and animate the enterprise of knowing? The dissertation affirms the priority of ethics by juxtaposing two accounts of the relationship between truth and goodness. It critiques Hegel's systematic conception of absolute knowing by showing that this knowing elides the anarchical ethical demand arising from the other person. Hegel's dialectic reconciles the problem of the (...) relation with the other by transposing it to the plane of cognition where it becomes spirit's self-knowing. However, Emmanuel Levinas's phenomenological reduction of the structures of knowing exposes an ethical level of experience that both inspires and interrupts this adventure of knowing. ;After the introduction of this problematic, Chapter 1 examines the challenge that Levinas poses to Hegel, discovering in experience and subjectivity a ground where real dialogue can take place. Chapter 2 traces the reconception of subjectivity by which Hegel brings all exteriority within the experience of self-consciousness and compares this with Levinas's notion of "lived experience." In Chapter 3, I show how Levinas's account of sensibility and enjoyment resists incorporation into Hegel's notion of self-consciousness. Chapter 4 examines the encounter with the other person and explicates why Hegel's and Levinas's accounts cannot be reconciled or made to complement one another, for the non-allergic responsibility incurred in the face to face relation is inassimilable to the antagonism of the same and the other experienced as self-consciousness. Then, in Chapter 5, I trace Hegel's pursuit of a more authentic recognition of otherness through the development of the concept of spirit, paying special attention to the role of language. The ultimate accomplishment of spiritual recognition in Hegel's account is again challenged by Levinas's notion of responsibility, which signifies as an ethical "saying" apart from the "said." Finally, I contest the absoluteness of knowing without denying the dialectic that animates it by suggesting that philosophy can be maintained as a human enterprise, a pursuit of knowing that is ever subject to and interrupted by the face of the other. (shrink)

Among recent objections to Pascal's Wager, two are especially compelling. The first is that decision theory, and specifically the requirement of maximizing expected utility, is incompatible with infinite utility values. The second is that even if infinite utility values are admitted, the argument of the Wager is invalid provided that we allow mixed strategies. Furthermore, Hájek has shown that reformulations of Pascal's Wager that address these criticisms inevitably lead to arguments that are philosophically unsatisfying and historically unfaithful. Both (...) the objections and Hájek's philosophical worries disappear, however, if we represent our preferences using relative utilities rather than a one-place utility function. Relative utilities provide a conservative way to make sense of infinite value that preserves the familiar equation of rationality with the maximization of expected utility. They also provide a means of investigating a broader class of problems related to the Wager. (shrink)