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)

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.

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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.

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)

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)

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)

A theory of property needs to give an account of the whole life-cycle of a property right: how it is initiated, transferred, and terminated. Economics has focused on the transfers in the market and has almost completely neglected the question of the initiation and termination of property in normal production and consumption (not in some original state or in the transition from common to private property). The institutional mechanism for the normal initiation and termination of property is an invisible-hand function (...) of the market, the market mechanism of appropriation. Does this mechanism satisfy an appropriate normative principle? The standard normative juridical principle is to assign or impute legal responsibility according to de facto responsibility. It is given a historical tag of being "Lockean" but the basis is contemporary jurisprudence, not historical exegesis. Then the fundamental theorem of the property mechanism is proven which shows that if "Hume's conditions" (no transfers without consent and all contracts fulfilled) are satisfied, then the market automatically satisfies the Lockean responsibility principle, i.e., "Hume implies Locke." As a major application, the results in their contrapositive form, "Not Locke implies Not Hume," are applied to a market economy based on the employment contract. It is shown the production based on the employment contract violates the Lockean principle (all who work in an employment enterprise are de facto responsible for the positive and negative results) and thus Hume's conditions must also be violated in the marketplace (de facto responsible human action cannot be transferred from one person to another—as is readily recognized when and employer and employee together commit a crime). (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)

The term ‘continuous’ in real analysis wasn’t given an adequate formal definition until 1817. However, important theorems about continuity were proven long before that. How was this possible? In this paper, I introduce and refine a proposed answer to this question, derived from the work of Frank Jackson, David Lewis and other proponents of the ‘Canberra plan’. In brief, the proposal is that before 1817 the meaning of the term ‘continuous’ was determined by a number of ‘platitudes’ which had some (...) special epistemic status. (shrink)

The scientific study of living organisms is permeated by machine and design metaphors. Genes are thought of as the ‘‘blueprint’’ of an organism, organisms are ‘‘reverse engineered’’ to discover their func- tionality, and living cells are compared to biochemical factories, complete with assembly lines, transport systems, messenger circuits, etc. Although the notion of design is indispensable to think about adapta- tions, and engineering analogies have considerable heuristic value (e.g., optimality assumptions), we argue they are limited in several important respects. In (...) particular, the analogy with human-made machines falters when we move down to the level of molecular biology and genetics. Living organisms are far more messy and less transparent than human-made machines. Notoriously, evolution is an oppor- tunistic tinkerer, blindly stumbling on ‘‘designs’’ that no sensible engineer would come up with. Despite impressive technological innovation, the prospect of artificially designing new life forms from scratch has proven more difficult than the superficial analogy with ‘‘programming’’ the right ‘‘software’’ would sug- gest. The idea of applying straightforward engineering approaches to living systems and their genomes— isolating functional components, designing new parts from scratch, recombining and assembling them into novel life forms—pushes the analogy with human artifacts beyond its limits. In the absence of a one-to-one correspondence between genotype and phenotype, there is no straightforward way to imple- ment novel biological functions and design new life forms. Both the developmental complexity of gene expression and the multifarious interactions of genes and environments are serious obstacles for ‘‘engi- neering’’ a particular phenotype. The problem of reverse-engineering a desired phenotype to its genetic ‘‘instructions’’ is probably intractable for any but the most simple phenotypes. Recent developments in the field of bio-engineering and synthetic biology reflect these limitations. Instead of genetically engi- neering a desired trait from scratch, as the machine/engineering metaphor promises, researchers are making greater strides by co-opting natural selection to ‘‘search’’ for a suitable genotype, or by borrowing and recombining genetic material from extant life forms. (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)

Philosophers of science have given up on the quest for a silver bullet to put an end to all pseudoscience, as such a neat formal criterion to separate good science from its contenders has proven elusive. In the literature on critical thinking and in some philosophical quarters, however, this search for silver bullets lives on in the taxonomies of fallacies. The attractive idea is to have a handy list of abstract definitions or argumentation schemes, on the basis of which one (...) can identify bad or invalid types of reasoning, abstracting away from the specific content and dialectical context. Such shortcuts for debunking arguments are tempting, but alas, the promise is hardly if ever fulfilled. Different strands of research on the pragmatics of argumentation, probabilistic reasoning and ecological rationality have shown that almost every known type of fallacy is a close neighbor to sound inferences or acceptable moves in a debate. Nonetheless, the kernel idea of a fallacy as an erroneous type of argument is still retained by most authors. We outline a destructive dilemma we refer to as the Fallacy Fork: on the one hand, if fallacies are construed as demonstrably invalid form of reasoning, then they have very limited applicability in real life. On the other hand, if our definitions of fallacies are sophisticated enough to capture real-life complexities, they can no longer be held up as an effective tool for discriminating good and bad forms of reasoning. As we bring our schematic “fallacies” in touch with reality, we seem to lose grip on normative questions. Even approaches that do not rely on argumentation schemes to identify fallacies fail to escape the Fallacy Fork, and run up against their own version of it. (shrink)

