We review the definition of the Full Bayesian Significance Test (FBST), and summarize its main statistical and epistemological characteristics. We review also the Abstract Belief Calculus (ABC) of Darwiche and Ginsberg, and use it to analyze the FBST’s value of evidence. This analysis helps us understand the FBST properties and interpretation. The definition of value of evidence against a sharp hypothesis, in the FBST setup, was motivated by applications of Bayesian statistical reasoning to legal matters where the (...) sharp hypotheses were defendants statements, to be judged according to the Onus Probandi juridical principle. (shrink)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. David Elohim examines the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, (...) undecidable propositions, and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter \textbf{2} argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal and hyperintensional cognitivism and modal and hyperintensional expressivism. Elohim develops a novel, topic-sensitive truthmaker semantics for dynamic epistemic logic, and develops a novel, dynamic two-dimensional semantics grounded in two-dimensional hyperintensional Turing machines. Chapter \textbf{3} provides an abstraction principle for two-dimensional (hyper-)intensions. Chapter \textbf{4} advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter \textbf{5} applies the fixed points of the modal $\mu$-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal $\mu$-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal $\mu$-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter \textbf{6} advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter \textbf{7} provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters \textbf{2} and \textbf{4} is availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters \textbf{8-12} provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter \textbf{8} examines the interaction between Elohim's hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of $\Omega$-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter \textbf{9} examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. Elohim countenances a hyperintensional semantics for novel epistemic abstractionist modalities. Elohim suggests, too, that higher observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for two-dimensional hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter \textbf{10} examines the philosophical significance of hyperintensional $\Omega$-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter \textbf{11} provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter \textbf{12} avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between interpretational and objective modalities and the truthmakers thereof. This yields the first hyperintensional category theory in the literature. Elohim invents a new mathematical trick in which first-order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals in the category of Set in category theory. Chapter \textbf{13} examines modal responses to the alethic paradoxes. Elohim provides a counter-example to epistemic closure for logical deduction. Chapter \textbf{14} examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

Abstract In slogan form, the thesis of this paper is that beliefs are self-verifying fictions: We make them up, but in so doing, they come to exist, and so the fiction of belief is in fact true. This picture of belief emerges from a combination of three independently motivated views: (1) a phenomenal intentionalist picture of intentionality, on which phenomenal consciousness is the basis of intentionality; (2) what I will call a “self-ascriptivist” picture of derived representation, on (...) which non-fundamental representational features are a matter of our ascribing contents to ourselves or our mental states or contents; and (3) a representationalist picture of the attitudes, on which the attitude components of mental states (e.g., the “belief” bit of a belief that P) are represented contents. This paper outlines and motivates the view of beliefs as self-verifying fictions, compares the view to alternative views of belief, and contrasts beliefs on the resulting picture to other belief-like mental states. (shrink)

We present an abstract model of rationality that focuses on structural properties of attitudes. Rationality requires coherence between your attitudes, such as your beliefs, values, and intentions. We define three 'logical' conditions on attitudes: consistency, completeness, and closedness. They parallel the familiar logical conditions on beliefs, but contrast with standard rationality conditions like preference transitivity. We establish a formal correspondence between our logical conditions and standard rationality conditions. Addressing John Broome's programme 'rationality through reasoning', we formally characterize how you (...) can (not) become more logical by reasoning. Our analysis connects rationality with logic, and enables logical talk about multi-attitude psychology. (shrink)

Does religious belief differ in any interesting way from other kinds of belief? For now, take ‘belief’ to mean how one takes the world to be, on the basis of which they act. Call beliefs like this ‘ordinary beliefs’. There are also more complicated, or abstract, beliefs. Call such beliefs ‘non-ordinary beliefs’. Are religious beliefs different in any significant or interesting way from what we call ‘standard belief’? Our analysis shows that they are not. Although (...) the content of religious belief is different, and sometimes so is the function, religious beliefs are still mental, dispositional attitudes that aim to provide a correct representation of the world. Therefore, religious beliefs are best understood as a sub-category of standard beliefs, alongside ordinary and non-ordinary beliefs. This account of religious belief provides further insight into the meaning of belief and supports a revision of a strict demarcation between standard and non-standard beliefs. (shrink)

ABSTRACT In this paper I defend a version of Wittgensteininan contextualism. This is a view about justification on which some beliefs are epistemically appropriate because evidence cannot be adduced in their favour. I trace the history of the view from Wittgenstein and Ortega to the present day, defend one version from the charge of relativism, and suggest some applications of the view both within and without philosophy.

A general theory of logical oppositions is proposed by abstracting these from the Aristotelian background of quantified sentences. Opposition is a relation that goes beyond incompatibility (not being true together), and a question-answer semantics is devised to investigate the features of oppositions and opposites within a functional calculus. Finally, several theoretical problems about its applicability are considered.

Abstract. The aim of this paper is to show that the topological interpretation of knowledge as an interior kernel operator K of a topological space (X, OX) comes along with a partially ordered family of belief modalities B that fit K in the sense that the pairs (K, B) satisfy all axioms of Stalnaker’s KB logic of knowledge and belief with the exception of the contentious axiom of negative introspection (NI). The new belief modalities B introduced (...) in this paper are defined with the help of the (dense) nuclei of the Heyting algebra OX of open subsets on the topological space (X, OX). In this way, the natural context for the belief operators B related to topological knowledge operator K is shown to be the Heyting algebra NUC(OX) of the nuclei of the Heyting algebra OX.1 More precisely, the dense nuclei of NUC(OX) can be used to define a variety of bimodal logics of knowledge operators K and belief operators B. The operators K and B are compatible with each other in the sense that the pairs (K, B) satisfy all axioms of Stalnaker’s KB system with the exception of the axiom (NI). Therefore, for (X, OX), one obtains a bounded, partially ordered family of belief operators B defined by the elements of NUC(OX). (shrink)

Abstract: When do we meet the standard of proof in a criminal trial? Some have argued that it is when the guilt of the defendant is sufficiently probable on the evidence. Some have argued that it is a matter of normic support. While the first view provides us with a nice account of how we ought to manage risk, the second explains why we shouldn’t convict on the basis of naked statistical evidence alone. Unfortunately, this second view doesn’t help (...) us understand how we should manage risk (e.g., the risk of violating rights against wrongful conviction) and faces counterexamples of its own. I shall defend an alternative approach that builds on the strengths of these two accounts. On the approach defending here, it is objectively suitable to punish iff we know a defendant to be guilty. To determine what is consistent with procedural justice and to determine what we prospectively ought to do, we need to think about the risks we face of deviating from this objective ideal. (shrink)

