Analytic theories of knowledge have traditionally maintained that the provenance of a true belief is critically important to deciding whether it is knowledge. However, a comparably widespread view is that it is our beliefs alone, regardless of their (potentially dubious) provenance which feature in psychological explanation, including the explanation of action: thus, that knowledge itself and as such is irrelevant in psychological explanation. The paper gives initial reasons why the ‘beliefs alone’ view of explanation should be resisted—arguments deriving (...) ultimately from the Meno indicate that the provenance of a true belief may be relevant to the explanation of action. However, closer scrutiny of these arguments shows that they are incapable of according provenance anything like as central a role in action explanation as provenance has traditionally been given in the theory of knowledge. A consideration of the history of science suggests anyway that all knowledge has a compromised provenance if one looks back any significant distance. It is concluded that the importance of the provenance of our beliefs is something that has been seriously over-emphasised in epistemology. (shrink)

I criticise a paper by Peter Forrest in which he argues that a principle of unrestricted countable fusion has paradoxical consequences. I argue that the paradoxical consequences that he exhibits may be due to his Whiteheadean assumptions about the nature of spacetime rather than to the principle of unrestricted countable fusion.

In her paper, The case for physician assisted suicide: not proven, Bonnie Steinbock argues that the experience with Oregon’s Death with Dignity Act fails to demonstrate that the benefits of legalising physician assisted suicide outweigh its risks. Given that her verdict is based on a small number of highly controversial cases that will most likely occur under any regime of legally implemented safeguards, she renders it virtually impossible to prove the case for physician assisted suicide. In this brief paper, we (...) suggest some ways that may enable us to weigh the risks and benefits of legalisation more fairly and, hopefully, allow us to close the case for physician assisted suicide. (shrink)

This article presents an attempt to logically prove the concept of "perfection" without having to define it; this is done by proposing the paradox that "causes are their own effects", meaning that all forms we observe through causality are underpinned by a non-existential qualia which we can for all intents and purposes equate to perfection.

Unreproducibility stemming from a loss of data integrity can be prevented with hash functions, secure sketches, and Benford's Law when combined with the historical practice of a Pli Cacheté where scientific discoveries were archived with a 3rd party to later prove the date of discovery. Including the distinct systems of preregistation and data provenance tracking becomes the starting point for the creation of a complete ontology of scientific documentation. The ultimate goals in such a system--ideally mandated--would rule out several (...) forms of dishonesty, catch computational and database errors, catch honest mistakes, and allow for automated data audits of large collaborative open science projects. (shrink)

Generative AI has proven itself as an efficient innovation in many fields including writing and even analyzing data. For spatial computing, it provides a potential solution for solving such issues related to data manipulation and analysis within the spatial computing domain. This paper aims to discuss the probabilities of applying generative AI to graph-based spatial computing; to describe new approaches in detail; to shed light on their use cases; and to demonstrate the value that they add. This technique thus incorporates (...) graph theory, generative models to model spatial relations, generate new spatial forms and improve on spatial decision-making processes. The paper surveys such methods, describes typical applications, and outlines further development of the subject. (shrink)

This study has proven that the economic system is determined by various components, in particular, it includes the real sector of the economy, which is formed on mega-, macro, meso-, micro-and nano-levels. In addition, it was proved that the nano-level is determined by the activities of individuals whose economic activity begins with the birth and attitude of parents, attending various educational and upbringing institutions, and studying at university. A separate segment of the nano-level of the economic system is the baby (...) industry responsible for the production of goods and services for children and future parents. All these aspects are indicators of the development of the baby economy. Such an economic category as the baby economy was separated and defined. The study uses the following methods: analysis, synthesis, structural analysis, systemic approach, observation, comparison, multifactor regression. These methods made it possible to achieve the results, which involve isolation of the baby economy as a component of nanoeconomy and definition of such components of the baby economic segment of nanoeconomy as a family or household economy, the baby industry, the economy of the educational process and upbringing. For this purpose, the value-institutional approach was applied. In addition, multifactorial analysis of the impact of indicators of the baby economy development on the population of a country with a transitive economy with incomes below the subsistence minimum was performed. This analysis identified a direct but minor relationship between these phenomena, which demonstrates the need to intensify and create a policy for the baby economy in similar states. The theoretical significance of the obtained results is determined by the introduction of a new economic category of "the baby economy" for the formation of a nano economic component within socio-economic systems. (shrink)

Generics have historically proven difficult to analyse using the tools of formal semantics. In this paper, I argue that an influential theory of the meaning of generics due to Sarah-Jane Leslie, the Psychological Theory of Generics, is best interpreted not as a theory of their meaning, but as a theory of the psychological heuristics that we use to judge whether or not generics are true. I argue that Leslie’s methodology is not well-suited to producing a theory of the meaning of (...) generics, since it takes speakers’ judgments at face value and ignores the non-semantic factors that might affect these judgments. Leslie’s theory therefore overfits the data of our linguistic intuitions. I present a reconceptualised version of the Psychological Theory of Generics as a theory of how heuristics affect our judgements of the truth values of generics and discuss the application of this reconceptualised theory to some of the puzzles posed by generics, including their apparent content-sensitivity, their inferential asymmetry and their association with stereotyping and prejudice. (shrink)

The following technique has proven effective in helping beginning logic students locate the sections of a three-circled Venn Diagram in which they are to represent a categorical sentence. Very often theses students are unable to identify the parts of the diagram they are to shade or bar.

