The ethical issues raised by cybersecurity practices and technologies are of critical importance. However, there is disagreement about what is the best ethical framework for understanding those issues. In this paper we seek to address this shortcoming through the introduction of a principlist ethical framework for cybersecurity that builds on existing work in adjacent fields of applied ethics, bioethics, and AI ethics. By redeploying the AI4People framework, we develop a domain-relevant specification of five ethical principles in cybersecurity: beneficence, non-maleficence, autonomy, (...) justice, and explicability. We then illustrate the advantages of this principlist framework by examining the ethical issues raised by four common cybersecurity contexts: penetration testing, distributed denial of service attacks (DDoS), ransomware, and system administration. These case analyses demonstrate the utility of this principlist framework as a basis for understanding cybersecurity ethics and for cultivating the ethical expertise and ethical sensitivity of cybersecurity professionals and other stakeholders. (shrink)

Using artificial intelligence (AI) to make decisions in human resource management (HRM) raises questions of how fair employees perceive these decisions to be and whether they experience respectful treatment (i.e., interactional justice). In this experimental survey study with open-ended qualitative questions, we examine decision making in six HRM functions and manipulate the decision maker (AI or human) and decision valence (positive or negative) to determine their impact on individuals’ experiences of interactional justice, trust, dehumanization, and perceptions of decision-maker role appropriate- (...) ness. In terms of decision makers, the use of human decision makers over AIs generally resulted in better perceptions of respectful treatment. In terms of decision valence, people experiencing positive over negative decisions generally resulted in better perceptions of respectful treatment. In instances where these cases conflict, on some indicators people preferred positive AI decisions over negative human decisions. Qualitative responses show how people identify justice concerns with both AI and human decision making. We outline implications for theory, practice, and future research. (shrink)

ABSTRACT: Virtue, the centerpiece of ancient ethics, has come under attack by virtue skeptics impressed by results of psychology experiments including Milgram's obedience studies. The virtue skeptic argues that experimental findings suggest that character structures are so fragile vis-å-vis situational factors as to be explanatorily superfluous: virtues and robust character traits are a myth, and should be replaced by situation-specific "narrow dispositions" (Gilbert Harman) or "local traits" (John Doris). This paper argues that the virtue skeptics' sweeping claims are ill-founded. First, (...) blending Aristotelian and contemporary insights about virtue, I reach a decision about a reasonable, non-straw definition of "virtue" and of "character trait." Next, I argue that explanations give by Lee Ross and Richard Nisbett for the Milgram findings covertly invoke character traits. Reflection reveals that more robust, cross-situationally consistent traits are needed for explanation of subject behavior, and that it is reasonable to suppose that such traits were in place. (shrink)

Forms of Artificial Intelligence (AI) are already being deployed into clinical settings and research into its future healthcare uses is accelerating. Despite this trajectory, more research is needed regarding the impacts on patients of increasing AI decision making. In particular, the impersonal nature of AI means that its deployment in highly sensitive contexts-of-use, such as in healthcare, raises issues associated with patients’ perceptions of (un) dignified treatment. We explore this issue through an experimental vignette study comparing individuals’ perceptions of being (...) treated in a dignified and respectful way in various healthcare decision contexts. Participants were subject to a 2 (human or AI decision maker) x 2 (positive or negative decision outcome) x 2 (diagnostic or resource allocation healthcare scenario) factorial design. We found evidence of a “human bias” (i.e., a preference for human over AI decision makers) and an “outcome bias” (i.e., a preference for positive over negative outcomes). However, we found that for perceptions of respectful and dignified interpersonal treatment, it matters more who makes the decisions in diagnostic cases and it matters more what the outcomes are for resource allocation cases. We also found that humans were consistently viewed as appropriate decision makers and AI was viewed as dehumanizing, and that participants perceived they were treated better when subject to diagnostic as opposed to resource allocation decisions. Thematic coding of open-ended text responses supported these results. We also outline the theoretical and practical implications of these findings. (shrink)

This paper reports on an ongoing ARC Discovery Project that is conducting design research into learning in collaborative virtual worlds (CVW).The paper will describe three design components of the project: (a) pedagogical design, (b)technical and graphics design, and (c) learning research design. The perspectives of each design team will be discussed and how the three teams worked together to produce the CVW. The development of productive failure learning activities for the CVW will be discussed and there will be an interactive (...) demonstration of the project's CVW. (shrink)