In 2016, a multidisciplinary body of scholars within the International Commission on Stratigraphy—the Anthropocene Working Group—recommended that the world officially recognize the Anthropocene as a new geological epoch. The most contested claim about the Anthropocene, that humans are a major geological and environmental force on par with natural forces, has proven to be a hotbed for discussion well beyond the science of geology. One reason for this is that it compels many natural and social scientists to confront problems and systems (...) that transgress traditional disciplinary boundaries, and as a result, calls for interdisciplinary research are now gaining traction. Proponents of such transgressions have dubbed the new scientific order that will result “Anthropocene Science”, and rhetoric notwithstanding, such discussions exemplify how recent changes within science justify rethinking a prevailing image of how science is done, and with it, the working relationship between scholars in the humanities, natural scientists, and social scientists. (shrink)

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)

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)

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)

Statistical mechanics is a strange theory. Its aims are debated, its methods are contested, its main claims have never been fully proven, and their very truth is challenged, yet at the same time, it enjoys huge empirical success and gives us the feeling that we understand important phenomena. What is this weird theory, exactly? Statistical mechanics is the name of the ongoing attempt to apply mechanics, together with some auxiliary hypotheses, to explain and predict certain phenomena, above all those described (...) by thermodynamics. This paper shows what parts of this objective can be achieved with mechanics by itself. It thus clarifies what roles remain for the auxiliary assumptions that are needed to achieve the rest of the desiderata. Those auxiliary hypotheses are described in another paper in this journal, Foundations of statistical mechanics: The auxiliary hypotheses. (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)

We address the question of whether it is possible to operate a time machine by manipulating matter and energy so as to manufacture closed timelike curves. This question has received a great deal of attention in the physics literature, with attempts to prove no- go theorems based on classical general relativity and various hybrid theories serving as steps along the way towards quantum gravity. Despite the effort put into these no-go theorems, there is no widely accepted definition of a time (...) machine. We explain the conundrum that must be faced in providing a satisfactory definition and propose a resolution. Roughly, we require that all extensions of the time machine region contain closed timelike curves; the actions of the time machine operator are then sufficiently "potent" to guarantee that closed timelike curves appear. We then review no-go theorems based on classical general relativity, semi-classical quantum gravity, quantum field theory on curved spacetime, and Euclidean quantum gravity. Our verdict on the question of our title is that no result of sufficient generality to underwrite a confident "yes" has been proven. Our review of the no-go results does, however, highlight several foundational problems at the intersection of general relativity and quantum physics that lend substance to the search for an answer. (shrink)

In this paper I focus on how far the republican ideal of freedom as non-domination can and should command allegiance across different cultures. Is the ideal bound to western culture, as its provenance may suggest? Or does it have a hold on the human imagination and sensibility that survives across various cultural and historical divides? I argue, in a deeply unfashionable vein,that it does command a form of universal allegiance. Or, to be more exact, I argue that freedom as (...) non-domination has this status in its role as an ideal of social justice. Reasons of space make it impossible to extend the argument to its role as an ideal of political and international justice —as an ideal of democracy and sovereignty —but the considerations I muster should make clear how that argument would go. (shrink)

