This paper concerns model-checking of fragments and extensions of CTL* on infinite-state Presburger counter systems, where the states are vectors of integers and the transitions are determined by means of relations definable within Presburger arithmetic. In general, reachability properties of counter systems are undecidable, but we have identified a natural class of admissible counter systems (ACS) for which we show that the quantification over paths in CTL* can be simulated by quantification over tuples of natural numbers, eventually allowing translation of (...) the whole Presburger-CTL* into Presburger arithmetic, thereby enabling effective model checking. We provide evidence that our results are close to optimal with respect to the class of counter systems described above. (shrink)

Body checking, characterized by the repeated visual or physical inspection of particular parts of one’s own body (e.g. thighs, waist, or upper arms) is one of the most prominent behaviors associated with eating disorders, particularly Anorexia Nervosa (AN). In this paper, we explore the explanatory potential of the Recalcitrant Fear Model of AN (RFM) in relation to body checking. We argue that RFM, when combined with certain plausible auxiliary hypotheses about the cognitive and epistemic roles of emotions, is able to (...) explain key characteristics of body checking, including how body checking behavior becomes habitual and compulsive. (shrink)

Can you rationally double-check what you already know? In this paper, I argue that you can. Agents can know that something is true and rationally double-check it at the very same time. I defend my position by considering a wide variety of cases where agents double-check their beliefs to gain epistemic improvements beyond knowledge. These include certainty, epistemic resilience, and sensitivity to error. Although this phenomenon is widespread, my proposal faces two types of challenges. First, some have (...) defended ignorance norms, on which agents are only allowed to inquire about things they don't already know. Second – motivated by strong conceptions of belief or pragmatic encroachment – some have argued that double-checking destroys knowledge. I argue that these competing views fail to capture both the epistemic value of double-checking and the many reasons why agents might double-check. Moreover, they rely on overly strong assumptions about what inquiry, knowledge, or belief requires. Finally, I marshal linguistic data in favor of the compatibility of knowledge and double-checking. (shrink)

This book is primarily about checking and only derivatively about knowing. Checking is a very common concept for describing a subject’s epistemic goals and actions. Surprisingly, there has been no philosophical attention paid to the notion of checking. In Part I, I develop a sensitivity account of checking. To be more explicit, I analyze the internalist and externalist components of the epistemic action of checking which include the intentions of the checking subject and the necessary externalist features of the method (...) used. Crucially, successfully checking whether p is true requires using a method that is sensitive with respect to p, i.e. a method that would not indicate that p, if p were false. In Part II, I use the distinction between knowing and checking to explain central puzzles about knowledge, particularly puzzles centering on knowledge closure, puzzles concerning bootstrapping and the skeptical puzzle. Moreover, the book clarifies a dispute about modal epistemology, concerning the application of the sensitivity principle. By arguing that sensitivity is necessary for checking but not knowing, I explain where our persisting intuitions about sensitivity have their place in epistemology. (shrink)

In his recent book, Knowing and Checking, Guido Melchior argues that, when we attempt to check whether p, we tend to think that we do not know p. Melchior then uses this assumption to explain a number of puzzles about knowledge. One outstanding question for Melchior's account, however, is why this tendency exists. After all, Melchior himself argues that checking is not necessary for knowing, so why would we think that we fail to know that p when we are (...) in the midst of checking that p? I will explore one such suggestion for why this occurs, arguing that the connection between checking and inquiry can shed light on the impact that checking has on knowing. (shrink)

Political fact-checkers evaluate the truthfulness of politicians’ claims. This paper contributes to an emerging scholarly debate on whether fact-checkers treat political parties differently in a systematic manner depending on their ideology (bias). We first examine the available approaches to analyze bias and then present a new approach in two steps. First, we propose a logistic regression model to analyze the outcomes of fact-checks and calculate how likely each political party will obtain a truth score. We test our model with a (...) sample of fact-checks from Newtral, a major Spanish fact-checker. Our model would signal bias under two assumptions: a) all political parties are on average equally accurate in their statements; b) the verification method gives precise instructions and is implemented systematically. We investigate this second assumption with a series of interviews with Newtral fact-checkers. We show that standard verification protocols are so loosely implemented that fact-checks reflect a set of journalistic decisions, rather than a bias in the statistical sense. We call for a more rigorous definition of verification methods as a pre-requisite for an unbiased assessment of politician’s claims. (shrink)

The paper proposes an account of the rational response to higher‐order evidence whose key claim is that whenever we acquire such evidence we ought to engage in the inquiring activity of double‐checking. Combined with a principle that establishes a connection between rational inquiry and rational belief retention, the account offers a novel explanation of the alleged impermissibility of retaining one's belief in the face of higher‐order evidence. It is argued that this explanation is superior to the main competitor view which (...) appeals to the notion of defeat. (shrink)