Virtue, the centerpiece of ancient ethics, has come under attack by virtue skeptics impressed by results of psychology experiments including Milgram’s obedience studies. The virtue skeptic argues that experimental findings suggest that character structures are so fragile vis-à-vis situational factors as to be explanatorily superfluous: virtues and robust character traits are a myth, and should be replaced by situation-specific “narrow dispositions” (Gilbert Harman) or “local traits” (John Doris). This paper argues that the virtue skeptics’ sweeping claims are ill-founded. First, blending (...) Aristotelian and contemporary insights about virtue, I reach adecision about a reasonable, nonstraw defmition of “virtue” and of “character trait.” Next, I argue that explanations give by Lee Ross and Richard Nisbett for the Milgram findings covertly invoke character traits. Reflection reveals that more robust, crosssituationally consistent traits are needed for explanation of subject behavior, and that it is reasonable to suppose that such traits were in place. (shrink)

The proof theory of many-valued systems has not been investigated to an extent comparable to the work done on axiomatizatbility of many-valued logics. Proof theory requires appropriate formalisms, such as sequent calculus, natural deduction, and tableaux for classical (and intuitionistic) logic. One particular method for systematically obtaining calculi for all finite-valued logics was invented independently by several researchers, with slight variations in design and presentation. The main aim of this report is to develop the proof theory of finite-valued first order (...) logics in a general way, and to present some of the more important results in this area. In Systems covered are the resolution calculus, sequent calculus, tableaux, and natural deduction. This report is actually a template, from which all results can be specialized to particular logics. (shrink)

Hilbert’s program was an ambitious and wide-ranging project in the philosophy and foundations of mathematics. In order to “dispose of the foundational questions in mathematics once and for all,” Hilbert proposed a two-pronged approach in 1921: first, classical mathematics should be formalized in axiomatic systems; second, using only restricted, “finitary” means, one should give proofs of the consistency of these axiomatic systems. Although Gödel’s incompleteness theorems show that the program as originally conceived cannot be carried out, it had many partial (...) successes, and generated important advances in logical theory and metatheory, both at the time and since. The article discusses the historical background and development of Hilbert’s program, its philosophical underpinnings and consequences, and its subsequent development and influences since the 1930s. (shrink)

Logic has pride of place in mathematics and its 20th century offshoot, computer science. Modern symbolic logic was developed, in part, as a way to provide a formal framework for mathematics: Frege, Peano, Whitehead and Russell, as well as Hilbert developed systems of logic to formalize mathematics. These systems were meant to serve either as themselves foundational, or at least as formal analogs of mathematical reasoning amenable to mathematical study, e.g., in Hilbert’s consistency program. Similar efforts continue, but have been (...) expanded by the development of sophisticated methods to study the properties of such systems using proof and model theory. In parallel with this evolution of logical formalisms as tools for articulating mathematical theories (broadly speaking), much progress has been made in the quest for a mechanization of logical inference and the investigation of its theoretical limits, culminating recently in the development of new foundational frameworks for mathematics with sophisticated computer-assisted proof systems. In addition, logical formalisms developed by logicians in mathematical and philosophical contexts have proved immensely useful in describing theories and systems of interest to computer scientists, and to some degree, vice versa. Three examples of the influence of logic in computer science are automated reasoning, computer verification, and type systems for programming languages. (shrink)

Methods available for the axiomatization of arbitrary finite-valued logics can be applied to obtain sound and complete intelim rules for all truth-functional connectives of classical logic including the Sheffer stroke and Peirce’s arrow. The restriction to a single conclusion in standard systems of natural deduction requires the introduction of additional rules to make the resulting systems complete; these rules are nevertheless still simple and correspond straightforwardly to the classical absurdity rule. Omitting these rules results in systems for intuitionistic versions of (...) the connectives in question. (shrink)

Textbook on Gödel’s incompleteness theorems and computability theory, based on the Open Logic Project. Covers recursive function theory, arithmetization of syntax, the first and second incompleteness theorem, models of arithmetic, second-order logic, and the lambda calculus.