In this paper the logic of broad necessity is explored. Definitions of what it means for one modality to be broader than another are formulated, and it is proven, in the context of higher-order logic, that there is a broadest necessity, settling one of the central questions of this investigation. It is shown, moreover, that it is possible to give a reductive analysis of this necessity in extensional language. This relates more generally to a conjecture that it is not possible (...) to define intensional connectives from extensional notions. This conjecture is formulated precisely in higher-order logic, and concrete cases in which it fails are examined. The paper ends with a discussion of the logic of broad necessity. It is shown that the logic of broad necessity is a normal modal logic between S4 and Triv, and that it is consistent with a natural axiomatic system of higher-order logic that it is exactly S4. Some philosophical reasons to think that the logic of broad necessity does not include the S5 principle are given. (shrink)

Abstract: Tomatoes are part of the major crops in food security. Tomatoes are plants grown in temperate and hot regions of South American origin from Peru, and then spread to most countries of the world. Tomatoes contain a lot of vitamin C and mineral salts, and are recommended for people with constipation, diabetes and patients with heart and body diseases. Studies and scientific studies have proven the importance of eating tomato juice in reducing the activity of platelets in diabetics, which (...) helps in protecting them from developing deadly blood clots. A tomato classification approach is presented with a data set containing approximately 5,266 images with 7 species belonging to tomatoes. The Neural Network Algorithms (CNN), a deep learning technique applied widely in image recognition, is used for this task. (shrink)

In artificial intelligence, recent research has demonstrated the remarkable potential of Deep Convolutional Neural Networks (DCNNs), which seem to exceed state-of-the-art performance in new domains weekly, especially on the sorts of very difficult perceptual discrimination tasks that skeptics thought would remain beyond the reach of artificial intelligence. However, it has proven difficult to explain why DCNNs perform so well. In philosophy of mind, empiricists have long suggested that complex cognition is based on information derived from sensory experience, often appealing to (...) a faculty of abstraction. Rationalists have frequently complained, however, that empiricists never adequately explained how this faculty of abstraction actually works. In this paper, I tie these two questions together, to the mutual benefit of both disciplines. I argue that the architectural features that distinguish DCNNs from earlier neural networks allow them to implement a form of hierarchical processing that I call “transformational abstraction”. Transformational abstraction iteratively converts sensory-based representations of category exemplars into new formats that are increasingly tolerant to “nuisance variation” in input. Reflecting upon the way that DCNNs leverage a combination of linear and non-linear processing to efficiently accomplish this feat allows us to understand how the brain is capable of bi-directional travel between exemplars and abstractions, addressing longstanding problems in empiricist philosophy of mind. I end by considering the prospects for future research on DCNNs, arguing that rather than simply implementing 80s connectionism with more brute-force computation, transformational abstraction counts as a qualitatively distinct form of processing ripe with philosophical and psychological significance, because it is significantly better suited to depict the generic mechanism responsible for this important kind of psychological processing in the brain. (shrink)

When are we obligated to believe someone? To what extent are people authorities about their own experiences? What kind of harm might we enact when we doubt? Questions like these lie at the heart of many debates in social and feminist epistemology, and they’re the driving issue behind a key conceptual framework in these debates—gaslighting. But while the concept of gaslighting has provided fruitful insight, it's also proven somewhat difficult to adjudicate, and seems prone to over-application. In what follows, I (...) argue that Katherine Hawley's theory of trust can provide a useful alternative lens for looking at contested testimony. To do this, I focus on a particularly complex—but increasingly popular—application of gaslighting: the physician/patient relationship, and the idea of ‘medical gaslighting’. I argue that, even though patients can experience harm when they are disbelieved, there are nevertheless good reasons for physicians not to trust patients about at least some of their own narratives. (shrink)

Bell-type inequalities are proven using oversimplified probabilistic models and/or counterfactual definiteness (CFD). If setting-dependent variables describing measuring instruments are correctly introduced, none of these inequalities may be proven. In spite of this, a belief in a mysterious quantum nonlocality is not fading. Computer simulations of Bell tests allow people to study the different ways in which the experimental data might have been created. They also allow for the generation of various counterfactual experiments’ outcomes, such as repeated or simultaneous measurements performed (...) in different settings on the same “photon-pair”, and so forth. They allow for the reinforcing or relaxing of CFD compliance and/or for studying the impact of various “photon identification procedures”, mimicking those used in real experiments. Data samples consistent with quantum predictions may be generated by using a specific setting-dependent identification procedure. It reflects the active role of instruments during the measurement process. Each of the setting-dependent data samples are consistent with specific setting-dependent probabilistic models which may not be deduced using non-contextual local realistic or stochastic hidden variables. In this paper, we will be discussing the results of these simulations. Since the data samples are generated in a locally causal way, these simulations provide additional strong arguments for closing the door on quantum nonlocality. (shrink)

We consider the complex interactions between rape culture and epistemology. A central case study is the consideration of a deferential attitude about the epistemology of sexual assault testimony. According to the deferential attitude, individuals and institutions should decline to act on allegations of sexual assault unless and until they are proven in a formal setting, i.e., a criminal court. We attack this deference from several angles, including the pervasiveness of rape culture in the criminal justice system, the epistemology of testimony (...) and norms connecting knowledge and action, the harms of tacit idealizations away from important contextual factors, and a contextualist semantics for 'knows' ascriptions. (shrink)

