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)

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)

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)

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)

This article explores the use of open-source intelligence (OSINT) techniques as part of data-driven border checks in the EU. While the idea to group travelers into risk categories in order to differentiate the intensity of border checks has been criticized for its likely impact on privacy and other fundamental rights, the exclusive use of “open,” “public” data was proposed as an alternative that mitigates these issues. However, OSINT remains a rather vague term, as it is unclear what constitutes “open” or (...) “public” data, how the use of such techniques would contribute to the production of security, and whether its use actually mitigates most ethical issues. The goal of this article is to contribute toward a situated answer to these questions. It will provide groundwork by clarifying what OSINT practices could entail in the context of the European border checks regime and by developing an ethical perspective on these practices. I will show that the impact depends not so much on the public availability of the analyzed data, but on the specifics of the implementation of OSINT techniques. Thus, certain uses of OSINT continue to raise severe privacy and fundamental rights issues. (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)

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)

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

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.

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)

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)

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)

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)

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)

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)

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)

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, (...) class='Hi'>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 knower paradox states that the statement ‘We know that this statement is false’ leads to inconsistency. This article presents a fresh look at this paradox and some well-known solutions from the literature. Paul Égré discusses three possible solutions that modal provability logic provides for the paradox by surveying and comparing three different provability interpretations of modality, originally described by Skyrms, Anderson, and Solovay. In this article, some background is explained to clarify Égré’s solutions, all three of which hinge on (...) intricacies of provability logic and its arithmetical interpretations. To check whether Égré’s solutions are satisfactory, we use the criteria for solutions to paradoxes defined by Susan Haack and we propose some refinements of them. This article aims to describe to what extent the knower paradox can be solved using provability logic and to what extent the solutions proposed in the literature satisfy Haack’s criteria. Finally, the article offers some reflections on the relation between knowledge, proof, and provability, as inspired by the knower paradox and its solutions. (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)

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)

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)

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)

Algorithms influence every facet of modern life: criminal justice, education, housing, entertainment, elections, social media, news feeds, work… the list goes on. Delegating important decisions to machines, however, gives rise to deep moral concerns about responsibility, transparency, freedom, fairness, and democracy. Algorithms and Autonomy connects these concerns to the core human value of autonomy in the contexts of algorithmic teacher evaluation, risk assessment in criminal sentencing, predictive policing, background checks, news feeds, ride-sharing platforms, social media, and election interference. Using these (...) case studies, the authors provide a better understanding of machine fairness and algorithmic transparency. They explain why interventions in algorithmic systems are necessary to ensure that algorithms are not used to control citizens' participation in politics and undercut democracy. This title is also available as Open Access on Cambridge Core. (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 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)

Abstract Platon, Phaidros 249bc A philological check of the grammar of this passage shows its philosophical impact. To be able to understand the many as unity, thanks to the ideas, is the specifity of us human beings.

Kant's writings on logic illustrate the comparison argument about truth, which goes as follows. A truth-bearer p is true if and only if it corresponds, or it agrees, with a portion of reality: the object(s), state(s) of affairs, or event(s) p is about. In order to know whether p agrees with that portion of reality, one must check if that portion of reality is as p states. Using the terms of the comparison argument, one must compare p with that portion (...) of reality. This is impossible, because the only knowledge of reality we can have is in the form propositions, beliefs, or judgments, whose agreement with reality is as much in need of justification as the agreement of p with reality. Therefore, it is impossible to know which truth-bearers are true. This paper reconstructs Kant's version of the comparison argument. It is argued that, according to Kant, the argument is sound only under the assumption of transcendental realism. Transcendental idealism avoids the sceptical consequences of the comparison argument. (shrink)

This paper provides an examination of some problems caused by the concentration of influence in the capital markets of developed countries. In particular, I argue that large asset managers exercise quasi-political power that is not democratically legitimate. In section two, I will examine the economic driver behind the size and power of the big asset managers: the passive investing revolution. I will discuss several respects in which this revolution has fundamentally changed capital markets, most notably by making a large share (...) of investors universal owners. In the third section, I argue for my central analytical conjecture: asset managers exercise quasi-political power. They use their influence to shape the rules of the game in public capital markets in order to implement social and environmental policies that have traditionally been the exclusive purview of states. “Asset manager capitalism” is a recent term coined to refer to the contemporary system of corporate governance that succeeded the Berle and Means corporation with its dispersed ownership; the argument of this section is that asset manager capitalism is also a new political-economic regime. In the fourth section I defend my central normative claim: asset manager capitalism is an untenable and illegitimate political-economic arrangement, for at least two reasons. First, the power of asset managers is not checked by any institutional constraints, and is not rendered legitimate by any democratic process. More fundamental than this procedural critique is an argument that the interests of asset managers could not be aligned with the public interest, given the fact that the distribution of capital is highly unequal. I conclude by discussing several proposals to reform asset manager capitalism. (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)

I came late to philosophy and even later to normative ethics. When I started my undergraduate studies at the University of Toronto in 1970, I was interested in mathematics and languages. I soon discovered, however, that my mathematical talents were rather meager compared to the truly talented. I therefore decided to study actuarial science (the applied mathematics of risk assessment for insurance and pension plans) rather than abstract math. After two years, however, I dropped out of university, went to work (...) for a life insurance company, and started studying on my own for the ten professional actuarial exams. When not studying, I would often go to the public library and I was drawn to the philosophy section—although I had no idea of what philosophy was about. I there saw Logical Positivism, edited by A.J. Ayer. I was interested in logical thinking and I also favored an optimistic attitude towards life (!) and so I thought that the book might be interesting. I checked it out and was absolutely enthralled with the writings of Bertrand Russell, Rudolf Carnap, Carl Hempel and others (if I’m remembering correctly). Of course, I didn’t really understand much of what they were doing, but I did see that they were addressing important problems in a systematic and rigorous manner. I liked it! (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)

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)