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)

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.

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)

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)

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)

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.

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)

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)

This paper generalises an argument for probabilism due to Lindley [9]. I extend the argument to a number of non-classical logical settings whose truth-values, seen here as ideal aims for belief, are in the set $\{0,1\}$, and where logical consequence $\models $ is given the “no-drop” characterization. First I will show that, in each of these settings, an agent’s credence can only avoid accuracy-domination if its canonical transform is a probability function. In other words, if an agent values accuracy as (...) the fundamental epistemic virtue, it is a necessary requirement for rationality that her credence have some probabilistic structure. Then I show that for a certain class of reasonable measures of inaccuracy, having such a probabilistic structure is sufficient to avoid accuracy-domination in these non-classical settings. (shrink)

Mathematicians often speak of conjectures, yet unproved, as probable or well-confirmed by evidence. The Riemann Hypothesis, for example, is widely believed to be almost certainly true. There seems no initial reason to distinguish such probability from the same notion in empirical science. Yet it is hard to see how there could be probabilistic relations between the necessary truths of pure mathematics. The existence of such logical relations, short of certainty, is defended using the theory of logical probability (or objective Bayesianism (...) or non-deductive logic), and some detailed examples of its use in mathematics surveyed. Examples of inductive reasoning in experimental mathematics are given and it is argued that the problem of induction is best appreciated in the mathematical case. (shrink)

This paper is a response to Tyler Wunder’s ‘The modality of theism and probabilistic natural theology: a tension in Alvin Plantinga's philosophy’ (this journal). In his article, Wunder argues that if the proponent of the Evolutionary Argument Against Naturalism (EAAN) holds theism to be non-contingent and frames the argument in terms of objective probability, that the EAAN is either unsound or theism is necessarily false. I argue that a modest revision of the EAAN renders Wunder’s objection irrelevant, and that this (...) revision actually widens the scope of the argument. (shrink)

This paper shows how the classical finite probability theory (with equiprobable outcomes) can be reinterpreted and recast as the quantum probability calculus of a pedagogical or toy model of quantum mechanics over sets (QM/sets). There have been several previous attempts to develop a quantum-like model with the base field of ℂ replaced by ℤ₂. Since there are no inner products on vector spaces over finite fields, the problem is to define the Dirac brackets and the probability calculus. The previous attempts (...) all required the brackets to take values in ℤ₂. But the usual QM brackets <ψ|ϕ> give the "overlap" between states ψ and ϕ, so for subsets S,T⊆U, the natural definition is <S|T>=|S∩T| (taking values in the natural numbers). This allows QM/sets to be developed with a full probability calculus that turns out to be a non-commutative extension of classical Laplace-Boole finite probability theory. The pedagogical model is illustrated by giving simple treatments of the indeterminacy principle, the double-slit experiment, Bell's Theorem, and identical particles in QM/Sets. A more technical appendix explains the mathematics behind carrying some vector space structures between QM over ℂ and QM/Sets over ℤ₂. (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.

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)

Many epistemologists hold that an agent can come to justifiably believe that p is true by seeing that it appears that p is true, without having any antecedent reason to believe that visual impressions are generally reliable. Certain reliabilists think this, at least if the agent’s vision is generally reliable. And it is a central tenet of dogmatism (as described by Pryor (2000) and Pryor (2004)) that this is possible. Against these positions it has been argued (e.g. by Cohen (2005) (...) and White (2006)) that this violates some principles from probabilistic learning theory. To see the problem, let’s note what the dogmatist thinks we can learn by paying attention to how things appear. (The reliabilist says the same things, but we’ll focus on the dogmatist.) Suppose an agent receives an appearance that p, and comes to believe that p. Letting Ap be the proposition that it appears to the agent that p, and → be the material implication, we can say that the agent learns that p, and hence is in a position to infer Ap → p, once they receive the evidence Ap.1 This is surprising, because we can prove the following. (shrink)

In this short survey article, I discuss Bell’s theorem and some strategies that attempt to avoid the conclusion of non-locality. I focus on two that intersect with the philosophy of probability: (1) quantum probabilities and (2) superdeterminism. The issues they raised not only apply to a wide class of no-go theorems about quantum mechanics but are also of general philosophical interest.

