Background We investigated the personal philosophies of eight persons with a tetraplegic condition (four male, four female), all living in Sweden with a chronic spinal cord injury (SCI) and all reporting a good life. Our purpose was to discover if there is a philosophical mindset that may play a role in living a good life with a traumatic SCI. Methods Two rounds of in-depth qualitative interviews were performed by the same interviewer, a philosophical practitioner by training (de Miranda). The second (...) round systematically covered the following elements: bodily sense, sense of self, sense of belonging, sense of the possible, sense of purpose and philosophical sense. This six-step method developed by de Miranda is called SMILE_PH, an acronym for Sense-Making Interviews Looking at Elements of Philosophical Health. Results All the interviewees, as a consequence of their trauma, reported having gone through a reinvention of themselves which implied questioning the meaning and purpose of their life in particular and life in general. A philosophical rather than realistic sense of the possible was abstracted toward teleological growth. All interviewees developed a sense of purpose based on self-interested altruism and solidarity with disabled peers. Conclusions To reinvent a good life with SCI, in addition to physical training and willpower, one needs to consider philosophical questions about the self and life, what Kant called the cosmic interests of reason: What may I hope? What must I do? What can I know? Our results indicate that we should, in the future, explore what the philosophical health approach may bring to rehabilitation processes in the months or years that follow the trauma. (shrink)

Evolutionary debunking arguments appeal to selective etiologies of human morality in an attempt to undermine moral realism. But is morality actually the product of evolution by natural selection? Although debunking arguments have attracted considerable attention in recent years, little of it has been devoted to whether the underlying evolutionary assumptions are credible. In this paper, we take a closer look at the evolutionary hypotheses put forward by two leading debunkers, namely Sharon Street and Richard Joyce. We raise a battery (...) of considerations, both empirical and theoretical, that combine to cast doubt on the plausibility of both hypotheses. We also suggest that it is unlikely that there is in the vicinity a plausible alternative hypothesis suitable for the debunker’s cause. (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)

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)

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.

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)

How does valuing something for its own sake differ from valuing an entity for the sake of other things? Although numerous answers come to mind, many of them rule out substantive views about what is valuable for its own sake. I therefore seek to provide a more neutral way to distinguish the two valuing attitudes. Drawing from existing accounts of valuing, I argue that the two can be distinguished in terms of a conative-volitional feature. Focusing first on “non-final valuing”—i.e. valuing_ (...) x_ for the sake of something else—I argue that it involves adopting certain reasons on account of a desire for _x_ to contribute to other things. I then show how this contrasts final valuing. The result, I argue, is a plausible account of how the two modes of valuing differ that leaves open substantive views about what all can be valued for its own sake. This is helpful because it develops a popular methodology used to explore the value of a wide range of things, including natural entities, family heirlooms, and artworks, as well as, more broadly, entities that might have “extrinsic final value.”. (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)

The Intergovernmental Panel on Climate Change has developed a novel framework for assessing and communicating uncertainty in the findings published in their periodic assessment reports. But how should these uncertainty assessments inform decisions? We take a formal decision-making perspective to investigate how scientific input formulated in the IPCC’s novel framework might inform decisions in a principled way through a normative decision model.

This study analyzed the monitoring and evaluation of HIV/AIDS prevention programs in Southern Senatorial District of Cross River State, Nigeria. The study considered different levels of care/support and tested for locational variations in the monitoring/evaluation of HIV/AIDs prevention programs. A descriptive survey research design was utilized. This study covered 596 public health employees (doctors, nurses, pharmacists, and laboratory employees) in the study area. A sample of 239 respondents was chosen using the proportional stratified random sampling procedure. Data was collected using (...) a questionnaire constructed by the researchers and validated by specialists. Data gathered were analyzed using descriptive and inferential statistics. Results indicated that HIV/AIDs programs have been successfully monitored/evaluated to a high extent. High rates of success in the monitoring/evaluation of HIV/AIDs prevention programs are attributable to high rates of care/support provided to people living with HIV/AIDs. There was a significant variation in the monitoring/evaluation of HIV/AIDs prevention programs based on the location of health facilities, with higher rates recorded for urban areas. Based on the findings, it was concluded that the monitoring/evaluation of HIV/AIDs prevention programs in the Southern Senatorial District of Cross River State had recorded a significant level of success. The study recommended, among others, that there should be even distribution of medical facilities, resources and personnel to both urban and rural areas to promote equity and access to materials needed to contain or mitigate the spread of the pandemic across all locations. (shrink)