What can just about any philosophical person who agrees with many goals that are often considered feminist do in response to the problems of the world? Among many other things, they can do philosophy, online, on various social media platforms, to try to help steer the world in better directions, at least a little. -/- Now “doing philosophy” with these goals in mind can mean many different things to different people: there are many different ways to be engaged in “public (...) philosophy.” Here though I’ll briefly describe some what I have been doing for at least a few years, which could be described as a type of “philosophical fact-checking” that basically amounts to this: -/- when people and organizations make importantly problematic claims about philosophical and ethical issues that one has expertise in, provide responses and resources that correct that misinformation. (shrink)

In this Précis, I provide an overview of my Monograph Knowing and Checking: An Epistemological Investigation (Melchior 2019), which is subject to a book symposium organized by the University of Maribor. This volume in Acta Analytica contains contributions by Peter Baumann, Kelly Becker, Marian David, Nenad Miščević, Robert Weston Siscoe, and Danilo Šuster along with my replies.

People who experience love often experience break-ups as well. However, philosophers of love have paid little attention to the phenomenon. Here, I address that gap by looking at the grieving process which follows unchosen relationship terminations. I ask which one is the loss that, if it were to be recovered, would stop grief or make it unwarranted. Is it the beloved, the reciprocation of love, the relationship, or all of it? By answering this question I not only provide with an (...) insight on the nature of break-ups, but also make a specific claim about the nature of love. I argue that the object that is universally lost in all break-ups is a person with certain intrinsic qualities, who is in a relationship characterised by certain shared activities and recognized as romantic. That means that, at least in romantic terminations, the beloved and the relationship are not independent objects of grief. So, plausibly, they may not independent objects of value in love. Hence, those who state otherwise should face up to this objection coming from the study of break-ups. (shrink)

In this article, we analyze how the checks-and-balances principle in the Finnish Constitution regarding the declaration of the state of emergency. We first discuss the basic principles of the separation of powers and checks and balances, and explicate how these principles are relevant to declaring a state of emergency (section 2). We then move on to analysing the Finnish legal order, de lege lata, regarding the declaration of the state of emergency, both on the level of the Constitution and on (...) the level of the Emergency Powers Act (section 3). This section elaborates the role of the legislative branch in checking the executive and the authority of the executive(s) in declaring a state of emergency. By means of our theoretical discussion and legal analysis, we will evaluate critically the declaration requirement’s political entailments for the Finnish legal system and propose some changes for the future, de lege ferenda (section 4). This evaluation critically assesses the present legislation regarding the declaration and its recent practice during COVID-19 pandemic. (shrink)

There is currently a theoretical tension between young children’s failure in False Belief Tasks (FBTs) and their success in a variety of other tasks that also seem to require the ability to ascribe false beliefs to agents. We try to explain this tension by the hypothesis that in the FBT, children think they are asked what the agent should do in the circumstances and not what the agent will do. We explain why this hypothesis is plausible. We examined the hypothesis (...) in two experiments, each involving a new task. In the first task, the hypothesised misunderstanding of the question leads to failure without the need to ascribe a false belief, and we show that failure in this new task is correlated with failure in the FBT. In the second task, passing which requires ascribing a false belief to an agent, and for which we have partial yet encouraging results, the children are asked a question which is unlikely to be misunderstood. Children pass this task much more often than they do a standard FBT. The mentioned tension is thus resolved. We conclude that the so-called False Belief Task probably does not check the ability to ascribe false beliefs but rather linguistic development. (shrink)

This paper replies to the comments made in Acta Analytica by Peter Baumann, Kelly Becker, Marian David, Nenad Miščević, Wes Siscoe, and Danilo Šuster on my Knowing and Checking: An Epistemological Investigation (Routledge 2019), hereinafter abbreviated as KC. These papers resulted from a workshop organized by the department of philosophy of the University of Maribor. I am very thankful to the organizers of the workshop and to the authors for their comments.

Alongside the direct parallels and contrasts between traditional narrative fiction and games, there lie certain partial analogies that provide their own insights. This article begins by examining a direct parallel between narrative fiction and games—the role of fictional reliefs and reality checks in shaping aesthetic engagement—before arguing that from this a partial analogy can be developed stemming from a feature that distinguishes most games from most traditional fictions: the presence of rules. The relation between rules and fiction in games has (...) heretofore been acknowledged but not examined in detail, giving an impression of a tension that is constant. However, the paired concepts of formal reliefs and representation checks, once introduced, allow us to explain how rules and fiction interact to alter the ways in which players engage with games in a dynamic but limited way. (shrink)