Philosophers of language are increasingly engaging with derogatory terms or slurs. Only few theorists take such language as a starting point for addressing puzzles in philosophy of language with little connection to our real-world problems. This paper aims to show that the political nature of derogatory language use calls for non-ideal theorising as we find it in the work of feminist and critical race scholars. Most contemporary theories of slurs, so I argue, fall short on some desiderata associated with a (...) non-ideal approach. They neglect crucial linguistic or political aspects of morally and politically significant meaning. I argue that a two-stage project is necessary to understand the perniciousness of slurs: accounting for the derogatory content of derogatory terms in general and, additionally, explaining the communicative function of slurs more specifically. I end by showing how inferentialism is well-suited to account for the content of derogatory terms whilst allowing for further explanations of the communicative functions of slurs. (shrink)

Drawing on a passage from Ramsey's Truth and Probability, we formulate a simple, plausible constraint on evaluating the accuracy of credences: the Calibration Test. We show that any additive, continuous accuracy measure that passes the Calibration Test will be strictly proper. Strictly proper accuracy measures are known to support the touchstone results of accuracy-first epistemology, for example vindications of probabilism and conditionalization. We show that our use of Calibration is an improvement on previous such appeals by showing how it answers (...) or sidesteps problems that have been raised for previous work in this area. (shrink)

There are different narratives on mathematics as part of our world, some of which are more appropriate than others. Such narratives might be of the form ‘Mathematics is useful’, ‘Mathematics is beautiful’, or ‘Mathematicians aim at theorem-credit’. These narratives play a crucial role in mathematics education and in society as they are influencing people’s willingness to engage with the subject or the way they interpret mathematical results in relation to real-world questions; the latter yielding important normative considerations. Our strategy is (...) to frame current narratives of mathematics from a virtue-theoretic perspective. We identify the practice of mathematizing, put forward by Freudenthal’s ‘Realistic mathematics education’, as virtuous and use it to evaluate different narratives. We show that this can help to render the narratives more adequately, and to provide implications for societal organization. (shrink)

This paper analyses the hidden use of new axioms in set-theoretic practice with a focus on large cardinal axioms and presents a general overview of set-theoretic practices using large cardinal axioms. The hidden use of a new axiom provides extrinsic reasons in support of this axiom via the idea of verifiable consequences, which is especially relevant for set-theoretic practitioners with an absolutist view. Besides that, the hidden use has pragmatic significance for further important sub-groups of the set-theoretic community---set-theoretic practitioners with (...) a pluralist view and set-theoretic practitioners who aim for ZFC-proofs. By describing this, the paper gives a more complete picture of new axioms in set-theoretic practice. These observations, for instance, show that set-theoretic practitioners interested in ZFC-proofs use tools that go beyond ZFC. The analysis is based on empirical data that was collected in an extensive interview study with set-theoretic practitioners. (shrink)

In arguing against the likelihood of consciousness in non-human animals, Descartes advances a slippery slope argument that if thought were attributed to any one animal, it would have to be attributed to all, which is absurd. This paper examines the foundations of Thomas Willis’ comparative neuroanatomy against the background of Descartes’ slippery slope argument against animal consciousness. Inspired by Gassendi’s ideas about the corporeal soul, Thomas Willis distinguished between neural circuitry responsible for reflex behaviour and that responsible for cognitively or (...) consciously mediated behaviour. This afforded Willis a non-arbitrary basis for distinguishing between animals with thought and consciousness and those without, a methodology which retains currency for neuroscience today. (shrink)

This volume includes nineteen articles by scholars from Asia, North America, and Europe on Chinese thinkers from the eleventh to the eighteenth centuries. Included here are intellectual biographies of literati such as Zhou Dunyi, the Cheng brothers, Zhu Xi, Zhang Shi, Hu Hong, Wang Yangming, and Dai Zhen. Essays are arranged chronologically, and most begin with a biographical sketch of their subject. They provide variety rather than uniformity of approach, but all in all these essays are remarkably rich and offer (...) much new material on both familiar and lesser-known thinkers. (shrink)