The external world sceptic tells some familiar narratives involving massive deception. Perhaps we are brains in vats. Perhaps we are the victim of a deceitful demon. You know the drill. The sceptic proceeds by observing first that victims of such deceptions know nothing about their external environment and that second, since we cannot rule out being a victim of such deceptions our- selves, our own external world beliefs fail to attain the status of knowledge. Discussions of global external world scepticism (...) tend to focus on the second step, where a number of well-known lines of resistance have been offered. But there has been little attention to the first, seemingly innocuous step. That will be the focus of this paper. Part one – sections 1, 2, and 3 – will explain why these standard narratives are not convincing examples of cases where there is no knowledge of the external world. In part two – section 4 – we shall undertake a useful case study. David Lewis’s ‘Elusive Knowledge’ is often thought of as presenting an epistemological vision that is somewhat friendly to external world scepticism: as Lewis himself presents things, there are contexts where external world knowledge ascriptions are uniformly false, and where true knowledge ascriptions are limited to either axiomatic truths or truths about our inner life. We examine his discussion in the light of the preceding reflections and show that the framework he presents is not so concessionary to global external world scepticism after all. (shrink)

The principle of epistemic closure is the claim that what is known to follow from knowledge is known to be true. This intuitively plausible idea is endorsed by a vast majority of knowledge theorists. There are significant problems, however, that have to be addressed if epistemic closure – closed knowledge – is endorsed. The present essay locates the problem for closed knowledge in the separation it imposes between knowledge and evidence. Although it might appear that all that stands between knowing (...) the truth of the premises of a valid inference and knowledge of its conclusion is inferring it from the premises, the evidence for each of the premises may jointly count against the conclusion. The intuitive view regarding inferred knowledge says one thing, the evidence says another. One epistemological framework that seems to have the resources to resolve this tension endorses the view that knowledge always requires conclusive evidence. A second framework resolves the tension by limiting the scope of the closure principle. Only inferences drawn directly from propositions contained in the scope of a single knowledge operator are considered closed. The aim of the present essay is to revive the unpopular third option, the idea that knowledge is open. The essay proceeds by arguing that in different ways the two former frameworks only succeed in relocating the problem, not in resolving it. The first framework, the infallibilist view, relocates the problem to a sharp separation between knowledge of the occurrences of events from knowledge of their chance of occurring, a separation leading to several significant additional problems. The fallibilist view, the second framework, in endorsing closure neglects to take into full account the ways in which evidence fails to be transitive. For instance, evidence can count in favor of a conjunction while counting against each of its conjuncts. This fact, which is argued for in the essay on probabilistic as well as non-probabilistic grounds, is used as the foundation of an argument against closed knowledge that can be used as a way to understand several of the most fundamental challenges of epistemology. Not only can an open knowledge view that is based on open evidence resolve all these problems in a simple and natural way, it can also respond to formidable challenges that significantly hinder other open knowledge views. There are good reasons, then, to view both knowledge and evidence as open. (shrink)

