The approximate number system (ANS) enables organisms to represent the approximate number of items in an observed collection, quickly and independently of natural language. Recently, it has been proposed that the ANS goes beyond representing natural numbers by extracting and representing rational numbers (Clarke & Beck, 2021a). Prior work demonstrates that adults and children discriminate ratios in an approximate and ratio-dependent manner, consistent with the hallmarks of the ANS. Here, we use a well-known “connectedness illusion” to provide (...) evidence that these ratio-dependent ratio discriminations are (a) based on the perceived number of items in seen displays (and not just non-numerical confounds), (b) are not dependent on verbal working memory, or explicit counting routines, and (c) involve representations with a part-whole (or subset-superset) format, like a fraction, rather than a part-part format, like a ratio. These results vindicate key predictions of the hypothesis that the ANS represents rational numbers. (shrink)

On a now orthodox view, humans and many other animals possess a “number sense,” or approximate number system, that represents number. Recently, this orthodox view has been subject to numerous critiques that question whether the ANS genuinely represents number. We distinguish three lines of critique – the arguments from congruency, confounds, and imprecision – and show that none succeed. We then provide positive reasons to think that the ANS genuinely represents numbers, and not just non-numerical confounds or exotic substitutes (...) for number, such as “numerosities” or “quanticals,” as critics propose. In so doing, we raise a neglected question: numbers of what kind? Proponents of the orthodox view have been remarkably coy on this issue. But this is unsatisfactory since the predictions of the orthodox view, including the situations in which the ANS is expected to succeed or fail, turn on the kind of number being represented. In response, we propose that the ANS represents not only natural numbers, but also non-natural rational numbers. It does not represent irrational numbers, however, and thereby fails to represent the real numbers more generally. This distances our proposal from existing conjectures, refines our understanding of the ANS, and paves the way for future research. (shrink)

You ought to save a larger group of people rather than a distinct smaller group of people, all else equal. A consequentialist may say that you ought to do so because this produces the most good. If a non-consequentialist rejects this explanation, what alternative can he or she give? This essay defends the following explanation, as a solution to the so-called numbers problem. Its two parts can be roughly summarised as follows. First, you are morally required to want the (...) survival of each stranger for its own sake. Secondly, you are rationally required to achieve as many of these ends as possible, if you have these ends. (shrink)

In our target article, we argued that the number sense represents natural and rational numbers. Here, we respond to the 26 commentaries we received, highlighting new directions for empirical and theoretical research. We discuss two background assumptions, arguments against the number sense, whether the approximate number system represents numbers or numerosities, and why the ANS represents rational numbers.

Different people reason differently, which means that sometimes they reach different conclusions from the same evidence. We maintain that this is not only natural, but rational. In this essay we explore the epistemology of that state of affairs. First we will canvass arguments for and against the claim that rational methods of reasoning must always reach the same conclusions from the same evidence. Then we will consider whether the acknowledgment that people have divergent rational reasoning methods should (...) undermine one’s confidence in one’s own reasoning. Finally we will explore how agents who employ distinct yet equally rational methods of reasoning should respond to interactions with the products of each others’ reasoning. We find that the epistemology of multiple reasoning methods has been misunderstood by a number of authors writing on epistemic permissiveness and peer disagreement. (shrink)

A number of authors have defended permissivism by appealing to rational supererogation, the thought that some doxastic states might be rationally permissible even though there are other, more rational beliefs available. If this is correct, then there are situations that allow for multiple rational doxastic responses, even if some of those responses are rationally suboptimal. In this paper, I will argue that this is the wrong approach to defending permissivism—there are no doxastic states that are rationally supererogatory. (...) By the lights of contemporary linguistics, ‘rational’ is an absolute gradable adjective, and as such, can only be applied to things that satisfy the top of the scale of rationality. For this reason, it is not possible to believe what is rational while also failing to believe what is rationally optimal. (shrink)

This paper provides an account of what it is to have faith in a proposition p, in both religious and mundane contexts. It is argued that faith in p doesn’t require adopting a degree of belief that isn’t supported by one’s evidence but rather it requires terminating one’s search for further evidence and acting on the supposition that p. It is then shown, by responding to a formal result due to I.J. Good, that doing so can be rational in (...) a number of circumstances. If expected utility theory is the correct account of practical rationality, then having faith can be both epistemically and practically rational if the costs associated with gathering further evidence or postponing the decision are high. If a more permissive framework is adopted, then having faith can be rational even when there are no costs associated with gathering further evidence. (shrink)

