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

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)

According to D. Bohm’s interpretation of quantum mechanics, a particle always has a well-defined spatial trajectory. A change in boundary conditions can nonlocally change that trajectory. In this note we point out a striking instance of this phenomenon that is easy to understand qualitatively.

We present an infinite-game characterization of the well-founded semantics for function-free logic programs with negation. Our game is a simple generalization of the standard game for negation-less logic programs introduced by van Emden [M.H. van Emden, Quantitative deduction and its fixpoint theory, Journal of Logic Programming 3 37–53] in which two players, the Believer and the Doubter, compete by trying to prove a query. The standard game is equivalent to the minimum Herbrand model semantics of logic programming in (...) the sense that a query succeeds in the minimum model semantics iff the Believer has a winning strategy for the game which begins with the Doubter doubting this query. The game for programs with negation that we propose follows the same rules as the standard one, except that the players swap roles every time the play “passes through” negation. We start our investigation by establishing the determinacy of the new game by using some classical tools from the theory of infinite-games. Our determinacy result immediately provides a novel and purely game-theoretic characterization of the semantics of negation in logic programming. We proceed to establish the connections of the game semantics to the existing semantic approaches for logic programming with negation. For this purpose, we first define a refined version of the game that uses degrees of winning and losing for the two players. We then demonstrate that this refined game corresponds exactly to the infinite-valued minimum model semantics of negation [P. Rondogiannis,W.W. Wadge, Minimum model semantics for logic programs with negation-as-failure, ACM Transactions on Computational Logic 6 441–467]. This immediately implies that the unrefined game is equivalent to the well-founded semantics. (shrink)

Alexander Pruss and I have proposed an analysis of omnipotence which makes no use of the problematic terms 'power' and 'ability'. However, this raises an obvious worry: if our analysis is not related to the notion of power, then how can it count as an analysis of omnipotence, the property of being all-powerful, at all? In this paper, I show how omnipotence can be understood as the possession of infinite power (general, universal, or unlimited power) rather than the possession (...) of particular powers. I then argue that the ordinary notions of particular powers or abilities can be understood as applying vague limitations to the notion of infinite power. The vagueness of these limitations is the source of the well-known difficulties in the analysis of ability. (shrink)

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

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

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)