An important lesson that philosophy can learn from the Turing Test and computer science more generally concerns the careful use of the method of Levels of Abstraction (LoA). In this paper, the method is first briefly summarised. The constituents of the method are “observables”, collected together and moderated by predicates restraining their “behaviour”. The resulting collection of sets of observables is called a “gradient of abstractions” and it formalises the minimum consistency conditions that the chosen abstractions must satisfy. Two useful (...) kinds of gradient of abstraction – disjoint and nested – are identified. It is then argued that in any discrete (as distinct from analogue) domain of discourse, a complex phenomenon may be explicated in terms of simple approximations organised together in a gradient of abstractions. Thus, the method replaces, for discrete disciplines, the differential and integral calculus, which form the basis for understanding the complex analogue phenomena of science and engineering. The result formalises an approach that is rather common in computer science but has hitherto found little application in philosophy. So the philosophical value of the method is demonstrated by showing how making the LoA of discourse explicit can be fruitful for phenomenological and conceptual analysis. To this end, the method is applied to the Turing Test, the concept of agenthood, the definition of emergence, the notion of artificial life, quantum observation and decidable observation. It is hoped that this treatment will promote the use of the method in certain areas of the humanities and especially in philosophy. (shrink)

The purpose of this paper is to outline an alternative approach to introductory logic courses. Traditional logic courses usually focus on the method of natural deduction or introduce predicate calculus as a system. These approaches complicate the process of learning different techniques for dealing with categorical and hypothetical syllogisms such as alternate notations or alternate forms of analyzing syllogisms. The author's approach takes up observations made by Dijkstrata and assimilates them into a reasoning process based on modified notations. The (...) author's model adopts a notation that addresses the essentials of a problem while remaining easily manipulated to serve other analytic frameworks. The author also discusses the pedagogical benefits of incorporating the model into introductory logic classes for topics ranging from syllogisms to predicate calculus. Since this method emphasizes the development of a clear and manipulable notation, students can worry less about issues of translation, can spend more energy solving problems in the terms in which they are expressed, and are better able to think in abstract terms. (shrink)

This paper analyses the phenomenon of strange, rigid beliefs through the lens of predictive processing (PP). By “strange, rigid beliefs” I refer to abstract beliefs about the world for which, according to a rational and scientific worldview, there is no evidence available, yet which people struggle to abandon even when challenged with strong counterarguments or counterevidence. Following recent PP accounts of delusion formation, I show that one explanation for such strangely persistent beliefs can be a breakdown of the predictive (...) machinery itself. However, given how common strange, rigid beliefs are, I argue that there must be another kind of explanation too – one that does not presuppose a malfunction of the prediction engine. This will lead me to develop an alternative account that I will call “hijacking beliefs”. Using the example of supernatural beliefs, I will argue that certain abstract beliefs, when adopted under the right circumstances, are especially hard to dislodge for a predictive mind, as they are evidentially self-protective. Such beliefs may be consistent with a wide range of experiences and therefore hard to falsify, and might also bias future perception, action, and model-updating in ways that make them immune to rational revision. (shrink)

ABSTRACT Drawing inspiration from Fred Dretske, L. S. Carrier, John A. Barker, and Robert Nozick, we develop a tracking analysis of knowing according to which a true belief constitutes knowledge if and only if it is based on reasons that are sensitive to the fact that makes it true, that is, reasons that wouldn’t obtain if the belief weren’t true. We show that our sensitivity analysis handles numerous Gettier-type cases and lottery problems, blocks pathways leading to skepticism, (...) and validates the epistemic closure thesis that correct inferences from known premises yield knowledge of the conclusions. We discuss the plausible views of Ted Warfield and Branden Fitelson regarding cases of knowledge acquired via inference from false premises, and we show how our sensitivity analysis can account for such cases. We present arguments designed to discredit putative counterexamples to sensitivity analyses recently proffered by Tristan Haze, John Williams and Neil Sinhababu, which involve true statements made by untrustworthy informants and strange clocks that sometimes display the correct time while running backwards. Finally, we show that in virtue of employing the paradox-free subjunctive conditionals codified by Relevance Logic theorists instead of the paradox-laden subjunctive conditionals codified by Robert Stalnaker and David Lewis. (shrink)

Abstract. Gettier’s famous examples intended to show that knowledge cannot always be equated with justified true belief. The Gettier problem can also be considered as a problem for topological epistemic logic: If knowledge and justified belief are conceived as topological operators K and B on topological spaces (to be considered as universes of possible worlds), one may ask whether it happens that there is a proposition A such that KA ≠ A & BA or not. If this (...) is the case, the epistemological logic defined by the topological operators K and B may be said to be non-traditional since there is for them a “Gettier proposition” where knowledge does not coincide with justified true belief. As far as we know, for the first time, this topological Gettier problem is discussed in Steinvold’s PhD dissertation (Steinsvold 2012). In Baltag, Bezhanishvili, Özgün, and Smets (2013), Steinvold’s co-derived set account is criticized since it can be easily “Gettierized”. Baltag et alii claim (without proof) that their topological account of Stalnaker’s logic KB of knowledge and belief does not have this flaw. In the following we will give some topological conditions that determine whether a topological KB model does or does not cope with the Gettier challenge. First, it will be shown that every KB model defines a (topologically slightly simplified) model that is rather similar to it but a is a model of traditional JTB (knowledge = justified true belief) logic of knowledge and belief. The existence of such doppelgangers of all KB models may be read as a qualified and partial topological rehabilitation of traditional JTB epistemology. Second, we consider the Gettier problem for a special class of models of Stalnaker’s combined logic of knowledge and belief KB, namely, for T0 Alexandroff spaces. We prove that, that almost all Alexandroff spaces do not face Gettier counterexamples. Third, we prove that the Stone spaces of Boolean algebras of regular closed subsets of Hausdorff (or T2) spaces X do not face Gettier counterexamples if the X are not pseu–docompact, and these Stone spaces do face Gettier counterexamples for compact spaces X. Succinctly formulated, Stalnaker’s KB logic of knowledge and belief can avoid Gettier problems for some models, while it falls back to traditional pre-Gettier JTB epistemology for other models. In contrast, co-derived set semantics is doomed to fail always in the sense that its models always fall prey to Gettier counterexamples. (shrink)