This paper explores some consequences of Lewis’s (Australas J Philos 74(4):549–567, 1996) understanding of how knowledge is compartmentalized. It argues, first, that he underestimates how badly it impacts his view. When knowledge is compartmentalized, it lacks at least one of two essential features of Lewis’s account: (a) Elusiveness—familiar skeptical possibilities, when relevant, are incompatible with everyday knowledge. (b) Knowledge is a modality—when a thinker knows that p, there is no relevant possibility where p is false. Lewis proposes compartmentalized knowledge to (...) keep treating knowledge as a modality while mitigating one of its unrealistic epistemological implications: In normal modal epistemic logic (and standard possible world semantics), a thinker always counts as knowing the strongest proposition that follows from the set of all the individual propositions that this thinker knows. Lewis’s compartmentalization proposal is that thinkers merely know the conjunctions of propositions that are known in each of, but not across, their compartments. The irony is that in avoiding overblown knowledge the view now allows for thinkers to attend to skeptical error possibilities and yet knowledge is present. The account avoids inflation of knowledge in one sense only to acquire another type of knowledge the view denies subjects can have. This problem motivates an inspection of knowledge accounts whose intra-compartment closure principles are weaker than those that are valid in normal modal-logic. The conclusion is that some formulations of closure can avoid the challenge Lewis’s view faces. Nevertheless, even these closure principles pose a barrier—perhaps an implausible barrier—for knowledge of ignorance. Even when the reasoning supporting the lack of knowledge is sound, a subject cannot always know she doesn’t know. Interestingly, this obstacle is one that knowledge of knowledge doesn’t seem to face. (shrink)

People are often offended by beliefs, expect apologies for beliefs, apologize for their own beliefs. In many mundane cases, people are morally criticized for their beliefs. Intuitively, then, beliefs seem to sometimes wrong people. Recently, the philosophical literature has picked up on this theme, and has started to discuss it under the heading of doxastic wrongdoing. In this paper we argue that despite the strength of such initial intuitions, at the end of the day they have to be rejected. If (...) it can be ever truthfully asserted that beliefs wrong, this is always derivative – beliefs wrong only in virtue of other things (like evidence-gathering actions) wronging. We distinguish between modest and ambitious doxastic wrongdoing theories (the former deny, while the latter accept, the possibility of a morally wrong yet epistemically permissible belief); we argue that each of these options faces insurmountable problems; and we offer partly debunking explanations of the intuitions purportedly supporting doxastic wrongdoing. (shrink)

Available reports provide an account of academic staff’s poor job performance in higher education institutions and universities in particular. Consequently, a growing body of research has been attracted to this area, including those seeking ways to understand the problem and others aimed at proffering solutions. This study contributes to the literature by investigating the influence of occupational stress on the job performance of academic staff in universities. Three null hypotheses directed the study in line with the quantitative ex-post facto research (...) design. A sample of 150 respondents was obtained using the systematic random sampling technique from a population of 400 lecturers in the Faculty of Education from two public universities in Nigeria. A 31-item questionnaire was used for data collection. The null hypotheses were tested at the .05 alpha level using simple linear regression analysis. It was revealed that remuneration is a significant positive predictor of academic staff job performance. The prediction of workload was negatively non-significant on the job performance of academics. The provision of institutional amenities has a positive but non-significant prediction on academic staff job performance in the two public universities. It was concluded that occupational stress significantly influences the job performance of lecturers in universities. The study recommended that the government constantly pay lecturers’ salaries as and when due. Institutional managers should reward lecturers with outstanding performance to boost their morale for effective service delivery. (shrink)

Evolutionary debunking arguments (EDAs) have attracted extensive attention in meta-ethics, as they pose an important challenge to moral realism. Mogensen (2015) suggests that EDAs contain a fallacy, by confusing two distinct forms of biological explanation – ultimate and proximate. If correct, the point is of considerable importance: evolutionary genealogies of human morality are simply irrelevant for debunking. But we argue that the actual situation is subtler: while ultimate claims do not strictly entail proximate ones, there are important evidential connections between (...) the two. Attending to these connections clears ground for a new and improved EDA. However, it also brings into view some possible problems with EDAs that have been largely neglected so far. (shrink)