What is a woman? The definition of this central concept of feminism has lately become especially controversial and politically charged. “Ameliorative Inquirists” have rolled up their sleeves to reengineer our ordinary concept of womanhood, with a goal of including in the definition all and only those who identify as women, both “cis” and “trans.” This has proven to be a formidable challenge. Every proposal so far has failed to draw the boundaries of womanhood in a way acceptable to the Ameliorative (...) Inquirists, since not all those who identify as women count as women on these proposals, and some who count as women on these proposals don’t identify as women. This is the Trans Inclusion Problem. Is there any solution? Can there be? Recently, Katharine Jenkins, pointing to the work of Mari Mikkola, suggests that the Trans Inclusion Problem can be “deflated” rather than solved. We will investigate this proposal, and show that, unfortunately, Jenkins is mistaken: Mikkola’s project will not help us answer the Trans Inclusion Problem. After that, we’ll look at Robin Dembroff’s suggestion that we “imitate” the linguistic practices of trans inclusive and queer communities, and we will evaluate whether this would help us solve the Trans Inclusion Problem. Unfortunately, this strategy also fails to solve the problem. By the end, we’ll have a better appreciation of the challenges faced by Ameliorative Inquirists in their project of redefining “woman,” and clearer view of why the Trans Inclusion Problem cannot, in fact, be solved. That’s primarily because, no matter what it means to be a woman, it’s one thing to be a woman, and another thing to identify as a woman. (shrink)

Intelligent tutoring system (ITS) is a computer system which aims to provide immediate and customized or reactions to learners, usually without the intervention of human teacher's instructions. Secretariats professional to have the common goal of learning a meaningful and effective manner through the use of a variety of computing technologies enabled. There are many examples of professional Secretariats used in both formal education and in professional settings that have proven their capabilities. There is a close relationship between private lessons intelligent, (...) cognitive learning and design theories; and there are ongoing to improve the effectiveness of ITS research. And it aims to find a solution to the problem of over-reliance on students' teachers for quality education. The program aims to provide access to high-quality education to every student, and therefore the reform of the education system as a whole. In this paper, we will use Intelligent Tutoring System Builder (ITSB) to build an education system on cloud computing in terms of the concept of cloud computing and components and how to take advantage of cloud computing in the field. (shrink)

Although expected utility theory has proven a fruitful and elegant theory in the finite realm, attempts to generalize it to infinite values have resulted in many paradoxes. In this paper, we argue that the use of John Conway's surreal numbers shall provide a firm mathematical foundation for transfinite decision theory. To that end, we prove a surreal representation theorem and show that our surreal decision theory respects dominance reasoning even in the case of infinite values. We then bring our theory (...) to bear on one of the more venerable decision problems in the literature: Pascal's Wager. Analyzing the wager showcases our theory's virtues and advantages. To that end, we analyze two objections against the wager: Mixed Strategies and Many Gods. After formulating the two objections in the framework of surreal utilities and probabilities, our theory correctly predicts that (1) the pure Pascalian strategy beats all mixed strategies, and (2) what one should do in a Pascalian decision problem depends on what one's credence function is like. Our analysis therefore suggests that although Pascal's Wager is mathematically coherent, it does not deliver what it purports to, a rationally compelling argument that people should lead a religious life regardless of how confident they are in theism and its alternatives. (shrink)

Answers to the questions of what justifies conscientious objection in medicine in general and which specific objections should be respected have proven to be elusive. In this paper, I develop a new framework for conscientious objection in medicine that is based on the idea that conscience can express true moral claims. I draw on one of the historical roots, found in Adam Smith’s impartial spectator account, of the idea that an agent’s conscience can determine the correct moral norms, even if (...) the agent’s society has endorsed different norms. In particular, I argue that when a medical professional is reasoning from the standpoint of an impartial spectator, his or her claims of conscience are true, or at least approximate moral truth to the greatest degree possible for creatures like us, and should thus be respected. In addition to providing a justification for conscientious objection in medicine by appealing to the potential truth of the objection, the account advances the debate regarding the integrity and toleration justifications for conscientious objection, since the standard of the impartial spectator specifies the boundaries of legitimate appeals to moral integrity and toleration. The impartial spectator also provides a standpoint of shared deliberation and public reasons, from which a conscientious objector can make their case in terms that other people who adopt this standpoint can and should accept, thus offering a standard fitting to liberal democracies. (shrink)

The chora has proven to be an obscure concept in contemporary philosophy. Cornelius Castoriadis seemed to retreat from the edge of its significance within his work, a significance that is capable of opening up another turn in the labyrinth of his thought. A clear interrogation into the presence of the chora in his thought has, still, yet to be elucidated. This paper proceeds with a notion of the chora defined for the purpose of highlighting its relevance for Castoriadis’thought, taking up (...) his schema trans-regional ontology and imaginary creation, which lean on the anticipation of a self-altering otherness. Locating the chora in Castoriadis’ trans-regionalarchitectonics of being. (shrink)

On at least one of its uses, ‘higher-order evidence’ refers to evidence about what opinions are rationalized by your evidence. This chapter surveys the foundational epistemological questions raised by such evidence, the methods that have proven useful for answering them, and the potential consequences and applications of such answers.

Democracy in its currently dominant liberal form has proven supportive of unprecedented human flourishing. However, it also appears increasingly plagued by political polarization, strained to cope with the digitalization of the political discourse, and threatened by authoritarian backlash. A growing sense of the anthropic risks—with runaway climate change as the leading example—thus often elicits concern regarding democracy’s capability of mitigating them. Apparently, lacking a sufficient degree of the citizens’ consensus on the priority issues of the day, it can find itself (...) unable to muster the resolve and resources necessary to alter its “business as usual” path even where disasters loom ever larger in its track. Against these concerns, I argue that democracy’s potential remains far from depleted. While political irrationality needs to be considered a major obstacle to successfully managing the anthropic risks, many existing reform proposals appear capable of reining it in. My main suggestion is to seek ways to facilitate a speedier and more effective exploration of the landscape of the possible democratic mechanisms of collective choice. A virtual platform to support such an exploration—which I call ‘democracy’s digital playground’—may allow us to find innovative ways of managing anthropic risks without compromising our commitment to democratic values. (shrink)