As a generation of ‘digital natives,’ secondary students who were born from 2002 to 2010 have various approaches to acquiring digital knowledge. Digital literacy and resilience are crucial for them to navigate the digital world as much as the real world; however, these remain under-researched subjects, especially in developing countries. In Vietnam, the education system has put considerable effort into teaching students these skills to promote quality education as part of the United Nations-defined Sustainable Development Goal 4 (SDG4). This issue (...) has proven especially salient amid the COVID−19 pandemic lockdowns, which had obliged most schools to switch to online forms of teaching. This study, which utilizes a dataset of 1061 Vietnamese students taken from the United Nations Educational, Scientific, and Cultural Organization (UNESCO)’s “Digital Kids Asia Pacific (DKAP)” project, employs Bayesian statistics to explore the relationship between the students’ background and their digital abilities. Results show that economic status and parents’ level of education are positively correlated with digital literacy. Students from urban schools have only a slightly higher level of digital literacy than their rural counterparts, suggesting that school location may not be a defining explanatory element in the variation of digital literacy and resilience among Vietnamese students. Students’ digital literacy and, especially resilience, also have associations with their gender. Moreover, as students are digitally literate, they are more likely to be digitally resilient. Following SDG4, i.e., Quality Education, it is advisable for schools, and especially parents, to seriously invest in creating a safe, educational environment to enhance digital literacy among students. (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.

In this paper I offer an argument against one important version of panentheism, that is, mereological panentheism. Although panentheism has proven difficult to define, I provide a working definition of the view, and proceed to argue that given this way of thinking about the doctrine, mereological accounts of panentheism have serious theological drawbacks. I then explore some of these theological drawbacks. In a concluding section I give some reasons for thinking that the classical theistic alternative to panentheism is preferable, all (...) things considered. (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)

In this paper we re-assess the philosophical foundation of Exactly True Logic ($$\mathcal {ET\!L}$$ ET L ), a competing variant of First Degree Entailment ($$\mathcal {FDE}$$ FDE ). In order to do this, we first rebut an argument against it. As the argument appears in an interview with Nuel Belnap himself, one of the fathers of $$\mathcal {FDE}$$ FDE, we believe its provenance to be such that it needs to be taken seriously. We submit, however, that the argument ultimately (...) fails, and that $$\mathcal {ET\!L}$$ ET L cannot easily be dismissed. We then proceed to give an overview of the research that was inspired by this logic over the last decade, thus providing further motivation for the study of $$\mathcal {ET\!L}$$ ET L and, more generally, of $$\mathcal {FDE}$$ FDE -related logics that result from semantical analyses alternative to Belnap’s canonical one. We focus, in particular, on philosophical questions that these developments raise. (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)

This article investigates the problem of the identity of the parts of space in Newton’s natural philosophy, as well as the holistic or structuralist nature of Newton’s ontology of space. Additionally, this article relates the lessons reached in this historical and philosophical investigation to analogous debates in contemporary space-time ontology. While previous contributions, by Nerlich, Huggett, and others, have proven to be informative in evaluating Newton’s claims, it will be argued that the underlying goals of Newton’s views have largely eluded (...) prior analysis and that Newton’s approach is similar, and lends support, to several current structuralist trends in the conception of space-time ontology. (shrink)

In this dissertation, I argue that we should be pluralists about truth and in turn, eliminativists about the property Truth. Traditional deflationists were right to suspect that there is no such property as Truth. Yet there is a plurality of pluralities of properties which enjoy defining features that Truth would have, were it to exist. So although, in this sense, truth is plural, Truth is non-existent. The resulting account of truth is indebted to deflationism as the provenance of the (...) suspicion that Truth doesn't exist. But it would be hasty to simply classify the account as deflationary. Each of the 'truth-like' properties that it recognizes is highly substantive--that is, complex and explanatorily potent. So we should deflate Truth by recognizing that it doesn't exist, but we should also recognize that one of the most vital tasks in truth theory is to discover the essences of the many truth-like properties. My aim here is to do precisely this. (shrink)

The scientific study of living organisms is permeated by machine and design metaphors. Genes are thought of as the ‘‘blueprint’’ of an organism, organisms are ‘‘reverse engineered’’ to discover their functionality, and living cells are compared to biochemical factories, complete with assembly lines, transport systems, messenger circuits, etc. Although the notion of design is indispensable to think about adaptations, and engineering analogies have considerable heuristic value (e.g., optimality assumptions), we argue they are limited in several important respects. In particular, the (...) analogy with human-made machines falters when we move down to the level of molecular biology and genetics. Living organisms are far more messy and less transparent than human-made machines. Notoriously, evolution is an opportunistic tinkerer, blindly stumbling on ‘‘designs’’ that no sensible engineer would come up with. Despite impressive technological innovation, the prospect of artificially designing new life forms from scratch has proven more difficult than the superficial analogy with ‘‘programming’’ the right ‘‘software’’ would suggest. The idea of applying straightforward engineering approaches to living systems and their genomes— isolating functional components, designing new parts from scratch, recombining and assembling them into novel life forms—pushes the analogy with human artifacts beyond its limits. In the absence of a one-to-one correspondence between genotype and phenotype, there is no straightforward way to implement novel biological functions and design new life forms. Both the developmental complexity of gene expression and the multifarious interactions of genes and environments are serious obstacles for ‘‘engineering’’ a particular phenotype. The problem of reverse-engineering a desired phenotype to its genetic ‘‘instructions’’ is probably intractable for any but the most simple phenotypes. Recent developments in the field of bio-engineering and synthetic biology reflect these limitations. Instead of genetically engineering a desired trait from scratch, as the machine/engineering metaphor promises, researchers are making greater strides by co-opting natural selection to ‘‘search’’ for a suitable genotype, or by borrowing and recombining genetic material from extant life forms. (shrink)

Consider the following causal exclusion principle: For all distinct properties F and F* such that F* supervenes on F, F and F* do not both cause a property G. Peter Menzies and Christian List have proven that it follows from a natural conception of causation as difference-making that this exclusion principle is not generally true. Rather, it turns out that whether the principle is true is a contingent matter. In addition, they have shown that in a wide range of empirically (...) ordinary cases, it follows that F* causes G and F does not. These cases plausibly include instances where F* is a mental property and F and G are physical properties. If this is the right conception of causation, it therefore turns out that the physical world is not causally closed. In this paper I show that there is an alternative conception of causation as difference-making that does not have the same consequences. Whether the physical world is causally closed therefore turns out to depend, inter alia, on which conception of difference-making is correct. I give a number of arguments for the alternative conception of difference-making. (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)

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)