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)

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 article we introduce the concept of implied optical perspective in deep learning computer vision systems. Taking the BBC's experimental television programme “Made by Machine: When AI met the Archive” as a case study, we trace a conceptual and material link between the system used to automatically “watch” the television archive and a specific type of photographic practice. From a computational aesthetics perspective, we show how deep learning machine vision relies on photography, its technical regimes and epistemic advantages, and (...) we propose a novel way to identify the latent camera through which the BBC archive was seen by machine. (shrink)

In 2020, the European Union announced the award of the contract for the biometric part of the new database for border control, the Entry Exit System, to two companies: IDEMIA and Sopra Steria. Both companies had been previously involved in the development of databases for border and migration management. While there has been a growing amount of publicly available documents that show what kind of technologies are being implemented, for how much money, and by whom, there has been limited engagement (...) with digital methods in this field. Moreover, critical border and security scholarship has largely focused on qualitative and ethnographic methods. Building on a data feminist approach, we propose a transdisciplinary methodology that goes beyond binaries of qualitative/quantitative and opacity/transparency, examines power asymmetries and makes the labour of coding visible. Empirically, we build and analyse a dataset of the contracts awarded by two European Union agencies key to its border management policies – the European Agency for Large-Scale Information Systems (eu-LISA) and the European Border and Coast Guard Agency (Frontex). We supplement the digital analysis and visualisation of networks of companies with close reading of tender documents. In so doing, we show how a transdisciplinary methodology can be a device for making datafication ‘intelligible’ at the European Union borders. (shrink)

Peter Harrison explains the disappearance of symbolic meanings of animals from seventeenth-century works in natural history through what he calls the “literalist mentality of the reformers.” By contrast, the present article argues in favor of a different understanding of the connection between hermeneutics and Protestant natural history. Martin Luther, Philipp Melanchthon, Johannes Brenz, Johannes Oecolampadius, and Jean Calvin continued to assign moral meanings to natural particulars, and moral interpretations can still be found in the writings of Protestant naturalists such as (...) Conrad Gesner, Caspar Heldelinus, Jeremias Wilde, Thomas Penny, and Thomas Moffett. If there are differences between Protestant and Catholic interpretations of animals, then these differences derive from the reformer’s greater insistence on providing textual support for assigning symbolic meanings, their resulting greater reluctance in assigning prophetic meanings to animals, and their elimination of spiritual interpretations of animals that are in tension with central tenets of Protestant theology. These differences in hermeneutics and theology may explain some of the divergences between the symbolic interpretations of animals proposed by Protestant natural historians and their Catholic colleague, Ulisse Aldrovandi. (shrink)

This article discusses some reasons for taking a reconstructive approach to the argumentative structure of Leibniz’s metaphysics. One reason is the fragmentary nature of the countless notes and letters that constitute by far the largest part of Leibniz‘s philosophical output. Another reason is that conjecturing how the many isolated arguments proposed by Leibniz fit into a large-scale argumentative structure could yield insights into how Leibniz made use of the method of intuition – both in his analysis of mind and in (...) his analysis of matter. Contemporary critics have objected that the method of intuition leads to philosophical conservatism, arbitrary choices between conflicting intuitions, and a preoccupation with psychological facts rather than with reality. By contrast, reconstructing the methodology behind Leibniz’s metaphysics could indicate how intuitions could be used in a way that sidesteps these problems. Leibniz gives priority to intuitions concerning the structure of mental operations over intuitions concerning the structure of material objects; this is why intuitions concerning the structure of material objects can be replaced by innovative philosophical theories; these theories, however, make use of metaphysical concepts implied by the analysis of mind and, thereby, can capture facts both about psychology and about the structure of extra-mental reality. (shrink)

SUMMARYThis article investigates the context of a side line in Leibniz's critique of Locke on maxims. In an enigmatic and little-explored remark, Leibniz objects that Locke has overlooked some legal maxims that fulfil the function of ‘constituting the law’. I propose to read this remark against the background of the divergence between conceptions of legal maxims in the common law tradition and conceptions of legal maxims in the Roman law tradition. In a few remarks, Locke seems to echo the common (...) law emphasis on customs and conventions expressed by legal maxims. According to such a conception, reason would mainly fulfil the function of subsuming particular norms under more general conventional norms. By contrast, Leibniz uses the Roman law idea that some ‘rules of law’ express demands of natural reason and, thereby, express principles constitutive of natural law. This is why he proposes to reform vague and confused ‘brocards’ used by jurists in order to identify sound maxims that provide a natural-law foundation for legal institutions. (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)

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)

