The main aim of this article is to reflect on the impact of biases related to artificial intelligence (AI) systems developed to tackle issues arising from the COVID-19 pandemic, with special focus on those developed for triage and risk prediction. A secondary aim is to review assessment tools that have been developed to prevent biases in AI systems. In addition, we provide a conceptual clarification for some terms related to biases in this particular context. We focus mainly on nonracial biases (...) that may be less considered when addressing biases in AI systems in the existing literature. In the manuscript, we found that the existence of bias in AI systems used for COVID-19 can result in algorithmic justice and that the legal frameworks and strategies developed to prevent the apparition of bias have failed to adequately consider social determinants of health. Finally, we make some recommendations on how to include more diverse professional profiles in order to develop AI systems that increase the epistemic diversity needed to tackle AI biases during the COVID-19 pandemic and beyond. (shrink)

European Computing and Philosophy conference, 2–4 July Barcelona The Seventh ECAP (European Computing and Philosophy) conference was organized by Jordi Vallverdu at Autonomous University of Barcelona. The conference started with the IACAP (The International Association for CAP) presidential address by Luciano Floridi, focusing on mechanisms of knowledge production in informational networks. The first keynote delivered by Klaus Mainzer made a frame for the rest of the conference, by elucidating the fundamental role of complexity of informational structures that can be analyzed (...) on different levels of organization giving place for variety of possible approaches which converge in this cross-disciplinary and multi-disciplinary research field. Keynotes by Kevin Warwick about re-embodiment of rats’ neurons into robots, Raymond Turner on syntax and semantics in programming languages, Roderic Guigo on Biocomputing Sciences and Francesco Subirada on the past and future of supercomputing presented different topics of philosophical as well as practical aspects of computing. Vonference tracks included: Philosophy of Information (Patrick Allo), Philosophy of Computer Science (Raymond Turner), Computer and Information Ethics (Johnny Søraker and Alison Adam), Computational Approaches to the Mind (Ruth Hagengruber), IT and Cultural Diversity (Jutta Weber and Charles Ess), Crossroads (David Casacuberta), Robotics, AI & Ambient Intelligence (Thomas Roth-Berghofer), Biocomputing, Evolutionary and Complex Systems (Gordana Dodig Crnkovic and Søren Brier), E-learning, E-science and Computer-Supported Cooperative Work (Annamaria Carusi) and Technological Singularity and Acceleration Studies (Amnon Eden). (shrink)

A representationalist-friendly introduction to representationalism which covers a number of central problems and objections.

What does it mean to know how to do something? This book develops a comprehensive account of know-how, a crucial epistemic goal for all who care about getting things right, not only with respect to the facts, but also with respect to practice. It proposes a novel interpretation of the seminal work of Gilbert Ryle, according to which know-how is a competence, a complex ability to do well in an activity in virtue of guidance by an understanding of what it (...) takes to do so. This idea is developed into a full-fledged account, Rylean responsibilism, which understands know-how in terms of the normative guidance and responsible control of one's acts. Within the complex current debate about know-how, this view occupies a middle ground position between the intellectualist claim that know-how just is propositional or objectual knowledge and the anti-intellectualist claim that know-how just is ability. In genuine know-how, practical ability and guiding intellect are both necessary, but essentially intertwined. (shrink)

Several scholars have recently entertained proposals for "epistocracy," a political regime in which decision-making power is concentrated in the hands of a society's most informed and competent citizens. These proposals rest on the claim that we can expect better political outcomes if we exclude incompetent citizens from participating in political decisions because competent voters are more likely to vote "correctly" than incompetent voters. We develop what we call the objection from selection bias to epistocracy: a procedure that selects voters on (...) the basis of their observed competence---as epistocracy does---will often be "biased" in the sense that competent voters will be, on average, more likely than incompetent voters to possess certain attributes that reduce the probability of voting correctly. Our objection generalizes the "demographic objection" discussed in previous literature, showing that the range of realistic scenarios in which epistocracy is vulnerable to selection bias is substantially broader than previous discussions appreciate. Our discussion also shows that previous discussions have obscured the force of the threat of selection bias. Since we lack reasons to believe that epistocratic proposals can avoid selection bias, we have no reason to seriously entertain epistocracy as a practical proposal. (shrink)

This article uses the case study of ethnobiological classification to develop a positive and a negative thesis about the state of natural kind debates. On the one hand, I argue that current accounts of natural kinds can be integrated in a multidimensional framework that advances understanding of classificatory practices in ethnobiology. On the other hand, I argue that such a multidimensional framework does not leave any substantial work for the notion “natural kind” and that attempts to formulate a general account (...) of naturalness have become an obstacle to understanding classificatory practices. (shrink)

