After generalizing the Archimedean property of real numbers in such a way as to make it adaptable to non-numeric structures, we demonstrate that the real numbers cannot be used to accurately measure non-Archimedean structures. We argue that, since an agent with Artificial General Intelligence (AGI) should have no problem engaging in tasks that inherently involve non-Archimedean rewards, and since traditional reinforcement learning rewards are real numbers, therefore traditional reinforcement learning probably will not lead to AGI. We indicate two possible ways (...) traditional reinforcement learning could be altered to remove this roadblock. (shrink)

We prove a representation theorem for preference relations over countably infinite lotteries that satisfy a generalized form of the Independence axiom, without assuming Continuity. The representing space consists of lexicographically ordered transfinite sequences of bounded real numbers. This result is generalized to preference orders on abstract superconvex spaces.

Non-Archimedean population axiologies – also known as lexical views – claim (i) that a sufficient number of lives at a very high positive welfare level would be better than any number of lives at a very low positive welfare level and/or (ii) that a sufficient number of lives at a very low negative welfare level would be worse than any number of lives at a very high negative welfare level. Such axiologies are popular because they can avoid the (Negative) Repugnant (...) Conclusion and satisfy the adequacy conditions given in the central impossibility result in population axiology due to Gustaf Arrhenius. I provide a novel argument against them which appeals to the way that good and bad lives can intuitively outweigh one other. (shrink)

According to the orthodox account of meaning and translation in the literature, meaning is a property of expressions of a language, and translation is a matching of synonymous expressions across languages. This linguistic account of translation gives rise to well-known skeptical conclusions about translation, objectivity, meaning and truth, but it does not conform to our best translational practices. In contrast, I argue for a textual account of meaning based on the concept of a TEXT-TYPE that does conform to our best (...) translational practices. With their semantic function in view, text-types are Archimedean points for their respective disciplines. The text-type of philosophy is no exception. Culture-transcendent conceptual analysis can proceed on firm footing without having to deny the reality of radical cultural and linguistic difference by treating components of text-types as the concepts to be analyzed. Analyses of central philosophical concepts are provided as a means of adjudicating philosophical controversy. (shrink)

In 1980 F. Wattenberg constructed the Dedekind completion

d of the Robinson non-archimedean field

and established basic algebraic properties of

d [6]. In 1985 H. Gonshor established further fundamental properties of

d [7].In [4] important construction of summation of countable sequence of Wattenberg numbers was proposed and corresponding basic properties of such summation were considered. In this paper the important applications of the Dedekind completion

d in transcendental number theory were considered. We dealing using set theory ZFC
(
-model of ZFC).Given (...) an class of analytic functions of one complex variable f  

z, we investigate the arithmetic nature of the values of fz at transcendental points en, n  .Main results are: (i) the both numbers e
 and e   are irrational, (ii) number ee is transcendental. Nontrivial generalization of the Lindemann- Weierstrass theorem is obtained. (shrink)

Metaethics is traditionally understood as a non-moral discipline that examines moral judgements from a standpoint outside of ethics. This orthodox understanding has recently come under pressure from anti-Archimedeans, such as Ronald Dworkin and Matthew Kramer, who proclaim that rather than assessing morality from an external perspective, metaethical theses are themselves substantive moral claims. In this paper, I scrutinise this anti-Archimedean challenge as applied to the metaethical position of expressivism. More precisely, I examine the claim that expressivists do not avoid moral (...) commitments when accounting for moral thought, but instead presuppose them; they do not look at ethics from the outside, but operate from within ethics. This paper defends the non-moral status of expressivism against anti-Archimedeanism by rejecting a new anti-Archimedean challenge which, on the basis of Hume’s Law, aims to exploit expressivist explanations of supervenience in order to show that expressivism is a substantive moral position. (shrink)

What effect has finding the Archimedean point in ourselves had on how we look at ethics? The modern era of philosophy began with Descartes finding within himself an unshakable point from which to pursue knowledge of the world and himself. This intellectual alienation from the world into the universal mathematical structures of the human mind has led to a reversal where, henceforth, production, rather than contemplation, of knowledge became epistemologically superior. Guided by Hannah Arendt’s discussion of the Archimedean point and (...) Earth alienation in the Human Condition, I will argue that this scientific form of thinking made its way into ethical investigation in the age of modern philosophy. Furthermore, I will provide an analysis of Kant’s categorical imperative and John Stuart Mill’s utilitarianism to show that despite modern science’s success in elucidating universal laws of nature, a scientific approach to ethics has not universalized our judgments of good and evil. (shrink)