Eugene Gendlin claims that he wants "to think with more than conceptual structures, forms, distinctions, with more than cut and presented things" (WCS 29).1 He wants situations in their concreteness to be something we can think with, not just analyze conceptually. He wants to show that "conceptual patterns are doubtful and always exceeded, but the excess seems unable to think itself. It seems to become patterns when we try to think it. This has been the problem of twentieth century philosophy" (...) (WCS 29). As a result he has "long been concerned with what is not formed although always in some form" (TAD 1). In this essay I would like to explore some of the issues surrounding the relation of the unformed and the formed. Gendlin says that "we get beyond the forms by thinking precisely in them" (TAD 1). The two emphasized words have to be considered separately as well as together. In many essays Gendlin's main concern is with the "precisely": can something that is not fully formed and definite still direct us as we carry forward language and action? My discussion begins with that issue; I suggest ways that Gendlin's proposal connects with and differs from some current ideas in epistemology and the philosophy of language. Then my discussion moves to the "in": what sense can we make of the formed being unformed? Finally I suggest that Gendlin's program runs into some difficulties in this connection. (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)

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)

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)

When brief blank fields are placed between alternating displays of an original and a modified scene, a striking failure of perception is induced: the changes become extremely difficult to notice, even when they are large, presented repeatedly, and the observer expects them to occur (Rensink, O'Regan, & Clark, 1997). To determine the mechanisms behind this induced "change blindness", four experiments examine its dependence on initial preview and on the nature of the interruptions used. Results support the proposal that (...) representations at the early stages of visual processing are highly volatile, and that focused attention is needed to stabilize them sufficiently to support the perception of change. (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)

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)

John Bickle recently proposed a metascientific reading of certain neuroscientific practices related to phenomena traditionally studied by psychology. According to this view, the dominant explanatory proceeding in neuroscience is to apply empirical reductions to explain psychological phenomena in cellular and molecular terms, relegating the role of psychology to a mere heuristic, without explanatory power. Thus, according to the strength of the conclusions reached by this method, it puts in check the value of psychological functional explanations. In this work, we (...) seek to reformulate some of these challenging proposals in philosophy of neuroscience. To this end, the main weaknesses of Bickle's proposal will be shown. Also, here will put into perspective some (reductionist, eliminativists?) features of ruthless reductionism, showing that this model maybe represent only a reading of the pragmatic use of certain methods in neuroscience, rather than a statement of principles generalizable to all cognitive science. (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 is a Turing Machine which computes the exponential function f(x,y) = xˆy. Instructions format and operation of this machine are intended to best reflect the basic conditions outlined by Alan Turing in his On Computable Numbers, with an Application to the Entscheidungsproblem (1936), using the simplest single-tape and single-symbol version, in essence due to Kleene (1952) and Carnielli & Epstein (2008). This machine is composed by four basic task machines: one which checks if exponent y is zero, a second (...) which checks if base x is zero, a third that is able to copy the base, and a fourth able to multiply multiple factors (in this case, factors will be all equal). They were conveniently separated in order to ease the reader's task to understand each step of its operation. We adopt the convention that a number n is represented by a string of n+1 symbols "1". Thus, an entry (x, y) will be represented by two respective strings of x+1 and y+1 symbols "1", separated by a single "0" (or a blank), and as an output, this machine will generate a string of (xˆy)+1 symbols "1". Some of the instructions are followed by a brief description of what's going on. (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)

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)

Types are fundamental for conceptual modeling and knowledge representation, being an essential construct in all major modeling languages in these fields. Despite that, from an ontological and cognitive point of view, there has been a lack of theoretical support for precisely defining a consensual view on types. As a consequence, there has been a lack of precise methodological support for users when choosing the best way to model general terms representing types that appear in a domain, and for building sound (...) taxonomic structures involving them. For over a decade now, a community of researchers has contributed to the development of the Unified Foundational Ontology (UFO) - aimed at providing foundations for all major conceptual modeling constructs. At the core of this enterprise, there has been a theory of types specially designed to address these issues. This theory is ontologically well- founded, psychologically informed, and formally characterized. These results have led to the development of a Conceptual Modelling language dubbed OntoUML, reflecting the ontological micro-theories comprising UFO. Over the years, UFO and OntoUML have been successfully employed on conceptual model design in a variety of domains including academic, industrial, and governmental settings. These experiences exposed improvement opportunities for both the OntoUML language and its underlying theory, UFO. In this paper, we revise the theory of types in UFO in response to empirical evidence. The new version of this theory shows that many of OntoUML’s meta-types (e.g. kind, role, phase, mixin) should be considered not as restricted to substantial types but instead should be applied to model endurant types in general, including relator types, quality types, and mode types. We also contribute with a formal characterization of this fragment of the theory, which is then used to advance a new metamodel for OntoUML (termed OntoUML 2). To demonstrate that the benefits of this approach are extended beyond OntoUML, the proposed formal theory is then employed to support the definition of UFO-based lightweight Semantic Web ontologies with ontological constraint checking in OWL. Additionally, we report on empirical evidence from the literature, mainly from cognitive psychology but also from linguistics, supporting some of the key claims made by this theory. Finally, we propose a computational support for this updated metamodel. (shrink)