Although contemporary metaphysics has recently undergone a neo-Aristotelian revival wherein dispositions, or capacities are now commonplace in empirically grounded ontologies, being routinely utilised in theories of causality and modality, a central Aristotelian concept has yet to be given serious attention – the doctrine of hylomorphism. The reason for this is clear: while the Aristotelian ontological distinction between actuality and potentiality has proven to be a fruitful conceptual framework with which to model the operation of the natural world, the distinction between (...) form and matter has yet to similarly earn its keep. In this chapter, I offer a first step toward showing that the hylomorphic framework is up to that task. To do so, I return to the birthplace of that doctrine - the biological realm. Utilising recent advances in developmental biology, I argue that the hylomorphic framework is an empirically adequate and conceptually rich explanatory schema with which to model the nature of organisms. (shrink)

Decision theory and folk psychology both purport to represent the same phenomena: our belief-like and desire- and preference-like states. They also purport to do the same work with these representations: explain and predict our actions. But they do so with different sets of concepts. There's much at stake in whether one of these two sets of concepts can be accounted for with the other. Without such an account, we'd have two competing representations and systems of prediction and explanation, a dubious (...) dualism. Folk psychology structures our daily lives and has proven fruitful in the study of mind and ethics, while decision theory is pervasive in various disciplines, including the quantitative social sciences, especially economics, and philosophy. My interest is in accounting for folk psychology with decision theory -- in particular, for believe and wanting, which decision theory omits. Many have attempted this task for belief. (The Lockean Thesis says that there is such an account.) I take up the parallel task for wanting, which has received far less attention. I propose necessary and sufficient conditions, stated in terms of decision theory, for when you're truly said to want; I give an analogue of the Lockean Thesis for wanting. My account is an alternative to orthodox accounts that link wanting to preference (e.g. Stalnaker (1984), Lewis (1986)), which I argue are false. I argue further that want ascriptions are context-sensitive. My account explains this context-sensitivity, makes sense of conflicting desires, and accommodates phenomena that motivate traditional theses on which 'want' has multiple senses (e.g. all-things-considered vs. pro tanto). (shrink)

Two options are ‘incommensurate’ when neither is better than the other, but they are not equally good. Typically, we will say that one option is better in some ways, and the other in others, but neither is better ‘all things considered’. It is tempting to think that incommensurability is vagueness—that it is (perhaps) indeterminate which is better—but this ‘vagueness view’ of incommensurability has not proven popular. I set out the vagueness view and its implications in more detail, and argue that (...) it can explain most of the puzzling features of incommensurability. This argument proceeds without appeal to John Broome’s ‘collapsing principle’. (shrink)

In a recent Philosophy of Science article Gerhard Schurz proposes meta-inductivistic prediction strategies as a new approach to Hume's. This comment examines the limitations of Schurz's approach. It can be proven that the meta-inductivist approach does not work any more if the meta-inductivists have to face an infinite number of alternative predictors. With his limitation it remains doubtful whether the meta-inductivist can provide a full solution to the problem of induction.

The agent-relative/agent-neutral distinction is one of the most important in contemporary moral theory. Yet, providing an adequate formal account of it has proven difficult. In this article I defend a new formal account of the distinction, one that avoids various problems faced by other accounts. My account is based on an influential account of the distinction developed by McNaughton and Rawling. I argue that their approach is on the right track but that it succumbs to two serious objections. I then (...) show how to formulate a new account that follows the key insights of McNaughton and Rawling’s approach yet avoids the two objections. (shrink)

In the last few years, a remarkable convergence of interests and results has emerged between scholars interested in the arts and aesthetics from a variety of perspectives and cognitive scientists studying the mind and brain within the predictive processing (PP) framework. This convergence has so far proven fruitful for both sides: while PP is increasingly adopted as a framework for understanding aesthetic phenomena, the arts and aesthetics, examined under the lens of PP, are starting to be seen as important windows (...) into our mental functioning. The result is a vast and fast-growing research programme that promises to deliver important insights into our aesthetic encounters as well as a wide range of psychological phenomena of general interest. Here, we present this developing research programme, describing its grounds and highlighting its prospects. We start by clarifying how the study of the arts and aesthetics encounters the PP picture of mental functioning (§1). We then go on to outline the prospects of this encounter for the fields involved: philosophy and history of art (§2), psychology of aesthetics and neuroaesthetics (§3) and psychology and neuroscience more generally (§4). The upshot is an ambitious but well-defined framework within which aesthetics and cognitive science can partner up to illuminate crucial aspects of the human mind. -/- This article is part of the theme issue ‘Art, aesthetics and predictive processing: theoretical and empirical perspectives’. -/- . (shrink)

There is a New Idea in epistemology. It goes by the name of ‘knowledge first,’ and it is particularly associated with Timothy Williamson’s book Knowledge and Its Limits. In slogan form, to put knowledge first is to treat knowledge as basic or fundamental, and to explain other states—belief, justification, maybe even content itself—in terms of knowledge, instead of vice versa. The idea has proven enormously interesting, and equally controversial. But deep foundational questions about its actual content remain relatively unexplored. We (...) think that a wide variety of views travel under the banner of ‘knowledge first’ (and that the slogan doesn’t help much with differentiating them). Furthermore, we think it is far from straightforward to draw connections between certain of these views; they are more independent than they are often assumed to be. Our project here is exploratory and clarificatory. We mean to tease apart various ‘knowledge first’ claims, and explore what connections they do or do not have with one another. Our taxonomy is offered in §2, and connections are explored in §3. The result, we hope, will be a clearer understanding of just what the knowledge first theses are. We conclude, in §4, with some brief suggestions as to how we think the various theses might be evaluated. (shrink)

