For healthcare professionals and organizations, there is an emphasis on addressing moral distress and compassion fatigue among clinicians. While addressing these issues is vital, this paper suggests that the philosophical concept of agent-regret is a relevant but overlooked issue in healthcare. To experience agent-regret is to regret your harmful but not wrongful actions. This person’s action results in someone being killed or significantly injured, but it was ethically faultless. Despite being faultless, agent-regret is an emotional response concerning one’s agency in (...) a situation that results in death or significant harm. In healthcare, many clinicians are likely to experience regret for faultless actions that significantly harm or cause the death of a patient. The recognition of agent-regret in healthcare is significant because it differs, conceptually and practically, from moral distress and compassion fatigue. Building on the work of Wojtowicz (Citation2022), we should strive to understand clinicians’ agent-regret by recognizing their agency in the situation, not lessening or removing it. (shrink)

Emerging data indicates the prevalence and increased use of pharmaceutical enhancements by young medical professionals. As pharmaceutical enhancements advance and become more readily available, it is imperative to consider their impact on medical professionals. If pharmaceutical enhancements augment a person’s neurological capacities to higher functioning levels, and in some situations having higher functioning levels of focus and concentration could improve patient care, then might medical professionals have a responsibility to enhance? In this paper, I suggest medical professionals may have a (...) responsibility to use pharmaceutical enhancements. In some situations, having higher functioning levels of focus and concentration is conducive to providing the best possible care to a patient. In these circumstances medical professionals should use pharmaceutical cognitive enhancements. I conclude by examining the limitations and implications of this responsibility in the practice of medicine and areas for future research. (shrink)

In this commentary, I offer an account of an error theory of biotechnology and apply it to Brian D. Earp, Olga A. Wudarczyk,Anders Sandberg, and Julian Savulescu’s (2013)ethical framework for chemical reakups.

Discussions about the permissibility of students using enhancements in education are often framed by the question, “Is a student who uses cognitive-enhancing drugs cheating?” While the question of cheating is interesting, it is but only one question concerning the permissibility of enhancement in education. Another interesting question is, “What kinds of students do we want in our academic institutions?” I suggest that one plausible answer to this question concerns the ideals of human excellence or virtues. The students we want in (...) our academic institutions are virtuous or, at least minimally, possess certain virtues. I argue that a virtuous student may choose to use cognitive-enhancing drugs for reasons of self-improvement. That a virtuous student may choose to use cognitive-enhancing drugs for reasons of self-improvement illustrates that under certain conditions motivation can determine the permissibility of using enhancements. Building upon this I suggest a virtues-based institutional rule for governing and guiding student-use of cognitive enhancers in an academic institution to be for the right reasons. This ideals of human excellence or virtues approach offers interesting and unique insights for issues of enhancement in education, as it might turn out, that uneasiness many people have about students using cognitive-enhancing drugs has less to do with issues of enhancement and more to do with the motivations and character of students. (shrink)

Peterson, Karlawish, and Largent’s “Supported Decision Making with People at the Margins of Autonomy” not only elucidates the conceptual framework but also the practical importance of suppor...

This volume examines the notion of an analytic proof as a natural deduction, suggesting that the proof's value may be understood as its normal form--a concept with significant implications to proof-theoretic semantics.

Ethics in business and economics is often attacked for being too superficial. By elaborating the conclusions of two such critics of business ethics and welfare economics respectively, this article will draw the attention to the ethics behind these apparently well-intended, but not always convincing constructions, by help of the fundamental ethics of Emmanuel Levinas. To Levinas, responsibility is more basic than language, and thus also more basic than all social constructions. Co-operation relations in organizations, markets and value networks are generated (...) from personal relations and personal responsibilities. It is not sufficient to integrate ethics in an impersonal, rational system, neither in business organizations nor in the world economy. Ethics has its source not in rationality, but in the personal. (shrink)

Levinas did not present any new ethical theories; he did not even give any normative recommendations. But his phenomenological investigations help us to understand how the idea of ethics emerges and how we try to cope with it. The purpose of this paper is to suggest some implications from a reading of Levinas on how ethical challenges are handled within a management perspective. The paper claims that management, both in theory and in practice, is necessarily egocentric and thus ethically biased. (...) Therefore, ethics, defined as the idea that it is possible to do otherwise than pursue one's own interest, must have its source outside the scope of management. Levinas identifies this source as the call for responsibility from the Other, beyond the reach of managerial control. He also suggests how this idea of ethics is put into practice, especially in economic life: the existence of money makes it both possible and necessary to compare unique and incomparable others. Management tools may be used in the service of always more justice, as it also may be used for the opposite purpose. Instead of trying to draw a normative conclusion from Levinas, we may distinguish between two ways of experiencing reality: one through language and knowledge, covering both descriptive and normative knowledge, including ‘business ethics’, and the other through the particular events of encounters, from where this knowledge is continuously questioned through the call for responsibility, and thereby may provide possibilities for continuous improvements towards always more justice. (shrink)