This essay explores a conception of responsibility at work in moral and criminal responsibility. Our conception draws on work in the compatibilist tradition that focuses on the choices of agents who are reasons-responsive and work in criminal jurisprudence that understands responsibility in terms of the choices of agents who have capacities for practical reason and whose situation affords them the fair opportunity to avoid wrongdoing. Our conception brings together the dimensions of normative competence and situational control, and we factor normative (...) competence into cognitive and volitional capacities, which we treat as equally important to normative competence and responsibility. Normative competence and situational control can and should be understood as expressing a common concern that blame and punishment presuppose that the agent had a fair opportunity to avoid wrongdoing. This fair opportunity is the umbrella concept in our understanding of responsibility, one that explains it distinctive architecture. (shrink)

We are quickly passing through the historical moment when people work in front of a single computer, dominated by a small CRT and focused on tasks involving only local information. Networked computers are becoming ubiquitous and are playing increasingly significant roles in our lives and in the basic infrastructure of science, business, and social interaction. For human-computer interaction o advance in the new millennium we need to better understand the emerging dynamic of interaction in which the focus task is no (...) longer confined to the desktop but reaches into a complex networked world of information and computer-mediated interactions. We think the theory of distributed cognition has a special role to play in understanding interactions between people and technologies, for its focus has always been on whole environments: what we really do in them and how we coordinate our activity in them. Distributed cognition provides a radical reorientation of how to think about designing and supporting human-computer interaction. As a theory it is specifically tailored to understanding interactions among people and technologies. In this article we propose distributed cognition as a new foundation for human-computer interaction, sketch an integrated research framework, and use selections from our earlier work to suggest how this framework can provide new opportunities in the design of digital work materials. (shrink)

The idea that incompatibilism is intuitive is one of the key motivators for incompatibilism. Not surprisingly, then philosophers who defend incompatibilism often claim that incompatibilism is the natural, commonsense view about free will and moral responsibility (e.g., Pereboom 2001, Kane Journal of Philosophy 96:217–240 1999, Strawson 1986). And a number of recent studies find that people give apparently incompatibilist responses in vignette studies. When participants are presented with a description of a causal deterministic universe, they tend to deny that people (...) are morally responsible in that universe. Although this suggests that people are intuitive incompatibilists, Eddy Nahmias and Dylan Murray, in a recent series of important papers, have developed an important challenge to this interpretation. They argue that people confuse determinism with bypassing, the idea that one’s mental states lack causal efficacy. Murray and Nahmias present new experiments that seem to confirm the bypassing hypothesis. In this paper, we use structural equation modeling to re-examine the issue. We find support instead for an incompatibilist explanation of the bypassing results, i.e., incompatibilist judgments seem to cause bypassing judgments. We hypothesize that this phenomenon occurs because people think of decisions as essentially indeterministic; thus, when confronted with a description of determinism they tend to think that decisions do not even occur. We provide evidence for this in three subsequent studies which show that many participants deny that people make decisions in a deterministic universe; by contrast, most participants tend to allow that people add numbers in a deterministic universe. Together, these studies suggest that bypassing results don’t reflect a confusion, but rather the depth of the incompatibilist intuition. (shrink)

I argue that according to Socrates in the Phaedo we should not merely evaluate bodily pleasures and desires as worthless or bad, but actively avoid them. We need to avoid them because they change our values and make us believe falsehoods. This change in values and acceptance of falsehoods undermines the soul’s proper activity, making virtue and happiness impossible for us. I situate this account of why we should avoid bodily pleasures within Plato’s project in the Phaedo of providing Pythagorean (...) and Orphic ideas with clearer meanings and better justifications. (shrink)

Some analytic philosophers have recently been defending the thesis that there’s “something it’s like” to consciously think a particular thought, which is qualitatively different from what it’s like to be in any other kind of conscious mental state and from what it’s like to think any other thought, and which constitutes the thought’s intentional content. (I call this the “intentional phenomenology thesis”). One objection to this thesis concerns the introspective availability of such content: If it is true that intentional phenomenology (...) is constitutive of intentional content, and that conscious phenomenology is always introspectively available, then it ought to be true that the content of any concept consciously entertained is always introspectively available. But it is not. For example, one can know introspectively that one is thinking that one knows that p without knowing introspectively what the content of the concept of knowledge is. Hence, it cannot be that intentional content is constituted by cognitive phenomenology. -/- I explore three responses to this objection. First, it is not clear that all of the contents of consciousness must be equally available to introspection. The capacities for conscious experience and introspective attention to it are distinct. It is not implausible that the resolving power of the latter might be insufficient to discern all of the fine-grained details of the former, or that its scope might be limited. Second, it is possible that in cases of incomplete accessibility one is entertaining only part of the concept the relevant term expresses in one’s language. In the knowledge case, for example, perhaps one is thinking only that one has justified true belief that p (one’s self-attribution of a thought about knowledge is in fact false). Finally, in such cases one might be consciously entertaining only part of the relevant concept, the rest remaining unconscious, and so unavailable to conscious introspection. I conclude that the objection is not decisive against the intentional phenomenology thesis. (shrink)