Health care providers are expected both to relieve pain and to provide anticipatory guidance regarding how much a procedure is going to hurt. Fulfilling those expectations is complicated by the cognitive modulation of pain perception. Warning people to expect pain or setting expectations for pain relief not only influences their subjective experience, but it also alters how nociceptive stimuli are processed throughout the sensory and discriminative pathways in the brain. In light of this, I reconsider the characterization of placebo analgesia (...) as pharmacologically inert and the use of it as deceptive. I show that placebo analgesia exploits the same physical mechanisms as proven analgesics and argue that it should be utilized to relieve pain. Additionally, I describe factors to help identify situations in which clinicians have the obligation to disclose the potential for pain coupled with ways of mitigating the risk of high-intensity pain by setting positive expectations. (shrink)

The right to be forgotten enables individuals to remove certain links from search results that appear when their names are entered as search terms. Formulated as a distinct application of the general right to privacy, the right to be forgotten has proven highly controversial, for two reasons. First, it is difficult to see how the specific right to be forgotten can apply to the withdrawal of public information, since the general right to privacy typically covers the disclosure of private information. (...) Second, as a putative right to withdraw information from public reach, the right to be forgotten poses a threat to freedom of speech, which depends on the accessibility of information. By responding to these two objections, this paper develops a novel account of the right to be forgotten, understood as a claim of withdrawal grounded in both privacy and free speech interests. -/- . (shrink)

In this article, I ask whether a principle analogous to the principle of clinical equipoise should govern the design and conduct of RCTs evaluating the effectiveness of policy interventions. I answer this question affirmatively, and introduce and defend the principle of policy equipoise. According to this principle, all arms of a policy RCT must be, at minimum, in a state of equipoise with the best proven policy that is also morally and practically attainable and sustainable. For all arms of a (...) policy RCT, policy experts must either reasonably disagree about whether the trial arms are more effective than this policy, or know that they are. (shrink)

In this paper I discuss philosophical and psychological treatments of the question "how do we decide that an occurrent mental state is a memory and not, say a thought or imagination?" This issue has proven notoriously difficult to resolve, with most proposed indices, criteria and heuristics failing to achieve consensus. Part of the difficulty, I argue, is that the indices and analytic solutions thus far offered seldom have been situated within a well-specified theory of memory function. As I hope to (...) show, when such an approach is adopted, not only does a new, functionally-grounded answer emerge; we also gain insight into the adaptive significance of the process proposed to underwrite our belief in the memorial status of a mental state (i.e.,autonoetic awareness). (shrink)

In Metaphysics M.2, 1077a9-14, Aristotle appears to argue against the existence of Platonic Forms on the basis of there being certain universal mathematical proofs which are about things that are ‘beyond’ the ordinary objects of mathematics and that cannot be identified with any of these. It is a very effective argument against Platonism, because it provides a counter-example to the core Platonic idea that there are Forms in order to serve as the object of scientific knowledge: the universal of which (...) theorems of universal mathematics are proven in Greek mathematics is neither Quantity in general nor any of the specific quantities, but Quantity-of-type-x. This universal cannot be a Platonic Form, for it is dependent on the types of quantity over which the variable ranges. Since for both Plato and Aristotle the object of scientific knowledge is that F which explains why G holds, as shown in a ‘direct’ proof about an arbitrary F (they merely disagree about the ontological status of this arbitrary F, whether a Form or a particular used in so far as it is F), Plato cannot maintain that Forms must be there as objects of scientific knowledge - unless the mathematics is changed. (shrink)

Although virtue ethics has repeatedly been proposed as a suitable framework for the development of artificial moral agents, it has been proven difficult to approach from a computational perspective. In this work, we present the first technical implementation of artificial virtuous agents in moral simulations. First, we review previous conceptual and technical work in artificial virtue ethics and describe a functionalistic path to AVAs based on dispositional virtues, bottom-up learning, and top-down eudaimonic reward. We then provide the details of a (...) technical implementation in a moral simulation based on a tragedy of the commons scenario. The experimental results show how the AVAs learn to tackle cooperation problems while exhibiting core features of their theoretical counterpart, including moral character, dispositional virtues, learning from experience, and the pursuit of eudaimonia. Ultimately, we argue that virtue ethics provides a compelling path toward morally excellent machines and that our work provides an important starting point for such endeavors. (shrink)

The aggregation of individual judgments over interrelated propositions is a newly arising field of social choice theory. I introduce several independence conditions on judgment aggregation rules, each of which protects against a specific type of manipulation by agenda setters or voters. I derive impossibility theorems whereby these independence conditions are incompatible with certain minimal requirements. Unlike earlier impossibility results, the main result here holds for any (non-trivial) agenda. However, independence conditions arguably undermine the logical structure of judgment aggregation. I therefore (...) suggest restricting independence to premises, which leads to a generalised premise-based procedure. This procedure is proven to be possible if the premises are logically independent. (shrink)