Timothy Hsiao argues that animals lack moral status because they lack the capacity for the sort of higher-level rationality required for membership in the moral community. Stijn Bruers and László Erdős have already raised a number of objections to this argument, to which Hsiao has replied with some success. But I think a stronger critique can be made. Here I raise further objections to three aspects of Hsiao's view: his conception of the moral community, his idea of root capacities grounded (...) in one's nature, and his explanation of why cruelty is wrong. I also argue that sentience is a more plausible candidate for the morally salient capacity than rationality. (shrink)

This lecture illustrates some of the theoretical richness that emerges from thinking about self-aware agents. It argues that taking self-awareness into account yields a picture of rational belief that is surprising, in a number of different, but interconnected, ways. The complexities it focuses on emerge most clearly in cases that involve so-called “higher-order evidence.”.

NOTE: this is a substantial revision of a previously uploaded draft. Intuitions are often thought of as inputs to theoretical reasoning. For example, you might form a belief by taking an intuition at face value, or you might take your intuitions as starting points in the method of reflective equilibrium. The aim of this paper is to argue that in addition to these roles intuitions also play action-guiding roles. The argument proceeds by reflection on the transmission of justification through inference. (...) According to inferential internalists, in order to gain justification for believing the conclusion of an argument by inferring it from the premises in that argument one must “see” that the premises support the conclusion. I motivate this view and endorse the idea that one’s “seeing” such a support relation consists of one’s having an intuition. In a number of recent papers, Paul Boghossian has pressed a regress argument against inferential internalism inspired by Lewis Carroll’s dialogue “What the Tortoise Said to Achilles.” I develop a response to Bogossian’s argument according to which intuitions work like mental imperatives and inferences are mental actions performed by obeying them. After developing this response to Boghossian’s argument, I take up the question of what it is in virtue of which intuitions play a guidance role, when they do so. (shrink)

Throughout the COVID-19 pandemic, shortages of scarce healthcare resources consistently presented significant moral and practical challenges. While the importance of vaccines as a key pharmaceutical intervention to stem pandemic scarcity was widely publicized, a sizable proportion of the population chose not to vaccinate. In response, some have defended the use of vaccination status as a criterion for the allocation of scarce medical resources. In this paper, we critically interpret this burgeoning literature, and describe a framework for thinking about vaccine-sensitive resource (...) allocation using the values of responsibility, reciprocity, and justice. Although our aim here is not to defend a single view of vaccine-sensitive resource allocation, we believe that attending critically with the diversity of arguments in favor (and against) vaccine-sensitivity reveals a number of questions that a vaccine-sensitive approach to allocation should answer in future pandemics. (shrink)

A number of formal epistemologists have argued that perfect rationality requires probabilistic coherence, a requirement that they often claim applies only to ideal agents. However, in “Rationality as an Absolute Concept,” Roy Sorensen contends that ‘rational’ is an absolute term. Just as Peter Unger argued that being flat requires that a surface be completely free of bumps and blemishes, Sorensen claims that being rational requires being perfectly rational. When we combine these two views, though, they lead to (...) counterintuitive results. If being rational requires being perfectly rational, and only the probabilistically coherent are perfectly rational, then this indicts all ordinary agents as irrational. In this paper, I will attempt to resolve this conflict by arguing that Sorensen is only partly correct. One important sense of ‘rational’, the sanctioning sense of ‘rational’, is an absolute term, but another important sense of ‘rational’, the sense in which someone can have rational capacities, is not. I will, then, show that this distinction has important consequences for theorizing about ideal rationality, developing an account of the relationship between ordinary and ideal rationality. Because the sanctioning sense of ‘rational’ is absolute, it is rationally required to adopt the most rational attitude available, but which attitude is most rational can change depending on whether we are dealing with ideal agents or people more like ourselves. (shrink)

Formal epistemologists often claim that our credences should be representable by a probability function. Complete probabilistic coherence, however, is only possible for ideal agents, raising the question of how this requirement relates to our everyday judgments concerning rationality. One possible answer is that being rational is a contextual matter, that the standards for rationality change along with the situation. Just like who counts as tall changes depending on whether we are considering toddlers or basketball players, perhaps what counts as (...) rational shifts according to whether we are considering ideal agents or creatures more like ourselves. Even though a number of formal epistemologists have endorsed this type of solution, I will argue that there is no way to spell out this contextual account that can make sense of our everyday judgments about rationality. Those who defend probabilistic coherence requirements will need an alternative account of the relationship between real and ideal rationality. (shrink)

A popular objection to theistic commitment involves the idea that faith is irrational. Specifically, some seem to put forth something like the following argument: (P1) Everyone (or almost everyone) who has faith is epistemically irrational, (P2) All theistic believers have faith, thus (C) All (or most) theistic believers are epistemically irrational. In this paper, I argue that this line of reasoning fails. I do so by considering a number of candidates for what faith might be. I argue that, for each (...) candidate, either (P1) is false or (P2) is false. Then, I make two positive suggestions for how faith can be epistemically rational but nonetheless have a unique relationship to evidence: one, that Jamesian self-justifying attitudes describe a distinctive kind of faith in oneself and others, and two, that faith is not solely based on empirical evidence. (shrink)