Lexical views in population axiology can avoid the Repugnant Conclusion without violating Transitivity or Separability. However, they imply a dilemma: either some good life is better than any number of slightly worse lives, or else the ‘at least as good as’ relation on populations is radically incomplete. In this paper, I argue that Archimedean views face an analogous dilemma. I thus conclude that the lexical dilemma gives us little reason to prefer Archimedean views. Even if we give up on lexicality, (...) problems of the same kind remain. (shrink)

We study whether it is possible to generalise Seidenfeld et al.’s representation result for coherent choice functions in terms of sets of probability/utility pairs when we let go of Archimedeanity. We show that the convexity property is necessary but not sufficient for a choice function to be an infimum of a class of lexicographic ones. For the special case of two-dimensional option spaces, we determine the necessary and sufficient conditions by weakening the Archimedean axiom.

Archimedes of Syracuse has long provided a touchstone for considering how we make and acquire knowledge. Since the early Roman chroniclers of Archimedes’ life, and especially intensively since Descartes, scholars have described, sought, or derided the Archimedean point, defining and redefining its epistemic role. “Knowledge,” at least within modernity, is rhetorically tied to the figure of the Archimedean point, a place somewhere outside a regular and constrained world of experience. If this figure still leads to useful ways of thinking about (...) knowing, we are left with the question of how different modes of making knowledge approach their “Archimedean” points. The question is especially important today as a renewed .. (shrink)

We study the representation of sets of desirable gambles by sets of probability mass functions. Sets of desirable gambles are a very general uncertainty model, that may be non-Archimedean, and therefore not representable by a set of probability mass functions. Recently, Cozman (2018) has shown that imposing the additional requirement of even convexity on sets of desirable gambles guarantees that they are representable by a set of probability mass functions. Already more that 20 years earlier, Seidenfeld et al. (1995) gave (...) an axiomatisation of binary preferences—on horse lotteries, rather than on gambles—that also leads to a unique representation in terms of sets of probability mass functions. To reach this goal, they use two devices, which we will call ‘SSK–Archimedeanity’ and ‘SSK–extension’. In this paper, we will make the arguments of Seidenfeld et al. (1995) explicit in the language of gambles, and show how their ideas imply even convexity and allow for conservative reasoning with evenly convex sets of desirable gambles, by deriving an equivalence between the SSK–Archimedean natural extension, the SSK–extension, and the evenly convex natural extension. (shrink)

The philosophy of mathematics has been accused of paying insufficient attention to mathematical practice: one way to cope with the problem, the one we will follow in this paper on extensive magnitudes, is to combine the `history of ideas' and the `philosophy of models' in a logical and epistemological perspective. The history of ideas allows the reconstruction of the theory of extensive magnitudes as a theory of ordered algebraic structures; the philosophy of models allows an investigation into the way epistemology (...) might affect relevant mathematical notions. The article takes two historical examples as a starting point for the investigation of the role of numerical models in the construction of a system of non-Archimedean magnitudes. A brief exposition of the theories developed by Giuseppe Veronese and by Rodolfo Bettazzi at the end of the 19th century will throw new light on the role played by magnitudes and numbers in the development of the concept of a non-Archimedean order. Different ways of introducing non-Archimedean models will be compared and the influence of epistemological models will be evaluated. Particular attention will be devoted to the comparison between the models that oriented Veronese's and Bettazzi's works and the mathematical theories they developed, but also to the analysis of the way epistemological beliefs affected the concepts of continuity and measurement. (shrink)

This thesis consists of a series of papers in population ethics: a subfield of normative ethics concerned with the distinctive issues that arise in cases where our actions can affect the identities or number of people of who ever exist. Each paper can be read independently of the others. In Chapter 1, I present a dilemma for Archimedean views in population axiology: roughly, those views on which adding enough good lives to a population can make that population better than any (...) other. In Chapter 2, I extend Gustaf Arrhenius’s famous impossibility theorems in population axiology into the domain of choices under risk. My risky impossibility theorems dispense with the assumption that welfare levels are finitely fine-grained, and so tell against lexical views in population axiology. In Chapter 3, I present objections to critical-level and critical-range views in population axiology. I then sketch out what I call the ‘Imprecise Exchange Rates View’ and argue that it is an attractive alternative. In Chapter 4, I address critical-level and critical-range views again. This time, I note that they are vulnerable to objections from biographical identity: identity between lives. I suggest that these objections give us reason to reject critical-level and critical-range views and embrace the Total View. In Chapter 5, I argue that objections of the same form – objections from personal identity – tell against person-affecting views in population ethics. In Chapter 6, I draw out some counterintuitive implications of two recent complaints-based theories of the procreation asymmetry. (shrink)