To believe that logic has no history might at first seem peculiar today. But since the early 20th century, this position has been repeatedly conflated with logical monism of Kantian provenance. This logical monism asserts that only one logic is authoritative, thereby rendering all other research in the field marginal and negating the possibility of acknowledging a history of logic. In this paper, I will show how this and many related issues have developed, and that they are founded on (...) only one prominent statement by Kant. I will argue, however, that this statement takes on a very different meaning in a broader context of the history and philosophy of science, and that Kant and his supporters never advocated the logical monism that they are still said to hold today. (shrink)

Subjectivity is that feature of consciousness whereby there is something it is like for a subject to undergo an experience. One persistent challenge in the study of consciousness is to explain how subjectivity relates to, or arises from, purely physical brain processes. But, in order to address this challenge, it seems we must have a clear explanation of what subjectivity is in the first place. This has proven challenging in its own right. For the nature of subjectivity itself seems to (...) resist straightforward characterization. In this paper, I won't address how subjectivity relates to the physical. Instead, I'll address subjectivity itself. I'll do this by introducing and defending a model of subjectivity based on self-acquaintance. My model does not purport to reduce, eliminate, or naturalize subjectivity, but it does make subjectivity more tractable, less paradoxical, and perhaps less dubious to those averse to obscurity. (shrink)

Prawitz conjectured that proof-theoretic validity offers a semantics for intuitionistic logic. This conjecture has recently been proven false by Piecha and Schroeder-Heister. This article resolves one of the questions left open by this recent result by showing the extensional alignment of proof-theoretic validity and general inquisitive logic. General inquisitive logic is a generalisation of inquisitive semantics, a uniform semantics for questions and assertions. The paper further defines a notion of quasi-proof-theoretic validity by restricting proof-theoretic validity to allow double negation elimination (...) for atomic formulas and proves the extensional alignment of quasi-proof-theoretic validity and inquisitive logic. (shrink)

In this paper, we defend Lucretian Presentism. Although the view faces many objections and has proven unpopular with presentists, we rehabilitate Lucretianism and argue that none of the objections stick.

There are three main accounts of the proper function of the low mood system (LMS): the social risk theory, the disease theory, and the propitiousness theory. Adjudicating between these accounts has proven difficult, as there is little agreement in the literature about what a theory of the LMS’s proper function is supposed to explain. In this article, drawing upon influential work on the evolution of other affective systems, such as the disgust system and the fear system, I argue that a (...) theory of the proper function of the low mood system should: (i) account for the reliable, distal causes and effects of the system’s activation, and (ii) explain how having a system that performed such a function increased fitness in ancestral environments. On this basis, I show that the proper function of the low mood system is to limit resource expenditure in relatively unpropitious circumstances, exactly as hypothesised by the propitiousness theory. (shrink)