The theory of embodied cognition can provide HCI practitioners and theorists with new ideas about interac-tion and new principles for better designs. I support this claim with four ideas about cognition: (1) interacting with tools changes the way we think and perceive – tools, when manipulated, are soon absorbed into the body schema, and this absorption leads to fundamental changes in the way we perceive and conceive of our environments; (2) we think with our bodies not just with our brains; (...) (3) we know more by doing than by seeing – there are times when physically performing an activity is better than watching someone else perform the activity, even though our motor resonance system fires strongly during other person observa-tion; (4) there are times when we literally think with things. These four ideas have major implications for interaction design, especially the design of tangible, physical, context aware, and telepresence systems. (shrink)

In this paper, I explore anomalous dualism about consciousness, a view that has not previously been explored in any detail. We can classify theories of consciousness along two dimensions: first, a theory might be physicalist or dualist; second, a theory might endorse any of the three following views regarding causal relations between phenomenal properties (properties that characterize states of our consciousness) and physical properties: nomism (the two kinds of property interact through deterministic laws), acausalism (they do not causally interact), and (...) anomalism (they interact but not through deterministic laws). I suggest that a kind of anomalous dualism, nonreductive anomalous panpsychism, promises to offer the best overall answer to two pressing issues for dualist views, the problem of mental causation and the mapping problem (the problem of predicting mind-body associations). (shrink)

Crime-preventing neurointerventions (CPNs) are increasingly being used or advocated for crime prevention. There is increasing use of testosterone-lowering agents to prevent recidivism in sexual offenders, and strong political and scientific interest in developing pharmaceutical treatments for psychopathy and anti-social behaviour. Recent developments suggest that we may ultimately have at our disposal a range of drugs capable of suppressing violent aggression, and it is not difficult to imagine possible applications of such drugs in crime prevention. But should neurointerventions be used in (...) crime prevention, and may the state ever permissibly impose CPNs as part of the criminal justice process? It is widely thought that preventing recidivism is one of the aims of criminal justice, yet existing means of pursuing this aim are often poorly effective, restrictive of basic freedoms, and harmful. Incarceration, for example, tends to be disruptive of personal relationships and careers, detrimental to physical and mental health, highly restrictive of freedom of movement and association, and rarely more than modestly effective at preventing recidivism. Neurointerventions hold the promise of preventing recidivism in ways that are more effective and more humane, but the use of CPNs in criminal justice raises several ethical concerns. CPNs could be highly intrusive and may threaten fundamental human values, such as bodily integrity and freedom of thought, and humanity has a track record of misguided, harmful, and unwarrantedly coercive use of neurotechnological ‘solutions’ to criminality. This collection brings together original contributions from emerging scholars and internationally renowned moral and political philosophers to address these issues. (shrink)

Corruptionism is the view that following physical death, the human being ceases to exist but their soul persists in the afterlife. Survivalism holds that both the human being and their soul persist in the afterlife, as distinct entities, with the soul constituting the human. Each position has its defenders, most of whom appeal both to metaphysical considerations and to the authority of St Thomas Aquinas. Corruptionists claim that survivalism violates a basic principle of any plausible mereology, while survivalists tend to (...) reject the principle, though without as much detail as one would like. In this paper I examine both the key exegetical issues and the mereological question, arguing that Aquinas cannot be shown to have supported the principle in question, and that the principle should be rejected on independent grounds. If correct, some key planks in support of survivalism are established, with others to await further examination. (shrink)

A recent surge of work on prediction-driven processing models--based on Bayesian inference and representation-heavy models--suggests that the material basis of conscious experience is inferentially secluded and neurocentrically brain bound. This paper develops an alternative account based on the free energy principle. It is argued that the free energy principle provides the right basic tools for understanding the anticipatory dynamics of the brain within a larger brain-body-environment dynamic, viewing the material basis of some conscious experiences as extensive--relational and thoroughly world-involving.