One of the standard objections against the impossibility of infinite regress is associated with David Hume and Paul Edwards, but originates with William Ockham. They claim that in an infinite regress every member of the series is explained, and nothing is unexplained. Every member is explained by the one before it, and the series as a whole is nothing over and above its members, and so needs no cause of its own. Utilizing the well-known Thomistic distinction between (...) essentially ordered and accidentally ordered causal series, I show that the Hume-Edwards-Ockham objection fails to touch Aquinas’s argument against the impossibility of infinite regress in an essentially ordered series. However, Aquinas also argues that accidentally ordered causal series can only regress infinitely if supported by an everlasting essential cause. The Hume-Edwards-Ockham objection does raise a question about this thesis, but I show how St. Thomas can reply to it convincingly. (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 book explores the bizarre but fascinating world of infinity in different disciplines of knowledge; mathematics, science, philosophy and religion. It projects the views of eastern as well as western scholars. This world is not only mysterious but also treacherous and conceals many conundrums such as a multitude of infinities, the mystic's experience of the infinite, conception of God as absolute infinity. The author also discusses many paradoxes relating to space and time. It is interesting to discover that (...) some eastern philosophies try to reconcile two opposite concepts of sunya (zero) and Ananta (the infinite). The author also ventures to address a difficult question: Does infinity exist as a physical reality? (shrink)

Infinite in All Directions is a popularized science at its best. In Dyson's view, science and religion are two windows through which we can look out at the world around us. The book is a revised version of a series of the Gifford Lectures under the title "In Praise of Diversity" given at Aberdeen, Scotland. They allowed Dyson the license to express everything in the universe, which he divided into two parts in polished prose: focusing on the diversity of (...) the natural world as the first, and the diversity of human reactions as the second half. Chapter 1 is a brief explanation of Dyson's attitudes toward religion and science. Chapter 2 is a one-hour tour of the universe that emphasizes the diversity of viewpoints from which the universe can be encountered as well as the diversity of objects which it contains. Chapter 3 is concerned with the history of science and describes two contrasting styles in science: one welcoming diversity and the other deploring it. He uses the cities of Manchester and Athens as symbols of these two ways of approaching science. Chapter 4, concerned with the origin of life, describes the ideas of six illustrious scientists who have struggled to understand the nature of life from various points of view. Chapter 5 continues the discussion of the nature and evolution of life. The question of why life characteristically tends toward extremes of diversity remains central in all attempts to understand life's place in the universe. Chapter 6 is an exercise in eschatology, trying to define possible futures for life and for the universe, from here to infinity. In this chapter, Dyson crosses the border between science and science fiction and he frames his speculations in a slightly theological context. (shrink)

One finds intertwined with ideas at the core of evolutionary theory claims about frequencies in counterfactual and infinitely large populations of organisms, as well as in sets of populations of organisms. One also finds claims about frequencies in counterfactual and infinitely large populations—of events—at the core of an answer to a question concerning the foundations of evolutionary theory. The question is this: To what do the numerical probabilities found throughout evolutionary theory correspond? The answer in question says that evolutionary (...) probabilities are “hypothetical frequencies” (including what are sometimes called “long-run frequencies” and “long-run propensities”). In this paper, I review two arguments against hypothetical frequencies. The arguments have implications for the interpretation of evolutionary probabilities, but more importantly, they seem to raise problems for biologists’ claims about frequencies in counterfactual or infinite populations of organisms and sets of populations of organisms. I argue that when properly understood, claims about frequencies in large and infinite populations of organisms and sets of populations are not threatened by the arguments. Seeing why gives us a clearer understanding of the nature of counterfactual and infinite population claims and probability in evolutionary theory. (shrink)

Quantum mechanics of a particle in an infinite square well under the influence of a time-dependent electric field is reconsidered. In some gauge, the Hamiltonian depends linearly on the momentum operator, which is symmetric but not self-adjoint when defined on a finite interval. In spite of this symmetric part, the Hamiltonian operator is shown to be self-adjoint. This follows from a theorem by Kato and Rellich which guarantees the stability of a self-adjoint operator under certain symmetric perturbations. The (...) result, which has been assumed tacitly by other authors, is important in order to establish the equivalence of different Hamiltonian operators related to each other by quantum gauge transformations. (shrink)

Paradoxes of the Infinite presents one of the most insightful, yet strangely unacknowledged, mathematical treatises of the 19 th century: Dr Bernard Bolzano’s Paradoxien . This volume contains an adept translation of the work itself by Donald A. Steele S.J., and in addition an historical introduction, which includes a brief biography as well as an evaluation of Bolzano the mathematician, logician and physicist.

This paper criticizes non-constructive uses of set theory in formal economics. The main focus is on results on preference aggregation and Arrow’s theorem for infinite electorates, but the present analysis would apply as well, e.g., to analogous results in intergenerational social choice. To separate justified and unjustified uses of infinite populations in social choice, I suggest a principle which may be called the Hildenbrand criterion and argue that results based on unrestricted axiom of choice do not meet (...) this criterion. The technically novel part of this paper is a proposal to use a set-theoretic principle known as the axiom of determinacy ), not as a replacement for Choice, but simply to eliminate applications of set theory violating the Hildenbrand criterion. A particularly appealing aspect of \ from the point of view of the research area in question is its game-theoretic character. (shrink)

Those who wish to claim that all facts about grounding are themselves grounded (“the meta-grounding thesis”) must defend against the charge that such a claim leads to infinite regress and violates the well-foundedness of ground. In this paper, we defend. First, we explore three distinct but related notions of “well-founded”, which are often conflated, and three corresponding notions of infinite regress. We explore the entailment relations between these notions. We conclude that the meta-grounding thesis need not (...) lead to tension with any of the three notions of “well-founded”. Finally, we explore the details of and motivations for further conditions on ground that one might add to generate a conflict between the meta-grounding thesis and a well-founded constraint. We explore these topics by developing and utilizing a formal framework based on the notion of a grounding structure. (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)