Conducting “difficult conversations” with patients and caregivers is one of the most difficult aspects of the medical profession. These conversations can involve communicating a terminal prognosis, advance care planning, or changing the goals of treatment. Although they are challenging, the need for these conversations is underwritten by the tenets of medical ethics. Unfortunately, medical professionals lack adequate training in communication skills and overestimate their abilities in conducting difficult conversations. I suggest that one way to improve that ability would be the (...) strategic use of pharmaceutical neuroenhancements. Pharmaceutically augmenting a professional’s capacity for recognizing masked emotional expressions might conduce to his or her development of open and responsive communication with patients and caregivers. I conclude by examining the limitations and objections to this use of a communication enhancement by illustrating that it would still require the development of, and indeed a greater emphasis on, communication skills in medical education and training. (shrink)

According to a main idea of Gentzen the meanings of the logical constants are reflected by the introduction rules in his system of natural deduction. This idea is here understood as saying roughly that a closed argument ending with an introduction is valid provided that its immediate subarguments are valid and that other closed arguments are justified to the extent that they can be brought to introduction form. One main part of the paper is devoted to the exact development of (...) this notion. Another main part of the paper is concerned with a modification of this notion as it occurs in Michael Dummett’s book The Logical Basis of Metaphysics. The two notions are compared and there is a discussion of how they fare as a foundation for a theory of meaning. It is noted that Dummett’s notion has a simpler structure, but it is argued that it is less appropriate for the foundation of a theory of meaning, because the possession of a valid argument for a sentence in Dummett’s sense is not enough to be warranted to assert the sentence. (shrink)

Bryan Frances’s recent argument is for the epistemic position called Live Skepticism. The Live Skepticism Argument (LSA) attempts to establish a restricted set of skeptical conclusions. The LSA’s “skeptical hypotheses” are scientific and philosophical positions that are “live actual possibilities” in an intellectual community. In order to “rule out” live hypotheses, an expert must know them to be false. However, since these are live hypotheses in this expert’s intellectual community—endorsed by others who have parallel levels of knowledge, intelligence, and understanding—this (...) expert is unable to rule them out. Consistent with the LSA is the outcome that people not exposed to these live hypotheses can know what these experts cannot. However, in this paper, I defeat the LSA by developing and defending a counterexample that focuses on the phenomenon of genius testimony. Everyone, including the LSA’s proponent, can and should allow that expertise comes in degrees. While in many cases a person’s intelligence, understanding, and knowledge are parallel to others in the field, there are some who are extraordinary in their intelligence, understanding, and knowledge (geniuses). If an expert meets with a genius, it is possible that the genius provides this individual with beliefs that can rule out a skeptical hypothesis. Therefore, an expert can have knowledge, even if the skeptical hypothesis is live and endorsed by others who have parallel levels of knowledge, intelligence, and understanding. After providing this counterexample, I present three potential objections, and show how people can know global warming exists and that smoking does not give someone cancer. I conclude by defending this counterexample from a likely reply by proponents of the LSA involving luck and knowledge. (shrink)

In end-of-life care discussions, I contend that the distinction between “having a life” vs. “being alive” is an underutilized distinction. This distinction is significant in separating different states of existence conflated by patients, families, and clinicians. In the clinical setting, applying this distinction in end-of-life care discussions aids patients’ and family members’ decision-making by helping them understand that being alive can differ from having a life. Moreover, this distinction helps them decide which state may be the most important to them. (...) After applying this distinction to three complex cases, I respond to the likely objection that “having a life” vs. “being alive” is less accurate and more controversial than other distinctions. I conclude by arguing that “having a life” vs. “being alive” is more accurate and less controversial than distinctions between medically indicated vs. medically inappropriate treatments, personhood, and quantity vs. quality of life. (shrink)

Reviewed Works:Gaisi Takeuti, Proof Theory.Georg Kreisel, Proof Theory: Some Personal Recollections.Wolfram Pohlers, Contributions of the Schutte School in Munich to Proof Theory.Stephen G. Simpson, Subsystems of $\mathbf{Z}_2$ and Reverse Mathematics.Solomon Feferman, Proof Theory: A Personal Report.