Some philosophers have recently suggested that the reason mathematics is useful in science is that it expands our expressive capacities. Of these philosophers, only Stephen Yablo has put forward a detailed account of how mathematics brings this advantage. In this article, I set out Yablo’s view and argue that it is implausible. Then, I introduce a simpler account and show it is a serious rival to Yablo’s. 1 Introduction2 Yablo’s Expressionism3 Psychological Objections to Yablo’s Expressionism4 Introducing Belief Expressionism5 Objections (...) and Replies5.1 Yablo’s likely response5.2 Charity6 Conclusion. (shrink)

For some reason, participants hold agents more responsible for their actions when a situation is described concretely than when the situation is described abstractly. We present examples of this phenomenon, and survey some attempts to explain it. We divide these attempts into two classes: affective theories and cognitive theories. After criticizing both types of theories we advance our novel hypothesis: that people believe that whenever a norm is violated, someone is responsible for it. This belief, along with the familiar (...) workings of cognitive dissonance theory, is enough to not only explain all of the abstract/concrete paradoxes, but also explains seemingly unrelated effects, like the anthropomorphization of malfunctioning inanimate objects. (shrink)

One shortcoming of the chain rule is that it does not iterate: it gives the derivative of f(g(x)), but not (directly) the second or higher-order derivatives. We present iterated differentials and a version of the multivariable chain rule which iterates to any desired level of derivative. We first present this material informally, and later discuss how to make it rigorous (a discussion which touches on formal foundations of calculus). We also suggest a finite calculus chain rule (contrary to (...) Graham, Knuth and Patashnik's claim that "there's no corresponding chain rule of finite calculus"). (shrink)

The examination of "Taiwanese Philosophy" is intricately influenced by the complex meanings of its terms4, fostering a range of interpretations and understandings that play a crucial role in the methodological discussions on how Taiwanese philosophical ideas are analyzed and developed. I highlight that the conventional approaches to interpreting "Taiwanese Philosophy" are mainly divided into two models: the PIT framework, signifying "Philosophical activities in Taiwan," and the TP framework, indicating "Taiwanese Philosophy noted for its unique subjectivity" (see Hung & Gao 2018)5. (...) In the early twentieth century, Mou Zongsan's emergence of New Confucianism shaped the academic reception towards the PIT model and elicited critiques of the TP perspective. This trend guided scholars in Chinese philosophy towards the CPIT (Chinese Philosophy in Taiwan) approach for deciphering "Taiwanese Philosophy," typically viewing it as a form of "Chinese philosophical endeavors in Taiwan." The prevailing contemporary academic opinion posits that initial supporters of New Confucianism failed to recognize Taiwanese philosophy’s unique characteristics and position following colonialism, reducing it to the CPIT model. This stance places "Taiwanese Philosophy" within the broader realm of Chinese Philosophy, highlighting the hierarchical differences between Chinese and Taiwanese philosophical traditions, which later drew substantial critique from supporters of Western liberalism and decolonization efforts. Recently, the importance of "Taiwanese Philosophy" and "Taiwanese Theory" has been increasingly acknowledged, with a growing agreement that "Taiwanese Philosophy," ideally interpreted through the TP model6, mirrors Taiwan's collective ethos and academic value rather than the more exhaustive PIT classification, which encompasses diverse philosophical lineages. Proponents of TP recognize the historical importance of the PIT model in documenting the evolution of Taiwanese Philosophy but strongly dispute its completeness for grasping the essence of "Taiwanese Philosophy." I intend to argue that, notwithstanding the recent criticisms against the PIT approach, revisiting PIT with the aid of extensive textual collections, cultural archives, and the study of intellectual history might offer a solid basis for a deeper appreciation of TP. It will explore how the PIT model can lead to significant misunderstandings by introducing two main biases: the belief that PIT sufficiently encapsulates "Taiwanese Philosophy," and the limitation of PIT to a mere geographical context. In addressing these biases, I offer a potential amicable reinterpretation and reassess the critical elements for a metaphysical description of the subjectivity emphasized in TP. -/- Keywords: Optimal interpretation of Taiwanese Philosophy, Subjectivity and Agency, Genealogy of Knowledge, Methodology of Constructing Theories, Characteristics of Regional Philosophy. (shrink)

I present a solution to the epistemological or characterisation problem of induction. In part I, Bayesian Confirmation Theory (BCT) is discussed as a good contender for such a solution but with a fundamental explanatory gap (along with other well discussed problems); useful assigned probabilities like priors require substantive degrees of belief about the world. I assert that one does not have such substantive information about the world. Consequently, an explanation is needed for how one can be licensed to act (...) as if one has substantive information about the world when one does not. I sketch the outlines of a solution in part I, showing how it differs from others, with full details to follow in subsequent parts. The solution is pragmatic in sentiment (though differs in specifics to arguments from, for example, William James); the conceptions we use to guide our actions are and should be at least partly determined by preferences. This is cashed out in a reformulation of decision theory motivated by a non-reductive formulation of hypotheses and logic. A distinction emerges between initial assumptions--that can be non-dogmatic--and effective assumptions that can simultaneously be substantive. An explanation is provided for the plausibility arguments used to explain assigned probabilities in BCT. -/- In subsequent parts, logic is constructed from principles independent of language and mind. In particular, propositions are defined to not have form. Probabilities are logical and uniquely determined by assumptions. The problems considered fatal to logical probabilities--Goodman's `grue' problem and the uniqueness of priors problem are dissolved due to the particular formulation of logic used. Other problems such as the zero-prior problem are also solved. -/- A universal theory of (non-linguistic) meaning is developed. Problems with counterfactual conditionals are solved by developing concepts of abstractions and corresponding pictures that make up hypotheses. Spaces of hypotheses and the version of Bayes' theorem that utilises them emerge from first principles. -/- Theoretical virtues for hypotheses emerge from the theory. Explanatory force is explicated. The significance of effective assumptions is partly determined by combinatoric factors relating to the structure of hypotheses. I conjecture that this is the origin of simplicity. (shrink)

To take an empirical approach toward belief, I suggest thinking of belief as a putative kind within the domain of cognitive science. Adopting realist, naturalist, and non-reductionist account of kinds according to which kinds are clusters of causal properties, I argue that a plausible place to begin an inquiry on belief is the architecture of human reasoning. I offer the Sound Board Account of Human Reasoning (S-BAR) (in contrast to Dual Process Theory), according to which there is (...) one reasoning system, which can operate consciously or unconsciously, automatically or controlled, concretely or abstractly, and inductively or deductively. I then argue that, on this architecture, belief will have two properties: inferential promiscuity and settling state. In the final section, I argue that wishful thinkings are beliefs, acceptance and belief are distinct, and argue for a disambiguation of implicit measures. (shrink)

How and when do we learn to understand other people’s perspectives and possibly divergent beliefs? This question has elicited much theoretical and empirical research. A puzzling finding has been that toddlers perform well on so-called implicit false belief (FB) tasks but do not show such capacities on traditional explicit FB tasks. I propose a navigational approach, which offers a hitherto ignored way of making sense of the seemingly contradictory results. The proposal involves a distinction between how we navigate FBs (...) as they relate to (1) our current affordances (here & now navigation) as opposed to (2) presently non-actual relations, where we need to leave our concrete embodied/situated viewpoint (counterfactual navigation). It is proposed that whereas toddlers seem able to understand FBs in their current affordance space, they do not yet possess the resources to navigate in abstraction from such concrete affordances, which explicit FB tests seem to require. It is hypothesized that counterfactual navigation depends on the development of “sensorimotor priors,” i.e., statistical expectations of own kinesthetic re-afference, which evidence now suggests matures around age four, consistent with core findings of explicit FB performance. (shrink)

English abstract: This paper discusses the delicate relationship between traditional epistemology and the increasingly influential probabilistic (or ‘Bayesian’) approach to epistemology. The paper introduces some of the key ideas of probabilistic epistemology, including credences or degrees of belief, Bayes’ theorem, conditionalization, and the Dutch Book argument. The tension between traditional and probabilistic epistemology is brought out by considering the lottery and preface paradoxes as they relate to rational (binary) belief and credence respectively. It is then argued that (...) this tension can be alleviated by rejecting the requirement that rational (binary) beliefs must be consistent and closed under logical entailment. Instead, it is suggested that this logical requirement applies to a different type of binary propositional attitude, viz. acceptance. (shrink)

Leibniz claims that Berkeley “wrongly or at least pointlessly rejects abstract ideas”. What he fails to realize, however, is that some of his own core views commit him to essentially the same stance. His belief that this is the best (and thus most harmonious) possible world, which itself stems from his Principle of Sufficient Reason, leads him to infer that mind and body must perfectly represent or ‘express’ one another. In the case of abstract thoughts he admits (...) that this can happen only in virtue of thinking of some image that, being essentially a mental copy of a brain state, expresses (and is expressed by) that state. But here he faces a problem. In order for a thought to be genuinely abstract, its representational content must differ from that of any mental image, since the latter can represent only particular things. In that case, however, an exact correspondence between the accompanying mental image and the brain state would not suffice to establish a perfect harmony between mind and body. Even on Leibniz’s own principles, then, it appears that Berkeley was right to dismiss abstract ideas. (shrink)

Uncertainty is recognized as a key issue in water resources research, amongst other sciences. Discussions of uncertainty typically focus on tools and techniques applied within an analysis, e.g. uncertainty quantification and model validation. But uncertainty is also addressed outside the analysis, in writing scientific publications. The language that authors use conveys their perspective of the role of uncertainty when interpreting a claim —what we call here “framing” the uncertainty. This article promotes awareness of uncertainty framing in four ways. 1) It (...) proposes a typology of eighteen uncertainty frames, addressing five questions about uncertainty. 2) It describes the context in which uncertainty framing occurs. This is an interdisciplinary topic, involving philosophy of science, science studies, linguistics, rhetoric, and argumentation. 3) We analyze the use of uncertainty frames in a sample of 177 abstracts from the Water Resources Research journal in 2015. This helped develop and tentatively verify the typology, and provides a snapshot of current practice. 4) Provocative recommendations promote adjustments for a more influential, dynamic science. Current practice in uncertainty framing might be described as carefully-considered incremental science. In addition to uncertainty quantification and degree of belief (present in ~5% of abstracts), uncertainty is addressed by a combination of limiting scope, deferring to further work (~25%) and indicating evidence is sufficient (~40%) – or uncertainty is completely ignored (~8%). There is a need for public debate within our discipline to decide in what context different uncertainty frames are appropriate. Uncertainty framing cannot remain a hidden practice evaluated only by lone reviewers. (shrink)