What is a number? Answering this will answer questions about its philosophical foundations - rational numbers, the complex numbers, imaginary numbers. If we are to write or talk about something, it is helpful to know whether it exists, how it exists, and why it exists, just from a common-sense point of view [Quine, 1948, p. 6]. Generally, there does not seem to be any disagreement among mathematicians, scientists, and logicians about numbers existing in some way, (...) but currently, in the mainstream arena only definitions, descriptions of properties, and effects are presented as evidence. Enough historical description of numbers in history provides an empirical basis of number, although a case can be made that numbers do not exist by themselves empirically. Correspondingly, numbers exist as abstractions. All the while, though, these "descriptions" beg the question of what numbers are ontologically. Advocates for numbers being the ultimate reality have the problem of wrestling with the nature of reality. I start on the road to discovering the ontology of number by looking at where people have talked about numbers as already existing: history. Of course, we need to know not only what ontology is but the problems of identifying one, leading to the selection between metaphysics and provisional approaches. While we seem to be dimensionally limited, at least we can identify a more suitable bootstrapping ontology than mere definitions, leading us to the unity of opposites. The rest of the paper details how this is done and modifies Peano's Postulates. (shrink)

In this paper, I critically engage with Casey Perin's interpretation of Sextan Pyrrhonism in his book, The Demands of Reason: An Essay on Pyrrhonian Scepticism. From an approach that is both exegetical and systematic, I explore a number of issues concerning the Pyrrhonist's inquiry into truth, his alleged commitment to the canons of rationality, and his response to the apraxia objection.

Rationality appears to have some intimate relation with normativity: exactly what relation is in dispute. John Broome devotes a chapter of his recent book to rebutting the view that rationality has 'true' normativity, which he equates with the kind of normativity that I call directivity. In particular, he offers a number of arguments against derivative accounts of thenormativity of rationality. In this paper I defend my instrumentalist account from those arguments. In so doing I bring into view the grounds of (...) a live positive defence of rationality’s servanthood to directivity. (shrink)

In this study I discuss G. W. Leibniz's (1646-1716) views on rational decision-making from the standpoint of both God and man. The Divine decision takes place within creation, as God freely chooses the best from an infinite number of possible worlds. While God's choice is based on absolutely certain knowledge, human decisions on practical matters are mostly based on uncertain knowledge. However, in many respects they could be regarded as analogous in more complicated situations. In addition to giving an (...) overview of the divine decision-making and discussing critically the criteria God favours in his choice, I provide an account of Leibniz's views on human deliberation, which includes some new ideas. One of these concerns is the importance of estimating probabilities – in making decisions one estimates both the goodness of the act itself and its consequences as far as the desired good is concerned. Another idea is related to the plurality of goods in complicated decisions and the competition this may provoke. Thirdly, heuristic models are used to sketch situations under deliberation in order to help in making the decision. Combining the views of Marcelo Dascal, Jaakko Hintikka and Simo Knuuttila, I argue that Leibniz applied two kinds of models of rational decision-making to practical controversies, often without explicating the details. The more simple, traditional pair of scales model is best suited to cases in which one has to decide for or against some option, or to distribute goods among parties and strive for a compromise. What may be of more help in more complicated deliberations is the novel vectorial model, which is an instance of the general mathematical doctrine of the calculus of variations. To illustrate this distinction, I discuss some cases in which he apparently applied these models in different kinds of situation. These examples support the view that the models had a systematic value in his theory of practical rationality. (shrink)

Abstract Tom Dougherty observes that challenges to counting the numbers often cite John Taurek’s 1977 article, “Should the Numbers Count.” Dougherty, though sympathetic to Taurek’s (and others) critique of consequentialism’s aggregating good across individuals, defends a non-consequentialist principle for addition he calls “the Ends Principle. Take the case (he labels “Drug”) when an agent, possessing a dose of a lifesaving drug, can save one person with the entire dose, or two people, each of whom only need half the (...) dose. Dougherty argues that a rational agent, summing her altruistic goals (three), but unable to save all three, will save two. I give two criticisms of Dougherty’s paper. (1) He hasn’t ruled out, though acknowledging, the equal chance principle as deontological grounds for deciding Drug. (2) An agent using the Ends Principle in Drug, as he formulates it, will not have the requisite aims to make use of the Principle. I also consider an issue, little discussed, the conditions for aggregation in general. (shrink)