The ji 己self is a site, storehouse, or depot of individuated allotment associated with the possession of things and qualities: wholesome and unwholesome desires (yu 欲) and aversions, emotions such as anxiety, and positive values such as humaneness and reverence. Each person's allotment is unique, and its "contents" are collected, measured, reflected on, and then distributed to others. The Analects, Mencius, Xunzi, Daodejing, and Zhuangzi each have their own vision for negotiating the space between self and other. Works as seemingly (...) dissimilar as the Analects and Daodejing both agree that positive qualities located within the self should be shared with others, and that the self can be optimized rather than maximized through sharing, emptying, or clearing. Sommer compares the ji self with other terms for body and person current in classical times. This self is strongly individuated, but it exists primarily in relation to other human beings (ren 人 ). These "others" are almost never one's own kind and are usually people who fall outside one's ascribed familial and social relationships. Negotiations between self and other often reflect apprehension regarding degrees of distance, intimacy, worth, recognition, or understanding (zhi 知) between people. (shrink)

In this paper, I argue that poet M. Nourbese Philip's Zong! allows us to radically rethink the possibility of historical restitution and recovery. The formal ideas in Zong!, I argue, imply a metaphysical and ontological revolution in the way memory and mnesic traces are to be conceived. The evidentiary status of the voices and narratives that Zong! retrieves cannot be certified by historical-epistemological conceptions of evidence but rather find their warrant in alternative, ontological (or hauntological) registers.

Beyond “A Lecture on Ethics,” Wittgenstein says little on the topic of ethics, despite professing a great respect for ethics. I argue that while Wittgenstein ceases to speak of ethics, his account fits equally within his Tractarian and post-Tractarian writing. On both accounts of language, ethics remains nonsense, but it is not insignificant nonsense. However, because Wittgenstein holds ethics to concern absolute values that are in principle inexpressible, his anti-theoretical conception of ethics fails to offer guidance in how one ought (...) to live. That is, ethics ultimately cannot be show unless it can, in some sense, be said. (shrink)

Feminist philosophy is highly critical of Cartesian, and more broadly Enlightenment, conceptions of rationality. However, feminist philosophers typically fail to address contemporary theories of rationality and to consider how more current thoeories address feminist concerns. I argue that, contrary to their protestations, feminists are “obsessing over an outdated conception of reason” and that even the most suspect of “malestream” philosophers express an understanding of rationality that is closer to feminist concerns than Cartesian ones. I begin by briefly examining key features (...) of Cartesian rationality and discuss how these features are largely rejected by contemporary philosophy and cognitve science. I then discuss how the philosophical accounts of Robert Nozick and Robert Audi refelect this rejection of Cartesian rationality. Finally, I discuss how the views of Nozick and Audi are in line with many feminist concerns, and I argue that feminists need to take seriously some theory of rationality. (shrink)

While feminist philosophy has had much to say on the topic of reason, little has been done to develop a specifically feminist account of the concept. I argue for a virtue account of mind grounded in contemporary approaches to rationality. The evolutionary stance adopted within most contemporary theories of mind implicitly entails a rejection of central elements of Cartesianism. As a result, many accounts of rationality are anti-modern is precisely the sorts of ways that feminists demand. I maintain that a (...) virtue account of rationality can provide a satisfactory answer to Benhabib’s question in Situating of the Self: what concept of reason are we willing to defend? (shrink)

In On Touching, Derrida commends philosopher Jean-Luc Nancy for ‘taking into account [the] plasticity and technicity “at the heart” of the “body proper.”’ Specifying the meaning of this plasticity and technicity, Derrida writes, the"[s]upplementarity of technical prosthetics originarily spaces out, defers, or expropriates all originary properness: there is no “the” sense of touch, there is no “originary” or essentially originary touching before it." What is ‘proper’ or ‘original’ to the body, it seems, is not any set of properties or capacities (...) – including sensorial or perceptual powers – but rather the ‘plastic and substitutive structure of prosthetics’, the very possibility of the body’s ‘technical’ supplementation. (shrink)