There is a recent and growing trend in philosophy that involves deferring to the claims of certain disciplines outside of philosophy, such as mathematics, the natural sciences, and linguistics. According to this trend— deferentialism , as we will call it—certain disciplines outside of philosophy make claims that have a decisive bearing on philosophical disputes, where those claims are more epistemically justified than any philosophical considerations just because those claims are made by those disciplines. Deferentialists believe that certain longstanding philosophical problems (...) can be swiftly and decisively dispatched by appeal to disciplines other than philosophy. In this paper we will argue that such an attitude of uncritical deference to any non-philosophical discipline is badly misguided. With reference to the work of John Burgess and David Lewis, we consider deference to mathematics. We show that deference to mathematics is implausible and that main arguments for it fail. With reference to the work of Michael Blome-Tillmann, we consider deference to linguistics. We show that his arguments appealing to deference to linguistics are unsuccessful. We then show that naturalism does not entail deferentialism and that naturalistic considerations even motivate some anti-deferentialist views. Finally, we set out deferentialism’s failings and present our own anti-deferentialist approach to philosophical inquiry. (shrink)

This paper argues that higher-order doubt generates an epistemic dilemma. One has a higher-order doubt with regards to P insofar as one justifiably withholds belief as to what attitude towards P is justified. That is, one justifiably withholds belief as to whether one is justified in believing, disbelieving, or withholding belief in P. Using the resources provided by Richard Feldman’s recent discussion of how to respect one’s evidence, I argue that if one has a higher-order doubt with regards to P, (...) then one is not justified in having any attitude towards P. Otherwise put: No attitude towards the doubted proposition respects one’s higher-order doubt. I argue that the most promising response to this problem is to hold that when one has a higher-order doubt about P, the best one can do to respect such a doubt is to simply have no attitude towards P. Higher-order doubt is thus much more rationally corrosive than non-higher-order doubt, as it undermines the possibility of justifiably having any attitude towards the doubted proposition. (shrink)