This paper presents a unifying diagnosis of a number of important problems facing existing models of rational choice under moral uncertainty and proposes a remedy. I argue that the problems of (i) severely limited scope, (ii) intertheoretic comparisons, and (iii) 'swamping’ all stem from the way in which values are assigned to options in decision rules such as Maximisation of Expected Choiceworthiness. By assigning values to options under a given moral theory by asking something like ‘how much do I (...) desire this option, supposing this theory is true?’ rather than ‘how much value does this theory assign to this option?’ these problems can be avoided, while the appealing features of these accounts can be preserved. This amendment provides a role for the preferences, desires, or goals of rational agents that is curiously absent from the existing discussion of what individuals rationally ought to do when they are uncertain about what they morally ought to do. (shrink)

In this paper, I argue that the two most common views of how to respond rationally to peer disagreement–the Total Evidence View (TEV) and the Equal Weight View (EWV)–are both inadequate for substantial reasons. TEV does not issue the correct intuitive verdicts about a number of hypothetical cases of peer disagreement. The same is true for EWV. In addition, EWV does not give any explanation of what is rationally required of agents on the basis of sufficiently general epistemic principles. I (...) will then argue that there is a genuine alternative to both views–the Preemption View (PV)–that fares substantially better in both respects. I will give an outline and a detailed defense of PV in the paper. (shrink)

The aim of this discussion is twofold.* First, I shall scrutinize certain prevailing rationales for enlisting for military service and show that these justifications are inadequate to meet the military’s recruiting needs. Larger numbers of enlistees who are fully equipped, both in technical skills and morale, for combat readiness are in great demand, but the arguments used to recruit potential enlistees are self-defeating. I shall show how and why they attract volunteers who are rendered singularly unfit to meet these (...) demands by those very arguments themselves. (shrink)

The question of the rationality of conspiratorial belief ¬divides philosophers into mainly two camps. The particularists believe that each conspiracy theory ought to be examined on its own merits. The generalist, by contrast, argues that there is something inherently suspect about conspiracy theories that makes belief in them irrational. Recent empirical findings indicate that conspiratorial thinking is commonplace among ordinary people, which has naturally shifted attention to the particularists. Yet, even the particularist must agree that not all conspiracy belief is (...) rational, in which case she must explain what separates rational from non-rational conspiratorial thinking. In this paper, I contrast three strategies to this end: 1) the probabilistic objectivist, who assesses the objective probability of conspiracies; 2) the subjectivist, who rather focuses on the perspective of the believer, and typically views the decision to believe in a conspiracy as a problem of decision making under risk. Approaches 1) and 2) rely on assessments of the probability of conspiracy which, I argue, limits their applicability. Instead, I explore 3) viewing the problem facing the potential believer as a decision problem under uncertainty about probabilities. I argue, furthermore, that focusing solely on epistemic utilities fails to do justice to the particular character of conspiracy beliefs, which are not exclusively epistemically motivated, and I investigate the rationality of such beliefs under a number of standard decision rules. (shrink)

In this paper, I defend traditional Platonic mathematical realism from its contemporary detractors, arguing that numbers, understood as abstract, non-physical objects of rational intuition, are indispensable for the act of counting.

In this paper I introduce an objection to normative evidentialism about reasons for belief. The objection arises from difficulties that evidentialism has with explaining our reasons for belief in unstable belief contexts with a single fixed point. I consider what other kinds of reasons for belief are relevant in such cases.

This paper examines Linda Zagzebski’s account of rationality, as set out in her rich, wide-ranging, and important book, Epistemic Authority: A Theory of Trust, Authority, and Autonomy in Belief. We briefly describe the account that she offers and then consider its plausibility. In particular, in the first section we argue that a number of Zagzebski’s claims with regard to rationality require more support than she offers for them. Moreover, in the second section, we contend that far from offering Zagzebski a (...) quick way of dealing with radical scepticism, her account of rationality actually seems to be particularly vulnerable to this problem. (shrink)

I argue for the unexceptionality of evidence about what rationality requires. Specifically, I argue that, as for other topics, one’s total evidence can sometimes support false beliefs about this. Despite being prima facie innocuous, a number of philosophers have recently denied this. Some have argued that the facts about what rationality requires are highly dependent on the agent’s situation and change depending on what that situation is like. (Bradley 2019). Others have argued that a particular subset of normative truths, those (...) concerning what epistemic rationality requires, have the special property of being ‘fixed points’—it is impossible to have total evidence that supports false belief about them. (Smithies 2012; Titelbaum 2015). Each of these kinds of exceptionality permits a solution to downstream theoretical problems that arise from the possibility of evidence supporting false belief about requirements of rationality. However, as I argue here, they incur heavy explanatory burdens that we should avoid. (shrink)