The basic axioms or formal conditions of decision theory, especially the ordering condition put on preferences and the axioms underlying the expected utility formula, are subject to a number of counter-examples, some of which can be endowed with normative value and thus fall within the ambit of a philosophical reflection on practical rationality. Against such counter-examples, a defensive strategy has been developed which consists in redescribing the outcomes of the available options in such a way that the threatened axioms or (...) conditions continue to hold. We examine how this strategy performs in three major cases: Sen's counterexamples to the binariness property of preferences, the Allais paradox of EU theory under risk, and the Ellsberg paradox of EU theory under uncertainty. We find that the strategy typically proves to be lacking in several major respects, suffering from logical triviality, incompleteness, and theoretical insularity. To give the strategy more structure, philosophers have developed “principles of individuation”; but we observe that these do not address the aforementioned defects. Instead, we propose the method of checking whether the strategy can overcome its typical defects once it is given a proper theoretical expansion. We find that the strategy passes the test imperfectly in Sen's case and not at all in Allais's. In Ellsberg's case, however, it comes close to meeting our requirement. But even the analysis of this more promising application suggests that the strategy ought to address the decision problem as a whole, rather than just the outcomes, and that it should extend its revision process to the very statements it is meant to protect. Thus, by and large, the same cautionary tale against redescription practices runs through the analysis of all three cases. A more general lesson, simply put, is that there is no easy way out from the paradoxes of decision theory. (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)

AI, in the form of artificial carers, provides a possible solution to the problem of a growing elderly population Yet, concerns remain that artificial carers ( such as care-or chat-bots) could not emphathize with patients to the extent that humans can. Utilising the concept of empathy perception,we propose a Turing-type test that could check whether artificial carers could do many of the menial tasks human carers currently undertake, and in the process, free up more time for doctors to offer (...) empathy. -/- . (shrink)

David Lewis presented Convention as an alternative to the conventionalism characteristic of early-twentieth-century analytic philosophy. Rudolf Carnap is well known for suggesting the arbitrariness of any particular linguistic convention for engaging in scientific inquiry. Analytic truths are self-consistent, and are not checked against empirical facts to ascertain their veracity. In keeping with the logical positivists before him, Lewis concludes that linguistic communication is conventional. However, despite his firm allegiance to conventions underlying not just languages but also social customs, he pioneered (...) the view that convening need not require any active agreement to participate. Lewis proposed that conventions arise from “an exchange of manifestations of a propensity to conform to a regularity” (87–8). In reasserting the conventional quality of languages and other practices resting on mutual expectations, Lewis comfortably works within the analytic tradition. Yet he also deviates from his predecessors because his conventionalist approach is comprehensively grounded in instrumentalism. Lewis adopts an extension of David Hume's desire-belief psychology articulated in rational choice theory. He develops his philosophy of convention relying on the highly formal mid-twentieth-century expected utility and game theories. This attempt to account for language and social customs wholly in terms of instrumental rationality has the implication of reducing normativity to preference satisfaction. Lewis’ approach continues in the trend of undermining normative political philosophy because institutions and practices arise spontaneously, without the deliberate involvement of agents. Perhaps Lewis’ Convention is best seen as a resurgent form of analytic philosophy, characterized by “a style of argument, hostility to [ambitious] metaphysics, focus on language, and the dominance of logic and formalization” that solves the dilemma of “combining the analytic inheritance…with normative concerns” by reducing normativity to individuals’ preference fulfillment consistent with the axioms of rational choice. (shrink)

Once upon a time, during a large and international conference of the world's leading philosophers, an angel miraculously appeared and said, "I come to you as a messenger from God. You will be permitted to ask any one question you want - but only one! - and I will answer that question truthfully. What would you like to ask?" The philosophers were understandably excited, and immediately began a discussion of what would be the best question to ask. But it quickly (...) became obvious that they needed more time to discuss the matter, so they asked the angel if he could get back to them. The angel was obliging, and said that he would return at the same time the next day. "But be prepared then," he warned them, "for you will only get this one chance." All of the philosophers gathered at the convention worked at a frenzied pace for the next twenty-four hours, proposing and weighing the merits of various questions. Other philosophers from around the world became involved as well, faxing and emailing their suggestions. Some were in favor of asking the kind of practical question that lots of people might like to know the answer to, such as this one: Q1 Is it better to check your oil when the car is hot or when it is cold? But others said they should not squander this rare opportunity, which gave them a chance to learn something about a truly important and intrinsically interesting topic, and after some discussion it was generally agreed that this was right. (shrink)