As an application of his Material Theory of Induction, Norton (2018; manuscript) argues that the correct inductive logic for a fair infinite lottery, and also for evaluating eternal inflation multiverse models, is radically different from standard probability theory. This is due to a requirement of label independence. It follows, Norton argues, that finite additivity fails, and any two sets of outcomes with the same cardinality and co-cardinality have the same chance. This makes the logic useless for evaluating multiverse models (...) based on self-locating chances, so Norton claims that we should despair of such attempts. However, his negative results depend on a certain reification of chance, consisting in the treatment of inductive support as the value of a function, a value not itself affected by relabeling. Here we define a purely comparative infinite lottery logic, where there are no primitive chances but only a relation of ‘at most as likely’ and its derivatives. This logic satisfies both label independence and a comparative version of additivity as well as several other desirable properties, and it draws finer distinctions between events than Norton's. Consequently, it yields better advice about choosing between sets of lottery tickets than Norton's, but it does not appear to be any more helpful for evaluating multiverse models. Hence, the limitations of Norton's logic are not entirely due to the failure of additivity, nor to the fact that all infinite, co-infinite sets of outcomes have the same chance, but to a more fundamental problem: We have no well-motivated way of comparing disjoint countably infinite sets. (shrink)

In this dissertation we discuss infinite regress arguments from both a historical and a logical perspective. Throughout we deal with arguments drawn from various areas of philosophy. ;We first consider the regress generating portion of the argument. We find two main ways in which infinite regresses can be developed. The first generates a regress by defining a relation that holds between objects of some kind. An example of such a regress is the causal regress used in some versions (...) of the Cosmological Argument. The second sort of regress is generated by defining a certain procedure that can be repeated indefinitely many times. This will often be a procedure of analysis or of explanation. ;We then argue that for purposes of discussing regressive viciousness it is helpful to divide regresses into two main types. One type raises primarily epistemological issues. In this class we find the regress of justification often used in foundational arguments in epistemology. We also discuss certain arguments that treat theories of predication as attempts to explain predication. Our other class contains those regresses that raise primarily metaphysical problems. This class includes the causal regress as well as those arguments concerned with predication as an ontological problem. ;We agree with some philosophers that one problem that arises in the case of vicious regression is circularity. We show how this problem can be generalized to include other apparently non-circular regresses. The other main problem in epistemological regresses arises as a result of certain conditions that are placed on the relation involved. We look in detail at the epistemological justification regress to illustrate this last point. ;With respect to metaphysical regresses we again find several types of viciousness arguments. One problem is whether the infinite collection required for the regress is even possible. Another problem is whether an infinite number of events can occur in a finite time. These we deal with only briefly. The main difficulty with these regresses, considered as regresses and not just as infinite sets, again turns out to be certain conditions built into the relation involved. We focus on some arguments about causal regression to illustrate this point. ;Finally, we find no absolutely general conditions for regressive viciousness. There is, however, a certain limited range of ways in which a regress may be vicious. We make these ways explicit. (shrink)

Having been raised as a Catholic and educated in the West, then trained as a monk in India since the 1980s, Canadian author Swami Muktananda of Rishikesh is uniquely positioned to bring the Eastern tradition of Vedanta to Western spiritual seekers. In Awakening to the Infinite, he answers the eternal, fundamental question posed by philosophical seekers, "Who am I?" with straightforward simplicity. Knowing who you are and adopting a spiritual outlook, he counsels, can help solve problems in daily life (...) to do with relationships, work, children, sexuality, illness, and social injustice. In answering the question "Who am I?," Swami Muktananda of Rishikesh draws on the ancient teachings of advaita or nonduality, the truth that there is no division between ourselves and others at a fundamental level. The book is drawn from the many conversations he has throughout the year meeting with individuals from different backgrounds, cultures, and walks of life, as well as public talks and question and answer sessions. Covering subjects ranging from the spiritual path to everyday problems, Muktananda addresses questions with simplicity and compassion, from the standpoint of someone who is anchored in the infinite but fully in touch with the world. His teaching follows the words of Christ and the Old Testament as well as those of the sages of India, who all proclaim a universal truth that transcends all religions: 'You are not the body; you are not the mind; you are the immortal, divine Self. Realize this and be free.'. (shrink)