Drawing on empirical evidence from history and anthropology, we aim to demonstrate that there is room for genealogical ideology critique within normative political theory. The test case is some libertarians’ use of folk notions of private property rights in defence of the legitimacy of capitalist states. Our genealogy of the notion of private property shows that asking whether a capitalist state can emerge without violations of self-ownership cannot help settling the question of its legitimacy, because the notion of private property (...) presupposed by that question is a product of the entity it is supposed to help legitimise: the state. We anchor our genealogical critique in recent work on ideology in epistemology and philosophy of language, and in current debates on the methodology of political theory. But, unlike more traditional approaches that aim to debunk whole concepts or even belief systems, we propose a more targeted, argument-specific form of ideology critique. (shrink)

Amazon Book Review Series of “Better Economics for the Earth”.

Concerns about emerging and re-emerging infectious diseases have given a new lease of life to quarantinist measures: a series of time-honoured techniques for controlling the spread of infectious diseases through breaking the chain of human contagion. Since such measures typically infringe individual rights or privacy their use is subject to legal regulations and gives rise to ethical and political worries and suspicions. Yet in some circumstances they can be very effective. After considering some case studies that show how epidemics are (...) unique, fluid and affected by a multitude of contingent factors, it is argued that the legal and ethical guidelines may not always be the best approach to discipline the use of quarantinist measures. An alternative model based on ex-post political accountability for reasonableness is proposed. This model restores the centrality of political decision and expert judgement in situations characterized by high risk, uncertainty and contingency. It is argued that such alternative model affords quicker and more flexible responses to serious outbreaks of infections, while providing adequate protection against abuses. (shrink)

It can be rational to inquire into what you already know, as cases of double-checking suggest. But, I argue, this is compatible with a knowledge aim of inquiry. In general, it can be rational to pursue an aim you’ve already achieved, and inquiry is no different. In particular, I argue that to double-check what you already know is to make sure you have knowledge, and that is still to aim at knowledge.

As artificial intelligence becomes more sophisticated and robots approach autonomous decision-making, debates about how to assign moral responsibility have gained importance, urgency, and sophistication. Answering Stenseke’s (2022a) call for scaffolds that can help us classify views and commitments, we think the current debate space can be represented hierarchically, as answers to key questions. We use the resulting taxonomy of five stances to differentiate—and defend—what is known as the “blank check” proposal. According to this proposal, a person activating a robot (...) could willingly make themselves answerable for whatever events ensue, even if those events stem from the robot’s autonomous decision(s). This blank check solution was originally proposed in the context of automated warfare (Champagne & Tonkens, 2015), but we extend it to cover all robots. We argue that, because moral answerability in the blank check is accepted voluntarily and before bad outcomes are known, it proves superior to alternative ways of assigning blame. We end by highlighting how, in addition to being just, this self-initiated and prospective moral answerability for robot harm provides deterrence that the four other stances cannot match. (shrink)

It is frequently argued that false and misleading claims, spread primarily on social media, are a serious problem in need of urgent response. Current strategies to address the problem – relying on fact-checks, source labeling, limits on the visibility of certain claims, and, ultimately, content removals – face two serious shortcomings: they are ineffective and biased. Consequently, it is reasonable to want to seek alternatives. This paper provides one: to address the problems with misinformation, social media platforms should abandon third-party (...) fact-checks and rely instead on user-driven prediction markets. This solution is likely less biased and more effective than currently implemented alternatives and, therefore, constitutes a superior way of tackling misinformation. (shrink)

In epistemology, the concept of knowledge is of distinctive interest. This fact is also reflected in the discussion of epistemic value, which focuses to a large extend on the value problem of knowledge. This discussion suggests that knowledge has an outstanding value among epistemic standings because its value exceeds the value of its constitutive parts. I will argue that the value of knowledge is not outstanding by presenting epistemic standings of checking, transferring knowledge, and proving in court, whose values exceed (...) the value of knowledge in certain contexts. Moreover, the values of these other epistemic standings do not always rely on the value of knowledge. In terms of value, knowledge is not an outstanding epistemic concept. Hence, in terms of value we cannot find support for the privileged position that knowledge enjoys in epistemology. (shrink)

Abstract: There are epistemic manipulators in the world. These people are actively attempting to sacrifice epistemic goods for personal gain. In doing so, manipulators have led many competent epistemic agents into believing contrarian theories that go against well-established knowledge. In this paper, I explore one mechanism by which manipulators get epistemic agents to believe contrarian theories. I do so by looking at a prominent empirical model of trustworthiness. This model identifies three major factors that epistemic agents look for when trying (...) to determine who is trustworthy. These are (i) ability, (ii) benevolence, and (iii) moral integrity. I then show how manipulators can manufacture the illusion that they possess these factors. This leads epistemic agents to view manipulators as trustworthy sources of information. Additionally, I argue that fact-checking will be an ineffective – or even harmful – practice when correcting the beliefs of epistemic agents who have been tricked by this illusion of epistemic trustworthiness. I suggest that in such cases we should use an alternative correction, which I call trust undercutting. (shrink)