Abstract: This paper endeavors to establish a comprehensive account of human knowledge that embraces the probabilistic nature of truth, the integral role of language in our cognitive processes, and the uncertainty and fallibility inherent in our cognitive systems. Drawing upon the work of various philosophers, psychologists, and neuroscientists, the paper advocates for a reinterpretation of the traditional "Justified True Belief" as "Justified Probable Belief." Additionally, the biological underpinnings of this perspective are explored, with an emphasis on synaptic (...) plasticity, dopamine-based learning, and epigenetic mechanisms. (shrink)

This paper is the product of an interdisciplinary, interreligious dialogue aiming to outline some of the possibilities and rational limits of supernatural religious belief, in the light of a critique of David Hume’s familiar sceptical arguments -- including a rejection of his famous Maxim on miracles -- combined with a range of striking recent empirical research. The Humean nexus leads us to the formulation of a new ”Common-Core/Diversity Dilemma’, which suggests that the contradictions between different religious belief systems, (...) in conjunction with new understandings of the cognitive forces that shape their common features, persuasively challenge the rationality of most kinds of supernatural belief. In support of this conclusion, we survey empirical research concerning intercessory prayer, religious experience, near-death experience, and various cognitive biases. But we then go on to consider evidence that supernaturalism -- even when rationally unwarranted -- has significant beneficial individual and social effects, despite others that are far less desirable. This prompts the formulation of a ”Normal/Objective Dilemma’, identifying important trade-offs to be found in the choice between our humanly evolved ”normal’ outlook on the world, and one that is more rational and ”objective’. Can we retain the pragmatic benefits of supernatural belief while avoiding irrationality and intergroup conflict? It may well seem that rationality is incompatible with any wilful sacrifice of objectivity. But in a situation of uncertainty, an attractive compromise may be available by moving from the competing factions and mutual contradictions of ”first-order’ supernaturalism to a more abstract and tolerant ”second-order’ view, which itself can be given some distinctive intellectual support through the increasingly popular Fine Tuning Argument. We end by proposing a ”Maxim of the Moon’ to express the undogmatic spirit of this second-order religiosity, providing a cautionary metaphor to counter the pervasive bias endemic to the human condition, and offering a more cooperation- and humility-enhancing understanding of religious diversity in a tense and precarious globalised age. (shrink)