The relationship between the One and the Multiple in mystic philosophy is a profound and central theme that explores the nature of existence, the cosmos, and the divine. This theme is present in various mystical traditions, including those of the East and West, and it addresses the paradoxical coexistence of the unity and multiplicity of all things. -/- In mystic philosophy, the **One** often represents the ultimate reality, the source from which all things emanate and to which all things return. (...) It is the absolute, the infinite, and the unchanging. The One is beyond all attributes and is often associated with the divine or the absolute truth. -/- The **Multiple**, on the other hand, represents the manifest world, the diversity of forms, and the realm of change and plurality. It is the world we experience through our senses, the domain of time and space, where differentiation and individuality are apparent. -/- The relationship between the One and the Multiple is not one of opposition but of emanation and unity. The Multiple is seen as a reflection, expression, or manifestation of the One. In this sense, the diversity of the world doesn’t contradict the unity of the One but rather demonstrates it in a myriad of forms. -/- Mystics seek to understand and experience this relationship through various practices and insights. They aim to transcend the illusion of separation and duality to experience the non-dual reality where the One and the Multiple are recognized as inseparable. -/- This concept can be illustrated by the metaphor of the ocean and its waves. The ocean represents the One—vast, deep, and all-encompassing—while the waves represent the Multiple—distinct, diverse, and ever-changing. Each wave is unique, yet it is not separate from the ocean. The wave’s existence is dependent on and made of the same substance as the ocean. In the same way, each individual entity in the Multiple is an expression of the One. -/- In summary, the relationship between the One and the Multiple in mystic philosophy is a dynamic interplay that challenges the conventional understanding of separation. It invites a deeper exploration of reality, where the apparent multiplicity of the world is a direct expression of the singular, underlying essence of all that is. -/- The relationship between the One and the Multiple in the context of mathematical philosophy is a profound topic that touches upon the very foundations of existence and knowledge. It’s a theme that has been explored by philosophers and mathematicians alike, often leading to the contemplation of unity and diversity within the structures of reality. -/- In mathematics, the concept of the One can be seen as the basis of unity from which all numbers derive. It’s the identity element in multiplication, the starting point in counting, and the foundation of dimension in geometry. The One is often associated with the concept of monism in philosophy, which posits that there is a single, underlying substance or principle that constitutes reality. -/- On the other hand, the Multiple represents the infinite variety and diversity of forms and numbers that arise from the One. It’s the embodiment of plurality and the complex interplay of different entities that mathematics seeks to understand and describe. This reflects the philosophical stance of pluralism, which acknowledges the existence of multiple realities or truths. -/- The interplay between the One and the Multiple can be seen in the mathematical concept of sets. A set can be thought of as a unity, a whole composed of distinct elements. Yet, each element within the set also retains its individuality, contributing to the diversity of the set’s composition. This duality is mirrored in the philosophical exploration of the universal and the particular, where the universal represents the One, and the particulars represent the Multiple. -/- In the realm of mathematical philosophy, this relationship often leads to questions about the nature of mathematical objects: Are they discovered as part of an objective reality (the One), or are they constructed by the human mind from a multitude of experiences (the Multiple)? This debate resonates with the philosophical inquiry into the nature of truth and reality. -/- Reflecting on the One and the Multiple can also lead to a deeper understanding of the self and the cosmos. Just as the number one is integral to the existence of all other numbers, the individual self can be seen as a unique expression of the universal whole. Similarly, the cosmos can be viewed as a grand unity composed of a multiplicity of forms and phenomena. -/- Gödel’s incompleteness theorems have a fascinating connection to the philosophical concepts of the One and the Multiple. These theorems, which are pivotal in mathematical logic and philosophy of mathematics, articulate the inherent limitations of formal axiomatic systems, particularly those sufficient to express the arithmetic of natural numbers. -/- Gödel’s incompleteness theorems have a fascinating connection to the philosophical concepts of the One and the Multiple. These theorems, which are pivotal in mathematical logic and philosophy of mathematics, articulate the inherent limitations of formal axiomatic systems, particularly those sufficient to express the arithmetic of natural numbers⁴. -/- The **first incompleteness theorem** reveals that within any such consistent system, there are propositions that are true but cannot be proven within the system itself. This reflects the idea of the Multiple in that there is an abundance of mathematical truths, a multiplicity that exceeds the unifying framework of any one system. It suggests that the realm of mathematical truth is more extensive than any single formal system can fully capture. -/- The **second incompleteness theorem** extends this by showing that a system cannot prove its own consistency. This relates to the concept of the One, as it implies that a system’s complete self-understanding, its unity and coherence, is unattainable from within. It must look beyond itself, to an external vantage point, to ascertain its consistency. -/- In the context of the One and the Multiple, Gödel’s theorems imply that the One (a consistent formal system) is inherently incomplete and cannot encompass the Multiple (the totality of mathematical truths). This resonates with philosophical discussions about the relationship between unity and plurality. Just as a single philosophical system cannot capture the entirety of truth, a single formal mathematical system cannot encapsulate all mathematical truths. -/- Moreover, Gödel’s work suggests that the pursuit of a single, unified theory of everything in mathematics—a One that encompasses all Multiples—is an inherently Sisyphean task. There will always be more truths (Multiples) than can be derived from any given set of axioms (the One). -/- In essence, Gödel’s incompleteness theorems provide a formal underpinning to the philosophical notion that the One cannot exist without the Multiple, and vice versa. They are interdependent, with the One giving rise to the Multiple, and the Multiple necessitating the One for its expression and comprehension. This interplay is a dance of limitations and possibilities, where the boundaries of logic, mathematics, and philosophy blur into one another. -/- The relationship between the One and the Multiple in the context of the mathematics of zero is a deeply philosophical inquiry that bridges the abstract world of numbers with the existential questions of being and non-being. -/- Zero, in mathematics, is a symbol of absence, a representation of nothingness, yet it holds a pivotal position as a number. It is the void from which all things emerge and to which they return. In the philosophy of mathematics, zero is the paradoxical junction where the One and the Multiple converge and diverge. -/- From the perspective of the One, zero can be seen as the origin—the singular point that precedes the existence of numbers. It is the empty set, the foundation upon which the edifice of mathematics is constructed. As the identity element in addition, zero maintains the integrity of numbers, for adding zero to any number leaves it unchanged, reflecting the immutable nature of the One. -/- Conversely, when we consider the Multiple, zero represents the infinite potentiality of creation. It is the canvas upon which the integers, both positive and negative, express their multitude. Zero is the balance point, the fulcrum around which the symphony of numbers dances. It embodies the plurality of possibilities, the beginning of the number line that stretches infinitely in both directions. -/- Philosophically, zero challenges our understanding of existence. It is both something and nothing—a number that quantifies the absence of quantity. This duality echoes the philosophical struggle to comprehend how the One gives rise to the Multiple. How does the unity of being manifest the diversity of the cosmos? Zero offers a mathematical metaphor for this mystery, as it encapsulates the transition from non-existence to existence, from the undifferentiated One to the differentiated Multiple. -/- In the realm of set theory, zero corresponds to the empty set—a set with no elements. This set is unique in that it is the only set that contains nothing, yet it is the foundation upon which all other sets are built. The empty set is the mathematical embodiment of the One, and all other sets, containing multiple elements, arise from it. -/- Reflecting on zero in the context of Gödel’s incompleteness theorems, we find a resonance with the idea that the One (a consistent formal system) cannot capture the entirety of the Multiple (the totality of mathematical truths). Zero, as the foundation of numbers, similarly suggests that from the nothingness of the One, the infinite complexity of the Multiple emerges—yet it can never be fully encompassed or expressed by any single system. -/- In conclusion, the mathematics of zero offers a profound reflection on the relationship between the One and the Multiple. It serves as a bridge between the abstract and the concrete, the known and the unknowable, challenging us to ponder the origins of existence and the nature of reality itself. -/- . (shrink)

One of the reasons for many different and even opposing interpretations of Hume's Dialogues Concerning Natural Religion is the absence of consensus concerning the question of which character in the Dialogues represents Hume. In this paper I argue that taking Philo to be his primary spokesperson provides us with the most consistent reading of the whole work and helps us better understand Hume's religious viewpoint. I first stress the specific dialogue form of Hume's work, which requires us to take into (...) account literary tools such as irony and double-talk when interpreting it. From there I proceed to show why I believe that my hypothesis is better supported than the other two main hypotheses concerning Hume's presence in the Dialogues, the first one being that Cleanthes represents Hume and the other one that none of the characters consistently speaks for Hume but rather that the whole structure of the work does that. Although there is both textual and historical evidence which suggests that Hume favoured Cleanthes, I show that his opinions deviate from Hume's well-known views on important subjects such as scepticism, morality and Christianity, while Philo's opinions on these subjects agree with Hume's almost verbatim. The second hypothesis is proven to be wrong by the fact that Philo actually consistently defends Hume's opinions. Finally, I argue that Philo's understanding of true religion as a philosophical position devoid of any religious import agrees with Hume's religious scepticism. (shrink)