Traditionally, consistency is the only criterion for the quality of a theory in logic-based approaches to reasoning about actions. This work goes beyond that and contributes to the metatheory of actions by investigating what other properties a good domain description should have. We state some metatheoretical postulates concerning this sore spot. When all postulates are satisfied we call the action theory modular. Besides being easier to understand and more elaboration tolerant in McCarthy’s sense, modular theories have interesting properties. We point (...) out the problems that arise when the postulates about modularity are violated, and propose algorithmic checks that can help the designer of an action theory to overcome them. (shrink)

Humans are capable of understanding an incredible variety of actions performed by other humans. Even though these range from primary biological actions, like eating and fleeing, to acts in parliament or in poetry, humans generally can make sense of each other’s actions. Understanding other people’s actions is called action understanding, and it can transcend differences in race, gender, culture, age, and social and historical circumstances. Action understanding is the cognitive ability to make sense of another person’s action by integrating perceptual (...) information about the behavior with knowledge about the immediate and sociocultural contexts of the action and with one’s own experience. Scholars are increasingly dissatisfied with monodisciplinary approaches to understanding human action. Such one-sidedness can rest upon various motives. For example, “hermeneutic interpretations” of action understanding tend to emphasize historical and cultural influences while overlooking that ultimately such influences depend upon individual cognitive processes. This has provoked criticism of the corresponding assumption that humans are born as a “blank slate” and that culture is solely responsible for all cognitive contents. However, such critique in turn easily slides into an overemphasis on the biology of human nature and a denial of sociocultural influences on cognition (Pinker, 2003). Fortunately, recent interdisciplinary endeavors have shown that an interdisciplinary approach is preferable when investigating complex functions like action understanding. The purpose of this chapter is to propose a “mechanism-based explanation” of action understanding that will provide a theoretical framework for integrating various and often conflicting disciplinary insights. (shrink)

In the domain of ontology design as well as in Knowledge Representation, modeling universals is a challenging problem.Most approaches that have addressed this problem rely on Description Logics (DLs) but many difficulties remain, due to under-constrained representation which reduces the inferences that can be drawn and further causes problems in expressiveness. In mathematical logic and program checking, type theories have proved to be appealing but, so far they have not been applied in the formalization of ontologies. To bridge this gap, (...) we present in this paper a theory for representing ontologies in a dependently typed framework which relies on strong formal foundations including both a constructive logic and a functional type system. The language of this theory defines in a precise way what ontological primitives such as classes, relations, properties, etc., and thereof roles, are. The first part of the paper details how these primitives are defined and used within the theory. In a second part, we focus on the formalization of the role primitive. A review of significant role properties leads to the specification of a role profile and most of the remaining work details through numerous examples, how the proposed theory is able to fully satisfy this profile. It is demonstrated that dependent types can model several non-trivial aspects of roles including a formal solution for generalization hierarchies, identity criteria for roles and other contributions. A discussion is given on how the theory is able to cope with many of the constraints inherent in a good role representation. (shrink)

Misinformation can have significant societal consequences. For example, misinformation about climate change has confused the public and stalled support for mitigation policies. When people lack the expertise and skill to evaluate the science behind a claim, they typically rely on heuristics such as substituting judgment about something complex (i.e. climate science) with judgment about something simple (i.e. the character of people who speak about climate science) and are therefore vulnerable to misleading information. Inoculation theory offers one approach to effectively neutralize (...) the influence of misinformation. Typically, inoculations convey resistance by providing people with information that counters misinformation. In contrast, we propose inoculating against misinformation by explaining the fallacious reasoning within misleading denialist claims. We offer a strategy based on critical thinking methods to analyse and detect poor reasoning within denialist claims. This strategy includes detailing argument structure, determining the truth of the premises, and checking for validity, hidden premises, or ambiguous language. Focusing on argument structure also facilitates the identification of reasoning fallacies by locating them in the reasoning process. Because this reason-based form of inoculation is based on general critical thinking methods, it offers the distinct advantage of being accessible to those who lack expertise in climate science. We applied this approach to 42 common denialist claims and find that they all demonstrate fallacious reasoning and fail to refute the scientific consensus regarding anthropogenic global warming. This comprehensive deconstruction and refutation of the most common denialist claims about climate change is designed to act as a resource for communicators and educators who teach climate science and/or critical thinking. (shrink)