Although feminists have spilled a great deal of ink criticizing Enlightenment conceptions of rationality, the time has come to consider constructing a positive account. Recent attempts to construct an account of rationality as a virtue concept reflect many feminist complaints concerning Enlightenment rationality, and, thus, I maintain that feminism should take seriously such a conception. Virtue rationality offers a more diverse account of rationality without sacrificing the fundamental normativity of the concept. Furthermore, the narrower concept of reasonableness, promises to provide (...) a ground for distinguishing among better and worse epistemic perspectives, which is a task critical to the success of the feminist project. (shrink)

This article examines the complaint that arbitrary algorithmic decisions wrong those whom they affect. It makes three contributions. First, it provides an analysis of what arbitrariness means in this context. Second, it argues that arbitrariness is not of moral concern except when special circumstances apply. However, when the same algorithm or different algorithms based on the same data are used in multiple contexts, a person may be arbitrarily excluded from a broad range of opportunities. The third contribution is to explain (...) why this systemic exclusion is of moral concern and to offer a solution to address it. (shrink)

Some of the most important developments of symbolic logic took place in the 1920s. Foremost among them are the distinction between syntax and semantics and the formulation of questions of completeness and decidability of logical systems. David Hilbert and his students played a very important part in these developments. Their contributions can be traced to unpublished lecture notes and other manuscripts by Hilbert and Bernays dating to the period 1917-1923. The aim of this paper is to describe these results, focussing (...) primarily on propositional logic, and to put them in their historical context. It is argued that truth-value semantics, syntactic ("Post-") and semantic completeness, decidability, and other results were first obtained by Hilbert and Bernays in 1918, and that Bernays's role in their discovery and the subsequent development of mathematical logic is much greater than has so far been acknowledged. (shrink)

An overview and comparison of the major teaching philosophies is discussed to determine their applications in the field of education. In the end, it is important to reflect on how our practices align with our philosophies.

Effective altruism sounds so innocuous—who could possibly be opposed to doing good more effectively? Yet it has inspired significant backlash in recent years. This paper addresses some common misconceptions and argues that the core “beneficentric” ideas of effective altruism are both excellent and widely neglected. Reasonable people may disagree on details of implementation, but all should share the basic goals or values underlying effective altruism.

Angell's logic of analytic containment AC has been shown to be characterized by a 9-valued matrix NC by Ferguson, and by a 16-valued matrix by Fine. We show that the former is the image of a surjective homomorphism from the latter, i.e., an epimorphic image. The epimorphism was found with the help of MUltlog, which also provides a tableau calculus for NC extended by quantifiers that generalize conjunction and disjunction.

In Mind and World, John McDowell argues against the view that perceptual representation is non-conceptual. The central worry is that this view cannot offer any reasonable account of how perception bears rationally upon belief. I argue that this worry, though sensible, can be met, if we are clear that perceptual representation is, though non-conceptual, still in some sense 'assertoric': Perception, like belief, represents things as being thus and so.

This paper draws on the 'Fitting Attitudes' analysis of value to argue that we should take the concept of fittingness (rather than value) as our normative primitive. I will argue that the fittingness framework enhances the clarity and expressive power of our normative theorising. Along the way, we will see how the fittingness framework illuminates our understanding of various moral theories, and why it casts doubt on the Global Consequentialist idea that acts and (say) eye colours are normatively on a (...) par. We will see why even consequentialists, in taking rightness to be in some sense determined by goodness, should not think that rightness is conceptually reducible to goodness. Finally, I will use the fittingness framework to explicate the distinction between consequentialist and deontological theories, with particular attention to the contentious case of Rule Consequentialism. (shrink)

What we value, like, endorse, want, and prefer changes over the course of our lives. Richard Pettigrew presents a theory of rational decision making for agents who recognise that their values will change over time and whose decisions will affect those future times.

This paper focusses on the relationship among structural adjustment policies and practices, the business activities of transnational corporations and what Robert Reich has called the coming irrelevance of corporate nationality. The argument presented is that the force of these combined factors makes environmental sustainability impossible.

In The Boundary Stones of Thought, Rumfitt defends classical logic against challenges from intuitionistic mathematics and vagueness, using a semantics of pre-topologies on possibilities, and a topological semantics on predicates, respectively. These semantics are suggestive but the characterizations of negation face difficulties that may undermine their usefulness in Rumfitt’s project.