Debates on the practical relevance of ideal theory revolve around Sen's metaphor of navigating a mountainous landscape. In *The Tyranny of the Ideal*, Gerald Gaus presents the most thorough articulation of this metaphor to date. His detailed exploration yields new insight on central issues in existing debates, as well as a fruitful medium for exploring important limitations on our ability to map the space of social possibilities. Yet Gaus's heavy reliance on the navigation metaphor obscures questions about the reasoning by (...) which ideal theories are justified. As a result, Gaus fails to notice the ways in which his theory of the Open Society resembles the ideal theories he aims to dismiss. Ironically, Gaus winds up neglecting the ways in which the Open Society might tyrannize our efforts to realize greater justice. (This article is part of a symposium on Gaus's *The Tyranny of the Ideal*.). (shrink)

A high level of confidence in the identity of individuals is required to let them die as ordered by an advance directive. Thus, if we are animalists, then we should lack the confidence required to apply lethal advance directives to the cheerfully demented, or so I argue. In short, there is consensus among animalists that the best way to avoid serious objections to their account is to adopt an ontology that denies the existence of brains, hands, tables, chairs, iced-tea, and (...) lemonade. The adoption of such an ontology reduces the justificatory force of commonsense, which is key in arguing that we are animals and that we persist as long as we are biologically alive. With this loss of justification comes the loss of a high level of confidence that Quinn-pre-dementia’s lethal advanced directive applies to Quinn-post-dementia, via identity. If we do not have a high level of confidence that Quinn-pre-dementia’s advanced directive applies to Quinn-post- dementia, then it is not enough (on its own) to let Quinn-post-dementia die. (shrink)

When people make sense of situations, illustrations, instructions and problems they do more than just think with their heads. They gesture, talk, point, annotate, make notes and so on. What extra do they get from interacting with their environment in this way? To study this fundamental problem, I looked at how people project structure onto geometric drawings, visual proofs, and games like tic tac toe. Two experiments were run to learn more about projection. Projection is a special capacity, similar to (...) perception, but less tied to what is in the environment. Projection, unlike pure imagery, requires external structure to anchor it, but it adds ‘mental’ structure to the external scene much like an augmented reality system adds structure to an outside scene. A person projects when they look at a chessboard and can see where a knight may be moved. Because of the cognitive costs of sustaining and extending projection, humans make some of their projections real. They create structure externally. They move the piece, they talk, point, notate, represent. Much of our interactivity during sense making and problem solving involves a cycle of projecting then creating structure. (shrink)

This paper discusses the so-called non-interference assumption (NIA) grounding causal inference in trials in both medicine and the social sciences. It states that for each participant in the experiment, the value of the potential outcome depends only upon whether she or he gets the treatment. Drawing on methodological discussion in clinical trials and laboratory experiments in economics, I defend the necessity of partial forms of blinding as a warrant of the NIA, to control the participants’ expectations and their strategic interactions (...) with the experimenter. (shrink)

Linguistic representations are taken by some to be representations of something, specifically of Standard Linguistic Entities, such as phonemes, clauses, noun phrases etc. This perspective takes them to be intentional. Rey (2021) further argues that the SLEs themselves are inexistent. Here I argue that linguistic representations are simply structures, abstractions of brain states, and hence not intentional, and show how they nevertheless connect to the systems that use them.

This article addresses three main questions: What causes cognitive overload in the workplace? What analytical framework should be used to understand how agents interact with their work environments? How can environments be restructured to improve the cognitive workflow of agents? Four primary causes of overload are identified: too much tasking and interruption, and inadequate workplace infrastructure to help reduce the need for planning, monitoring, reminding, reclassifying information, etc… The first step in reducing the cognitive impact of these causes is to (...) enrich classical frameworks for understanding work environments, such as Newell and Simon’s notion of a task environment, by recognizing that our actual workplace is a superposition of many specific environments – activity spaces – which we slip between. Each has its own cost structure arising from the tools and resources available, including the cognitive strategies and interpretational frameworks of individual agents. These cognitive factors are significant, affecting how easy or difficult it is to perform an action, such as finding a specific paper in a “mess” desk. A few simple examples show how work environments can be redesigned and how restructuring can alter the cost structure of activity spaces. (shrink)

The most prominent theories of rights, the Will Theory and the Interest Theory, notoriously fail to accommodate all and only rights-attributions that make sense to ordinary speakers. The Kind-Desire Theory, Leif Wenar’s recent contribution to the field, appears to fare better in this respect than any of its predecessors. The theory states that we attribute a right to an individual if she has a kind-based desire that a certain enforceable duty be fulfilled. A kind-based desire is a reason to want (...) something which one has simply in virtue of being a member of a certain kind. Rowan Cruft objects that this theory creates a puzzle about the relation between rights and respect. In particular, if rights are not grounded in aspects of the particular individuals whose rights they are, how can we sustain the intuitive notion that to violate a right is to disrespect the right-holder? I present a contractualist account of respect which reconciles the Kind-Desire Theory with the intuition that rights-violations are disrespectful. On this account, respect for a person is a matter of acknowledging her legitimate authority to make demands on the will and conduct of others. And I argue that kind-based desires authorize a person to make demands even if they do not correspond to that person’s well-being or other non-relational features. (shrink)

Which premisses should we use to start our inquiries? Which transitions during inquiry should we take next? When should we switch lines of inquiry? In this paper, I address these open questions about inquiry, formulating novel norms for such decisions during deductive reasoning. I use the first-order predicate calculus, in combination with Carnap’s state description framework, to state such norms. Using that framework, I first demonstrate some properties of sets of sentences used in deduction. I then state some norms for (...) decisions made during deductive reasoning, establishing initial benchmarks for efficient deduction by ideal reasoners. When deciding which transition to make next, reasoners should choose the most informative transition, the one that maximally reduces uncertainty in the sense of ruling out the largest number of state descriptions relevant to their inquiry. Finally, inspired by optimal foraging theory, I show that, under certain assumptions of ignorance, reasoners should change premiss sets when their information intake drops below the global average information intake across premiss sets. (shrink)

This paper proffers an account of why interdisciplinary research on, inter alia, the nature of time can be fruitful even if the disciplines in question have different explanatory pro-jects. We suggest that the special sciences perform a subject setting role for lower-level disciplines such as physics. In essence, they tell us where, amongst a theory of the physical world, we should expect to locate phenomena such as temporality; they tell us what it would take for there to be time. Physical (...) theory tells us whether there is anything like that in the world and what its hidden nature is. Only working in tandem can physics and the special sciences locate and describe the phenomenon that is time. (shrink)

An experiment was performed to test the hypothesis that people sometimes take physical actions to make themselves more effective problem solvers. The task was to generate all possible words that could be formed from seven Scrabble letters. In one condition, participants could use their hands to manipulate the letters, and in another condition, they could not. Results show that more words were generated with physical manipulation than without. However, an interaction was obtained between the physical manipulation conditions and the specific (...) letter sets chosen, indicating that physical manipulation helps more for generating words in some circumstances than in others. Overall, our findings can be explained in terms of an interactive search process in which external, physical activity effectively complements internal, cognitive activity. Within this framework, the interaction can be explained in terms of the relative difficulty of generating words from the letters given in the different sets. (shrink)

In his 1993 article ‘The Coming Technological Singularity: How to survive in the posthuman era’ the computer scientist Virnor Vinge speculated that developments in artificial intelligence might reach a point where improvements in machine intelligence result in smart AI’s producing ever-smarter AI’s. According to Vinge the ‘singularity’, as he called this threshold of recursive self-improvement, would be a ‘transcendental event’ transforming life on Earth in ways that unaugmented humans are not equipped to envisage. In this paper I argue Vinge’s idea (...) of a technologically led intelligence explosion is philosophically important because it requires us to consider the prospect of a posthuman condition succeeding the human one. What is the ‘humanity’ to which the posthuman is ‘post’? Does the possibility of a posthumanity presuppose that there is a ‘human essence’, or is there some other way of conceiving the human-posthuman difference? I argue that the difference should be conceived as a historically emergent disconnection between individuals, not in terms of the presence or lack of essential properties. I also suggest that these individuals should not be conceived in narrow biological terms but in ‘wide’ terms permitting biological, cultural and technological relations of descent between human and posthuman. Finally, I consider the ethical implications of this metaphysics of the posthuman. If, as I claim, the posthuman difference is not one between kinds but between individuals, we cannot specify its nature a priori but only a posteriori. Thus the only way to evaluate the posthuman condition would be to witness the emergence of posthumans. The implications of this are somewhat paradoxical. We are not currently in a position to evaluate the posthuman condition. Since there are no posthumans, the condition of posthumanity is not defined. However, posthumans could result from some iteration of our current technical activity, so we have an interest in understanding what they might be like. It follows that we have an interest in making or becoming posthumans. (shrink)

Metacognition is associated with planning, monitoring, evaluating and repairing performance Designers of elearning systems can improve the quality of their environments by explicitly structuring the visual and interactive display of learning contexts to facilitate metacognition. Typically page layout, navigational appearance, visual and interactivity design are not viewed as major factors in metacognition. This is because metacognition tends to be interpreted as a process in the head, rather than an interactive one. It is argued here, that cognition and metacognition are part (...) of a continuum and that both are highly interactive. The tenets of this view are explained by reviewing some of the core assumptions of the situated and distribute approach to cognition and then further elaborated by exploring the notions of active vision, visual complexity, affordance landscape and cue structure. The way visual cues are structured and the way interaction is designed can make an important difference in the ease and effectiveness of cognition and metacognition. Documents that make effective use of markers such as headings, callouts, italics can improve students’ ability to comprehend documents and ‘plan’ the way they review and process content. Interaction can be designed to improve ‘the proximal zone of planning’ – the look ahead and apprehension of what is nearby in activity space that facilitates decisions. This final concept is elaborated in a discussion of how e-newspapers combine effective visual and interactive design to enhance user control over their reading experience. (shrink)

This essay articulates a conception of responsibility and excuse in terms of the fair opportunity to avoid wrongdoing and explores its implications for insanity, incompetence, and psychopathy. The fair opportunity conception factors responsibility into conditions of normative competence and situational control and factors normative competence into cognitive and volitional capacities. This supports a conception of incompetence that recognizes substantial impairment of either cognitive or volitional capacities as excusing, provided the agent is not substantially responsible for her own incompetence. This conception (...) helps frame the question whether psychopathy is excusing. The most common rationale for excusing psychopathy appeals to claims about cognitive incompetence. However, there are good philosophical and empirical reasons to be skeptical that psychopaths lack the relevant cognitive capacities. There is more to be said for a volitional rationale for excuse. The crucial question here is whether the problems psychopaths have with impulse control and conforming their behavior to the relevant moral and criminal norms are systematic enough to demonstrate genuine volitional incompetence. The available empirical evidence should leave us skeptical about the merits of this volitional rationale for excuse. (shrink)

Contemporary choreography offers a window onto creative processes that rely on harnessing the power of sensory sys- tems. Dancers use their body as a thing to think with and their sensory systems as engines to simulate ideas non- propositionally. We report here on an initial analysis of data collected in a lengthy ethnographic study of the making of a dance by a major choreographer and show how translating between different sensory modalities can help dancers and choreographer to be more creative.

Less than one percent of U.S. philosophers are Asian American. This essay contends that the low percentage cannot be fully explained by considerations of demographics, immigration, and "Asian culture." Completeness of explanation requires reference to racial politics and Orientalism in their historic and national dynamics. It also requires reference to various kinds of identity derogation specific to the academy and to philosophy, in particular. The essay concludes with reflection on how the "model minority" discourse adds another layer of complication to (...) the way Asian American philosophers and philosophy students negotiate their way through the academy. (shrink)

We propose as a UCGIS research priority the topic of “Ontological Foundations for Geographic Information.” Under this umbrella we unify several interrelated research subfields, each of which deals with different perspectives on geospatial ontologies and their roles in geographic information science. While each of these subfields could be addressed separately, we believe it is important to address ontological research in a unitary, systematic fashion, embracing conceptual issues concerning what would be required to establish an exhaustive ontology of the geospatial domain, (...) issues relating to the choice of appropriate methods for formalizing ontologies, and considerations regarding the design of ontology-driven information systems. This integrated approach is necessary, because there is a strong dependency between the methods used to specify an ontology, and the conceptual richness, robustness and tractability of the ontology itself. Likewise, information system implementations are needed as testbeds of the usefulness of every aspect of an exhaustive ontology of the geospatial domain. None of the current UCGIS research priorities provides such an integrative perspective, and therefore the topic of “Ontological Foundations for Geographic Information Science” is unique. (shrink)

The degree to which information is encoded explicitly in a representation is related to the computational cost of recovering or using the information. Knowledge that is implicit in a system need not be represented at all, even implicitly, if the cost of recurring it is prohibitive.

The figure of Francisco de Vitoria, founder of the so-called School of Salamanca and one of the most important professors of the University of Salamanca in the 16th century, has been considered on different occasions as an admirable model of a university professor. On one side, this article describes the scientific commitment of the School of Salamanca as a sign of an important dimension of university life: research. On the other side, the main features of Vitoria as a teacher will (...) be exposed. His teaching abilities will be taken into account, but also his capacity to involve other colleagues in a joint search for truth will be described. Finally, the renewing character of Vitoria’s Thomism in the framework of philosophy as a great ally of scientific dialogue will be considered. (shrink)

This paper aims to contribute to the analysis of the nature of mathematical modality and hyperintensionality, and to the applications of the latter to absolute decidability. Rather than countenancing the interpretational type of mathematical modality as a primitive, I argue that the interpretational type of mathematical modality is a species of epistemic modality. I argue, then, that the framework of two-dimensional semantics ought to be applied to the mathematical setting. The framework permits of a formally precise account of the priority (...) and relation between epistemic mathematical modality and metaphysical mathematical modality. The discrepancy between the modal systems governing the parameters in the two-dimensional intensional setting provides an explanation of the difference between the metaphysical possibility of absolute decidability and our knowledge thereof. I also advance a topic-sensitive epistemic two-dimensional truthmaker semantics, if hyperintensional approaches are to be preferred to possible worlds semantics. I examine the relation between two-dimensional hyperintensional states and epistemic set theory, providing two-dimensional hyperintensional formalizations of the modal logic of ZFC, large cardinal axioms, $\Omega$-logic, and the Epistemic Church-Turing Thesis. (shrink)

This paper aims to provide hyperintensional foundations for mathematical platonism. I examine Hale and Wright's (2009) objections to the merits and need, in the defense of mathematical platonism and its epistemology, of the thesis of Necessitism. In response to Hale and Wright's objections to the role of epistemic and metaphysical modalities in providing justification for both the truth of abstraction principles and the success of mathematical predicate reference, I examine the Necessitist commitments of the abundant conception of properties endorsed by (...) Hale and Wright and examined in Hale (2013), and demonstrate how a two-dimensional approach to the epistemology of mathematics is consistent with Hale and Wright's notion of there being non-evidential epistemic entitlement rationally to trust that abstraction principles are true. A choice point that I flag is that between availing of intensional or hyperintensional semantics. The hyperintensional semantic approach that I advance is a topic-sensitive epistemic two-dimensional truthmaker semantics. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest that observational type theory can be applied to first-order abstraction principles in order to make abstraction principles recursively enumerable. Epistemic and metaphysical states and possibilities may thus be shown to play a constitutive role in vindicating the reality of mathematical objects and truth, and in providing a conceivability-based route to the truth of abstraction principles as well as other axioms and propositions in mathematics. (shrink)

This essay endeavors to define the concept of indefinite extensibility in the setting of category theory. I argue that the generative property of indefinite extensibility for set-theoretic truths in category theory is identifiable with the Grothendieck Universe Axiom and the elementary embeddings in Vopenka's principle. The interaction between the interpretational and objective modalities of indefinite extensibility is defined via the epistemic interpretation of two-dimensional semantics. The semantics can be defined intensionally or hyperintensionally. By characterizing the modal profile of $\Omega$-logical validity, (...) and thus the generic invariance of mathematical truth, modal coalgebras are further capable of capturing the notion of definiteness for set-theoretic truths, in order to yield a non-circular definition of indefinite extensibility. (shrink)

Abstract: Purpose – The purpose of this paper is to analyse the broad phases of web development: the read-only Web 1.0, the read-write Web 2.0, and the collaborative and Internet of Things Web 3.0, are examined for the theoretical lenses through which they have been understood and critiqued. Design/methodology/approach – This is a conceptual piece, in the tradition of drawing on theorising from outside the Information Systems field, to shed light on developments in information communication technologies (ICTs). Findings – Along (...) with a summary of approaches to Webs 1.0 and 2.0, the authors contend that a more complex and poststructuralist theoretical approach to the notion of, and the phenomenon of Web 3.0, offers a more interesting and appropriate theoretical grounding for understanding its particularities. Originality/value – The discussion presages five further papers engaged with ICTs in a changing society, each of which similarly addresses novel theoretical understandings. (shrink)

This paper offers an introduction to poststructuralist interpretivist research in information systems, through a poststructuralist theoretical reading of the phenomenon and experience of social networking websites, such as Facebook. This is undertaken through an exploration of how loyally a social networking profile can represent the essence of an individual, and whether Platonic notions of essence, and loyalty of copy, are disturbed by the nature of a social networking profile, in ways described by poststructuralist thinker Deleuze’s notions of the reversal of (...) Platonism. In bringing a poststructuralist critique to such hugely successful and popular social information systems, the paper attempts to further open up the black box of the computer ‘user’, extend interpretive approaches to information systems research to embrace poststructuralism, and explore how notions of the Self might be reflected through engagement with information system (IS), and how an IS appreciation of the phenomenon of global social networking may benefit from embracing such a poststructuralist approach. (shrink)

This essay aims to provide a modal logic for rational intuition. Similarly to treatments of the property of knowledge in epistemic logic, I argue that rational intuition can be codified by a modal operator governed by the modal $\mu$-calculus. Via correspondence results between fixed point modal propositional logic and the bisimulation-invariant fragment of monadic second-order logic, a precise translation can then be provided between the notion of 'intuition-of', i.e., the cognitive phenomenal properties of thoughts, and the modal operators regimenting the (...) notion of 'intuition-that'. I argue that intuition-that can further be shown to entrain conceptual elucidation, by way of figuring as a dynamic-interpretational modality which induces the reinterpretation of both domains of quantification and the intensions and hyperintensions of mathematical concepts that are formalizable in monadic first- and second-order formal languages. Hyperintensionality is countenanced via a topic-sensitive epistemic two-dimensional truthmaker semantics. (shrink)

This chapter focuses on Foucault, Butler, and video-sharing on sexual social networking sites. It argues that the use and prevalence of video-sharing technologies on sexual social networking websites has a direct impact on notions of sexual identity. Though sometimes pitted against one another and at times contradictory, the ideas of Michel Foucault and Judith Butler on the nature and expression of sexuality and gender identities in fact gel rather well, and both can help us to gain a deeper and more (...) rounded picture of the impact and importance of the burgeoning phenomenon of internet dating websites in general, and sexual social networking in particular. (shrink)

This essay provides a novel account of iterated epistemic states. The essay argues that states of epistemic determinacy might be secured by countenancing iterated epistemic states on the model of fixed points in the modal $\mu$-calculus. Despite the epistemic indeterminacy witnessed by the invalidation of modal axiom 4 in the sorites paradox -- i.e. the KK principle: $\square$$\phi$ $\rightarrow$ $\square$$\square$$\phi$ -- a hyperintensional epistemic $\mu$-automaton permits fixed points to entrain a principled means by which to iterate epistemic states and account (...) thereby for necessary conditions on self-knowledge. The hyperintensional epistemic $\mu$-calculus is applied to the iteration of the epistemic states of a single agent instead of the common knowledge of a group of agents, and is thus a novel contribution to the literature. (shrink)

According to the thesis of divine ‘middle knowledge’, first propounded by the Jesuit theologian Luis de Molina in the sixteenth century, subjunctive conditionals stating how free agents would freely respond under counter-factual conditions may be straightforwardly true, and thus serve as the objects of divine knowledge. This thesis has provoked considerable controversy, and the recent revival of interest in middle knowledge, initiated by Anthony Kenny, Robert Adams and Alvin Plantinga in the 1970s, has led to two ongoing debates. One is (...) a theoretical debate over the very intelligibility of middle knowledge;1 the other is a practical debate over its philosophical and theological utility.2. (shrink)