Francis Bacon (15611626) wrote that good scientists are not like ants (mindlessly gathering data) or spiders (spinning empty theories). Instead, they are like bees, transforming nature into a nourishing product. This essay examines Bacon's "middle way" by elucidating the means he proposes to turn experience and insight into understanding. The human intellect relies on "machines" to extend perceptual limits, check impulsive imaginations, and reveal nature's latent causal structure, or "forms." This constructivist interpretation is not intended to supplant inductivist or (...) experimentalist interpretations, but is designed to explicate Bacon's account of science as a collaborative project with several interdependent methodological goals. (shrink)

The Canadian Department of Citizenship and Immigration has recently proposed to make in-person citizenship ceremonies optional. These ceremonies are oaths of allegiances: naturalizing citizens swear loyalty to King Charles and obedience to the laws of Canada. The Department of Citizenship and Immigration proposes to allow naturalizing citizens to take these oaths by checking a box online rather than by taking part in an in-person ceremony. In this commentary, I argue that Canada should go much further. It should stop forcing naturalizing (...) immigrants to swear oaths of allegiance altogether. Such oaths create an unjust inequality between naturalized and natural-born citizens: they mean the former have much weightier political obligations than the latter. (shrink)

This paper considers negative triggers and the interpretation of simple sentences containing more than one occurrence of those items . In the most typical interpretations those sentences have more negative expressions than negations in their semantic representation. It is first shown that this compositionality problem remains in current approaches. A principled algorithm for deriving the representation of sentences with multiple negative quantifiers in a DRT framework is then introduced. The algorithm is under the control of an on-line check-in, keeping (...) the complexity of negation auto-embedding below a threshold of complexity. This mechanism is seen as a competence limitation imposing the ‘abrogation of compositionality’ observed in the so-called negative concord readings . A solution to the compositionality problem is thus proposed, which is based on a control on the processing input motivated by a limitation of the processing mechanism itself. (shrink)

Background: Systematized Nomenclature of Medicine—Clinical Terms (SNOMED CT, hereafter abbreviated SCT) is acomprehensive medical terminology used for standardizing the storage, retrieval, and exchange of electronic healthdata. Some efforts have been made to capture the contents of SCT as Web Ontology Language (OWL), but theseefforts have been hampered by the size and complexity of SCT. Method: Our proposal here is to develop an upper-level ontology and to use it as the basis for defining the termsin SCT in a way that (...) will support quality assurance of SCT, for example, by allowing consistency checks ofdefinitions and the identification and elimination of redundancies in the SCT vocabulary. Our proposed upper-levelSCT ontology (SCTO) is based on the Ontology for General Medical Science (OGMS). Results: The SCTO is implemented in OWL 2, to support automatic inference and consistency checking. Theapproach will allow integration of SCT data with data annotated using Open Biomedical Ontologies (OBO) Foundryontologies, since the use of OGMS will ensure consistency with the Basic Formal Ontology, which is the top-levelontology of the OBO Foundry. Currently, the SCTO contains 304 classes, 28 properties, 2400 axioms, and 1555annotations. It is publicly available through the bioportal athttp://bioportal.bioontology.org/ontologies/SCTO/. Conclusion: The resulting ontology can enhance the semantics of clinical decision support systems and semanticinteroperability among distributed electronic health records. In addition, the populated ontology can be used forthe automation of mobile health applications. (shrink)

Health anxiety is, among other things, a response to a universal epistemological problem about whether changes in one’s body indicate serious illness, a problem that grows more challenging to the individual with age and with every advance in medical science, detection, and treatment. There is growing evidence that dysfunctional metacognitive beliefs – beliefs about thinking – are the driving factor, with dysfunctional substantive beliefs about the probability of illness a side‐effect, and that Metacognitive Therapy (MCT) is more effective than Cognitive (...) Behavioral Therapy (CBT). However, hypochondria is distinct from other forms of anxiety, I argue, in ways that make some reality‐checking techniques of CBT and MCT of limited usefulness. I propose a Re‐Calibration Technique (RCT) that complements these therapies by focusing on a metacognitive belief that has not been studied: the patient’s presumption of his own personal reliability in judging symptoms, an assumption exposed every time he disagrees with a doctor. I propose a technique whereby a patient keeps a long‐term register of every episode of alarm about symptoms and its resolution, possibly years later. When healthcare‐seeking impulses arise the patient then uses his own track record to re‐calibrate his confidence that medical attention is needed. The new technique allows one to improve self‐judgment about whether one has an illness or not by improving self‐knowledge of one’s own reliability. (shrink)