Despite the changes in human behaviour and interactions occasioned by the COVID-19 pandemic, many institutions are yet to adapt to the new normal fully. While some educational institutions switched entirely to e-learning to promote teaching and learning, others could not offer education due to physical and social restrictions. Previous studies in Africa have identified reasons for the poor ICT adoption for educational purposes. However, the degree to which these factors affect ICT utilisation is barely analysed. Using a quantitative approach, this (...) study assessed ICT deployment for teaching in the COVID-19 era by focusing on their availability and challenges. A sample of 344 respondents from a population of 2,867 academic staff at two Nigerian public universities participated in the study. After receiving face validity from experts, a structured questionnaire was used for data collection. Cronbach alpha reliability indices of the questionnaire ranged from 0.72 to 0.94. Descriptive statistics (simple percentages, mean, and standard deviation) and inferential statistics (one-way ANOVA) were used for data analysis. Findings generally revealed a moderate extent in the availability of ICT resources in public universities. The cost of data, computer literacy, and electricity supply are challenges that significantly affected ICT deployment in the COVID-19 era. Based on this finding, it was concluded that personal and institutional challenges affect how ICT resources are deployed in public universities. It was recommended, among other things, that the management of each tertiary institution should apportion proceeds from internally generated revenue to procure ICT resources specific to the need of the school. The study provides the ground for further research into students’ use of ICT for educational purposes. (shrink)

-/- INTRODUCTION: Many higher education students indulge in risky eating behaviours which tend to affect their physical, psychological and academic health. Previous studies have tried to understand the trend in students’ eating patterns without paying adequate attention to contributing factors. -/- PURPOSE: This study evaluated the influence of selected psychological variables on the consumption of balanced diets among students in two public universities in Calabar Metropolis, Nigeria. -/- METHODOLOGY: A research question was posed, and a formulated hypothesis to guide the (...) study. The study adopted the descriptive survey research design. A total of 12,530 faculty of education students spread across two public universities in Calabar Metropolis constituted the population of this study. A sample of 125 students was randomly selected through the stratified technique. A four-point questionnaire was used for data collection after validation by experts. Descriptive statistical measures such as mean, standard deviation, and percentages answered the research question. The null hypothesis was tested at the .05 level of significance using the one-sample t-test analysis. -/- RESULTS: Findings revealed that the influence of psychological variables (such as stress, emotions, and mental state) on students’ consumption of balanced diets is not significantly low. -/- RECOMMENDATIONS/CLASSROOM IMPLICATIONS: Based on the findings of this study, it was recommended that students cultivate the habit of always eating quality meals rich in nutrients, irrespective of their psychological state, to maintain a healthy life. (shrink)

I defend an interpretation of the first Critique’s category of totality based on Kant’s analysis of totality in the third Critique’s Analytic of the mathematical sublime. I show, firstly, that in the latter Kant delineates the category of totality — however general it may be — in relation to the essentially singular standpoint of the subject. Despite the fact that sublime and categorial totality have a significantly different scope and function, they do share such a singular baseline. Secondly, I argue (...) that Kant’s note (in the first Critique’s metaphysical deduction) that deriving the category of totality requires a special act of the understanding can be seen as a ‘mark’ of that singular baseline. This way, my aesthetical ‘detour’ has the potential of revealing how the subjective aspects of object-constitution might be accounted for in the very system of the categories (of quantity) itself. (shrink)

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.

Many scientists and philosophers of science think that beauty should play a role in theory selection. Physicists like Paul Dirac and Steven Weinberg explicitly claim that the ultimate explanations of the physical world must be beautiful. And philosophers of science like Peter Lipton say that we should expect the loveliest theory to also be the most likely. In this paper, I contend that these arguments from loveliness bear a striking similarity to Thomas Aquinas’ arguments from fittingness; both seem to presume (...) that the most beautiful theory is also the most probable. To do this, I first explain the explanatory virtues that are commonly thought to be constitutive of a lovely theory. Second, I elucidate Aquinas’ arguments from fittingness and show how they work in light of his account of beauty. Lastly, I connect the two kinds of aesthetic arguments and show the extent to which they overlap. (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)

Libertarians like Robert Kane believe that indeterminism is necessaryfor free will. They think this in part because they hold both (1) thatmy being the ultimate cause of at least part of myself is necessary forfree will and (2) that indeterminism is necessary for this ``ultimateself-causation''. But seductive and intuitive as this ``USCLibertarianism'' may sound, it is untenable. In the end, nometaphysically coherent (not to mention empirically valid) conception ofultimate self-causation is available. So the basic intuition motivatingthe USC Libertarian is ultimately (...) impossible to fulfill. (shrink)