It seems obvious that a community of one thousand scientists working together to make discoveries and solve puzzles should arrange itself differently than would one thousand scientist-hermits working independently. Because of limited time, resources, and attention, an independent scientist can explore only some of the possible approaches to a problem. Working alone, each hermit would explore the most promising approaches. They would needlessly duplicate the work of others and would be unlikely to develop approaches which look unpromising but really have (...) tremendous potential. Contrariwise, a large community can more rigorously explore the space of possible approaches. Most scientists should work on the most promising approaches, but a smaller number can be committed to approaches that initially look less promising. Exploratory work can reveal if one of those initially unpromising approaches has unrealized potential, and more scientists can adopt it once its potential becomes more apparent. (shrink)

Analysing several characteristic mathematical models: natural and real numbers, Euclidean geometry, group theory, and set theory, I argue that a mathematical model in its final form is a junction of a set of axioms and an internal partial interpretation of the corresponding language. It follows from the analysis that (i) mathematical objects do not exist in the external world: they are our internally imagined objects, some of which, at least approximately, we can realize or represent; (ii) mathematical truths are (...) not truths about the external world but specifications (formulations) of mathematical conceptions; (iii) mathematics is first and foremost our imagined tool by which, with certain assumptions about its applicability, we explore nature and synthesize our rational cognition of it. (shrink)

On the basis of arguments put forth by (Kripke, 1977a) and (Kripke, 1980), it is widely held that one can sometimes rationally accept propositions of the form "P and not-P" and also that there are necessary a posteriori truths. We will find that Kripke's arguments for these views appear probative only so long as one fails to distinguish between semantics and presemantics—between the literal meanings of sentences, on the one hand, and the information on the basis of which one identifies (...) those literal meanings, on the other. This same failure, it will be argued, underlies the popular thesis that intersubstituting co-referring terms sometimes turns true sentences into false ones and vice versa. Though seemingly plausible, this thesis has a number of counterintuitive consequences, among them that the occurrence of “snow” in “it is true that snow is white” doesn’t refer to snow. An understanding of the distinction between semantics and presemantics suggests a way to develop a semantic system that doesn’t have these consequences and that, moreover, reconciles our intuitions concerning cognitive content with some powerfully argued theses of contemporary philosophy of language. Some of this paper's main contentions are anticipated by Andrzej Boguslawski in his 1994 paper “Sentential Complementation and Truth.”. (shrink)

This paper is concerned with Leibniz's doctrine of “universal rational religion,” i.e. a religion derived from reason and hence accessible to all, Christians and non-Christians alike, by virtue of the universality of reason. In this paper I shall identify some of the key theological truths and doctrines that Leibniz believed could be reached via reason, and as such would be accessible to non-Christians. While Leibniz held that there were a number of theological truths and doctrines that were potentially available (...) to all, he also acknowledged that non-Christians had enjoyed very limited success in reaching them. I end the paper by identifying Leibniz’s explanation for this. (shrink)

The impossibility results in judgement aggregation show a clash between fair aggregation procedures and rational collective outcomes. In this paper, we are interested in analysing the notion of rational outcome by proposing a proof-theoretical understanding of collective rationality. In particular, we use the analysis of proofs and inferences provided by linear logic in order to define a fine-grained notion of group reasoning that allows for studying collective rationality with respect to a number of logics. We analyse the well-known (...) paradoxes in judgement aggregation and we pinpoint the reasoning steps that trigger the inconsistencies. Moreover, we extend the map of possibility and impossibility results in judgement aggregation by discussing the case of substructural logics. In particular, we show that there exist fragments of linear logic for which general possibility results can be obtained. (shrink)

Are the standards of reasoning and rationality in divination, religious practice, and textual exegesis different from those in the sciences? Can there be different standards of reasoning and rationality at all? The intense “rationality debate” of the 1960s, 70s, and 80s focused on these questions and the related problems of relativism across cultures and systems of practice. Although philosophers were at the center of these debates at the time, they may appear to have abandoned the question in recent years. On (...) the contrary, I discuss recent developments in philosophy that approach the issue from a number of new directions, changing our understanding of reasoning and rationality. I argue that, in comparing the diviner to the scientist, focusing on reasoning is likely to be a red herring. Instead, I argue that a careful treatment of rationality, paying particular attention to its context-dependence, untangles longstanding confusions. Moreover, it points the way forward to investigating modest but interesting ways for there to be alternative standards of rationality. (shrink)