Managing complex disaster situations is a challenging task because of the large number of actors involved and the critical nature of the events themselves. In particular, the different terminologies and technical vocabularies that are being exchanged among Emergency Responders may lead to misunderstandings. Maintaining a shared semantics for exchanged data is a major challenge. To help to overcome these issues, we elaborate a modular suite of ontologies called POLARISCO that formalizes the complex knowledge of the ERs. Such a shared vocabulary (...) resolves inconsistent terminologies and promotes semantic interoperability among ERs. In this work, we discuss developing POLARISCO as an extension of Basic Formal Ontology and the Common Core Ontologies. We conclude by presenting a real use-case to check the efficiency and applicability of the proposed ontology. (shrink)

This paper studies a family of monotonic extensions of first-order logic which we call modulated logics, constructed by extending classical logic through generalized quantifiers called modulated quantifiers. This approach offers a new regard to what we call flexible reasoning. A uniform treatment of modulated logics is given here, obtaining some general results in model theory. Besides reviewing the “Logic of Ultrafilters”, which formalizes inductive assertions of the kind “almost all”, two new monotonic logical systems are proposed here, the “Logic of (...) Many” and the “Logic of Plausibility”, that characterize assertions of the kind “many”, and “for a good number of”. Although the notion of simple majority (“more than half”) can be captured by means of a modulated quantifier semantically interpreted by cardinal measure on evidence sets, it is proven that this system, although sound, cannot be complete if checked against the intended model. This justifies the interest on a purely qualitative approach to this kind of quantification, what is guaranteed by interpreting the modulated quantifiers as notions of families of principal filters and reduced topologies, respectively. We prove that both systems are conservative extensions of classical logic that preserve important properties, such as soundness and completeness. Some additional perspectives connecting our approach to flexible reasoning through modulated logics to epistemology and social choice theory are also discussed. (shrink)

(THIS PAPER NEEDS A CORRECTION) Satisfaction is a complex concept which has a key role in each individual’s everyday life and impacts their behavior. Abraham Maslow (1943) suggested a framework [1] to study human motivation, which was a starting point towards developing the quality of life(QOL) theory. On that article, he described a hierarchy of human needs, that is generally consist of fundamental needs which are required for human survival, and environment dependent ones, like society, safety and etc. In this (...) study, we are trying to represent a tangible mathematical model for assessing the sense of need for water in terms of the available source of water. On this very subject, M. Joseph Sirgy [2] states that ”From a human developmental perspective, QOL goals can be defined as satisfaction of human developmental needs in a community or society”. Accordingly, in the first section we propose a model for the water needs of an individual. In the second section, we continue the discussion by checking the behavior of the model on a given population, and each time by assuming that we have two out of three involved factors, we try to suggest an estimation for the other one. (shrink)

Throughout the history, whenever humans encounter a phenomenon for which there was no explanation, a theory was proposed for it. Of course, not necessarily all the theories were purely scientific and many of them were non-scientific, pseudo- scientific, or at best were only slightly influenced by science. But one thing was in common among them: they all were trying to provide as deeper as possible explanations about how the universe works. Although today and in the modern era the exact meaning (...) of theory has changed comparatively, still they must be such that can be tested through scientific procedures in order to confirm or reject. Nevertheless, still sometimes in a common belief, the meaning of "theory" is unprovable or at least unproven conjecture, and surprisingly sometimes confused with hypothesis. Scientific laws are descriptive reports - or theories - that express and predict a range of natural phenomena and explain how they work. Any scientific discourse is carried out in three levels: hypothesis, theory, and law. A hypothesis, is a testable logical conjecture to explain the phenomena we observe in the universe. A hypothesis usually comes with no practical support, or at least not been proven yet. The hypothesis can only be tested through trial and error and tries to offer explanation that provides a reasonable platform for further studies and usually it is the first step in solving a problem or describing a phenomenon. A theory however, is a logical statement about a phenomenon that is derived from rational thinking and is often associated with processes such as observation, study or research and provides standards in such a way that scientific tests can confirm - or reject. A theory used in describing what is usually to happen with the implication that it doesn’t still a fact. Yet a scientific law is a descriptive reports - or theory - that previses a range of natural phenomena and explains how they function. Scientific laws are descriptive summaries of a large set of facts that are tested by scientific evidences and after fact-checking based on their potential ability for measuring future experiences. So it can be said that every theory was first a hypothesis and has the potential to become a law to come. It can also be said that any theory is valid as long as it is not violated by a more conclusive one. (shrink)