There is too much that we do not know about COVID-19. The longer we take to find it out, the more lives will be lost. In this paper, we will defend a principle of risk parity: if it is permissible to expose some members of society (e.g. health workers or the economically vulnerable) to a certain level of ex ante risk in order to minimize overall harm from the virus, then it is permissible to expose fully informed volunteers to a (...) comparable level of risk in the context of promising research into the virus. We apply this principle to three examples of risky research: skipping animal trials for promising treatments, human challenge trials to speed up vaccine development, and low-dose controlled infection or “variolation.” We conclude that if volunteers, fully informed about the risks, are willing to help fight the pandemic by aiding promising research, there are strong moral reasons to gratefully accept their help. To refuse it would implicitly subject others to still graver risks. (shrink)

Satisficing Consequentialism is often rejected as hopeless. Perhaps its greatest problem is that it risks condoning the gratuitous prevention of goodness above the baseline of what qualifies as "good enough". I propose a radical new willpower-based version of the view that avoids this problem, and that better fits with the motivation of avoiding an excessively demanding conception of morality. I further demonstrate how, by drawing on the resources of an independent theory of blameworthiness, we may obtain a principled specification of (...) what counts as "good enough". (shrink)

In this paper, we seek a reliabilist account of justified credence. Reliabilism about justified beliefs comes in two varieties: process reliabilism (Goldman, 1979, 2008) and indicator reliabilism (Alston, 1988, 2005). Existing accounts of reliabilism about justified credence comes in the same two varieties: Jeff Dunn (2015) proposes a version of process reliabilism, while Weng Hong Tang (2016) offers a version of indicator reliabilism. As we will see, both face the same objection. If they are right about what justification is, it (...) is mysterious why we care about justification, for neither of the accounts explains how justification is connected to anything of epistemic value. We will call this the Connection Problem. I begin by describing Dunn’s process reliabilism and Tang’s indicator reliabilism. I argue that, understood correctly, they are, in fact, extensionally equivalent. That is, Dunn and Tang reach the top of the same mountain, albeit by different routes. However, I argue that both face the Connection Problem. In response, I offer my own version of reliabilism, which is both process and indicator, and I argue that it solves that problem. Furthermore, I show that it is also extensionally equivalent to Dunn’s reliabilism and Tang’s. Thus, I reach the top of the same mountain as well. (shrink)

According to certain normative theories in epistemology, rationality requires us to be logically omniscient. Yet this prescription clashes with our ordinary judgments of rationality. How should we resolve this tension? In this paper, I focus particularly on the logical omniscience requirement in Bayesian epistemology. Building on a key insight by Hacking :311–325, 1967), I develop a version of Bayesianism that permits logical ignorance. This includes: an account of the synchronic norms that govern a logically ignorant individual at any given time; (...) an account of how we reduce our logical ignorance by learning logical facts and how we should update our credences in response to such evidence; and an account of when logical ignorance is irrational and when it isn’t. At the end, I explain why the requirement of logical omniscience remains true of ideal agents with no computational, processing, or storage limitations. (shrink)

This paper applies a virtue epistemology approach to using the Internet, as to improve our information-seeking behaviours. Virtue epistemology focusses on the cognitive character of agents and is less concerned with the nature of truth and epistemic justification as compared to traditional analytic epistemology. Due to this focus on cognitive character and agency, it is a fruitful but underexplored approach to using the Internet in an epistemically desirable way. Thus, the central question in this paper is: How to use the (...) Internet in an epistemically virtuous way? Using the work of Jason Baehr, it starts by outlining nine intellectual or epistemic virtues: curiosity, intellectual autonomy, intellectual humility, attentiveness, intellectual carefulness, intellectual thoroughness, open-mindedness, intellectual courage and intellectual tenacity. It then explores how we should deploy these virtues and avoid the corresponding vices when interacting with the Internet, particularly search engines. Whilst an epistemically virtuous use of the Internet will not guarantee that one will acquire true beliefs, understanding or even knowledge, it will strongly improve one’s information-seeking behaviours. The paper ends with arguing that teaching and assessing online intellectual virtues should be part of school and university curricula, perhaps embedded in critical thinking courses, or even better, as individual units. (shrink)