In today’s rapidly evolving financial landscape, the adoption of Artificial Intelligence (AI) and Machine Learning (ML) technologies, coupled with the deployment of Business Rules Management Systems (BRMS), has transformed how financial transactions are conducted, monitored, and secured. With fraud, particularly in check deposit transactions, becoming increasingly sophisticated, financial institutions are turning to AI and ML to enhance their risk management strategies. This paper explores the integration of AI-driven models and business rules in financial transactions, focusing on their application in (...) fraud detection and prevention. We also examine the associated challenges, such as data privacy, ethical concerns, and the need for regulatory frameworks, while outlining the opportunities that lie ahead for future financial innovation. (shrink)

The proof paradox results from conflicting intuitions concerning different types of fallible evidence in a court of law. We accept fallible individual evidence but reject fallible statistical evidence even when the conditional probability that the defendant is guilty given the evidence is the same, a seeming inconsistency. This paper defends a solution to the proof paradox, building on a sensitivity account of checking and settling a question. The proposed sensitivity account of legal proof not only requires sensitivity simpliciter but sensitivity (...) of each relevant step of the proof procedure and/or sensitivity concerning all relevant alternatives. This account avoids problems that have been identified for other sensitivity views of legal proof. Moreover, it is argued that sensitivity, rather than safety, is the crucial modal condition for legal proof. It is, finally, shown that the provided account can fruitfully support very different existing views on the relationship between knowledge and legal proof. (shrink)

Mathematics textbooks teach logical reasoning by example, a practice started by Euclid; while logic textbooks treat logic as a subject in its own right without practical application to mathematics. Stuck in the middle are students seeking mathematical proficiency and educators seeking to provide it. To assist them, the article explains in practical detail how to teach logic-based skills such as: making mathematical reasoning fully explicit; moving from step to step in a mathematical proof in logically correct ways; and checking to (...) make sure inferences are logically correct. The methodology can easily be extended beyond the four examples analyzed. (shrink)

It is widely accepted that in fallible reasoning potential error necessarily increases with every additional step, whether inferences or premises, because it grows in the same way that the probability of a lengthening conjunction shrinks. As it stands, this is disappointing but, I will argue, not out of keeping with our experience. However, consulting an expert, proof-checking, constructing gap-free proofs, and gathering more evidence for a given conclusion also add more steps, and we think these actions have the potential to (...) improve our reliability or justifiedness. Thus, the received wisdom about the growth of error implies a skepticism about the possibility of improving our reliability and level of justification through effort. Paradoxically, and even more implausibly, taking steps to decrease your potential error necessarily increases it. I will argue that the self-help steps listed here are of a distinctive type, involving composition rather than conjunction. Error grows differently over composition than over conjunction, I argue, and this dissolves the apparent paradox. (shrink)

Social media platforms serve as convenient tools for students to learn, share, and exchange information about Philippine history, providing tangible information that is beneficial to their learning progress. However, online circulation of fake news, misinformation, and biased interpretations continuously increases, threatening students’ learning. Therefore, the purpose of this study is to understand the role of social media platforms in enhancing the historical consciousness of future Social Studies educators at Immaculate Conception College of Balayan Inc. Within the framework of the qualitative (...) method, the researchers utilized a descriptive design to explore students’ preferred social media platforms, how they enhance their Philippine historical consciousness, and how they address these challenges through the use of self-created and open-ended questions. Using a purposive sampling technique, which falls under the non-probability sampling method, the researchers selected ten (10) participants from each grade level. Additionally, thematic analysis revealed challenges faced by the students while using social media platforms, including difficulties in verifying sources, a lack of critical thinking development, and the influence of biased interpretations. The study identifies strategies to overcome the negative roles of social media, including media literacy education using fact- checking tools and collaborative efforts. In conclusion, it can facilitate the creation of social media pages ‘Journey through Time’ located in Facebook application that serve as reliable source of factual historical information while minimizing the spread of misinformation. (shrink)

The overuse of social media, including the growing mistrust of mainstream news outlets has impacted the increasing influence of online disinformation. Social media has been a powerful tool in Philippine elections because of social media algorithms used by political parties to deploy fake news and damage their rivals. Political fake news on social media began last 2016 and became rampant in the 2022 presidential election when the candidates for the presidency were all victims of trolling. Mainstream media debunked fake news (...) but because of political partisanship, the effort has been useless due to different political beliefs and parties. The methodology involves content analysis to systematically examine social media posts related to political disinformation during the 2022 presidential election specifically focused on identifying two reactions, the emotion-driven and reason-based comments. Most of the comments were emotional and contained sarcasm, threats, slander, and mockery. People’s logical thought processes are influenced by their emotions. Users are frequently looking for information to confirm their existing views and reject or ignore information that contradicts them or is biased in favor of one political party over another. Educating the critical analysis key to both students and social media users is one of the advocacies to avoid spreading fake news in the next generations. In conclusion, emotional responses, such as anger and sarcasm, dominated the discourse, overshadowing reasoned discussions. Media mistrust and political partisanship shaped users’ reactions, leading to reject the fact-checked information especially when it conflicted with their political beliefs. (shrink)