Traditionally, consistency is the only criterion for the quality of a theory in logic-based approaches to reasoning about actions. This work goes beyond that and contributes to the meta-theory of actions by investigating what other properties a good domain de- scription should satisfy. Having Propositional Dynamic Logic (PDL) as background, we state some meta-theoretical postulates concerning this sore spot. When all pos- tulates are satisfied, we call the action theory modular. We point out the problems that arise when the postulates (...) about modularity are violated, and propose algorith- mic checks that can help the designer of an action theory to overcome them. Besides being easier to understand and more elaboration tolerant in McCarthy’s sense, mod- ular theories have interesting computational properties. Moreover, we also propose a framework for updating domain descriptions and show the importance modularity has in action theory change. (shrink)

Corruption in public institutions is a significant problem that stifles economic, social and environmental development worldwide. This predominates when there is a lack of transparency, inadequate record-keeping, and low public accountability. Accordingly, the questions this paper intends to provide answers to are two-fold. Firstly, what are the recurring patterns of procurement corruption in the South Africa (SA) public sector? Secondly, how can digital technology deployment assist in checking this trend? Desktop method was adopted through literature examination of studies relating to (...) corruption, procurement, blockchain and digitization. We conclude by proposing a model/framework for adopting and using blockchain technology in public institutions to minimise corruption and the time taken for contract document preparation and acceptance. This study contributed to knowledge by evaluating the issues associated with public procurement and how blockchain and digitization can be adopted to help stern the tide of corruption in public institutions. (shrink)

In the case of introduction of visa-free regime between Ukraine and the European Union (EU) there will arise a problem of matching throughput capacity of the Ukrainian checkpoints to the quantity of people who would want to cross the border. The absence of need for obtaining a visa does not eliminate compulsory customs and border control, but it potentially increases the number of people who intend to cross the border. A growing number of border crossings in case of their mismatch (...) with the criteria for checkpoints are a potential non-tariff restricting barrier in international trade. A threat to the image of the country from the occurrence of such a tool of non-tariff regulation indicates relevance of present study. -/- The aim of the work was to study the dynamics of actual and potentially possible border crossings and to define directions for the optimization of procedures of such a crossing to eliminate negative impact of this non-tariff instrument of regulating international trade on the overall image of the country. -/- We analyzed the peculiarities of crossing the border between Ukraine and the EU through automobile crossing points based on quantitative data regarding crossing the Ukrainian–Polish border. The goals and structure of movement across the border by frequency are clarified. We defined criteria for increase in the discrepancy between actual and nominal throughput capacities of the Ukrainian checkpoints. -/- The scientific novelty of present research is establishing the nature of quantitative effect from restricting the crossing of border on the image of the country with the help of world rankings. -/- A practical significance of the study is to identify ways to improve a procedure for crossing the border: 1) by combining Polish and Ukrainian infrastructure of control at checkpoints; 2) by creating separate lined for crossing the border by persons without transportation vehicles; 3) by simplifying a procedure of control at the border both by checking only by border staff and by increasing the value of goods that a citizen can bring into country; 4) by financing technical equipment for crossing points and their infrastructure by introducing a targeted general tax for persons who cross the border; 5) by compiling open and regular statistics of border crossing. -/- A promising direction for further research is the economic substantiation of appropriateness of the proposed ways to improve the throughput capacities of checkpoints. (shrink)

The first work that René Descartes wrote was the Compendium Musicæ in 1618, this was his first experiment with the future cartesian method. As a work of youth, the author must have studied music in your education, mainly in the college of La Flèche. Conventionally, the work of Gioseffo Zarlino had been considered the main source, because was cited in the Compendium. Since the text starts with music´s definition and eight propositions, about which the rest of work was developed; (...) class='Hi'>check the way that them appear in other treatises of the time could help to deduce the possible musical sources that the author used.This dissertation starts with a necessary reconstitution of philosophical and musical context of the epoch, followed by an analysis of jesuits conceptions of knowledge and music. In this way, it can be considered what motivated the author to write about music, as his the debates. In resemblance to his mature work, the text proposes a methodological turn that is only perceived with the context of the time in mind. After an interpretation of the definition of the music and the eight propositions, it could be possible compare with the others works form the epoch to verify his musical sources. With this process, it could evidence the influence of Aristotle, Aristoxenus, Jean de Murs, Pontus de Tyard, Gioseffo Zarlino and Francisco de Salinas. (shrink)