Quasi-realist expressivists have developed a growing liking for minimalism about truth. It has gone almost unnoticed, though, that minimalism also drives an anti-Archimedean movement which launches a direct attack on expressivists’ non-moral self-image by proclaiming that all metaethical positions are built on moral grounds. This interplay between expressivism, minimalism and anti-Archimedeanism makes for an intriguing metaethical encounter. As such, the first part of this dissertation examines expressivism’s marriage to minimalism and defends it against its critics. The second part then (...) turns to the anti-Archimedean challenge to expressivism and shows how to ward off this challenge by securing expressivism’s non-moral, metaethical status without having to abandon minimalism about truth. (shrink)

Non-Archimedean probability functions allow us to combine regularity with perfect additivity. We discuss the philosophical motivation for a particular choice of axioms for a non-Archimedean probability theory and answer some philosophical objections that have been raised against infinitesimal probabilities in general.

We provide an intuitive motivation for the hyperreal numbers via electoral axioms. We do so in the form of a Socratic dialogue, in which Protagoras suggests replacing big-oh complexity classes by real numbers, and Socrates asks some troubling questions about what would happen if one tried to do that. The dialogue is followed by an appendix containing additional commentary and a more formal proof.

A new non-Archimedean approach to interacted quantum fields is presented. In proposed approach, a field operator φ(x,t) no longer a standard tempered operator-valued distribution, but a non-classical operator-valued function. We prove using this novel approach that the quantum field theory with Hamiltonian P(φ)_4 exists and that the corresponding C^*­ algebra of bounded observables satisfies all the Haag-Kastler axioms except Lorentz covariance. We prove that the λ(φ^2n )_4,n≥2 quantum field theory models are Lorentz covariant.

This paper seeks to clarify and defend the proposition that moral realism is best elaborated as a moral doctrine. I begin by upholding Ronald Dworkin’s anti-Archimedean critique of the error theory against some strictures by Michael Smith, and I then briefly suggest how a proponent of moral realism as a moral doctrine would respond to Smith’s defense of the Archimedeanism of expressivism. Thereafter, this paper moves to its chief endeavor. By differentiating clearly between expressivism and quasi-realism, the paper highlights (...) both their distinctness and their compatibility. In so doing, it underscores the affinities between Blackburnian quasi-realism and moral realism as a moral doctrine. Finally, this paper contends—in line with my earlier work on these matters—that moral realism as a moral doctrine points to the need for some reorienting of meta-ethical enquiries rather than for the abandoning of them. (shrink)

A new non-Archimedean approach to interacted quantum fields is presented. In proposed approach, a field operator φ(x,t) no longer a standard tempered operator-valued distribution, but a non-classical operator-valued function. We prove using this novel approach that the quantum field theory with Hamiltonian P(φ)_4 exists and that the corresponding C^*­ algebra of bounded observables satisfies all the Haag-Kastler axioms except Lorentz covariance. We prove that the λ(φ^4 )_4 quantum field theory model is Lorentz covariant.