Cantor’s theory of cardinal numbers offers a way to generalize arithmetic from finite sets to infinite sets using the notion of one-to-one association between two sets. As is well known, all countable infinite sets have the same ‘size’ in this account, namely that of the cardinality of the natural numbers. However, throughout the history of reflections on infinity another powerful intuition has played a major role: if a collectionAis properly included in a collectionBthen the ‘size’ ofAshould be (...) less than the ‘size’ ofB(part–whole principle). This second intuition was not developed mathematically in a satisfactory way until quite recently. In this article I begin by reviewing the contributions of some thinkers who argued in favor of the assignment of different sizes to infinite collections of natural numbers (Thabit ibn Qurra, Grosseteste, Maignan, Bolzano). Then, I review some recent mathematical developments that generalize the part–whole principle to infinite sets in a coherent fashion (Katz, Benci, Di Nasso, Forti). Finally, I show how these new developments are important for a proper evaluation of a number of positions in philosophy of mathematics which argue either for the inevitability of the Cantorian notion of infinite number (Gödel) or for the rational nature of the Cantorian generalization as opposed to that, based on the part–whole principle, envisaged by Bolzano (Kitcher). (shrink)

The infinite-valued semantics was introduced in Rondogiannis and Wadge (2005) as a purely logical way for capturing the meaning of well-founded negation in logic programming. The purpose of this paper is threefold: first, to give a non-technical introduction to the infinite-valued semantics; second, to discuss the applicability of the infinite-valued approach to syntactically richer extensions of logic programming; and third, to present the main open problems whose resolution would further enhance the applicability of the technique.

We study theorems from Functional Analysis with regard to their relationship with various weak choice principles and prove several results about them: “Every infinite‐dimensional Banach space has a well‐orderable Hamel basis” is equivalent to ; “ can be well‐ordered” implies “no infinite‐dimensional Banach space has a Hamel basis of cardinality ”, thus the latter statement is true in every Fraenkel‐Mostowski model of ; “No infinite‐dimensional Banach space has a Hamel basis of cardinality ” is not (...) provable in ; “No infinite‐dimensional Banach space has a well‐orderable Hamel basis of cardinality ” is provable in ; (the Axiom of Choice for denumerable families of non‐empty finite sets) is equivalent to “no infinite‐dimensional Banach space has a Hamel basis which can be written as a denumerable union of finite sets”; Mazur's Lemma (“If X is an infinite‐dimensional Banach space, Y is a finite‐dimensional vector subspace of X, and, then there is a unit vector such that for all and all scalars α”) is provable in ; “A real normed vector space X is finite‐dimensional if and only if its closed unit ball is compact” is provable in ; (Principle of Dependent Choices) + “ can be well‐ordered” does not imply the Hahn‐Banach Theorem () in ; and “no infinite‐dimensional Banach space has a Hamel basis of cardinality ” are independent from each other in ; “No infinite‐dimensional Banach space can be written as a denumerable union of finite‐dimensional subspaces” lies in strength between (the Axiom of Countable Choice) and ; implies “No infinite‐dimensional Banach space can be written as a denumerable union of closed proper subspaces” which in turn implies ; “Every infinite‐dimensional Banach space has a denumerable linearly independent subset” is a theorem of, but not a theorem of ; and “Every infinite‐dimensional Banach space has a linearly independent subset of cardinality ” implies “every Dedekind‐finite set is finite”. (shrink)

Renowned scholar Robert Adams explores the relation between religion and ethics through a comprehensive philosophical account of a theistically-based framework for ethics. Adams' framework begins with the good rather than the right, and with excellence rather than usefulness. He argues that loving the excellent, of which adoring God is a clear example, is the most fundamental aspect of a life well lived. Developing his original and detailed theory, Adams contends that devotion, the sacred, grace, martyrdom, worship, vocation, faith, and (...) other concepts drawn from religious ethics have been sorely overlooked in moral philosophy and can enrich the texture of ethical thought. (shrink)