Check out the new version, keeping this to time stamp. -/- Chiral Dynamics of Emergent Systems (CODES) that proposes that all emergent phenomena, such as language, RNA, DNA, consciousness, arise from the dynamic interplay between chaos and order, governed by chirality, or directionally asymmetry. By integrating this chiral relationship into a mathematical framework, CODES provides a unifying mechanism that explains how complex systems evolve and self-organize over time. It resolves Wittgenstein's language games, by situating them through a broader, adaptive (...) system driven by the balance of stability and creativity. Through this interdisciplinary approach, CODES bridges gaps between philosophy, biology, linguistics, and evolution of structured yet adaptive systems. (shrink)

Politics is full of people who don't care about the facts. Still, while not caring about the facts, they are often concerned to present themselves as caring about them. Politics, in other words, is full of bullshitters. But why? In this paper I develop an incentives-based analysis of bullshit in politics, arguing that it is often a rational response to the incentives facing different groups of agents. In a slogan: bullshit in politics pays, sometimes literally. After first outlining an account (...) of bullshit, I discuss the incentives driving three different groups of agents to bullshit: politicians, the media, and voters. I then examine several existing proposals to combat bullshit in politics, arguing that each will fail because they ignore the relevant underlying incentives. I conclude somewhat pessimistically that a certain amount of bullshit in politics is inevitable. (shrink)

According to most accounts of trust, you can only trust other people (or groups of people). To trust is to think that another has goodwill, or something to that effect. I sketch a different form of trust: the unquestioning attitude. What it is to trust, in this sense, is to settle one’s mind about something, to stop questioning it. To trust is to rely on a resource while suspending deliberation over its reliability. Trust lowers the barrier of monitoring, challenging, checking, (...) and questioning. Trust sets up open pipelines between yourself and parts of the external world. Trust permits external resources to have a similar relationship to one as one’s internal cognitive faculties. This creates efficiency, but at the price of exquisite vulnerability. We must trust in this way because we are cognitively limited beings in a cognitively overwhelming world. Crucially, we can hold the unquestioning attitude towards objects and technologies. When I trust my climbing rope, I stop worrying about its reliability. When I trust my online calendaring system, I simply go to the events indicated, without question. But, one might worry, how could one ever hold such a normatively loaded attitude as trust towards mere objects? How could it ever make sense to feel betrayed by an object? Trust is our engine for expanding and outsourcing our agency — for binding external processes into our practical selves. Thus, we can be betrayed by our smartphones in the same way that we can be betrayed by our memory. When we trust, we try to make something a part of our agency, and we are betrayed when our part lets us down. To unquestioningly trust something is to let it in—to attempt to bring it inside one’s practical functioning. This suggests a new form of gullibility: agential gullibility, which occurs when agents too hastily and carelessly integrate external resources into their own agency. (shrink)

The paper describes the design of an intelligent tutoring system for teaching Introduction to Computer Science-a compulsory curriculum in Al-Azhar University of Gaza to students who attend the university. The basic idea of this system is a systematic introduction into computer science. The system presents topics with examples. The system is dynamically checks student's individual progress. An initial evaluation study was done to investigate the effect of using the intelligent tutoring system on the performance of students enrolled in computer science (...) curriculum at Al-Azhar University, Gaza. The results showed a positive impact on the evaluators. (shrink)

Sparrow argues that military robots capable of making their own decisions would be independent enough to allow us denial for their actions, yet too unlike us to be the targets of meaningful blame or praise—thereby fostering what Matthias has dubbed “the responsibility gap.” We agree with Sparrow that someone must be held responsible for all actions taken in a military conflict. That said, we think Sparrow overlooks the possibility of what we term “blank check” responsibility: A person of sufficiently (...) high standing could accept responsibility for the actions of autonomous robotic devices—even if that person could not be causally linked to those actions besides this prior agreement. The basic intuition behind our proposal is that humans can impute relations even when no other form of contact can be established. The missed alternative we want to highlight, then, would consist in an exchange: Social prestige in the occupation of a given office would come at the price of signing away part of one's freedoms to a contingent and unpredictable future guided by another agency. (shrink)