Modern scientific cosmology pushes the boundaries of knowledge and the knowable. This is prompting questions on the nature of scientific knowledge. A central issue is what defines a 'good' model. When addressing global properties of the Universe or its initial state this becomes a particularly pressing issue. How to assess the probability of the Universe as a whole is empirically ambiguous, since we can examine only part of a single realisation of the system under investigation: at some point, data will (...) run out. We review the basics of applying Bayesian statistical explanation to the Universe as a whole. We argue that a conventional Bayesian approach to model inference generally fails in such circumstances, and cannot resolve, e.g., the so-called 'measure problem' in inflationary cosmology. Implicit and non-empirical valuations inevitably enter model assessment in these cases. This undermines the possibility to perform Bayesian model comparison. One must therefore either stay silent, or pursue a more general form of systematic and rational model assessment. We outline a generalised axiological Bayesian model inference framework, based on mathematical lattices. This extends inference based on empirical data (evidence) to additionally consider the properties of model structure (elegance) and model possibility space (beneficence). We propose this as a natural and theoretically well-motivated framework for introducing an explicit, rational approach to theoretical model prejudice and inference beyond data. (shrink)

Probability can be used to measure degree of belief in two ways: objectively and subjectively. The objective measure is a measure of the rational degree of belief in a proposition given a set of evidential propositions. The subjective measure is the measure of a particular subject’s dispositions to decide between options. In both measures, certainty is a degree of belief 1. I will show, however, that there can be cases where one belief is stronger than another yet both beliefs are (...) plausibly measurable as objectively and subjectively certain. In ordinary language, we can say that while both beliefs are certain, one belief is more certain than the other. I will then propose second, non probabilistic dimension of measurement, which tracks this variation in certainty in such cases where the probability is 1. A general principle of rationality is that one’s subjective degree of belief should match the rational degree of belief given the evidence available. In this paper I hope to show that it is also a rational principle that the maximum stake size at which one should remain certain should match the rational weight of certainty given the evidence available. Neither objective nor subjective measures of certainty conform to the axioms of probability, but instead are measured in utility. This has the consequence that, although it is often rational to be certain to some degree, there is no such thing as absolute certainty. (shrink)

In finite probability theory, events are subsets S⊆U of the outcome set. Subsets can be represented by 1-dimensional column vectors. By extending the representation of events to two dimensional matrices, we can introduce "superposition events." Probabilities are introduced for classical events, superposition events, and their mixtures by using density matrices. Then probabilities for experiments or `measurements' of all these events can be determined in a manner exactly like in quantum mechanics (QM) using density matrices. Moreover the transformation of (...) the density matrices induced by the experiments or `measurements' is the Lüders mixture operation as in QM. And finally by moving the machinery into the n-dimensional vector space over ℤ₂, different basis sets become different outcome sets. That `non-commutative' extension of finite probability theory yields the pedagogical model of quantum mechanics over ℤ₂ that can model many characteristic non-classical results of QM. (shrink)

According to the Lockean thesis, a proposition is believed just in case it is highly probable. While this thesis enjoys strong intuitive support, it is known to conflict with seemingly plausible logical constraints on our beliefs. One way out of this conflict is to make probability 1 a requirement for belief, but most have rejected this option for entailing what they see as an untenable skepticism. Recently, two new solutions to the conflict have been proposed that are alleged to be (...) non-skeptical. We compare these proposals with each other and with the Lockean thesis, in particular with regard to the question of how much we gain by adopting any one of them instead of the probability 1 requirement, that is, of how likely it is that one believes more than the things one is fully certain of. (shrink)