This article explains and discusses the relationship between traditional legislative processes and the development of automated government decision-making systems. The juridical aspects of systems development should be regarded as invisible quasi-legislation. The author investigates and discusses possible ways of changing the legislative process with a view to increasing and improving political involvement in processes today often regarded as mere implementation, and thereby safeguard that important parts of the law of our computerised society is situated in the public domain.

A semantics may be compositional and yet partial, in the sense that not all well-formed expressions are assigned meanings by it. Examples come from both natural and formal languages. When can such a semantics be extended to a total one, preserving compositionality? This sort of extension problem was formulated by Hodges, and solved there in a particular case, in which the total extension respects a precise version of the fregean dictum that the meaning of an expression is the contribution it (...) makes to the meanings of complex phrases of which it is a part. Hodges' result presupposes the so-called Husserl property, which says roughly that synonymous expressions must have the same category. Here I solve a different version of the compositional extension problem, corresponding to another type of linguistic situation in which we only have a partial semantics, and without assuming the Husserl property. I also briefly compare Hodges' framework for grammars in terms of partial algebras with more familiar ones, going back to Montague, which use many-sorted algebras instead. (shrink)

It has been common in contemporary logic and philosophy of logic to identify the validity of an inference with its conclusion being a (logical) consequence of its premisses.

We study the logical and computational properties of basic theorems of uncountable mathematics, including the Cousin and Lindelöf lemma published in 1895 and 1903. Historically, these lemmas were among the first formulations of open-cover compactness and the Lindelöf property, respectively. These notions are of great conceptual importance: the former is commonly viewed as a way of treating uncountable sets like e.g. [Formula: see text] as “almost finite”, while the latter allows one to treat uncountable sets like e.g. [Formula: see text] (...) as “almost countable”. This reduction of the uncountable to the finite/countable turns out to have a considerable logical and computational cost: we show that the aforementioned lemmas, and many related theorems, are extremely hard to prove, while the associated sub-covers are extremely hard to compute. Indeed, in terms of the standard scale (based on comprehension axioms), a proof of these lemmas requires at least the full extent of second-order arithmetic, a system originating from Hilbert–Bernays’ Grundlagen der Mathematik. This observation has far-reaching implications for the Grundlagen’s spiritual successor, the program of Reverse Mathematics, and the associated Gödel hierarchy. We also show that the Cousin lemma is essential for the development of the gauge integral, a generalization of the Lebesgue and improper Riemann integrals that also uniquely provides a direct formalization of Feynman’s path integral. (shrink)

Ibn al-'Arabī (d. 1240) was one of the towering figures of Islamic intellectual history, and among Sufis still bears the title of al-shaykh al-akbar, or "the greatest master." Ibn al-'Arabī and Islamic Intellectual Culturetraces the history of the concept of "oneness of being" (wahdat al-wujūd) in the school of Ibn al- 'Arabī, in order to explore the relationship between mysticism and philosophy in Islamic intellectual life. It examines how the conceptual language used by early mystical writers became increasingly engaged over (...) time with the broader Islamic intellectual culture, eventually becoming integrated with the latter's common philosophical and theological vocabulary. It focuses on four successive generations of thinkers (Sadr al-Dīn al-Qūnawī, Mu'ayyad al-Dīn al-Jandī, 'Abd al-Razzāq al-Kāshānī, and Dāwūd al-Qaysarī), and examines how these "philosopher-mystics" refined and developed the ideas of Ibn al-'Arabī. Through a close analysis of texts, the book clearly traces the crystallization of an influential school of thought in Islamic history and its place in the broader intellectual culture. Offering an exploration of the development of Sufi expression and thought, this book will be a valuable resource for students and scholars of Islamic thought, philosophy, and mysticism. (shrink)

We may try to explain proofs as chains of valid inference, but the concept of validity needed in such an explanation cannot be the traditional one. For an inference to be legitimate in a proof it must have sufficient epistemic power, so that the proof really justifies its final conclusion. However, the epistemic concepts used to account for this power are in their turn usually explained in terms of the concept of proof. To get out of this circle we may (...) consider an idea within intuitionism about what it is to justify the assertion of a proposition. It depends on Heyting’s view of the meaning of a proposition, but does not presuppose the concept of inference or of proof as chains of inferences. I discuss this idea and what is required in order to use it for an adequate notion of valid inference. (shrink)

