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)

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)

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)

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)

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)

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.

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)

The cognitive sciences are facing questions of how to select from competing theories or develop those that suit their current needs. However, traditional accounts of theoretical virtues have not yet proven informative to theory development in these fields. We advance a pragmatic account by which theoretical virtues are heuristics we use to estimate a theory’s contribution to a field’s body of knowledge and the degree to which it increases that knowledge’s ability to solve problems in the field’s domain or problem (...) space. From this perspective, properties that are traditionally considered epistemic virtues, such as a theory’s fit to data or internal coherence, can be couched in terms of problem space coverage, and additional virtues come to light that reflect a theory’s alignment with problem-having agents and the context in a societally embedded scientific system. This approach helps us understand why the needs of different fields result in different kinds of theories and allows us to formulate the challenges facing cognitive science in terms that we hope will facilitate their resolution through further theoretical development. (shrink)

This reply is a refutation of Santiago Vrech’s article “The End of the Case? A Metaphilosophical Critique of Thought Experiments” (2022) which argues that thought experiments used in argumentation cannot hold in All Possible Worlds (APW) modality, and thus should end. Cases are used to justify or refute a philosophical theory, but should not have the power to refute an entire theory, especially ad infinitum. Significant variations in intuitions, he argues, invalidate cases and are not proven. I argue some variation (...) is acceptable and expected, and his bar of criteria is too high—APW validity is unnecessary. Vrech’s three arguments are faulty and/ or too weak, and his thought experiment is of questionable value. Experimental and armchair philosophy (or philosophers) are misnomers, misleading and false dichotomy. (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)

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)

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)

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)

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)

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)

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)

Several authors have used the notion of causal specificity in order to defend non-parity about genetic causes (Waters 2007, Woodward 2010, Weber 2017, forthcoming). Non-parity in this context is the idea that DNA and some other biomolecules that are often described as information-bearers by biologists play a unique role in life processes, an idea that has been challenged by Developmental Systems Theory (e.g., Oyama 2000). Indeed, it has proven to be quite difficult to state clearly what the alleged special role (...) of genetic causes consists in. In this paper, I show that the set of biomolecules that are normally considered to be information-bearers (DNA, mRNA) can be shown to be the most specific causes of protein primary structure, provided that causal specificity is measured over a relevant space of biological possibilities, disregarding physical as well as logically possible states of the causal variables. (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)

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)

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)

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)

This article argues that phenomenological treatment of physical problems is more powerful than fundamental treatment. Developments in the field of superconductivity present us with a clear example of such superiority. The BCS (Bardeen, Cooper and Schrieffer) was accepted as the fundamental theory of superconductivity for a long time. Nevertheless, Landau and Ginzburg phenomenological model has so far proven to be a more fruitful theoretical representation to understand and to predict the features of superconductivity and superconductive materials.

As is well known, speech acts such as acts of promising can have ontological consequences. For example an act of promising can give rise to a mutually correlated claim and obligation. Increasingly, speech acts in the narrow sense are being augmented by the use of documents of multiple different sorts. In this paper we analyze the results of this augmenta-tion from the ontological point of view, considering especially the domains of law and com-merce. We show how document acts are not (...) isolated phenomena, but rather form large and complex systems with other entities, including occurrent entities such as acts of signing and inspecting, as well as speech acts for example of instructing people to sign or complete a doc-ument. The paper concludes with a consideration of some of the special problems associated with the use of digital documents, for example as concerns issues of security and provenance. (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)

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 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)

Arguably, the original conception of epistemic justification comes from Descartes and Locke, who thought of justification deontologically. Moreover, their deontological conception was especially strict: there are no excuses for unjustified beliefs. Call this the “classical deontologist” conception of justification. As the original conception, we ought to accept it unless proven untenable. Nowadays, however, most have abandoned classical deontologism as precisely that—untenable. It stands accused of requiring doxastic voluntarism and normative transparency. My goal is to rescue classical deontologism from these accusations. (...) I show how, given a specific form of internalism coupled with a plausible theory of epistemic blame, we can be blameworthy for all of our (non-exempt) unjustified beliefs without transparency or voluntarism. The result is that the classical deontological conception of justification should regain its privileged status. (shrink)

Radical concept nativism is the thesis that virtually all lexical concepts are innate. Notoriously endorsed by Jerry Fodor (1975, 1981), radical concept nativism has had few supporters. However, it has proven difficult to say exactly what’s wrong with Fodor’s argument. We show that previous responses are inadequate on a number of grounds. Chief among these is that they typically do not achieve sufficient distance from Fodor’s dialectic, and, as a result, they do not illuminate the central question of how new (...) primitive concepts are acquired. To achieve a fully satisfactory response to Fodor’s argument, one has to juxtapose questions about conceptual content with questions about cognitive development. To this end, we formulate a general schema for thinking about how concepts are acquired and then present a detailed illustration. (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)

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)

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)

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)

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)

Agents know some but not all logical consequences of what they know. Agents seem to be neither logically omniscient nor logically incompetent. Yet finding an intermediate standard of minimal rationality has proven difficult. In this paper, I take suggestions found in the literature (Lewis, 1988; Hawke, Özgün and Berto, 2020; Plebani and Spolaore, 2021) and join the forces of subject matter and impossible worlds approaches to devise a new solution to this quandary. I do so by combining a space of (...) FDE worlds (Berto and Jago, 2019) with a Lewisian (1988) understanding of subject matters as partitions. By doing so, I show how subject matters impose some order in the anarchic space of FDE worlds, while the worlds allow for distinctions between contents which would not otherwise be available. Combining the two approaches, then, brings us closer to the desired closure principles for knowledge of minimally rational agents. (shrink)

In recent years, narrative accounts of the self have gained increasing attention. It is widely accepted that humans are storytelling creatures, that stories shape our self-conception, and that we fail to be agents without a narrative framework. While there is less agreement on what constitutes a narrative, it is generally understood to be more than a chronological listing of life events; it is also an account of the explanatory relationships among these events—a story of how events lead to other events. (...) However, specifying the nature of this explanatory relationship has proven difficult. As critics have pointed out, narrativists often resort to simplistic notions of narrative when faced with criticism. The concept of narrative explanation needs to be elaborated in a way that is both substantive enough to exclude trivial behaviours from being considered narratives and nonrestrictive enough to accommodate ordinary lives that may not be particularly story-like. In this paper, I review existing accounts of narrative explanation and propose a teleological account, according to which narratives consist of goal-directed explanations of a sequence of events. I argue that a teleological account of narrative explanation can be a fruitful way to clarify the concept of “narrative” in the context of the narrative self by addressing the most common objections. (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.

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)

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)

According to one influential view, something which we might have reason to think is a language, is not proven to be such until it has been translated. I will try to show, to the contrary, that it is necessary to appeal to factors which are independent of translation in order to establish that it is indeed a language which has been translated in the first place. If this is right, it follows that proof of languagehood, so far from depending on (...) translation, is in fact logically prior to translation. (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)

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 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 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)

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)