In his entry on "Quantum Logic and Probability Theory" in the Stanford Encyclopedia of Philosophy, Alexander Wilce (2012) writes that "it is uncontroversial (though remarkable) the formal apparatus quantum mechanics reduces neatly to a generalization of classical probability in which the role played by a Boolean algebra of events in the latter is taken over the 'quantum logic' of projection operators on a Hilbert space." For a long time, Patrick Suppes has opposed this view (see, for example, the paper collected (...) in Suppes and Zanotti (1996). Instead of changing the logic and moving from a Boolean algebra to a non-Boolean algebra, one can also 'save the phenomena' by weakening the axioms of probability theory and work instead with upper and lower probabilities. However, it is fair to say that despite Suppes' efforts upper and lower probabilities are not particularly popular in physics as well as in the foundations of physics, at least so far. Instead, quantum logic is booming again, especially since quantum information and computation became hot topics. Interestingly, however, imprecise probabilities are becoming more and more popular in formal epistemology as recent work by authors such as James Joye (2010) and Roger White (2010) demonstrates. (shrink)

This paper defends David Hume's "Of Miracles" from John Earman's (2000) Bayesian attack by showing that Earman misrepresents Hume's argument against believing in miracles and misunderstands Hume's epistemology of probable belief. It argues, moreover, that Hume's account of evidence is fundamentally non-mathematical and thus cannot be properly represented in a Bayesian framework. Hume's account of probability is show to be consistent with a long and laudable tradition of evidential reasoning going back to ancient Roman law.

We generalize the Kolmogorov axioms for probability calculus to obtain conditions defining, for any given logic, a class of probability functions relative to that logic, coinciding with the standard probability functions in the special case of classical logic but allowing consideration of other classes of "essentially Kolmogorovian" probability functions relative to other logics. We take a broad view of the Bayesian approach as dictating inter alia that from the perspective of a given logic, rational degrees of belief are those representable (...) by probability functions from the class appropriate to that logic. Classical Bayesianism, which fixes the logic as classical logic, is only one version of this general approach. Another, which we call Intuitionistic Bayesianism, selects intuitionistic logic as the preferred logic and the associated class of probability functions as the right class of candidate representions of epistemic states (rational allocations of degrees of belief). Various objections to classical Bayesianism are, we argue, best met by passing to intuitionistic Bayesianism—in which the probability functions are taken relative to intuitionistic logic—rather than by adopting a radically non-Kolmogorovian, for example, nonadditive, conception of (or substitute for) probability functions, in spite of the popularity of the latter response among those who have raised these objections. The interest of intuitionistic Bayesianism is further enhanced by the availability of a Dutch Book argument justifying the selection of intuitionistic probability functions as guides to rational betting behavior when due consideration is paid to the fact that bets are settled only when/if the outcome bet on becomes known. (shrink)

It can often seem like the attitude we hold towards a conditional should be our attitude in the consequent on the supposition of the antecedent. Following by Williamson (Suppose and Tell: The Semantics and Heuristics of Conditionals. Oxford University Press, 2020), we call this The suppositional rule (SR). The Adams-style non-propositional theories of indicatives upholds some key implications of SR, allowing, for instance, our credence in a conditional to be the probability of the consequent given the antecedent. Williamson (Suppose and (...) Tell: The Semantics and Heuristics of Conditionals. Oxford University Press, 2020) has recently provided a series of inconsistency arguments against SR. He thereby intends to undermine non-propositional views as well as other rivals to his favoured material conditional account. I outline a strategy which theorists of all stripes can employ to avoid Williamson’s arguments. I then show how non-propositionalists can implement this strategy. I show how they can uphold SR when it is intuitively compelling, whilst allowing it to fail when it is not. (shrink)

Amongst invertebrates, molluscs show great variability in their nervous system ranging from primitive arrangement in Chitons to the complex mass of fused ganglia forming the ‘brain’ of cephalopods. Most of the effector organs used for pharmacological or physiological experiments. The neurosecretory cells (NSCs) with their combination of neuronal and glandular capabilities are perfectly suited to translate a neuronal input into the hormonal output best suited to long-term process. In this capacity, the NSCs may produce hormones, which act directly upon the (...) peripheral target or it may exert its effect indirectly by influencing the activity of other non-neural, endocrine organs. Neurosecretory cells have been detected in the cerebral, pedal and visceral ganglia of Lamellidens corrianus. The distribution and biology of freshwater bivalve like Lamellidens corrianus is influenced by local ecological factors (like temperature, pH, inorganic salts, type of soil etc.), water flow system and presence of micro-organisms, teleost fishes and seasonal variations in these parameters. Nitrogenous excretory changes which include ammonia in these molluscs is also influenced by these local ecological factors in which temperature is plays very crucial role. It is well known fact that the high stress conditions during drought or severe winter conditions have been conquered by several lineage of gastropods and sand bivalves and their ability to enter the resistant or dormant stages (low food) protein catabolism increased. Present investigation deals with the oxygen consumption and ammonia excretion ratio of these freshwater pelecypode Lamellidens corrianus. Study on Lemellidens corrianus directed in understanding the different behavioral and physiological aspects after cerebral ganglia removal and injection of their extracts revealed significant changes during summer (April-May). (shrink)

This note discusses three issues that Allen and Pardo believe to be especially problematic for a probabilistic interpretation of standards of proof: (1) the subjectivity of probability assignments; (2) the conjunction paradox; and (3) the non-comparative nature of probabilistic standards. I offer a reading of probabilistic standards that avoids these criticisms.

Several recent authors have suggested that much of the discussion on divine action is flawed since it presupposes that divine and human agency compete. Such authors advocate a reappropriation of the Scholastic distinction between primary and secondary causation which, it is suggested, solves many problems in the theology of divine action. This article (i) critiques defences of the primary/secondary cause distinction based on appeals to analogical predication, and (ii) argues that, even assuming an adequate account of the primary/secondary cause distinction, (...) the distinction provides no help in the development of non-interventionist accounts of special divine action. (shrink)

Most of us are either philosophically naïve scientists or scientifically naïve philosophers, so we misjudged Schrödinger’s “very burlesque” portrait of Quantum Theory (QT) as a profound conundrum. The clear signs of a strawman argument were ignored. The Ontic Probability Interpretation (TOPI) is a metatheory: a theory about the meaning of QT. Ironically, equating Reality with Actuality cannot explain actual data, justifying the century-long philosophical struggle. The actual is real but not everything real is actual. The ontic character of the Probable (...) has been elusive for so long because it cannot be grasped directly from experiment; it can only be inferred from physical setups that do not morph it into the Actual. Born’s Rule and the quantum formalism for the microworld are intuitively surmised from instances in our macroworld. The posited reality of the quanton’s probable states and properties is probed and proved. After almost a century, TOPI aims at setting the record straight: the so-called ‘Basis’ and ‘Measurement’ problems are ill-advised. About the first, all bases are legitimate regardless of state and milieu. As for the second, its premise is false: there is no need for a physical ‘collapse’ process that would convert many states into a single state. Under TOPI, a more sensible variant of the ‘measurement problem’ can be reformulated in non-anthropic terms as a real problem. Yet, as such, it is not part of QT per se and will be tackled in future papers. As for the mythical cat, the ontic state of a radioactive nucleus is not pure, so its evolution is not governed by Schrödinger’s equation -- let alone the rest of his “hellish machine”. Einstein was right: “The Lord is subtle but not malicious”. However, ‘The Lord’ turned out to be much subtler than what Einstein and Schrödinger could have ever accepted. Future articles will reveal how other ‘paradoxes of QT’ are fully explained under TOPI, showing its soundness and potential for nurturing further theoretical/technological advance. (shrink)

After pinpointing a conceptual confusion (TCC), a Reality preconception (TRP1), and a fallacious dichotomy (TFD), the famous EPR/EPRB argument for correlated ‘particles’ is studied in the light of the Ontic Probability Interpretation (TOPI) of Quantum Theory (QT). Another Reality preconception (TRP2) is identified, showing that EPR used and ignored QT predictions in a single paralogism. Employing TFD and TRP2, EPR unveiled a contradiction veiled in its premises. By removing nonlocality from QT’s Ontology by fiat, EPR preordained its incompleteness. The Petitio (...) Principii fallacy was at work from the outset. Einstein surmised the solution to his incompleteness/nonlocality dilemma in 1949, but never abandoned his philosophical stance. It is concluded that there are no definitions of Reality: we have to accept that Reality may not conform to our prejudices and, if an otherwise successful theory predicts what we do not believe in, no gedankenexperiment will help because our biases may slither through. Only actual experiments could assist in solving Einstein’s dilemma, as proven in the last 50 years. Notwithstanding, EPR is one of the most influential papers in history and has immensely sparked both conceptual and technological progress. Future articles will further explain TOPI, demonstrating its soundness and potential for nurturing theoretical advance. (shrink)

One very popular framework in contemporary epistemology is Bayesian. The central epistemic state is subjective confidence, or credence. Traditional epistemic states like belief and knowledge tend to be sidelined, or even dispensed with entirely. Credences are often introduced as familiar mental states, merely in need of a special label for the purposes of epistemology. But whether they are implicitly recognized by the folk or posits of a sophisticated scientific psychology, they do not appear to fit well with perception, as is (...) often noted. -/- This paper investigates the tension between probabilistic cognition and non-probabilistic perception. The tension is real, and the solution—to adapt a phrase from Quine and Goodman—is to renounce credences altogether. (shrink)

This paper explores the interaction of well-motivated (if controversial) principles governing the probability conditionals, with accounts of what it is for a sentence to be indefinite. The conclusion can be played in a variety of ways. It could be regarded as a new reason to be suspicious of the intuitive data about the probability of conditionals; or, holding fixed the data, it could be used to give traction on the philosophical analysis of a contentious notion—indefiniteness. The paper outlines the various (...) options, and shows that ‘rejectionist’ theories of indefiniteness are incompatible with the results. Rejectionist theories include popular accounts such as supervaluationism, non-classical truth-value gap theories, and accounts of indeterminacy that centre on rejecting the law of excluded middle. An appendix compares the results obtained here with the ‘impossibility’ results descending from Lewis ( 1976 ). (shrink)

We begin by showing that every theory of the value of uncertain prospects must have one of three unpalatable properties. _Reckless_ theories recommend giving up a sure thing, no matter how good, for an arbitrarily tiny chance of enormous gain; _timid_ theories permit passing up an arbitrarily large potential gain to prevent a tiny increase in risk; _non-transitive_ theories deny the principle that, if A is better than B and B is better than C, then A must be better than (...) C. Having set up this trilemma, we study its horns. Non-transitivity has been much discussed; we focus on drawing out the costs and benefits of recklessness and timidity when it comes to axiology, decision theory, and normative uncertainty. (shrink)

Neutrosophy considers a proposition, theory, event, concept, or entity, "A" in relation to its opposite, "Anti A" and that which is not A, "Non-A", and that which is neither "A" nor "Anti-A", denoted by "Neut-A". Neutrosophy is the basis of neutrosophic logic, neutrosophic probability, neutrosophic set, and neutrosophic statistics.

Reasoning over our knowledge bases and theories often requires non-deductive inferences, especially – but by no means only – when commonsense reasoning is the case, i.e. when practical agency is called for. This kind of reasoning can be adequately formalized via the notion of supraclassical consequence, a non-deductive consequence tightly associated with default and non-monotonic reasoning and featuring centrally in abductive, inductive, and probabilistic logical systems. In this paper, we analyze core concepts and problems of these systems in the light (...) of supraclassical consequence. (shrink)

In this paper, I argue that causal theories of memory are typically committed to two independent, non-mutually entailing theses. The first thesis pertains to the necessity of appropriate causation in memory, specifying a condition token memories need to satisfy. The second pertains to the explanation of memory reliability in causal terms and it concerns memory as a type of mental state. Post-causal theories of memory can reject only the first (weak post-causalism) or both (strong post-causalism) theses. Upon this backdrop, I (...) examine Werning’s (2020) causalist argument from probabilistic correlation. I argue that it doesn’t establish the necessity of appropriate causation and thus it can only target strong post-causalist theories. I end up by presenting some general considerations, suggesting that memories may not always be causally linked to past experiences. (shrink)

Orthodox Bayesianism is a highly idealized theory of how we ought to live our epistemic lives. One of the most widely discussed idealizations is that of logical omniscience: the assumption that an agent’s degrees of belief must be probabilistically coherent to be rational. It is widely agreed that this assumption is problematic if we want to reason about bounded rationality, logical learning, or other aspects of non-ideal epistemic agency. Yet, we still lack a satisfying way to avoid logical omniscience within (...) a Bayesian framework. Some proposals merely replace logical omniscience with a different logical idealization; others sacrifice all traits of logical competence on the altar of logical non-omniscience. We think a better strategy is available: by enriching the Bayesian framework with tools that allow us to capture what agents can and cannot infer given their limited cognitive resources, we can avoid logical omniscience while retaining the idea that rational degrees of belief are in an important way constrained by the laws of probability. In this paper, we offer a formal implementation of this strategy, show how the resulting framework solves the problem of logical omniscience, and compare it to orthodox Bayesianism as we know it. (shrink)

In my essay I consider the imaginary case of a future mother who refuses to undergo genetic alteration on her germline although she knows that her, as yet unconceived, child will have a serious genetic disorder. I analyze the good and bad points of two branches of arguments directed against her decision, consequentialist and rights-based. Then I discuss whether accepting one line of these arguments or the other makes a difference in moral assessment. I conclude that, although from the preanalytical (...) perspective we strongly oppose the refusal of genetic treatment in my imaginary case, it is probably impossible to construct one coherent theory which embraces all possible moral dilemmas triggered by our actions which affect the number and the identity of future people. (shrink)

Religious disagreement – the existence of inconsistent religious views – is familiar and widespread. Among the most fundamental issues of such disagreement is whether to characterise the divine as personal or non-personal. On most other religious issues, the diverse views seem to presuppose some view on the personal/non-personal issue. In this essay, I address a particular question arising from disagreement over this issue. Let an exclusivist belief be a belief that a doctrine d on an issue is true, and that (...) doctrines on the issue that differ from d are false. Assume that for at least some people, there is no epistemic reason to prefer any one exclusivist view on the personal/non-personal question. This might be because disagreements act as defeaters for disputants’ beliefs, or because someone comes at the question without already holding a belief on the matter, and finds each view equally plausible. In these circumstances, is it still possible to engage with particular traditions in a realist, truth-seeking way? I answer that it is, arguing for a new pluralist approach to the personal/non-personal issue. By ‘pluralist’, I mean an approach that reinterprets a doctrine d on a given issue to be consistent with doctrines on the issue that differ from d. I start with probably the best-known pluralist account of religion, that of John Hick. After presenting his account I identify a problem that it faces which any pluralist account must address, one that has clear relevance to the personal/non-personal question. I then draw on Thomas Merton to outline an alternative pluralist route, illustrating how such an approach can apply to Christian and Buddhist ideas of an ultimate spiritual goal. The personal/non-personal issue is a good test for the approach I develop: because of the issue’s fundamentality, if the approach succeeds here then the prospects look bright for applying it to other topics of religious disagreement. (shrink)

A definition of causation as probability-raising is threatened by two kinds of counterexample: first, when a cause lowers the probability of its effect; and second, when the probability of an effect is raised by a non-cause. In this paper, I present an account that deals successfully with problem cases of both these kinds. In doing so, I also explore some novel implications of incorporating into the metaphysical investigation considerations of causal psychology.

It is a core feature of the conception of freedom as non-domination that freedom requires the absence of exposure to arbitrary power across a range of relevant possible worlds. While this modal robustness is critical to the analysis of paradigm cases of unfreedom such as slavery, critics such as Gerald Gaus have argued that it leads to absurd conclusions, with barely-felt constraints appearing as sources of unfreedom. I aim to clarify the demands of the modal robustness requirement, and offer a (...) reinterpretation of its place in the conceptual framework of freedom as non-domination. I illustrate this point through a discussion of low-probability threats of interference which are central to Gaus’s critique, which I term ‘distant threats’. I argue that those committed to robust conceptions of freedom should still be concerned by these kinds of threats, which will sometimes constitute genuine sources of unfreedom. But rather than leading to absurd conclusions, we should instead view them as diagnostic of deficiencies within existing regimes of non-domination. The challenge posed by distant threats of domination to the republican conception of freedom does not prove it implausible, but illustrates some of its most important insights about the social and economic conditions of free status, and the fragility of that freedom. (shrink)

Consider the concept combination ‘pet human’. In word association experiments, human subjects produce the associate ‘slave’ in relation to this combination. The striking aspect of this associate is that it is not produced as an associate of ‘pet’, or ‘human’ in isolation. In other words, the associate ‘slave’ seems to be emergent. Such emergent associations sometimes have a creative character and cognitive science is largely silent about how we produce them. Departing from a dimensional model of human conceptual space, this (...) article will explore concept combinations, and will argue that emergent associations are a result of abductive reasoning within conceptual space, that is, below the symbolic level of cognition. A tensor-based approach is used to model concept combinations allowing such combinations to be formalized as interacting quantum systems. Free association norm data is used to motivate the underlying basis of the conceptual space. It is shown by analogy how some concept combinations may behave like quantum-entangled particles. Two methods of analysis were presented for empirically validating the presence of non-separable concept combinations in human cognition. One method is based on quantum theory and another based on comparing a joint probability distribution with another distribution based on a separability assumption using a chi-square goodness-of-fit test. Although these methods were inconclusive in relation to an empirical study of bi-ambiguous concept combinations, avenues for further refinement of these methods are identified. (shrink)

*These notes were folded into the published paper "Probability and nonclassical logic*. Revising semantics and logic has consequences for the theory of mind. Standard formal treatments of rational belief and desire make classical assumptions. If we are to challenge the presuppositions, we indicate what is kind of theory is going to take their place. Consider probability theory interpreted as an account of ideal partial belief. But if some propositions are neither true nor false, or are half true, or whatever—then it’s (...) far from clear that our degrees of belief in it and its negation should sum to 1, as classical probability theory requires (?, cf.). There are extant proposals in the literature for generalizing (categorical) probability theory to a non-classical setting, and we will use these below. But subjective probabilities themselves stand in functional relations to other mental states, and we need to trace the knock-on consequences of revisionism for this interrelationship (arguably, degrees of belief only count as kinds of belief in virtue of standing in these functional relationships). (shrink)

This study was a Persian-English comparative translation investigation on the selected poems of Forough- Farrokhzad, an influential contemporary Iranian poet. Two English translations were analyzed: one by a native Persian speaker, Sholeh Wolpé, an Iranian poet and translator, and the other by a non-native Persian speaker, Jascha Kessler, an American poet, writer and translator. The translations were reviewed according to Vinay and Darbelnet’s(1995) model which identifies two general translation strategies: direct and oblique, resembling literal versus free classifications, respectively, along with (...) their supplementary proce- dures in order to investigate the frequency of the application of each procedure by the two translators. After situating every line of the poems in the related categories, the number of times each procedure was em- ployed was examined. The findings indicated that both translators used the oblique strategy more than the direct one. The non-native translator, however, used the oblique strategy considerably more frequently com- pared to the native translator. Finally, new procedures called complementary procedures were proposed by the researchers to be added to Vinay and Darbelnet’s (1995) model in order to fill the gaps in the application of strategies and procedures to the poems of Forough Farrokhzad and probably other poems. (shrink)

When people disagree about what is moral, we face an epistemological challenge—when the answer to a moral question is not obvious, how do we determine who is right? What if, under the circumstances, we do not have the means to show one party or the other is right? In recent years, a number of epistemologists have turned their attention to the general epistemic problem of how to respond reasonably to disagreement, and we can look to their work for guidance. While (...) there remains significant disagreement about how to respond to disagreement, I will focus on what I take to be the best position in the debate, known as the “Conciliatory” position (or “Conciliation” for short), which holds that parties to a disagreement should become less confident of their initial opinions to some degree, according to the credibility of the parties involved. Conciliation, if interpreted straightforwardly, has some counter-intuitive implications for unpopular opinions, including unpopular moral judgments. If a moral non-conformist becomes somewhat less confident of her view in response to each disagreement with a presumed epistemic peer, she will eventually have such a low degree of confidence in her initial view that she will effectively have switched positions. This result is troubling because almost everyone accepts moral views that were non-conforming views at some point in time, and these views probably would not have become widespread if non-conformists had changed their positions. I propose a modified version of Conciliation which would enable moral non-conformists to engage in cautious “experiments in living.” This modified view, I argue, is reasonable for those who are concerned, not only with correcting their own mistaken moral views, but with promoting moral progress in general. (shrink)

In a recent paper, Eric Schwitzgebel argues that if materialism about consciousness is true, then the United States is likely to have its own stream of phenomenal consciousness, distinct from the streams of conscious experience of the people who compose it. Indeed, most plausible forms of materialism have to grant that a certain degree of functional and behavioral complexity constitutes a sufficient condition for the ascription of phenomenal consciousness – and Schwitzgebel makes a case to show that the United States (...) as a whole fulfills this condition. One way to avoid this counter-intuitive consequence of materialism about consciousness is to adopt what Schwitzgebel calls an “anti-nesting principle”: a principle that states that there can be no nested forms of phenomenal consciousness and that therefore a conscious whole cannot have parts that are themselves conscious. However, Schwitzgebel then proceeds in his paper to draw up various objections, notably based on thought experiments, in order to dismiss these kinds of “anti-nesting” principles. My aim in this paper is to present a version of a sophisticated anti-nesting principle that avoids Schwitzgebel’s objections. This principle is reasonable, intuitive, and as non-arbitrary as possible. Moreover, it can resist the objections mounted by Schwitzgebel against simple anti-nesting principles. This principle helps materialists avoid the implication that the United States has its own stream of consciousness, while granting consciousness to some entities which, in many cases, are intuitive instantiators of phenomenal consciousness. This principle therefore constitutes a way out for a materialist who wants to deny that the United States is conscious. (shrink)

Purpose – The internet creates ample opportunities to start a mobile social commerce business. The literature confirms the issue of customer trust for social commerce businesses is a challenge that must be addressed. Hence, this study aims to examine the antecedents of trust in mobile social commerce by applying linear and non-linear relationships based on partial least squares structural equation modeling and an artificial neural network model. -/- Design/methodology/approach – This study applied a non-linear artificial neural network approach to provide (...) a further understanding of the determinants of trust in mobile social commerce based on a non-linear and non-compensatory model. Besides, a questionnaire was distributed to 340 social commerce customers in Malaysia. -/- Findings – The conceptual framework for investigating trust in mobile social commerce has various advantages and contributions to predicting consumer behaviour. The results of the study showed there is a positive and significant relationship between social support, presence and unified theory of acceptance and use of technology2 (UTAUT2). In addition, UTAUT2 has fully mediated the relationship between social support, presence and trust in social commerce. Finally, the results concluded the relationship between UTAUT2 and trust in social commerce would be stronger when the diffusion of innovation and innovation resistance is high and low, respectively. -/- Research limitations/implications – The current study provides a novel perspective on how customers can trust social m-commerce to provide real solutions to managers of encouraging e-marketing among consumers. -/- Practical implications – This paper shows how businesses can develop trust in social m-commerce in Malaysian markets. The findings of this study probably could be extended to other businesses in Asia or other countries. Because trust in social e-commerce has a dynamic role in consumer behaviour and intention to purchase. -/- Originality/value – This study provided a new perspective on mobile social commerce and paid more attention to an investigation of such emerging commerce. The originality of this study is embodied by investigating an integrated model that included different theories that presented new directions of trust in mobile social commerce through social and behavioural determinants. (shrink)

Eyal Shahar’s essay review [1] of James Penston’s remarkable book [2] seems more inspired playful academic provocation than review or essay, expressing dramatic views of impossible validity. The account given of modern biostatistical causation reveals the slide from science into the intellectual confusion and non-science RCTs have created: “…. the purpose of medical research is to estimate the magnitude of the effect of a causal contrast, for example the probability ratio of a binary outcome …” But Shahar’s world is simultaneously (...) not probabilistic, but of absolute uncertainty: “We should have no confidence in any type of evidence ….. We should have no confidence at all”. Shahar’s "Causal contrast" is attractive. It seems to make sense, but bypasses in two words the means of establishing causation by the scientific method. This phrase assumes a numeric statistically significant “contrast” is causal rather than a potential correlation requiring further investigation. The concept of “causal contrast” is a slippery slope from sense into biostatistical non-science. This can be illustrated with an hypothetical RCT where 100% of interventions exhibit a posited treatment effect and 0% of placebo controls. Internal validity is seemingly quite reasonably assumed satisfied (common-sense dictating the likelihood of an awesome magnificent fraud, bias or plain error of the magnitude required is infinitesimal). Scientific method appears satisfied. The RCT demonstrates: (1) strict regularity of outcome in the presence of posited cause; (2) the absence of outcome in its absence and (3) an intervention (experiment) showing the direction of causation is from posited cause to posited effect. Now travel further down the slope from science. Assume 50% of interventions and 0% of controls are positive. We compromise scientific method, but justify this by assuming a large subgroup which we say surely must on these figures be exhibiting the posited treatment effect. But what of 10% of interventions and 9% of placebo controls exhibiting the posited treatment effect? Our biostatistician says the 1% “causal contrast” is statistically significant. But we have: (1) minimal evidence of regularity; (2) the posited outcome irrespective of presence of posited cause and (3) our intervention is at the highest equivocal in demonstrating any form of causation. This is not science. It is, however, where biostatistics has unthinkingly taken us, as Penston has shown comprehensively [2]. We, the audience of published medical research, are now for the 10% / 9% example well down the slope from science. An unattractive hypothesis results requiring numerous assumptions similar to these:- "There is a 'contrast' which is ‘causal’, albeit the method employed is not scientific. An effect of the intervention has been observed in a very small subgroup. This subgroup is susceptible to treatment. The similar number of placebo controls exhibiting the outcome sought is irrelevant, because the 1% difference between intervention and controls is statistically significant. The statistical analysis is valid and reliable. The RCT’s internal validity is sufficiently satisfied. No funding or bias or fraud has affected the results or their analysis.” As Penston notes: “Confirming and refuting the results of research is crucial to science …. But … there’s no way of testing the results of any particular large-scale RCT or epidemiological study. Each study … is left hanging in the air, unsupported.” It gets worse. To identify a rare serious adverse reaction of a frequency of 1:10,000 can require a trial of 200,000 or larger split between controls and interventions. This is not done. But for every 100 who prospectively benefit from the intervention, 9,900 also receive it. And for every 100 benefiting one person (who likely gains no benefit) will suffer a serious unidentified adverse reaction. This is also without taking account of more common adverse reactions whether serious or otherwise. References [1] Shahar, E. (2011) Research and medicine: human conjectures at every turn. International Journal of Person Centered Medicine 1 (2), 250-253. [2] Penston, J. (2010). stats.con: How we’ve been fooled by statistics-based research in medicine. London: The London Press, UK. (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)

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 λ(φ^4 )_4 quantum field theory model is Lorentz covariant.