Utilitarianism is often rejected on the grounds that it fails to respect the separateness of persons, instead treating people as mere “receptacles of value”. I develop several different versions of this objection, and argue that, despite their prima facie plausibility, they are all mistaken. Although there are crude forms of utilitarianism that run afoul of these objections, I advance a new form of the view—‘token-pluralistic utilitarianism’—that does not.

Disagreement is common: even informed, intelligent, and generally reasonable people often come to different conclusions when confronted with what seems to be the same evidence. Can the competing conclusions be reasonable? If not, what can we reasonably think about the situation? This volume examines the epistemology of disagreement. Philosophical questions about disagreement arise in various areas, notably politics, ethics, aesthetics, and the philosophy of religion: but this will be the first book focusing on the general epistemic issues arising from informed (...) disagreement. Ten leading philosophers offer specially written essays which together will offer a starting-point for future work on this topic. (shrink)

Conditionalization is one of the central norms of Bayesian epistemology. But there are a number of competing formulations, and a number of arguments that purport to establish it. In this paper, I explore which formulations of the norm are supported by which arguments. In their standard formulations, each of the arguments I consider here depends on the same assumption, which I call Deterministic Updating. I will investigate whether it is possible to amend these arguments so that they no longer depend (...) on it. As I show, whether this is possible depends on the formulation of the norm under consideration. (shrink)

David Hilbert's finitistic standpoint is a conception of elementary number theory designed to answer the intuitionist doubts regarding the security and certainty of mathematics. Hilbert was unfortunately not exact in delineating what that viewpoint was, and Hilbert himself changed his usage of the term through the 1920s and 30s. The purpose of this paper is to outline what the main problems are in understanding Hilbert and Bernays on this issue, based on some publications by them which have so far received (...) little attention, and on a number of philosophical reconstructions of the viewpoint (in particular, by Hand, Kitcher, and Tait). (shrink)

Critics have often misunderstood the higher-order theory (HOT) of consciousness. Here we clarify its position on several issues, and distinguish it from other views such as the global The higher-order theory (HOT) of consciousness has often been misunderstood by critics. Here we clarify its position on several issues, and distinguish it from other views such as the global workspace theory (GWT) and early sensory models (e.g. first-order local recurrency theories). For example, HOT has been criticized for over-intellectualizing consciousness. We show (...) that while higher-order states are cognitively assembled, the requirements are actually considerably less than often presumed. In this sense HOT may be viewed as an intermediate position between GWT and early sensory views. Also, we clarify that most proponents of HOT do not stipulate consciousness as equivalent to metacognition or confidence. Further, compared to other existing theories, HOT can arguably account better for complex everyday experiences, such as of emotions and episodic memories. This makes HOT particularly useful as a framework for conceptualizing pathological mental states. (shrink)

This paper analyses the phenomenology and epistemology of chatbots such as ChatGPT and Bard. The computational architecture underpinning these chatbots are large language models (LLMs), which are generative AI (Artificial Intelligence) systems trained on a massive dataset of text extracted from the Web. We conceptualise these LLMs as multifunctional computational cognitive artifacts, used for various cognitive tasks such as translating, summarizing, answering questions, information-seeking, and much more. Phenomenologically, LLMs can be experienced as a “quasi-other”; when that happens, users anthropomorphise them. (...) For most users, current LLMs are black boxes, i.e., for the most part, they lack data transparency and algorithmic transparency. They can, however, be phenomenologically and informationally transparent, in which case there is an interactional flow. Anthropomorphising and interactional flow can, in some users, create an attitude of (unwarranted) trust towards the output LLMs generate. We conclude this paper by drawing on the epistemology of trust and testimony to examine the epistemic implications of these dimensions. Whilst LLMs generally generate accurate responses, we observe two epistemic pitfalls. Ideally, users should be able to match the level of trust that they place in LLMs to the degree that LLMs are trustworthy. However, both their data and algorithmic opacity and their phenomenological and informational transparency can make it difficult for users to calibrate their trust correctly. The effects of these limitations are twofold: users may adopt unwarranted attitudes of trust towards the outputs of LLMs (which is particularly problematic when LLMs hallucinate), and the trustworthiness of LLMs may be undermined. (shrink)