The irrational exuberance associated with contemporary artificial intelligence (AI) reminds me of Charles Dickens: "it was the age of foolishness, it was the epoch of belief" (cf. Nature Editorial, 2016; to get a feel for the vanity fair that is AI, see Mitchell and Krakauer, 2023; Stilgoe, 2023). It is particularly distressing—feels like yet another rerun of Seinfeld, which is all about nothing (pun intended); we have seen it in the 60s and again in the 90s. AI might have (...) had an inauspicious beginning, which may very well be the original sin, and our current predicament is the attendant divine condemnation. Being unable to stand it, however divine it may be, without further ado, I get to the genesis (instead of getting lost in the here-and-now of this or that so-called breakthrough of AI). Here's my unvarnished critique! (shrink)

In this short paper, we show that a popular view in information science, information-as-thing, fails to account for a common example of information that seems physical. We then demonstrate how the distinction between types and tokens, recently used to analyse Shannon information, can account for this same example by viewing information as abstract, and discuss existing definitions of information that are consistent with this approach. -/- Dans ce court article nous montrons qu'une vision populaire en sciences de l'information, l'information (...) en tant qu’une chose, échoue à rendre compte d'un exemple commun d'information qui semble physique. Nous démontrons ensuite comment la distinction type/token, utilisée récemment pour analyser l'information de Shannon, peut rendre compte de ce même exemple en considérant l'information comme abstraite, et nous discutons des définitions existantes de l’information qui sont compatibles avec cette approche. (shrink)

Propositions have played a central role in philosophy of language since Frege. I will argue that the notion of a proposition, because of a range of philosophical problems as well as problems of linguistic adequacy, should be replaced by a different notion, for almost all the roles for it has been invoked, namely by the notion of an attitudinal object. Attitudinal objects are entities like ‘John’s belief that S’, ‘John’s claim that S’, and ‘John’s desire to do X’. Attitudinal (...) objects are closely related to, yet ontologically distinct from mental events and speech acts. (shrink)

Problematizando o SER, o EU, o consciente e o inconscinte humano, do nascituro ao pós nascimento..-|||-Problematizing the BEING, the I, the conscious and the unconscious human, from the unborn child in the mother's womb to after birth.--|||--Problematizar el SER, el YO, el humano consciente e inconsciente, desde el feto en el vientre materno hasta después del nacimiento.----||||----TÍTULO: ---PELA CIENTIFICIDADE FRENTE AS PSEUDOCIÊNCIAS ROMÂNTICAS, MÍTICAS E DE CRENÇAS NA CONCEPÇÃO DO EU, DO CONSCIENTE E INCONSCIENTE DOS NASCITUROS E RECÉM-NASCIDOS.---||||----TITLE: ----FOR SCIENTIFITY (...) IN THE FACE OF ROMANTIC AND MYTHICAL PSEUDOSCIENCE AND BELIEFS IN THE CONCEPTION OF THE "I", OF THE CONSCIOUS AND UNCONSCIOUS OF THE UNBORN AND NEWBORN. -----||||---TÍTULO: ---POR LA CIENTIFICIDAD FRENTE A LAS PSEUDOCIENCIAS Y CREENCIAS ROMÁNTICAS Y MÍTICAS EN LA CONCEPCIÓN DEL YO, DEL CONSCIENTE Y DEL INCONSCIENTE DEL NO NACIDO Y DEL RECIÉN NACIDO--|||---RESUMO: Quando surge o EU do SER, no nascituro ou no recém-nascido? Há diferenças entre o EU desse SER nos dois momentos, vivencias, experiencias e movimentos distintos? No útero materno e ou após o nascimento? E o que dizer sobre a questão da consciência e inconsciência desse SER e EU simultaneamente? Há consciência e inconsciência? Apenas uma delas?! Nenhuma!? E se houver uma apenas ou as duas, elas estão ativas? São iguais no útero e após o nascimento? Podem mudar ou se modificarem? Poderíamos dizer sobre um EU, consciência e inconsciente antes de nascer e depois de nascer? Só existe um EU depois de sair do útero materno? Há apenas consciência e inconsciência após o nascimento do SER e EU? Estas são as questões que tentaremos trabalhar no ensaio em tela e suas problemáticas da atualidade. Importante informar que a noção e concepção consciente e inconsciente discutidas aqui não irão estar restritas aos aspectos moral, jurídico, religioso, formal, cultural e social, elas estarão na dimensão e pauta das áreas das neurociências, biofisiológicas, biopsíquicas e filosófica. Desse modo, realizaremos um trabalho de busca e resgate histórico do Eu, do Consciente e Inconsciente da espécie humana, no qual produções como as de Freud serão nossa base inicial e de discussões críticas quanto ao que vem sendo confeccionado sobre a história e atuação dessas esferas psíquicas da humanidade. Sendo assim, realizaremos um movimento de historiografia desses componentes da psiquê, situando-os no tempo e espaço histórico, geográfico, cultural, corporal e mental. Palavras-chave: Ciência; Pseudociências; nascituros.----||||||-----ABSTRACT: When does the I of BEING arise, in the unborn or the newborn? Are there differences between the I of this BEING in the two distinct moments, experiences, and movements? In the womb or after birth? And what about the question of consciousness and unconsciousness of this BEING and I simultaneously? Is there consciousness and unconsciousness? Only one of them? None? And if there is only one or both, are they active? Are they the same in the womb and after birth? Can they change or modify each other? Could we say about an I, consciousness and unconscious before birth and after birth? Is there only an I after leaving the mother's womb? Is there only consciousness and unconsciousness after the BEING and I are born? These are the questions that we will try to work on in this essay and its current problems. It is important to inform that the notion and conception of conscious and unconscious discussed here will not be restricted to moral, juridical, religious, formal, cultural and social aspects, they will be in the dimension and agenda of the neuroscience, biophysiological, biopsychic and philosophical areas. In this way, we will carry out a historical search and rescue work of the "I", the Conscious and the Unconscious of the human species, in which productions such as those of Freud initial base and of critical discussions about what has been done about the history and performance of these psychic spheres of humanity. Thus, we will carry out a historiographical movement of these components of the psyches, situating them in historical, geographic, cultural, biological, body and mental time and space.------|||||-----RESUMEN: ¿Cuándo surge el YO del SER, en el feto o en el recién nacido? ¿Existen diferencias entre el YO de este SER en los dos momentos, diferentes vivencias, vivencias y movimientos? ¿En el útero de la madre y/o después del nacimiento? ¿Y qué podemos decir del tema de la consciencia e inconsciencia de este SER y YO simultáneamente? ¿Existe conciencia e inconsciencia? ¡¿Solo uno de ellos?! ¿¡Ninguno!? Y si solo hay uno o ambos, ¿están activos? ¿Son iguales en el útero y después del nacimiento? ¿Pueden cambiar o modificarse? ¿Podríamos decir sobre un YO, la conciencia y la inconsciencia antes del nacimiento y después del nacimiento? ¿Existe un solo YO después de salir del útero materno? ¿Existe sólo consciencia e inconsciencia después del nacimiento del SER y del YO? Estas son las cuestiones que intentaremos trabajar en el ensayo que nos ocupa y sus problemáticas actuales. Es importante informar que la noción y concepción consciente e inconsciente aquí discutida no se restringirá a los aspectos morales, legales, religiosos, formales, culturales y sociales, estarán en la dimensión y agenda de las áreas de las neurociencias, biofisiológicas, biopsíquico y filosófico. De esta manera, realizaremos un trabajo de búsqueda y rescate histórico del Yo, el Consciente y el Inconsciente de la especie humana, en el que producciones como las de Freud serán nuestra base inicial y discusiones críticas respecto de lo creado sobre la historia y el desempeño de estas esferas psíquicas de la humanidad. Por ello, realizaremos un movimiento de historiografía de estos componentes de la psique, ubicándolos en el tiempo y el espacio histórico, geográfico, cultural, corporal y mental. Palabras clave: Ciencia; Pseudociencias; Yo-I; consciente; niños inconscientes y no nacidos. (shrink)