It is well known that the nature of consciousness is elusive, and that attempts to understand it generate problems in metaphysics, philosophy of mind, psychology, and neuroscience. Less appreciated are the important – even if still elusive – connections between consciousness and issues in ethics. In this chapter we consider three such connections. First, we consider the relevance of consciousness for questions surrounding an entity’s moral status. Second, we consider the relevance of consciousness for questions surrounding moral responsibility for action. (...) Third, we consider the relevance of consciousness for the acquisition of moral knowledge. (shrink)

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.

The law views with suspicion statistical evidence, even evidence that is probabilistically on a par with direct, individual evidence that the law is in no way suspicious of. But it has proved remarkably hard to either justify this suspicion, or to debunk it. In this paper, we connect the discussion of statistical evidence to broader epistemological discussions of similar phenomena. We highlight Sensitivity – the requirement that a belief be counterfactually sensitive to the truth in a specific way – as (...) a way of epistemically explaining the legal suspicion towards statistical evidence. Still, we do not think of this as a satisfactory vindication of the reluctance to rely on statistical evidence. Knowledge – and Sensitivity, and indeed epistemology in general – are of little, if any, legal value. Instead, we tell an incentive-based story vindicating the suspicion towards statistical evidence. We conclude by showing that the epistemological story and the incentive-based story are closely and interestingly related, and by offering initial thoughts about the role of statistical evidence in morality. (shrink)

I distinguish three theses associated with the new mechanistic philosophy – concerning causation, explanation and scientific methodology. Advocates of each thesis are identified and relationships among them are outlined. I then look at some recent work on natural selection and mechanisms. There, attention to different kinds of New Mechanism significantly affects of what is at stake.

The Hodgkin–Huxley (HH) model of the action potential is a theoretical pillar of modern neurobiology. In a number of recent publications, Carl Craver ([2006], [2007], [2008]) has argued that the model is explanatorily deficient because it does not reveal enough about underlying molecular mechanisms. I offer an alternative picture of the HH model, according to which it deliberately abstracts from molecular specifics. By doing so, the model explains whole-cell behaviour as the product of a mass of underlying low-level events. The (...) issue goes beyond cellular neurobiology, for the strategy of abstraction exhibited in the HH case is found in a range of biological contexts. I discuss why it has been largely neglected by advocates of the mechanist approach to explanation. 1 Introduction2 A Primer on the HH Model2.1 The basic qualitative picture2.2 The quantitative model3 Interlude: What Did Hodgkin and Huxley Think?4 Craver’s View4.1 Mechanistic explanation4.2 Sketches4.3 Craver's view: The HH model as a mechanism sketch5 An Alternative View of the HH Model5.1 Another look at the equations5.2 The discrete-gating picture5.3 The road paved by Hodgkin and Huxley5.4 Summary and comparison to Craver6 Conclusion: The HH Model and Mechanistic Explanation6.1 Sketches and abstractions6.2 Why has aggregative abstraction been overlooked? (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.

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)

There is a tension for those who want to simultaneously hold that Abraham’s disposition to sacrifice Isaac is epistemically justified and yet hold that a contemporary father would not be justified in believing that God is commanding him to sacrifice his son. This paper attempts to resolve that tension. While some commentators have correctly pointed out that one must take Abraham’s long relationship with God into account when considering Abraham’s readiness to sacrifice his son, they do not entertain the possibility (...) that his hearing this commandment is evidence against the hypothesis that Abraham is speaking to God. I grant this possibility. But I argue that when God commands Abraham to do the unthinkable, Abraham’s previously acquired evidence could still be sufficient to justify his belief that he is speaking with God. And in making this argument, I attempt to show what differentiates Abraham from the contemporary father who thinks that God is commanding him to sacrifice his son. (shrink)

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.

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.

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)

In her paper, The case for physician assisted suicide: not proven, Bonnie Steinbock argues that the experience with Oregon’s Death with Dignity Act fails to demonstrate that the benefits of legalising physician assisted suicide outweigh its risks. Given that her verdict is based on a small number of highly controversial cases that will most likely occur under any regime of legally implemented safeguards, she renders it virtually impossible to prove the case for physician assisted suicide. In this brief paper, we (...) suggest some ways that may enable us to weigh the risks and benefits of legalisation more fairly and, hopefully, allow us to close the case for physician assisted suicide. (shrink)