I consider the natural infinitary variations of the games Wordle and Mastermind, as well as their game‐theoretic variations Absurdle and Madstermind, considering these games with infinitely long words and infinite color sequences and allowing transfinite game play. For each game, a secret codeword is hidden, which the codebreaker attempts to discover by making a series of guesses and receiving feedback as to their accuracy. In Wordle with words of any size from a finite alphabet of n letters, including (...) infinite words or even uncountable words, the codebreaker can nevertheless always win in n steps. Meanwhile, the mastermind number, defined as the smallest winning set of guesses in infinite Mastermind for sequences of length ω over a countable set of colors without duplication, is uncountable, but the exact value turns out to be independent of, for it is provably equal to the eventually different number, which is the same as the covering number of the meager ideal. I thus place all the various mastermind numbers, defined for the natural variations of the game, into the hierarchy of cardinal characteristics of the continuum. (shrink)

The paper concerns the algebraic structure of the set of cumulative distribution functions as well as the relationship between the resulting algebra and the infinite-valued Łukasiewicz algebra. The paper also discusses interrelations holding between the logical systems determined by the above algebras.

In his latest book Christopher Bollas uses detailed studies of real clinical practice to illuminate a theory of psychoanalysis which privileges the human impulse to question. From earliest childhood to the end of our lives, we are driven by this impulse in its varying forms, and _The Infinite Question_ illustrates how Freud's free associative method provides both patient and analyst with answers and, in turn, with an ongoing interplay of further questions. At the book's core are transcripts of real (...) analytical sessions, accompanied by parallel commentaries which highlight key aspects of the free associative method in practice. These transcripts are contextualised by further discussion of the cases themselves, as well as a wider theoretical framework which places its emphasis on Freud's theory of the logic of sequence: by learning to listen to this free associative logic, Bollas argues, we can discover a richer and more complex unconscious voice than if we rely solely on Freud's theory of repressed ideas. Bollas demonstrates, in an eloquent and persuasive manner, how the Freudian position of evenly suspended attentiveness enables the analyst's unconscious to catch the drift of the patient's own unconscious. He also shows that to stimulate further questioning is often of more benefit to the analytical process than to jump to an interpretation. Yet whatever fascinating course a session may take, neither the patient nor the analyst can halt the progress of the self-propelling interrogative drive. _The Infinite Question_ will be invaluable to both the new student and the experienced psychoanalyst, read either on its own or as a practice-based extension of the theoretical ideas elaborated in its companion volume, _The Evocative Object World_. (shrink)

_Paradoxes of the Infinite_ presents one of the most insightful, yet strangely unacknowledged, mathematical treatises of the 19 th century: Dr Bernard Bolzano’s _Paradoxien_. This volume contains an adept translation of the work itself by Donald A. Steele S.J., and in addition an historical introduction to the masterpiece, which includes a brief biography as well as an evaluation of Bolzano the mathematician, logician and physicist.

The present article seeks to inquire the nature of Novalis’ difficult relation with philosophy. By founding this relation in a primordial spiritual conflict, wherein philosophy is the cause and the solution for the latter, as well as in an inescapable mythical understanding, wherein philosophy is at the same time necessary, and yet necessarily expendable, we intend to prove Novalis’ own seemingly contradictory, yet infinitely productive concept of philosophizing: one where philosophizing is a ductile, organic way of dealing with the (...) problem between the human being and the absolute. Furthermore, we wish to prove how this is most visibly considered in the sub-problem of the origin of philosophy, which sets the tone for Novalis’ remaining philosophical edifice and inscribes him as one of the leading opposers of a systematic philosophy – and hence, as an advocator of the impossibility of attaining the absolute through philosophy. (shrink)

_Paradoxes of the Infinite_ presents one of the most insightful, yet strangely unacknowledged, mathematical treatises of the 19 th century: Dr Bernard Bolzano’s _Paradoxien_. This volume contains an adept translation of the work itself by Donald A. Steele S.J., and in addition an historical introduction, which includes a brief biography as well as an evaluation of Bolzano the mathematician, logician and physicist.