In this chapter I give an account of how our judgments of anger often play out in certain political instances. While contemporary philosophers of emotion have provided us with check box guides like “fittingness” and “size” for evaluating anger, I will argue that these guides do not by themselves help us escape the tendency to mark or unmark the boxes selectively, inconsistently, and erroneously. If anger—particularly anger in a political context—can provide information and spark positive change or political destruction, (...) then we have moral reasons to evaluate it properly. But can we? And what are the limitations and errors we often face when evaluating anger? -/- I will begin by laying out the ways in which we evaluate emotions and the moral and epistemic errors we attribute to the angry agent in judgments of disapproval. Then I attempt to answer the question: How do we judge political anger improperly? An improper evaluation, in my view, does not take into account relevant information that is needed to evaluate the anger. An overly generous, uninformed, biased, or selfish process of evaluation produces an improper evaluation. We see this occur when we immediately evaluate anger. I will also identify two social discursive practices of improper evaluation as well as the moral and epistemic errors committed when anger evaluators participate in these practices. (shrink)

This paper makes an argument for the democratic value of distrust. It begins by analyzing distrust, since distrust is not merely the negation of trust. The account that it develops is based primarily on Martin Luther King Jr.’s work in Why We Can’t Wait. On this view, distrust is the confident belief that another individual or group of individuals or an institution will not act justly or as justice requires. It is a narrow normative account of distrust, since it concerns (...) a specific normative task. Distinctions between vertical and horizontal distrust, as well as trust and agnostic trust are also discussed. This paper argues that distrust’s democratic value lies in its ability to secure democracy by protecting political minorities from having their voices ignored. As such, distrust can be viewed as a kind of Madisonian “check and balance” that works to prevent tyranny. Distrust also works to secure democracy by forging new or alternative forms of democratic participation. The main example discussed in this paper is King’s involvement in the Birmingham Campaign during the Black Civil Rights movement in America. In this case, King and his supporters’ distrust of fellow White citizens and political institutions led to alternative forms of political expression such as non-violent protests, boycotts, and other forms of civil disobedience, all of which led to greater racial justice by working to alleviate White tyranny. (shrink)

The traditional Lewis–Stalnaker semantics treats all counterfactuals with an impossible antecedent as trivially or vacuously true. Many have regarded this as a serious defect of the semantics. For intuitively, it seems, counterfactuals with impossible antecedents—counterpossibles—can be non-trivially true and non-trivially false. Whereas the counterpossible "If Hobbes had squared the circle, then the mathematical community at the time would have been surprised" seems true, "If Hobbes had squared the circle, then sick children in the mountains of Afghanistan at the time would (...) have been thrilled" seems false. Many have proposed to extend the Lewis–Stalnaker semantics with impossible worlds to make room for a non-trivial or non-vacuous treatment of counterpossibles. Roughly, on the extended Lewis–Stalnaker semantics, we evaluate a counterfactual of the form "If A had been true, then C would have been true" by going to closest world—whether possible or impossible—in which A is true and check whether C is also true in that world. If the answer is "yes", the counterfactual is true; otherwise it is false. Since there are impossible worlds in which the mathematically impossible happens, there are impossible worlds in which Hobbes manages to square the circle. And intuitively, in the closest such impossible worlds, sick children in the mountains of Afghanistan are not thrilled—they remain sick and unmoved by the mathematical developments in Europe. If so, the counterpossible "If Hobbes had squared the circle, then sick children in the mountains of Afghanistan at the time would have been thrilled" comes out false, as desired. In this paper, I will critically investigate the extended Lewis–Stalnaker semantics for counterpossibles. I will argue that the standard version of the extended semantics, in which impossible worlds correspond to maximal, logically inconsistent entities, fails to give the correct semantic verdicts for many counterpossibles. In light of the negative arguments, I will then outline a new version of the extended Lewis–Stalnaker semantics that can avoid these problems. (shrink)

This paper questions the adequacy of the explicit cancellability test for conversational implicature as it is commonly understood. The standard way of understanding this test relies on two assumptions: first, that that one can test whether a certain content is conversationally implicated, by checking whether that content is cancellable, and second, that a cancellation is successful only if it results in a felicitous utterance. While I accept the first of these assumptions, I reject the second one. I argue that a (...) cancellation can succeed even if it results in an infelicitous utterance, and that unless we take this possibility into account we run the risk of misdiagnosing philosophically significant cases. (shrink)

‘Virtue signaling’ is the practice of using moral talk in order to enhance one’s moral reputation. Many find this kind of behavior irritating. However, some philosophers have gone further, arguing that virtue signaling actively undermines the proper functioning of public moral discourse and impedes moral progress. Against this view, I argue that widespread virtue signaling is not a social ill, and that it can actually serve as an invaluable instrument for moral change, especially in cases where moral argument alone does (...) not suffice. Specifically, virtue signaling can change the broader public’s social expectations, which can in turn motivate the adoption of new, positive social norms. I also argue that the reputation-seeking motives underlying virtue signaling impose important constraints on virtue signalers’ behavior, which serve to keep the worst excesses of virtue signaling in check. (shrink)