"Transparency" is the constant refrain of democratic politics, a promised aid to accountability and integrity in public life. Secrecy is stigmatized as a work of corruption, tolerable by a compromise of democratic principles. My dissertation challenges both ideas. It argues that secrecy and transparency are best understood as complementary, not contradictory, practices. And it develops a normative account of liberal democratic politics in which duties of transparency coexist with permissions to act behind closed doors. The project begins with some history. (...) I show that the language of transparency gained currency only in the last quarter century, and explain how its proximate sources promote three dubious assumptions—that disclosure should in principle be maximized, that it prevents misrule more or less automatically, and that its value is either instrumental, or rooted in a reductive notion of democracy as the rule of popular opinion. Against these assumptions, I sketch an alternative account of liberal democracy centered on the logics of representation, liberty, and equality. These three "logics of self-government" give rise to duties of transparency binding on public and private actors alike. Such obligations have bite, I argue, but they are not all-encompassing. Indeed, the same ideals of representation, liberty, and equality license concealment in a range of important contexts, including deliberation and dissent. Having made this case, I go on to explain how secrecy and transparency can form a "democratic dyad," deepening rather than undermining the project of self-rule. Lastly, I address the limits of conventional transparency practices. Taken alone, disclosure is subject to a range of pitfalls, often failing to produce the results promised in transparency’s name. While my non-instrumental case for openness is not destabilized by this analysis, it does suggest that mandating disclosure is rarely enough. I therefore propose a series of adversarial practices to facilitate the checking of unjustifiable secrecy, and highlight the critical role of interpretation in efforts to make power intelligible. In the end, my dissertation offers a novel defense of secrecy and transparency that highlights rather than minimizes the hard work of political engagement. (shrink)

The nature-nurture debate rages so, one cannot help but wonder why the sides are so vehemently partitioned. What's at stake? It is simply not clear why a great amount of people embrace either one side or the other, but dare not even blow a kiss to the opposite opinion. Prinz does an excellent job of arguing for the nurture position, zeroing in on some of the most preciously held nature arguments including the basis of knowledge, thought, and feelings in experience (...) and cultural values, increasing as a child grows. Most prominent of the nature hypothèses that Prinz takes on may be that of language acquisition and the Chomskyean notion of inborn lingusitic knowledge, via the proposed universal language. He contends that children's language acquisition--even the notion that the supposed inborn language device shuts off somewhere in mid-childhood, meaning most people will not be fully bilingual--need not demand such a natural language faculty in the brain, as general learning strategies can account for language acquisition. His arguments can stimulate both nurturists and naturists. Yet, in the end--realizing how much of the human arise from the genes--one still cannot help wonder why the two debated positions so rally to one flag or the other. (shrink)

This paper investigates the relationship between some corpuscularian and Aristotelian strands that run through the thought of the sixteenth-century philosopher and physician Julius Caesar Scaliger. Scaliger often uses the concepts of corpuscles, pores, and vacuum. At the same time, he also describes mixture as involving the fusion of particles into a continuous body. The paper explores how Scaliger’s combination of corpuscularian and non-corpuscularian views is shaped, in substantial aspects, by his response to the views on corpuscles and the vacuum in (...) the work of his contemporary, Girolamo Fracastoro. Fracastoro frequently appears in Scaliger’s work as an opponent against whom numerous objections are directed. However, if one follows up Scaliger’s references, it soon becomes clear that Scaliger also shares some of Fracastoro’s views. Like Scaliger, Fracastoro suggests corpuscularian explanations of phenomena such as water rising in lime while at the same time ascribing some non-corpuscularian properties to his natural minima. Like Scaliger, Fracastoro maintains that there is no vacuum devoid of bodies since places cannot exist independently of bodies (although their opinions diverge regarding how exactly the relevant dependency relation might be explicated). Finally, like Scaliger, Fracastoro connects a continuum view of mixture with a theory of natural minima. (shrink)

ArgumentThe sixteenth-century physician and philosopher Julius Caesar Scaliger suggests that in particular cases plants can come into being that belong to a plant species that did not exist before. At the same time, he holds that God could not have created a more perfect world. However, does the occurrence of new species not imply that the world was not the best possible world from the beginning? In this article, I explore a set of metaphysical ideas that could provide Scaliger with (...) the means of solving this problem: His version of the notion of a plurality of substantial forms in every living being, and his version of the notion of the ordained divine power. As it turns out, Scaliger analyzes the generation of new species in terms of a development of subordinate substantial forms into dominant substantial forms. Thereby, previously existing essences of plant parts become essences of plants. These plants, thus, possess essences that no previously existing plant possessed and, in this sense, belong to a new species. In this way, Scaliger avoids positing the occurrence of new essences, thus saving the best possible world thesis. Moreover, he believes that all substantial forms stand in a relationship of mutual existential dependence by means of which God safeguards the persistence and unity of the world. This is why the agency of subordinate forms turned dominant can be understood as an expression of the ordained power of God. (shrink)