We model infinite regress structures -not arguments- by means of ungrounded recursively defined functions in order to show that no such structure can perform the task of providing determination to the items composing it, that is, that no determination process containing an infinite regress structure is successful.

Traditional act utilitarianism judges an action permissible just in case it produces as much aggregate utility as any alternative. It is often supposed that utilitarianism faces a serious problem if the future is infinitely long. For in that case, actions may produce an infinite amount of utility. And if that is so for most actions, then utilitarianism, it appears, loses most of its power to discriminate among actions. For, if most actions produce an infinite amount of utility, then (...) few actions produce non-maximal utility, and so most actions are permissible.1 I will argue that potentially infinite futures create no major problems for utilitarianism. Utilitarianism has, I argue, the resources to distinguish among actions all of which produce infinite amounts of utility -- judging some permissible and some impermissible. For brevity of expression I will focus on act utilitarianism, but all the points apply equally well to many other traditional forms of utilitarianism. (shrink)

In his article “Directed Duties and Inalienable Rights,” Hillel Steiner advances an argument to show that there cannot be inalienable rights. This “impossibility theorem,” as well as providing an interesting result by itself, could break the theoretical deadlock in the debate between proponents of interest theory, on the one hand, and proponents of will theory, on the other. In this article, I comment on Steiner’s argument, and I try to show why it does not work. I then expound a (...) paradoxical outcome of the Hohfeldian analytical framework and examine how it might be amended to avoid this outcome. (shrink)

When it comes to specifying the moral duties we bear towards future generations, most political philosophers position themselves on what could be regarded as a safe ground. A variant of the Lockean proviso is commonplace in the literature on intergenerational justice, taking the form of an obligation to bestow upon future people a minimum of goods necessary for reaching a certain threshold of well-being (Meyer, 2017). Furthermore, even this minimum is often frowned upon, given the non-identity problem and the (...) challenges this presents to the topic of justice between generations. Additional issues are raised at the level of non-ideal theory, the most significant being the problem of non-compliance (Gosseries and Meyer, 2009).In this paper I intend to probe the limits of “practical political possibility” (Rawls 1999), by inquiring whether embracing the sufficiency view (Frankfurt, 1987; Crisp, 2003; Benbaji, 2005) as a distributive pattern and capabilities as a metric can lead to more burdensome obligations for present generations. More specifically, I try to show that we have a duty to invest in research that aims at prolonging the lifespan of humans (the idea can already be found in the sufficientarian literature, for instance in Farrelly, 2007). Moreover, given the Earth’s limited resources, we ought to encourage the terraforming of other planets in order to make them inhabitable for (future) people.I argue that these two seemingly far-fetched projects are in fact worthwhile goals to pursue on the one hand, and moral obligations on the other hand. Nonetheless, they are not the only ones we ought to take on; for instance, we must simultaneously pursue them and try to improve the prospects of those who fall under a sufficiency threshold here and now. That is, specifying these (prima facie) duties towards future generations is connected with stronger obligations towards the current generation.Towards the end of the paper I engage in a discussion regarding the role of the feasibility constraint in a theory of justice, as rationales pertaining to feasibility are perhaps going to be the most recurrent criticisms raised against my proposal. To that end, I defend limitarian policies, which aim at setting an upper limit to how much money individuals are allowed to possess (Robeyns, 2017; Volacu and Dumitru, 2019). (shrink)

It is well known that Leibniz advocated the actual infinite, but that he did not admit infinite collections or infinite numbers. But his assimilation of this account to the scholastic notion of the syncategorematic infinite has given rise to controversy. A common interpretation is that in mathematics Leibniz’s syncategorematic infinite is identical with the Aristotelian potential infinite, so that it applies only to ideal entities, and is therefore distinct from the actual infinite (...) that applies to the actual world. Against this, I argue in this paper that Leibniz’s actual infinite, understood syncategorematically, applies to any entities that are actually infinite in multitude, whether numbers, actual parts of matter, or monads. It signifies that there are more of them than can be assigned a number, but that there is no infinite number or collection of them, which notion involves a contradiction. Similarly, to say that a magnitude is actually infinitely small in the syncategorematic sense is to say that no matter how small a magnitude one takes, there is a smaller, but there are no actual infinitesimals. In geometry one may calculate with expressions apparently denoting such entities, on the understanding that they are fictions, standing for variable magnitudes that can be made arbitrarily small, so as to produce demonstrations that there is no error in the resulting expressions. (shrink)