This paper argues for the general proper functionalist view that epistemic warrant consists in the normal functioning of the belief-forming process when the process has forming true beliefs reliably as an etiological function. Such a process is reliable in normal conditions when functioning normally. This paper applies this view to so-called testimony-based beliefs. It argues that when a hearer forms a comprehension-based belief that P (a belief based on taking another to have asserted that P) through the exercise of a (...) reliable competence to comprehend and filter assertive speech acts, then the hearer's belief is prima facie warranted. The paper discusses the psychology of comprehension, the function of assertion, and the evolution of filtering mechanisms, especially coherence checking. (shrink)

In this article we examine obsessive compulsive disorder (OCD). We examine and reject two existing models of this disorder: the Dysfunctional Belief Model and the Inference‐Based Approach. Instead, we propose that the main distinctive characteristic of OCD is a hyperactive sub‐personal signal of being in error, experienced by the individual as uncertainty about his or her intentional actions (including mental actions). This signalling interacts with the anxiety sensitivities of the individual to trigger conscious checking processes, including speculations about possible harms. (...) We examine the implications of this model for the individual's capacity to control his or her thoughts. (shrink)

Ontologies are being used increasingly to promote the reusability of scientific information by allowing heterogeneous data to be integrated under a common, normalized representation. Definitions play a central role in the use of ontologies both by humans and by computers. Textual definitions allow ontologists and data curators to understand the intended meaning of ontology terms and to use these terms in a consistent fashion across contexts. Logical definitions allow machines to check the integrity of ontologies and reason over data (...) annotated with ontology terms to make inferences that promote knowledge discovery. Therefore, it is important not only to include in ontologies multiple types of definitions in both formal and in natural languages, but also to ensure that these definitions meet good quality standards so they are useful. While tools such as Protégé can assist in creating well-formed logical definitions, producing good definitions in a natural language is still to a large extent a matter of human ingenuity supported at best by just a small number of general principles. For lack of more precise guidelines, definition authors are often left to their own personal devices. This paper aims to fill this gap by providing the ontology community with a set of principles and conventions to assist in definition writing, editing, and validation, by drawing on existing definition writing principles and guidelines in lexicography, terminology, and logic. (shrink)

The received view is that Kant denies all moral luck. But I show how Kant affirms constitutive moral luck in passages concerning radical evil from Religion within the Boundaries of Mere Reason. First, I explicate Kant’s claims about radical evil. It is a morally evil disposition that all human beings have necessarily, at least for the first part of their lives, and for which they are blameworthy. Second, since these properties about radical evil appear to contradict Kant’s even more famous (...) claims about imputation, ‘ought implies can’, and free will, I unpack Henry Allison’s proof of radical evil and show how it is consistent with interpretations of Kant’s broader views about morality. Third, I define and illustrate the category of constitutive moral luck and argue that Kant embraces the existence of constitutive moral luck given Allison-style interpretations of radical evil. This provides a reason for philosophers to reject the received view, and it creates an occasion for Kantians and Kant scholars to check their reasons if they deny moral luck. (shrink)

The proposed model in this paper employs different integrated detectors, such as heat, smoke, and flame. The signals from those detectors go through the system algorithm to check the fire's potentiality and then broadcast the predicted result to various parties using GSM modem associated with the GSM network system. The system uses various sensors to detect fire, smoke, and gas, then transmits the message using GSM module. After the message, send by the module the help arrives in 15 minutes. (...) The system is associated with water pump and a sprinkler. The Water system is associated with a water tank and a sprinkler. The water tank uses a Ultrasonic sensor to monitor the level of water level in the tank for refilling the water tank. Once fire is detected, it automatically sends the emergency message and sprinkles the water. (shrink)

The study of cultural evolution has taken on an increasingly interdisciplinary and diverse approach in explicating phenomena of cultural transmission and adoptions. Inspired by this computational movement, this study uses Bayesian networks analysis, combining both the frequentist and the Hamiltonian Markov chain Monte Carlo (MCMC) approach, to investigate the highly representative elements in the cultural evolution of a Vietnamese city’s architecture in the early 20th century. With a focus on the façade design of 68 old houses in Hanoi’s Old Quarter (...) (based on 78 data lines extracted from 248 photos), the study argues that it is plausible to look at the aesthetics, architecture, and designs of the house façade to find traces of cultural evolution in Vietnam, which went through more than six decades of French colonization and centuries of sociocultural influence from China. The in-depth technical analysis, though refuting the presumed model on the probabilistic dependency among the variables, yields several results, the most notable of which is the strong influence of Buddhism over the decorations of the house façade. Particularly, in the top 5 networks with the best Bayesian Information Criterion (BIC) scores and p<0.05, the variable for decorations (DC) always has a direct probabilistic dependency on the variable B for Buddhism. The paper then checks the robustness of these models using Hamiltonian MCMC method and find the posterior distributions of the models’ coefficients all satisfy the technical requirement. Finally, this study suggests integrating Bayesian statistics in the social sciences in general and for the study of cultural evolution and architectural transformation in particular. (shrink)