Philosophers and psychologists alike have argued recently that relatively abstract beliefs or cognitive categories like those regarding race can influence the perceptual experience of relatively low-level visual features like color or lightness. Some of the proposed best empirical evidence for this claim comes from a series of experiments in which White faces were consistently judged as lighter than equiluminant Black faces, even for racially ambiguous faces that were labeled ‘White’ as opposed to ‘Black’ (Levin and Banaji 2006). The latter (...) result is considered especially indicative of cognitive penetration, based on the reasoning that the relevant distortions were a function of lexical labeling, and hence the effect must have been mediated by categorization at the cognitive level. I argue that this reasoning is flawed, and that the assumptions on which it relies are questionable on both empirical and theoretical grounds. I propose an alternative, low-level explanation of the phenomena, which I argue is empirically more plausible and abductively preferable to the cognitive-penetration account. The upshot is that cognitively impenetrable perceptual systems may be psychologically more plastic and hence philosophically more significant than is nowadays commonly assumed. (shrink)

ABSTRACT Dormandy’s ‘True Faith’ presents two views on the proper epistemological stance towards faith: doxastic-partialism and evidentialism. Here, I argue for a third option that cuts across the evidentialism/partialism distinction. I first analyze the Pascalian conception of faith, arguing that Pascal begins with the cognitive attitude of acceptance rather than belief. Next, I discuss Dormandy’s case for evidentialism, and contend that some evidence—the kind gained through transformative experiences—presents a difficulty for her argument. Finally, I offer my proposed view—Partialist (...) Evidentialism—and argue that this approach is necessary for acquiring some unique kinds of evidence for religious faith. (shrink)

ABSTRACT This commentary shows how Dormandy’s ‘Partiality Norm of Belief for Faith’ can be made compatible with ‘Evidentialism about Faith’. Dormandy takes partiality to involve disrespect toward evidence—where evidence we are partial toward is given undue weight. I propose an alternative where partiality is to require more or less evidence for believing a proposition given the benefits or harms of holding the belief. Rather than disrespecting evidence, this partiality is simply to have variable ‘evidence thresholds’ that are (...) partly set by pragmatic considerations. Evidence is not disrespected; an agent just requires more or less of it on pragmatic grounds. (shrink)

Abstract. Traditional epistemology of knowledge and belief can be succinctly characterized as JTB-epistemology, i.e., it is characterized by the thesis that knowledge is justified true belief. Since Gettier’s trail-blazing paper of 1963 this account has become under heavy attack. The aim of is paper is to study the Gettier problem and related issues in the framework of topological epistemic logic. It is shown that in the framework of topological epistemic logic Gettier situations necessarily occur for most topological (...) models of knowledge and belief. On the other hand, there exists a special class of topological models (based on so called nodec spaces) for which traditional JTB-epistemology is valid. Further, it is shown that for each topological model of Stalnaker’s combined logic KB of knowledge and belief a canonical JTB-model (its JTB-doppelganger) can be constructed that shares many structural properties with the original model but is free of Gettier situations. The topological model and its JTB-doppelganger both share the same justified belief operator and have very similar knowledge operators. Seen from a somewhat different perspective, the JTB-account of epistemology amounts to a simplification of a more general epistemological account of knowledge and belief that assumes that these two concepts may differ in some cases. The JTB-account of knowledge and belief assumes that the epistemic agent’s cognitive powers are rather large. Thereby in the JTB-epistemology Gettier cases do not occur. Eventually, it is shown that for all topological models of Stalnaker’s KB-logic Gettier situations are topologically characterized as nowhere dense situations. This entails that Gettier situations are epistemologically invisible in the sense that they can neither be known nor believed with justification with respect to the knowledge operator and the belief operator of the models involved. (shrink)