It is widely acknowledged that the new emerging discipline cognitive science of religion has a bearing on how to think about the epistemic status of religious beliefs. Both defenders and opponents of the rationality of religious belief have used cognitive theories of religion to argue for their point. This paper will look at the defender-side of the debate. I will discuss an often used argument in favor of the trustworthiness of religious beliefs, stating that cognitive science of religion shows that (...) religious beliefs are natural and natural beliefs ought to be trusted in the absence of counterevidence. This argument received its most influential defense from Justin Barrett in a number of papers, some in collaboration with Kelly James Clark. I will discuss their version of the argument and argue that it fails because the natural beliefs discovered by cognitive scientists of religion are not the religious beliefs of the major world religions. A survey of the evidence from cognitive science of religion will show that cognitive science does show that other beliefs come natural and that these can thus be deemed trustworthy in the absence of counterevidence. These beliefs are teleological beliefs, afterlife beliefs and animistic theistic beliefs. (shrink)

A moderately risk averse person may turn down a 50/50 gamble that either results in her winning $200 or losing $100. Such behaviour seems rational if, for instance, the pain of losing $100 is felt more strongly than the joy of winning $200. The aim of this paper is to examine an influential argument that some have interpreted as showing that such moderate risk aversion is irrational. After presenting an axiomatic argument that I take to be the strongest case (...) for the claim that moderate risk aversion is irrational, I show that it essentially depends on an assumption that those who think that risk aversion can be rational should be skeptical of. Hence, I conclude that risk aversion need not be irrational. (shrink)

Habermas’ theory of communicative action is explored as an orientation to the question of understanding which negotiates a pathway between two opposing (and complementary) theoretical frameworks—namely, hermeneutical-relational and empirical-analytical frameworks. His perspective grounds speech, action and understanding in the ethics of human relations. In his approach, understanding is fixed by particular events or situations about which intersubjective agreement must be achieved through the offer and acceptance of reasons that simultaneously orient actors to three worlds: the objective, the social and the (...) personal worlds. This approach raises the question as to whether the process of abstracting from the particular event to the general form, through such rational discourse, might create systems of understanding which silence individual expression and naming, particularly if such expression involves an identity that is not shared with others in the group. In other words, is the origin of an event or situation necessarily a null point for all actors? As this question is explored, metaphor comes to the fore as a complementary process of showing that which cannot be grounded in the dominant system of understanding. The pivot role of naming in the formal structure of Godel’s First Incompleteness Theorem for Number Theory demonstrates the challenge to Habermas’ theory. (shrink)

A topos version of Cantor’s back and forth theorem is established and used to prove that the ordered structure of the rational numbers (Q, <) is homogeneous in any topos with natural numbers object. The notion of effective homogeneity is introduced, and it is shown that (Q, <) is a minimal effectively homogeneous structure, that is, it can be embedded in every other effectively homogeneous ordered structure.

Prevailing opinion—defended by Jason Brennan and others—is that voting to change the outcome is irrational, since although the payoffs of tipping an election can be quite large, the probability of doing so is extraordinarily small. This paper argues that prevailing opinion is incorrect. Voting is shown to be rational so long as two conditions are satisfied: First, the average social benefit of electing the better candidate must be at least twice as great as the individual cost of voting, and (...) second, the chance of casting the decisive vote must be at least 1/N, where N stands for the number of citizens. It is argued that both of these conditions are often true in the real world. (shrink)

The purpose of this writing is to propose a frame of view, a form as the eternal world element, that is compatible with paradox within the history of ideas, modern discovery as they confront one another. Under special consideration are problems of representation of phenomena, life, the cosmos as the rational facility of mind confronts the physical/perceptual, and itself. Current topics in pursuit are near as diverse and numbered as are the possibilities for a world composed strictly of uniqueness (...) able to fill infinite space; it is assumed that not all of the paths chosen in contemporary pursuits will produce coherent determinations in an appropriate frame able to accommodate a world of nominals in motion, containing motion, and is commensurate with basic physical law and the propagation of form, change from within. Intended as a potential guiding post for the aim of reason seeking to select, define and capture topics, chosen as special examples are the works of logistician/mathematician Lewis Carroll as he presents a paradox of actuality verses the reality of perception in Alice in Wonderland, the theory of relativity of Albert Einstein as he fails to elaborate a mathematics to communicate an inertial frame of reference, and the reconstruction ideas of Jacques Derrida as he refers for contrast with the scientific world view constructed of dualisms, monisms that are conceived to have no opposites. Supporting discussion is evolved from the works of Bertrand Russell, Erwin Schrodinger, Jurgen Habermas, Bronislaw Malinowski, Michel Foucault. (shrink)

A number of philosophers of science and statisticians have attempted to justify conclusions drawn from a finite sequence of evidence by appealing to results about what happens if the length of that sequence tends to infinity. If their justifications are to be successful, they need to rely on the finite sequence being either indefinitely increasing or of a large size. These assumptions are often not met in practice. This paper analyzes a simple model of collecting evidence and finds that the (...) practice of collecting only very small sets of evidence before taking a question to be settled is rationally justified. This shows that the appeal to long run results can be used neither to explain the success of actual scientific practice nor to give a rational reconstruction of that practice. (shrink)