There is conflicting experimental evidence about whether the “stakes” or importance of being wrong affect judgments about whether a subject knows a proposition. To date, judgments about stakes effects on knowledge have been investigated using binary paradigms: responses to “low” stakes cases are compared with responses to “high stakes” cases. However, stakes or importance are not binary properties—they are scalar: whether a situation is “high” or “low” stakes is a matter of degree. So far, no experimental work has investigated the (...) scalar nature of stakes effects on knowledge: do stakes effects increase as the stakes get higher? Do stakes effects only appear once a certain threshold of stakes has been crossed? Does the effect plateau at a certain point? To address these questions, we conducted experiments that probe for the scalarity of stakes effects using several experimental approaches. We found evidence of scalar stakes effects using an “evidence seeking” experimental design, but no evidence of scalar effects using a traditional “evidence-fixed” experimental design. In addition, using the evidence-seeking design, we uncovered a large, but previously unnoticed framing effect on whether participants are skeptical about whether someone can know something, no matter how much evidence they have. The rate of skeptical responses and the rate at which participants were willing to attribute “lazy knowledge”—that someone can know something without having to check—were themselves subject to a stakes effect: participants were more skeptical when the stakes were higher, and more prone to attribute lazy knowledge when the stakes were lower. We argue that the novel skeptical stakes effect provides resources to respond to criticisms of the evidence-seeking approach that argue that it does not target knowledge. (shrink)

We present a novel model of individual people, online posts, and media platforms to explain the online spread of epistemically toxic content such as fake news and suggest possible responses. We argue that a combination of technical features, such as the algorithmically curated feed structure, and social features, such as the absence of stable social-epistemic norms of posting and sharing in social media, is largely responsible for the unchecked spread of epistemically toxic content online. Sharing constitutes a distinctive communicative act, (...) governed by a dedicated norm and motivated to a large extent by social identity maintenance. But confusion about this norm and its lack of inherent epistemic checks lead readers to misunderstand posts, attribute excess or insufficient credibility to posts, and allow posters to evade epistemic accountability—all contributing to the spread of epistemically toxic content online. This spread can be effectively addressed if people and platforms add significantly more context to shared posts and platforms nudge people to develop and follow recognized epistemic norms of posting and sharing. (shrink)

Scientists may sometimes generalize from their samples to broader populations when they have not yet sufficiently supported this generalization. Do such hasty generalizations also occur in experimental philosophy? To check, we analyzed 171 experimental philosophy studies published between 2017 and 2023. We found that most studies tested only Western populations but generalized beyond them without justification. There was also no evidence that studies with broader conclusions had larger, more diverse samples, but they nonetheless had higher citation impact. Our analyses (...) reveal important methodological limitations of many experimental philosophy studies and suggest that philosophical training may not protect against hasty generalizations. (shrink)

Should the existence of moral disagreement reduce one’s confidence in one’s moral judgments? Many have claimed that it should not. They claim that we should be morally self-sufficient: that one’s moral judgment and moral confidence ought to be determined entirely one’s own reasoning. Others’ moral beliefs ought not impact one’s own in any way. I claim that moral self-sufficiency is wrong. Moral self-sufficiency ignores the degree to which moral judgment is a fallible cognitive process like all the rest. In this (...) paper, I take up two possible routes to moral self-sufficiency.First, I consider Robert Paul Wolff’s argument that an autonomous being is required to act from his own reasoning. Does Wolff’s argument yield moral self-sufficiency? Wolff’s argument does forbid unthinking obedience. But it does not forbid guidance: the use of moral testimony to glean evidence about nonmoral states of affairs. An agent can use the existence of agreement or disagreement as evidence concerning the reliability of their own cognitive abilities, which is entirely nonmoral information. Corroboration and discorroboration yields nonmoral evidence, and no reasonable theory of autonomy can forbid the use of nonmoral evidence. In fact, by using others to check on my own cognitive functionality, an agent is reasoning better and is thereby more autonomous.Second, I consider Philip Nickel’s requirement that moral judgment proceed from personal understanding. I argue that the requirement of understanding does forbid unthinking obedience, but not discorroboration. When an agent reasons morally, and then reduces confidence in their judgments through discorroboration, they are in full contact with the moral reasons, and with the epistemic reasons. Discorroboration yields more understanding, not less. (shrink)