This paper is concerned with a propositional modal logic with operators for necessity, actuality and apriority. The logic is characterized by a class of relational structures defined according to ideas of epistemic two-dimensional semantics, and can therefore be seen as formalizing the relations between necessity, actuality and apriority according to epistemic two-dimensional semantics. We can ask whether this logic is correct, in the sense that its theorems are all and only the informally valid formulas. This paper gives outlines of two (...) arguments that jointly show that this is the case. The first is intended to show that the logic is informally sound, in the sense that all of its theorems are informally valid. The second is intended to show that it is informally complete, in the sense that all informal validities are among its theorems. In order to give these arguments, a number of independently interesting results concerning the logic are proven. In particular, the soundness and completeness of two proof systems with respect to the semantics is proven (Theorems 2.11 and 2.15), as well as a normal form theorem (Theorem 3.2), an elimination theorem for the actuality operator (Corollary 3.6), and the decidability of the logic (Corollary 3.7). It turns out that the logic invalidates a plausible principle concerning the interaction of apriority and necessity; consequently, a variant semantics is briefly explored on which this principle is valid. The paper concludes by assessing the implications of these results for epistemic two-dimensional semantics. (shrink)

Whether non-human animals can have episodic memories remains the subject of extensive debate. A number of prominent memory researchers defend the view that animals do not have the same kind of episodic memory as humans do, whereas others argue that some animals have episodic-like memory—i.e., they can remember what, where and when an event happened. Defining what constitutes episodic memory has proven to be difficult. In this paper, I propose a dual systems account and provide evidence for a distinction between (...) event memory and episodic memory. Event memory is a perceptual system that evolved to support adaptive short-term goal processing, whereas episodic memory is based on narratives, which bind event memories into a retrievable whole that is temporally and causally organized around subject’s goals. I argue that carefully distinguishing event memory from episodic memory can help resolve the debate. (shrink)

Understanding Hegel's account of particularity has proven to be anything but straightforward. Two main accounts of particularity have been advanced: the particular as an example or instance and the particular as a subjective perspective on a universal concept. The problem with these accounts is that they reduce particularity either to singularity or to universality. As Derrida's analyses make apparent, the ‘structure of exemplarity’ in Hegel is quite intricate. Hegel uses ‘example’ in three senses: it means (1) ‘instance’, ‘illustration’, or (2) (...) ‘model’, ‘exemplary individual’, ‘paradigm’, or (3) a by-play (a meaning derived from Hegel's neologismbeiherspielen, in whichBeispielis understood quasi-etymologically as a ‘by-play’ of accidental moments). ABeispielin the first sense can be replaced by another instance in a free play (by-play). This play of accidental moments, however, is not entirely free; it generates a series (of replacements) that ultimately leads to an example in the second sense, to an exemplary individual. I argue that particularity can be taken as exemplarity of this kind, oscillating between a singular example and a universal paradigm. Within this by-play, the universal concept, its law, is supposed to be mediated and determined. However, out of the differences between the examples the by-play induces another law, the law of non-mediation, which may, in Derrida's view, actually negate the dialectical movement towards universality. I argue, utilizing Malabou's concept of plasticity, that this disruption may be recovered. This implies that each individual example within a series is a particular determination of the universal. Hence, we can take literally Hegel's claim that the movement of the concept is play. (shrink)

Supererogatory acts, those which are praiseworthy but not obligatory, have become a significant topic in contemporary moral philosophy, primarily because morally supererogatory acts have proven difficult to reconcile with other important aspects of normative ethics. However, despite the similarities between ethics and epistemology, epistemic supererogation has received very little attention. In this paper, I aim to further the discussion of supererogation by arguing for the existence of epistemically supererogatory acts and considering the potential implications of their existence. First, I offer (...) a brief account of moral supererogation and how morally supererogatory acts generate a strong intuition that a similar phenomenon should exist in epistemology. Afterward, I argue for the existence of epistemically supererogatory acts by examining five cases where an epistemic activity appears to be epistemically supererogatory. Epistemic supererogation appears to provide the best explanation for our considered judgments about the individuals’ behavior in these different cases. Finally, I consider how epistemic supererogation might impact the contemporary study of epistemology, particularly with regard to how we appraise certain epistemic duties. (shrink)

Stable and efficient function approximation methods in model-based reinforcement education (MBRL) have proven to be a persistent challenge, despitethe topic's expanding popularity. We offer an original structure to make the real-world difficulties in MBRL more understandable and to streamline algorithmic design at a higher abstraction level. In this way, MBRL is thought of as a two-person game: The policy player maximizes rewards by applying the learned model. The goal of the model player is to accurately reproduce the empirical facts that (...) the policy player has gathered. We show that an approximate equilibrium in this game may be found, leading to a near-optimal strategy for the environment. Towards this goal, we provide two families of algorithms that draw inspiration from ideas found in Stackelberg games. Test results show that our suggested methods equal the overall efficacy of model-free policy gradient approaches and attain state-of-the-art sample efficiency. Moreover, these algorithms show a seamless transfer to extremely complex tasks such as deft hand manipulation. (shrink)