A strongly independent preorder on a possibly in finite dimensional convex set that satisfi es two of the following conditions must satisfy the third: (i) the Archimedean continuity condition; (ii) mixture continuity; and (iii) comparability under the preorder is an equivalence relation. In addition, if the preorder is nontrivial (has nonempty asymmetric part) and satisfi es two of the following conditions, it must satisfy the third: (i') a modest strengthening of the Archimedean condition; (ii') mixture continuity; and (iii') completeness. Applications (...) to decision making under conditions of risk and uncertainty are provided. (shrink)

This dissertation is a contribution to formal and computational philosophy. -/- In the first part, we show that 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. Case 1: Infinite lotteries. We discuss how the concept of a fair finite lottery can best be extended to denumerably infinite lotteries. The solution boils down to the introduction (...) of infinitesimal probability values, which can be achieved using non-standard analysis. Our solution can be generalized to uncountable sample spaces, giving rise to a Non-Archimedean Probability (NAP) theory. Case 2: Large but finite lotteries. We propose application of the language of relative analysis (a type of non-standard analysis) to formulate a new model for rational belief, called Stratified Belief. This contextualist model seems well-suited to deal with a concept of beliefs based on probabilities ‘sufficiently close to unity’. -/- The second part presents a case study in social epistemology. We model a group of agents who update their opinions by averaging the opinions of other agents. Our main goal is to calculate the probability for an agent to end up in an inconsistent belief state due to updating. To that end, an analytical expression is given and evaluated numerically, both exactly and using statistical sampling. The probability of ending up in an inconsistent belief state turns out to be always smaller than 2%. (shrink)

Matti Eklund (2017) has argued that ardent realists face a serious dilemma. Ardent realists believe that there is a mind-independent fact as to which normative concepts we are to use. Eklund claims that the ardent realist cannot explain why this is so without plumping in favor of their own normative concepts or changing the topic. The paper first advances the discussion by clarifying two ways of understanding the question of which normative concepts to choose: a theoretical question about which concepts (...) have the abstract property of being normatively privileged and a further practical question of which concepts we are to choose even granting some concepts are thus privileged. I argue that the ardent realist’s best bet for answering the theoretical question while avoiding Eklund’s dilemma is to provide a real definition of this property. I point out the difficulties for providing such a definition. I then argue that even with an answer to the theoretical question, the ardent realist faces a further dilemma in answering the practical question. In sum, though I see no knock-down argument against ardent realism, it may nonetheless die a death by a thousand cuts. I close by considering a deeper reason for why ardent realism is so difficult to defend: every argument starts somewhere. It is unclear how there can be an Archimedean point that makes no reference to any normative concepts that can nonetheless be employed to convince everyone to adopt ours. I then briefly propose two options for someone still inclined towards realism: (i) accept that our normative concepts are normatively privileged without attempting to explain why this is so, or (ii) be less ardent and accept a perspective-dependent account of normativity. (shrink)

The nature of state governance in consolidated liberal democracies has important implications for the ideal theory debate. The states of these societies are polycentric. Decision-making power within them is disaggregated across multiple sites. This rules out one major justification for ideal theory. On this influential view, the ideal furnishes a blueprint of the morally perfect society that we should strive to realise. This justification is not viable in consolidated liberal democracies because their states lack an Archimedean point from which the (...) institutional structure as a whole can be designed to accord with the true ideal – whichever it might be. However, knowledge of the ideal can still aid agents in those societies to determine the worth of more modest political objectives other than the ideal itself. (shrink)

It is not clear to what the projects of creating an artificial intelligence (AI) that does ethics, is moral, or makes moral judgments amounts. In this paper we discuss some of the extant metaethical theories and debates in moral philosophy by which such projects should be informed, specifically focusing on the project of creating an AI that makes moral judgments. We argue that the scope and aims of that project depend a great deal on antecedent metaethical commitments. Metaethics, therefore, plays (...) the role of an Archimedean fulcrum in this context, very much like the Archimedean role that it is often taken to take in context of normative ethics (Dworkin 1996; Dreier 2002; Fantl 2006; Ehrenberg 2008). (shrink)

This paper deals with Natorp’s version of the Marburg mathematical philosophy of science characterized by the following three features: The core of Natorp’s mathematical philosophy of science is contained in his “knowledge equation” that may be considered as a mathematical model of the “transcendental method” conceived by Natorp as the essence of the Marburg Neo-Kantianism. For Natorp, the object of knowledge was an infinite task. This can be elucidated in two different ways: Carnap, in the Aufbau, contended that this endeavor (...) can be divided into two distinct parts, namely, a finite “constitution” of the object of knowledge and an infinite incompletable empirical description. In contrast, and more in the original spirit of Cohen and Natorp, the physicist and philosopher Margenau in The Nature of Physical Reality (Margenau. 1950) conceived the infinity of this “Aufgabe” as an infinite dialectical process, in which relative “data” and “conceptual constructs” determine each other. This dialectical process eliminates the dichotomy between Anschauung and Begriff that distinguished the Marburg Neo-Kantianism from Kantian orthodoxy, namely, the abandonment of the difference between intuition and concept. Finally, the paper deals with the non-Archimedean geometrical systems that played a central role in Natorp’s defence of Cohen’s “infinitesimal” metaphysics. (shrink)

The repugnant conclusion poses a conundrum in population ethics that has evaded satisfactory solution for four decades. In this article, I show that the repugnant conclusion can be avoided without sacrificing key moral intuitions. This is achieved using non-Archimedean orders, which admit the possibility of pairs of goods for which no amount of one is better than a single unit of the other. I show that with minimal assumptions, not only are such goods sensible, they are compulsory. I show that (...) utilitarianism and expected utility theory in their canonical forms are not in general suitable in this setting, and using these tools naively can lead to ethical errors that are arbitrarily serious. This is due to the fact that non-Archimedean orders cannot in general be represented on Archimedean fields such as the reals. I use fuzzy sets to show that there needn't be a clear boundary separating goods that are not Archimedean equivalent. (shrink)

A probability distribution is regular if no possible event is assigned probability zero. While some hold that probabilities should always be regular, three counter-arguments have been posed based on examples where, if regularity holds, then perfectly similar events must have different probabilities. Howson (2017) and Benci et al. (2016) have raised technical objections to these symmetry arguments, but we see here that their objections fail. Howson says that Williamson’s (2007) “isomorphic” events are not in fact isomorphic, but Howson is speaking (...) of set-theoretic representations of events in a probability model. While those sets are not isomorphic, Williamson’s physical events are, in the relevant sense. Benci et al. claim that all three arguments rest on a conflation of different models, but they do not. They are founded on the premise that similar events should have the same probability in the same model, or in one case, on the assumption that a single rotation-invariant distribution is possible. Having failed to refute the symmetry arguments on such technical grounds, one could deny their implicit premises, which is a heavy cost, or adopt varying degrees of instrumentalism or pluralism about regularity, but that would not serve the project of accurately modelling chances. (shrink)

Ronald Dworkin and Richard Rorty are sometimes thought to be diametrically opposed philosophers, particularly in their approach to foundational questions in moral thought. Dworkin is a champion of truth and objectivity in morality. Rorty, by contrast, is a great pragmatist who subscribed to a deflated vision of truth and unambiguously renounced objectivity, in favor of what he called “solidarity”. If their stated -isms and alliances were not evidence enough of discord, they also criticized one another in print, particularly on these (...) foundational, or metaethical, questions. The point of this chapter is to show that things are not what they seem: Rorty and Dworkin largely agree on metaethics. The difference between them is largely a difference in emphasis. (shrink)

In standard probability theory, probability zero is not the same as impossibility. But many have suggested that only impossible events should have probability zero. This can be arranged if we allow infinitesimal probabilities, but infinitesimals do not solve all of the problems. We will see that regular probabilities are not invariant over rigid transformations, even for simple, bounded, countable, constructive, and disjoint sets. Hence, regular chances cannot be determined by space-time invariant physical laws, and regular credences cannot satisfy seemingly reasonable (...) symmetry principles. Moreover, the examples here are immune to the objections against Williamson’s infinite coin flips. (shrink)

I aim to show how the enigmatic phrase 'Unánime noche' in the famous first sentence of “The Circular Ruins” is inextricably linked to the story’s last words. Toward this purpose, I argue—against plausible foundational interpretations of the story—for a nonfoundational reading of the text and, moreover, that Borges’s use of ‘unánime’ (one soul) can be understood as one character or one form; namely, as an archetype of “Dreamanity” that leads to a vertiginous Third Man regress.

Information and communication technologies present new challenges for political theory and philosophy due to its large-scale and scope transformations. Their demands are reflected in institutional needs that cover a “cyber-political” space, i. e., a cluster of problems of the governance of the network of networks –Internet– that results in the formation of new institutions –e. g. ICANN. The question I try to answer here is: What characterizes cyberspace political discourses? The proposed hypothesis is that it is possible to interpret the (...) varied cyber-political positions from their relation with the actors that dispute cyberspace regulation. Taking this relationship as an Archimedean point, I distinguish between extreme positions –cyber-conservatism and cyber-libertarianism– and moderate positions –cyber-liberalism and cyber- socialism. Through the investigation of the works of the main proponents of each position (Goldsmith, Wu, Barlow, Assange, Lessig, Barbrook and Filby) I try to show the modifications in the traditional political positions after the incorporation of the prefix “cyber” and also, to highlight the benefits of the moderate positions over the extreme ones. (shrink)