ABSTRACT The philosophical tradition approaches to morals have their grounds predominantly on metaphysical and theological concepts and theories. Among the traditional ethics concepts, the most prominent is the Divine Command Theory (DCT). As per the DCT, God gives moral foundations to the humankind by its creation and through Revelation. Morality and Divinity are inseparable since the most remote civilization. These concepts submerge in a theological framework and are largely accepted by most followers of the three Abrahamic traditions: Judaism, Christianity, (...) and Islam: the greatest part of the human population. Holding faith and Revelation for its grounds, the Divine Command Theories are not strictly subject to the demonstration. The opponents to the Divine Command conception of morals, grounded in the impossibility of demonstration of its metaphysical and religious assumptions, have tried for many centuries (albeit unsuccessfully) to devalue its importance. They held the argument that it does not show material evidence and logical coherence and, for this reason, cannot be taken into account for scientific nor philosophical purposes. It is just a belief and, as so, should be understood. Besides these extreme oppositions, many other concepts contravene the Divine Command theories, in one or another way, in part or in full. Many philosophers and social scientists, from the classic Greek philosophy up to the present date, for instance, sustain that morality is only a construct, and thus culturally relative and culturally determined. However, this brings many other discussions and imposes the challenge to determine what is the meaning of culture, which elements of culture are morally determinant, and finally, what are the boundaries of such relativity. Moral determinists claim that everything related to human behavior, including morality, is determined, once free will does not exist. More recently, modern thinkers argued that there is a strict science of morality. However, the scientific method alone, despite explaining several facts and evidence, cannot enlighten the entire content and full meaning of ethics. Morals’ understanding requires a broader perception, and an agreement among philosophers, which they have never achieved. All of these questions have many different configurations depending on each philosophical strand, and start complex analysis and endless debates, as long as many of them are reciprocally conflictive. The universe and the atmosphere involving this thesis are the dominions of all these conceptual conflicts, observed from an objective and evolutionary standpoint. Irrespective of this circumstance and its intrinsic importance, however, these questions are far distant from the methodological approach of an analytical discussion on objective morals, what is, indeed, the aim and scope of this work. We should briefly revisit these prominent traditional theories because this thesis shelters a comparative study, and its assumptions at least differ profoundly from all traditional theories. Therefore, it becomes necessary offering direct and specific elements of comparison to the reader, for the right criticism, dispensing interruptive researches. However, even revisiting the traditional theories, for this comparative and critical exposure purpose, they will be kept by the side of our main concerns, as “aliena materia.” Irrespective of the validity of any or all of the elements of this discussion, and their meaning as the philosophical universe of this thesis, the purpose of this work is demonstrating and justifying the existence and meaning of prehistoric moral archetypes arisen directly from the very first social needs and efforts for survival. These archetypes are the definition of the essential foundation of ethics, its aggregation to the collective unconscious and corresponding logic organization and transmission to evolutionary stages of the human genome and different relations space-time, irrespective of any contemporary experience of the individuals. The system defined by these archetypes composes an evolutionary human social model. Is this a metaethical position? Yes, it is. Moreover, as in any metaethical reasoning, we should look carefully for the best and coherent routes, as the Analytical Philosophy offers them. Thus, this work should reasonably demonstrate that morals are not a cultural product of the civilized men or modern societies and that despite being subject to several cultural relative aggregations and subtractions, its essential foundations are archetypal and have never structurally changed. This reasoning induces that morality is an original attribute of the “homo sapiens”; it is not a property and nor an accident: it integrates the human essence and belongs to the realm of the ontological human identity. The human phenomena is a continuing process, playing its role between random determination and free will, and we need to question how morality began and how did it come to us in the present. (shrink)

Abstract Conspiracy theories should be neither believed nor investigated - that is the conventional wisdom. I argue that it is sometimes permissible both to investigate and to believe. Hence this is a dispute in the ethics of belief. I defend epistemic “oughts” that apply in the first instance to belief-forming strategies that are partly under our control. But the beliefforming strategy of not believing conspiracy theories would be a political disaster and the epistemic equivalent of selfmutilation. I (...) discuss several variations of this strategy, interpreting “conspiracy theory” in different ways but conclude that on all these readings, the conventional wisdom is deeply unwise. (shrink)

ABSTRACT Contemporary relativists often see their view as contributing to a semantic/post-semantic account of linguistic data about disagreement and retraction. I offer an independently motivated metasemantic account of the same data, that also handles a number of cases and empirical results that are problematic for the relativist. The key idea is that the content of assertions and beliefs is determined in part by facts about other times, including times after the assertion is made or the belief is formed. (...) On this temporal externalist view, speaker behaviours such as retraction of previous assertions play a role in making it the case that a past utterance has a given meaning. (shrink)

ABSTRACT What, if anything, should we do when someone says they don’t believe in anthropogenic climate change? Or that they worry that a COVID-19 vaccine might be dangerous? We argue that in general, we face an epistemic duty to object to such assertions, qua instances of science denial and science sceptical discourse, respectively. Our argument builds on recent discussions in social epistemology, specifically surrounding the idea that we ought to speak up against (epistemically) problematic assertions so as to fulfil (...) an important epistemic obligation – namely, preventing epistemic harms in others. We show that both science denial (SD) and vaccine hesitant (VH) discourses are harmful in a distinctively epistemic sense, and as such generate an especially strong duty to voice our disagreement. As we also argue, this obligation is nonetheless defeasible: depending on the situational features of those involved, voicing an objection to VH discourse may actually end up doing more harm than good. We conclude by tracing what seems like a promising path towards restoring well-placed public trust in scientific testifiers. Doing so is key in order to guarantee equitable access to warranted beliefs about important subject matters, such as the safety of vaccines, to all segments of society. (shrink)

Abstract: On one formulation, epistemological disjunctivism is the view that our perceptual beliefs constitute knowledge when they are based on reasons that provide them with factive support. Some would argue that it is impossible to understand how perceptual knowledge is possible unless we assume that we have such reasons to support our perceptual beliefs. Some would argue that it is impossible to understand how perceptual experience could furnish us with these reasons unless we assume that the traditional view of (...) experience is mistaken. For reasons explained here, I think that the epistemological argument for metaphysical disjunctivism rests on mistaken assumptions about reasons and their rational role. Neither disjunctivist view is needed to understand how perceptual knowledge is possible. (shrink)

Abstract: Theories of epistemic rationality that take disagreement (or other higher-order evidence) seriously tend to be “modest” in a certain sense: they say that there are circumstances in which it is rational to doubt their correctness. Modest views have been criticized on the grounds that they undermine themselves—they’re self-defeating. The standard Self-Defeat Objections depend on principles forbidding epistemically akratic beliefs; but there are good reasons to doubt these principles—even New Rational Reflection, which was designed to allow for certain special (...) cases that are intuitively akratic. On the other hand, if we construct a Self-Defeat Objection without relying on anti-akratic principles, modest principles turn out not to undermine themselves. In the end, modesty should not be seen as a defect in a theory of rational belief. (shrink)

Many philosophers in the field of meta-ethics believe that rational degrees of confidence in moral judgments should have a probabilistic structure, in the same way as do rational degrees of belief. The current paper examines this position, termed “moral Bayesianism,” from an empirical point of view. To this end, we assessed the extent to which degrees of moral judgments obey the third axiom of the probability calculus, ifP(A∩B)=0thenP(A∪B)=P(A)+P(B), known as finite additivity, as compared to degrees of beliefs on (...) the one hand and degrees of desires on the other. Results generally converged to show that degrees of moral judgment are more similar to degrees of belief than to degrees of desire in this respect. This supports the adoption of a Bayesian approach to the study of moral judgments. To further support moral Bayesianism, we also demonstrated its predictive power. Finally, we discuss the relevancy of our results to the meta-ethical debate between moral cognitivists and moral non-cognitivists. (shrink)