The traditional picture of logic takes it for granted that "valid arguments have a fundamental epistemic significance", but neither model theory nor traditional proof theory dealing with formal system has been able to give an account of this significance. Since valid arguments as usually understood do not in general have any epistemic significance, the problem is to explain how and why we can nevertheless use them sometimes to acquire knowledge. It is suggested that we should distinguish between arguments and acts (...) of inferences and that we have to reconsider the latter notion to arrive at the desired explanation. More precisely, the notions should be developed so that the following relationship holds: one gets in possession of a ground for a conclusion by inferring it from premisses for which one already has grounds, provided that the inference in question is valid. The paper proposes explications of the concepts of ground and deductively valid inference so that this relationship holds as a conceptual truth. Logical validity of inference is seen as a special case of deductive validity, but does not add anything as far as epistemic significance is concerned—it resides already in the deductively valid inferences. (shrink)

I attempt an explication of what it means for an operation across domains to be the same on all domains, an issue that ) took to be central for a successful delimitation of the logical operations. Some properties that seem strongly related to sameness are examined, notably isomorphism invariance, and sameness under extensions of the domain. The conclusion is that although no precise criterion can satisfy all intuitions about sameness, combining the two properties just mentioned yields a reasonably robust and (...) useful explication of sameness across domains. (shrink)

In the 12th century the "Book of the Soul" by the philosopher Avicenna was translated from Arabic into Latin. It had an immense success among scholastic writers and deeply influenced the structure and content of many psychological works of the Middle Ages. The reception of Avicenna's book is the story of cultural contact at an imipressively high intellectural level. The present volume investigates this successful reception using two approaches. The first is chronological, tracing the stages by which Avicenna's work was (...) accepted and adapted by Latin scholars. The second is doctrinal, analyzing the fortunes of key doctrines. The sense of the original Arabic text of Avicenna is kept in mind throughout and the degree to which his original Latin interpreters succeeded in conveying it is evaluated. (shrink)

This article points out problems in current dynamic treatments of anaphora and provides a new account that solves these by grafting Muskens' Compositional Discourse Representation Theory onto a partial theory of types. Partiality is exploited to keep track of which discourse referents have been introduced in the text (thus avoiding the overwrite problem) and to account for cases of anaphoric failure. Another key assumption is that the set of discourse referents is well-ordered, so that we can keep track of the (...) order in which they have been introduced, allowing a semantic characterization of anaphoric accessibility across stretches of discourse. Unlike other dynamic approaches, the system defines semantic values for unresolved anaphors. This leads to a clear separation of monotonic and non-monotonic content (in this case anaphoric resolution) and arguably provides a sound basis for a non-monotonic theory of anaphoric resolution. (shrink)

We investigate the connections between computability theory and Nonstandard Analysis. In particular, we investigate the two following topics and show that they are intimately related. A basic property of Cantor space$2^ $ is Heine–Borel compactness: for any open covering of $2^ $, there is a finite subcovering. A natural question is: How hard is it to compute such a finite subcovering? We make this precise by analysing the complexity of so-called fan functionals that given any $G:2^ \to $, output a (...) finite sequence $\langle f_0, \ldots,f_n \rangle $ in $2^ $ such that the neighbourhoods defined from $\overline {f_i } G\left$ for $i \le n$ form a covering of $2^ $. A basic property of Cantor space in Nonstandard Analysis is Abraham Robinson’s nonstandard compactness, i.e., that every binary sequence is “infinitely close” to a standard binary sequence. We analyse the strength of this nonstandard compactness property of Cantor space, compared to the other axioms of Nonstandard Analysis and usual mathematics.Our study of yields exotic objects in computability theory, while leads to surprising results in Reverse Mathematics. We stress that and are highly intertwined, i.e., our study is holistic in nature in that results in computability theory yield results in Nonstandard Analysis and vice versa. (shrink)

I see the question what it is that makes an inference valid and thereby gives a proof its epistemic power as the most fundamental problem of general proof theory. It has been surprisingly neglected in logic and philosophy of mathematics with two exceptions: Gentzen’s remarks about what justifies the rules of his system of natural deduction and proposals in the intuitionistic tradition about what a proof is. They are reviewed in the paper and I discuss to what extent they succeed (...) in answering what a proof is. Gentzen’s ideas are shown to give rise to a new notion of valid argument. At the end of the paper I summarize and briefly discuss an approach to the problem that I have proposed earlier. (shrink)