In this paper a solution of Whitehead’s problem is presented: Starting with a purely mereological system of regions a topological space is constructed such that the class of regions is isomorphic to the Boolean lattice of regular open sets of that space. This construction may be considered as a generalized completion in analogy to the well-known Dedekind completion of the rational numbers yielding the real numbers . The argument of the paper relies on the theories of continuous (...) lattices and “pointless” topology.

. (shrink)

Recently, a number of epistemologists (notably Feldman [2007], [2009] and White [2005], [2013]) have argued for the rational uniqueness thesis, the principle that any set of evidence permits only one rationally acceptable attitude toward a given proposition. In contrast, this paper argues for extreme rational permissivism, the view that two agents with the same evidence may sometimes arrive at contradictory beliefs rationally. This paper identifies different versions of uniqueness and permissivism that vary in strength and range, argues that (...) evidential peers with different interests need not rationally endorse all the same hypotheses, argues that evidential peers who weigh the theoretic virtues differently can sometimes rationally endorse contradictory conclusions, and finally defends the permissivist appeal to standards against objections in the works of Feldman and White. (shrink)

Mathematical formalism is the the view that numbers are "signs" and that arithmetic is like a game played with such signs. Frege's colleague Thomae defended formalism using an analogy with chess, and Frege's critique of this analogy has had a major influence on discussions in analytic philosophy about signs, rules, meaning, and mathematics. Here I offer a new interpretation of formalism as defended by Thomae and his predecessors, paying close attention to the mathematical details and historical context. I argue (...) that for Thomae, the formal standpoint is an _algebraic perspective_ on a domain of objects, and a "sign" is not a linguistic expression or mark, but a representation of an object within that perspective. Thomae exploits a shift into this perspective to give a purely algebraic construction of the real numbers from the rational numbers. I suggest that Thomae's chess analogy is intended to provide a model for such shifts in perspective. (shrink)

The paper discusses Hilbert mathematics, a kind of Pythagorean mathematics, to which the physical world is a particular case. The parameter of the “distance between finiteness and infinity” is crucial. Any nonzero finite value of it features the particular case in the frameworks of Hilbert mathematics where the physical world appears “ex nihilo” by virtue of an only mathematical necessity or quantum information conservation physically. One does not need the mythical Big Bang which serves to concentrate all the violations of (...) energy conservation in a “safe”, maximally remote point in the alleged “beginning of the universe”. On the contrary, an omnipresent and omnitemporal medium obeying quantum information conservation rather than energy conservation permanently generates action and thus the physical world. The utilization of that creation “ex nihilo” is accessible to humankind, at least theoretically, as long as one observes the physical laws, which admit it in their new and wider generalization. One can oppose Hilbert mathematics to Gödel mathematics, which can be identified as all the standard mathematics until now featureable by the Gödel dichotomy of arithmetic to set theory: and then, “dialectic”, “intuitionistic”, and “Gödelian” mathematics within the former, according to a negative, positive, or zero value of the distance between finiteness and infinity. A mapping of Hilbert mathematics into pseudo-Riemannian space corresponds, therefore allowing for gravitation to be interpreted purely mathematically and ontologically in a Pythagorean sense. Information and quantum information can be involved in the foundations of mathematics and linked to the axiom of choice or alternatively, to the field of all rational numbers, from which the pair of both dual and anti-isometric Peano arithmetics featuring Hilbert arithmetic are immediately inferable. Noether’s theorems (1918) imply quantum information conservation as the maximally possible generalization of the pair of the conservation of a physical quantity and the corresponding Lie group of its conjugate. Hilbert mathematics can be interpreted from their viewpoint also after an algebraic generalization of them. Following the ideas of Noether’s theorem (1918), locality and nonlocality can be realized both physically and mathematically. The “light phase of the universe” can be linked to the gap of mathematics and physics in the Cartesian organization of cognition in Modernity and then opposed to its “dark phase”, in which physics and mathematics are merged. All physical quantities can be deduced from only mathematical premises by the mediation of the most fundamental physical constants such as the speed of light in a vacuum, the Planck and gravitational constants once they have been interpreted by the relation of locality and nonlocality. (shrink)