It is known that the behavior of the Mitchell order substantially changes at the level of rank-to-rank extenders, as it ceases to be well-founded. While the possible partial order structure of the Mitchell order below rank-to-rank extenders is considered to be well understood, little is known about the structure in the ill-founded case. The purpose of the paper is to make a first step in understanding this case, by studying the extent to which the Mitchell order can be (...) ill-founded. Our main results are in the presence of a rank-to-rank extender there is a transitive Mitchell order decreasing sequence of extenders of any countable length, and there is no such sequence of length $$\omega _1$$ ω 1. (shrink)

There is a well-known equivalence between avoiding accuracy dominance and having probabilistically coherent credences (see, e.g., de Finetti 1974, Joyce 2009, Predd et al. 2009, Pettigrew 2016). However, this equivalence has been established only when the set of propositions on which credence functions are defined is finite. In this paper, I establish connections between accuracy dominance and coherence when credence functions are defined on an infinite set of propositions. In particular, I establish the necessary results to extend the (...) classic accuracy argument for probabilism to certain classes of infinite sets of propositions including countably infinite partitions. (shrink)

There has been much speculation among intellectuals and philosophers about the qualitative changes in our habits of communication that have come with electronic technology - so much so that we have perhaps neglected the most obvious quantitative effect: without any doubt, human beings have never been obliged to communicate as frequently as is the case in our electronic present - with the unsurprising and well known consequence that we constantly feel "behind" in our electronic obligations to communicate. From a (...) (pseudo-) ethical point of view, the even more oppressive flip side of this phenomenon is one's need to be constantly "available," the result of which we all know: seminar discussions, religious services, or moments of erotic delight interrupted by ringing cellphones or by a constant anxiety that one needs to check one's e-mail. The main interest of this essay is to explore the existential consequences of this new - and enslaving - law of "universal availability." But this entire polemic is accompanied by the author's concession that his own - very subjective - reaction to electronic communication may well be the (legitimate) reaction of old age. (shrink)

With the help of syncretiсs as a new philosophical logic, the philosophy of carriers, the theory of similarity and the theory of Infinite Hierarchical Nesting of Matter, the problems of modern physics are analyzed. We consider the classical and relativistic mechanics, the special and general theories of relativity, the theory of electromagnetic and gravitational fields, of weak and strong interactions. The goal is axiomatization of these theories, building models of elementary particles and of their interactions with each other. The (...) main obtained results are: the model of bead lightning; an explanation of redshift of the spectra of galaxies; the derivation of the Newton law in the concept of gravitons; the calculation of nuclear forces and the structure of simplest nuclei with the help of the theory of strong gravitation; building the model of weak interactions of elementary particles; presentation of quarks as a particular type of quasiparticles; explanation of the electron spin. The book should be useful for students and researchers, as well as for those interested in physical and philosophical problems. Tables 20. Fig. 30. Ref. 155 titles. (shrink)

The purpose of this paper is to explain how infinitism—the view that reasons are endless and non-repeating—solves the epistemic regress problem and to defend that solution against some objections. The first step is to explain what the epistemic regress problem is and, equally important, what it is not. Second, I will discuss the foundationalist and coherentist responses to the regress problem and offer some reasons for thinking that neither response can solve the problem, no matter how they are tweaked. Then, (...) I want to present the infinitist solution to the problem and defend it against some of the well known objections to it. (shrink)