ABSTRACT Some epistemologists hold that all rational norms are fundamentally concerned with the agent’s states or attitudes at an individual time [Hedden 2015, 2016; Moss 2015]; others argue that all rational norms are fundamentally concerned with processes [Podgorski 2017]. This distinction is not drawn in discussions of emotional rationality. As a result, a widely held assumption in the literature on emotional rationality has gone unexamined. I employ Abelard Podgorski’s argument from rational delay to argue that many emotional norms are (...) fundamentally concerned with emotional processes. I also claim that the main response available to the synchronist about belief is not available to the synchronist about emotions and, therefore, fundamental process norms are more plausible than epistemologists tend to believe. (shrink)

ABSTRACT Cognitive penetrability refers to the possibility that perceptual experiences are influenced by our beliefs, expectations, emotions, or other personal-level mental states. In this paper, I focus on the epistemological implication of cognitive penetration, and examine how, exactly, aetiologies matter to the justificatory power of perceptual experiences. I examine a prominent theory, according to which some cognitively penetrated perceptual experiences are like conclusions of bad inferences. Whereas one version of this theory is psychologically implausible, the other version has sceptical (...) consequences. In the second half of the paper, I suggest an alternative theory, drawing on recent empirical research on imagining-perception interaction and the epistemology of imagining. (shrink)

In this multi-disciplinary investigation we show how an evidence-based perspective of quantification---in terms of algorithmic verifiability and algorithmic computability---admits evidence-based definitions of well-definedness and effective computability, which yield two unarguably constructive interpretations of the first-order Peano Arithmetic PA---over the structure N of the natural numbers---that are complementary, not contradictory. The first yields the weak, standard, interpretation of PA over N, which is well-defined with respect to assignments of algorithmically verifiable Tarskian truth values to the formulas of PA under the interpretation. (...) The second yields a strong, finitary, interpretation of PA over N, which is well-defined with respect to assignments of algorithmically computable Tarskian truth values to the formulas of PA under the interpretation. We situate our investigation within a broad analysis of quantification vis a vis: * Hilbert's epsilon-calculus * Goedel's omega-consistency * The Law of the Excluded Middle * Hilbert's omega-Rule * An Algorithmic omega-Rule * Gentzen's Rule of Infinite Induction * Rosser's Rule C * Markov's Principle * The Church-Turing Thesis * Aristotle's particularisation * Wittgenstein's perspective of constructive mathematics * An evidence-based perspective of quantification. By showing how these are formally inter-related, we highlight the fragility of both the persisting, theistic, classical/Platonic interpretation of quantification grounded in Hilbert's epsilon-calculus; and the persisting, atheistic, constructive/Intuitionistic interpretation of quantification rooted in Brouwer's belief that the Law of the Excluded Middle is non-finitary. We then consider some consequences for mathematics, mathematics education, philosophy, and the natural sciences, of an agnostic, evidence-based, finitary interpretation of quantification that challenges classical paradigms in all these disciplines. (shrink)

ABSTRACT Rima Basu and I have offered separate accounts of wokeness as an anti-racist ethical concept. Our accounts endorse controversial doctrines in epistemology: doxastic wronging, doxastic voluntarism, and moral encroachment. Many philosophers deny these three views, favoring instead some ordinary standards for epistemic justification. I call this denial the standard view. In this paper, I offer an account of wokeness that is consistent with the standard view. I argue that wokeness is best understood as ‘group epistemic partiality’. The woke (...) person does extra epistemic work before forming a negative belief about a member of an oppressed social group. Just as we do extra epistemic work when forming belief about our friends, so the woke person does for members of oppressed social groups. I first outline the account. I then raise questions about the scope of wokeness and belief formation. After this, I demonstrate that the group partiality view is consistent with the standard view in epistemology. The partiality view, therefore, should appeal to epistemologists who have adopted the standard view because it is consistent with ordinary standards of justification. I conclude that wokeness as a concept in epistemology should not be controversial for those who endorse the standard view. (shrink)

Abstract: The standard picture of rationality requires that the agent acts so as to realize her most preferred alternative in the light of her own desires and beliefs. However, there are circumstances where such an agent can predict that she will act against her preferences. The story of Ulysses and the Sirens is the paradigmatic example of such cases. In those circumstances the orthodoxy requires the agent to be ‘sophisticated’. That is to say, she should take into account her (...) expected future choices and prevent her future self to act in certain ways. She should ‘bind’ herself to a certain course of action. This is a form of causal commitment. It is generally recognized that this form of self-commitment is the only one that is available to a rational agent. Rational commitment, where the agent gives herself a reason to act in a certain way rather than making herself act in that way, is considered not feasible. In this paper, I question this verdict. I sketch the broad outlines of a model of rational commitment, which takes as its starting point Michael Bratman’s ‘planning theory’ of intention. There are two important objections against this theory (one by John Broome and one by the Dutch philosopher Govert den Hartogh.) Both criticisms claim that such a theory is a form of ‘bootstrapping’ reasons for action into existence. In the remainder of the paper, I will defend the theory against these objections. This way, I hope to establish that defending the feasibility of rational commitment is not an obvious mistake. (shrink)

Abstract This article delves into the study of the term «tark-i awlà» (abandoning performance of that which is better and doing that which is less than better) as an approach for defending the infallibility of the prophets when confronting verses from the Holy Qur‘ān that apparently prove the prophets committed sins; and after going into the semantics of «tark-i awlà», the following question has been made the focus of discussion and study: are the intellectual arguments proving the infalliblity of (...) the Prophets in agreement with the fact that the prophets committed tark-i awlà? According to the author, considering that tark-i awlà is a type of error and lapse and because the intellectual arguments for infallibility (like the trust and certitude of the people, the guiding purpose of prophet hood, the necessity of following the prophets, the principle of luṭf (grace) and absence of disinclination in the hearts of the people towards the prophets) necessitate the negation of all types of errors and lapses from the prophets, the prophets must be infallible from tark-i awlà too and this approach by Islamic theologians in justifying the verses that indicate the committing of sins by the prophets is not successful. Accepting the committing of tark-i awlà by the prophets is to accept that they committed errors and is against the belief of the Shi‘a regarding the infallibility of the prophets. As a result, Shi‘a theology will face a great challenge in justifying the verses that indicate the committing of errors and lapses by the Prophets which, according to the author, necessitates a revision of the Shi‘a theological belief in regards to the absolute infallibility of the prophets. (shrink)