A growing number of decision theorists have, in recent years, defended the view that rationality is permissive under risk: Different rational agents may be more or less risk-averse or risk-inclined. This can result in them making different choices under risk even if they value outcomes in exactly the same way. One pressing question that arises once we grant such permissiveness is what attitude to risk we should implement when choosing on behalf of other people. Are we permitted to implement (...) any of the rationally permissible risk attitudes, is there some specific risk attitude that is required when choosing for others, or are we required to defer to the risk attitudes of the people on whose behalf we are choosing? This article elaborates on this question, explains its wider practical and theoretical significance, provides an overview of existing answers, and explores how to go about providing a more systematic account of how to choose on behalf of others in risky contexts. (shrink)

The derivative is a basic concept of differential calculus. However, if we calculate the derivative as change in distance over change in time, the result at any instant is 0/0, which seems meaningless. Hence, Newton and Leibniz used the limit to determine the derivative. Their method is valid in practice, but it is not easy to intuitively accept. Thus, this article describes the novel method of differential calculus based on the double contradiction, which is easier to accept intuitively. Next, the (...) geometrical meaning of the double contradiction is considered as follows. A tangent at a point on a convex curve is iterated. Then, the slope of the tangent at the point is sandwiched by two kinds of lines. The first kind of line crosses the curve at the original point and a point to the right of it. The second kind of line crosses the curve at the original point and a point to the left of it. Then, the double contradiction can be applied, and the slope of the tangent is determined as a single value. Finally, the meaning of this method for the foundation of mathematics is considered. We reflect on Dehaene’s notion that the foundation of mathematics is based on the intuitions, which evolve independently. Hence, there may be gaps between intuitions. In fact, the Ancient Greeks identified inconsistency between arithmetic and geometry. However, Eudoxus developed the theory of proportion, which is equivalent to the Dedekind Cut. This allows the iteration of an irrational number by rational numbers as precisely as desired. Simultaneously, we can define the irrational number by the double contradiction, although its existence is not guaranteed. Further, an area of a curved figure is iterated and defined by rectilinear figures using the double contradiction. (shrink)

Derek Parfit argues in Reasons and Persons that acting according to your present desires is more rational, or at least as rational, as acting in your long-term self-interest. To do this, he puts forward a case supporting a 'critical present-aim theory' of rationality opposed to the self-interest theory, and then argues against a number of possible replies. This article is a response to these arguments, concluding that Parfit's favouring of the present-aim theory is unfounded, and that self-interest is (...) the better theory of rationality. (shrink)

A number of recent theories of quantum gravity lack a one-dimensional structure of ordered temporal instants. Instead, according to many of these views, our world is either best represented as a single three-dimensional object, or as a configuration space composed of such three-dimensional objects, none of which bear temporal relations to one another. Such theories will be empirically self-refuting unless they can accommodate the existence of conscious beings capable of representation. For if representation itself is impossible in a timeless world, (...) then no being in such a world could entertain the thought that a timeless theory is true, let alone believe such a theory or rationally believe it. This paper investigates the options for understanding representation in a three-dimensional, timeless, world. Ultimately it concludes that the only viable option is one according to which representation is taken to be deeply non-naturalistic. Ironically then we are left with two seemingly very unattractive options. Either a very naturalistic motivation—taking seriously a live view in fundamental physics—leads us to a very non-naturalistic view of the mental, or else views in the philosophy of mind partly dictate what is an acceptable theory in physics. (shrink)

In this paper, I argue that the relationship between belief and credence is a central question in epistemology. This is because the belief-credence relationship has significant implications for a number of current epistemological issues. I focus on five controversies: permissivism, disagreement, pragmatic encroachment, doxastic voluntarism, and the relationship between doxastic attitudes and prudential rationality. I argue that each debate is constrained in particular ways, depending on whether the relevant attitude is belief or credence. This means that epistemologists should pay attention (...) to whether they are framing questions in terms of belief or in terms of credence and the success or failure of a reductionist project in the belief-credence realm has significant implications for epistemology generally. (shrink)

When does it make sense to act randomly? A persuasive argument from Bayesian decision theory legitimizes randomization essentially only in tie-breaking situations. Rational behaviour in humans, non-human animals, and artificial agents, however, often seems indeterminate, even random. Moreover, rationales for randomized acts have been offered in a number of disciplines, including game theory, experimental design, and machine learning. A common way of accommodating some of these observations is by appeal to a decision-maker’s bounded computational resources. Making this suggestion both (...) precise and compelling is surprisingly difficult. Toward this end, I propose two fundamental rationales for randomization, drawing upon diverse ideas and results from the wider theory of computation. The first unifies common intuitions in favour of randomization from the aforementioned disciplines. The second introduces a deep connection between randomization and memory: access to a randomizing device is provably helpful for an agent burdened with a finite memory. Aside from fit with ordinary intuitions about rational action, the two rationales also make sense of empirical observations in the biological world. Indeed, random behaviour emerges more or less where it should, according to the proposal. (shrink)