Statistical evidence—say, that 95% of your co-workers badmouth each other—can never render resenting your colleague appropriate, in the way that other evidence (say, the testimony of a reliable friend) can. The problem of statistical resentment is to explain why. We put the problem of statistical resentment in several wider contexts: The context of the problem of statistical evidence in legal theory; the epistemological context—with problems like the lottery paradox for knowledge, epistemic impurism and doxastic wrongdoing; and the context of a (...) wider set of examples of responses and attitudes that seem not to be appropriately groundable in statistical evidence. Regrettably, we do not come up with a fully general, fully adequate, fully unified account of all the phenomena discussed. But we give reasons to believe that no such account is forthcoming, and we sketch a somewhat messier account that may be the best that can be had here. (shrink)

The following is a transcript of the interview I (Yasuko Kitano) conducted with Neil Levy (The Centre for Applied Philosophy and Public Ethics, CAPPE) on the 23rd in July 2009, while he was in Tokyo to give a series of lectures on neuroethics at The University of Tokyo Center for Philosophy. I edited his words for publication with his approval.

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)

Conservative assumptions in medical ethics risk immense harms during a pandemic. Public health institutions and public discourse alike have repeatedly privileged inaction over aggressive medical interventions to address the pandemic, perversely increasing population-wide risks while claiming to be guided by ‘caution’. This puzzling disconnect between rhetoric and reality is suggestive of an underlying philosophical confusion. In this paper, I argue that we have been misled by status quo bias—exaggerating the moral significance of the risks inherent in medical interventions, while systematically (...) neglecting the risks inherent in the status quo prospect of an out-of-control pandemic. By coming to appreciate the possibility and significance of status quo risk, we will be better prepared to respond appropriately when the next pandemic strikes. (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)

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)

I argue for three conclusions. First, responsibility skeptics are committed to the position that the criminal justice system should adopt a universal nonresponsibility excuse. Second, a universal nonresponsibility excuse would diminish some of our most deeply held values, further dehumanize criminals, exacerbate mass incarceration, and cause an even greater number of innocent people (nonwrongdoers) to be punished. Third, while Saul Smilansky's ‘illusionist’ response to responsibility skeptics – that even if responsibility skepticism is correct, society should maintain a responsibility‐realist/retributivist criminal justice (...) system – is generally compelling, it would not work if a majority of society were to convert, theoretically and psychologically, to responsibility skepticism. In this (highly improbable) scenario, and only in this (highly improbable) scenario, the criminal justice system would need to be reformed in such a way that it aligned with the majority's responsibility‐skeptical beliefs and attitudes. (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)

We explicate and evaluate arguments both for and against the insanity defense itself, different versions of the insanity defense (M'Naghten, Model Penal Code, and Durham (or Product)), the Irresistible Impulse rule, and various reform proposals.

There is disagreement among physicians and medical ethicists on the precise goals of Hospice and Palliative Medicine (HPM). Some think that HPM's goals should differ from those of other branches of medicine and aim primarily at lessening pain, discomfort, and confusion; while others think that HPM's practices should, like all other branches of medicine, aim at promoting health. I take the latter position: using the ars moriendi to set a standard for what it means to die well, I argue that (...) if HPM's practices were to aim at mitigating suffering with little regard to promoting health, some patients would die worse deaths than if HPM's practices were to aim at health. According to the ars moriendi, flourishing at the end of one's life requires that one exercise her agency and pursue the goods most important to her. On this view, HPM's practices should promote patients’ health to enable them to pursue these goods. (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)

ABSTRACTIn a recent paper, Michael Pardo argues that the epistemic property that is legally relevant is the one called Safety, rather than Sensitivity. In the process, he argues against our Sensitivity-related account of statistical evidence. Here we revisit these issues, partly in order to respond to Pardo, and partly in order to make general claims about legal epistemology. We clarify our account, we show how it adequately deals with counterexamples and other worries, we raise suspicions about Safety's value here, and (...) we revisit our general skepticism about the role that epistemological considerations should play in determining legal policy. (shrink)