The representations of deep convolutional neural networks (CNNs) are formed from generalizing similarities and abstracting from differences in the manner of the empiricist theory of abstraction (Buckner, Synthese 195:5339–5372, 2018). The empiricist theory of abstraction is well understood to entail infinite regress and circularity in content constitution (Husserl, Logical Investigations. Routledge, 2001). This paper argues these entailments hold a fortiori for deep CNNs. Two theses result: deep CNNs require supplementation by Quine’s “apparatus of identity and quantification” in order (...) to (1) achieve concepts, and (2) represent objects, as opposed to “half-entities” corresponding to similarity amalgams (Quine, Quintessence, Cambridge, 2004, p. 107). Similarity amalgams are also called “approximate meaning[s]” (Marcus & Davis, Rebooting AI, Pantheon, 2019, p. 132). Although Husserl inferred the “complete abandonment of the empiricist theory of abstraction” (a fortiori deep CNNs) due to the infinite regress and circularity arguments examined in this paper, I argue that the statistical learning of deep CNNs may be incorporated into a Fodorian hybrid account that supports Quine’s “sortal predicates, negation, plurals, identity, pronouns, and quantifiers” which are representationally necessary to overcome the regress/circularity in content constitution and achieve objective (as opposed to similarity-subjective) representation (Burge, Origins of Objectivity. Oxford, 2010, p. 238). I base myself initially on Yoshimi’s (New Frontiers in Psychology, 2011) attempt to explain Husserlian phenomenology with neural networks but depart from him due to the arguments and consequently propose a two-system view which converges with Weiskopf’s proposal (“Observational Concepts.” The Conceptual Mind. MIT, 2015. 223–248). (shrink)

With the help of syncretiсs as a new philosophical logic, the philosophy of carriers, the theory of similarity and the theory of Infinite Hierarchical Nesting of Matter, the problems of modern physics are analyzed. We consider the classical and relativistic mechanics, the special and general theories of relativity, the theory of electromagnetic and gravitational fields, of weak and strong interactions. The goal is axiomatization of these theories, building models of elementary particles and of their interactions with each other. The (...) main obtained results are: description of the electrokinetic theory of the origin of magnetic fields in cosmic bodies; calculation of metric in the uniformly accelerated reference frame; the axiomatic construction of electrodynamics, Lorentz invariant (LITG) and covariant theories of gravitation (CTG); comparing CTG with the general theory of relativity and with the results of gravitational experiments. Among other results – the analysis of the properties of ether as the medium responsible for transfer of electromagnetic and gravitational waves, and derivation of the formula for entropy in a tensor form. For students and researchers, as well as for those interested in physical and philosophical problems. (shrink)

We discuss Herzberg’s :319–337, 2015) treatment of linear aggregation for profiles of infinitely many finitely additive probabilities and suggest a natural alternative to his definition of linear continuous aggregation functions. We then prove generalizations of well-known characterization results due to :410–414, 1981). We also characterize linear aggregation of probabilities in terms of a Pareto condition, de Finetti’s notion of coherence, and convexity.

In an earlier paper we have shown that a proposition can have a well-defined probability value, even if its justification consists of an infinite linear chain. In the present paper we demonstrate that the same holds if the justification takes the form of a closed loop. Moreover, in the limit that the size of the loop tends to infinity, the probability value of the justified proposition is always well-defined, whereas this is not always so for the (...) class='Hi'>infinite linear chain. This suggests that infinitism sits more comfortably with a coherentist view of justification than with an approach in which justification is portrayed as a linear process. (shrink)

In his book, The Principles of Mathematics , the young Bertrand Russell abandoned the common-sense notion that the whole must be greater than its part, and argued that wholes and their parts can be similar, e.g. where both are infinite series, the one being a sub-series of the other. He also rejected the popular view that the idea of an infinite number is self-contradictory, and that an infinite set or collection is an impossibility. In this paper, I (...) intend to re-examine Russell's wisdom in doing both these things, and see if it might not have made more sense, and caused his enterprise fewer problems, if he had simply stuck to our commonplace ideas. To this end, I shall also be considering his treatment of certain paradoxes that he claims can only be resolved by the abandonment of the above notions, as well as certain others which his theories appear to have generated. (shrink)

By exploiting the parallels between large, yet finite lotteries on the one hand and countably infinite lotteries on the other, we gain insights in the foundations of probability theory as well as in epistemology. We solve the 'adding problems' that occur in these two contexts using a similar strategy, based on non-standard analysis.