This paper is a presentation of astatus quæstionis, to wit of the problemof the interpretability logic of all reasonablearithmetical theories.We present both the arithmetical side and themodal side of the question.Dedicated to Dick de Jongh on the occasion of his 60th birthday.

The logic of information flow has applications in both computer science and natural language processing and is a growing area within mathematical and philosophical logic.

Background One of the objectives of medicine is to relieve patients' suffering. As a consequence, it is important to understand patients' perspectives of suffering and their ability to cope. However, there is poor insight into what determines their suffering and their ability to bear it. Purpose To explore the constituent elements of suffering of patients who explicitly request euthanasia or physician-assisted suicide (EAS) and to better understand unbearable suffering from the patients' perspective. Patients and methods A qualitative study using in-depth (...) face-to-face interviews was conducted with 31 patients who had requested EAS. The grounded theory approach was used to analyse the data. Results Medical, psycho-emotional, socio-environmental and existential themes contributed to suffering. Especially fatigue, pain, decline, negative feelings, loss of self, fear of future suffering, dependency, loss of autonomy, being worn out, being a burden, loneliness, loss of all that makes life worth living, hopelessness, pointlessness and being tired of living were constituent elements of unbearable suffering. Only patients with a psychiatric (co)diagnosis suffered unbearably all the time. Conclusions Unbearable suffering is the outcome of an intensive process that originates in the symptoms of illness and/or ageing. According to patients, hopelessness is an essential element of unbearable suffering. Medical and social elements may cause suffering, but especially when accompanied by psycho-emotional and existential problems suffering will become ‘unbearable’. Personality characteristics and biographical aspects greatly influence the burden of suffering. Unbearable suffering can only be understood in the continuum of the patients' perspectives of the past, the present and expectations of the future. (shrink)

For various domains in proportional reasoning cognitive development is characterized as a progression through a series of increasingly complex rules. A multiplicative relationship between two task features, such as weight and distance information of blocks placed at both sides of the fulcrum of a balance scale, appears difficult to discover. During development, children change their beliefs about the balance scale several times: from a focus on the weight dimension (Rule I) to occasionally considering the distance dimension (Rule II), guessing (Rule (...) III), and applying multiplication (Rule IV; Siegler, 1981). Because of the detailed empirical findings the balance scale task has become a benchmark task for computational models of proportional reasoning. In this article, we present a large empirical study (N = 420) of which the findings provide a challenge for computational models. The effect of feedback and the effect of individually adapted training items on rule transition were tested for children using Rule I or Rule II. Presenting adapted training items initiates belief revision for Rule I but not for Rule II. The experience of making mistakes (by providing feedback) induces a change for both Rule I and Rule II. However, a delayed posttest shows that these changes are preserved after 2 weeks only for children using Rule I. We conclude that the transition from Rule I to Rule II differs from the transition from Rule II to a more complex rule. Concerning these empirical findings, we will review performance of computational models and the implications for a future belief revision model. It is one Thing, to show a Man that he is in an Error, and another, to put him in possession of Truth. John Locke. (shrink)

Signs of mankind's solidarity, by J. R. Nelson.--Mankind, Israel and the nations in the Hebraic heritage, by M. Greenberg.--Christian insights from biblical sources, by C. Maurer.--Muhammad and all men, by D. Rahbar.--The impact of New World discovery upon European thought of man, by E. J. Burrus.--The effects of colonialism upon the Asian understanding of man, by J. G. Arapura.--Religious pluralism and the quest for human community, by S. J. Samartha.--From Confucian gentleman to the new Chinese 'political' man, by D. A. (...) Robinson.--The scientific revolution and the unity of man, by B. Towers.--Language and communication, by E. A. Nida.--Man and the son of man, by J. Moltmann.--The potentiality of conciliarity: communion, conscience, council, by W. B. Blakemore.--Oneness must mean wholeness, by J. R. Nelson. (shrink)

There is a growing interest in how people conceptualise the legal domain for the purpose of legal knowledge systems. In this paper we discuss four such conceptualisations (referred to as ontologies): McCarty's language for legal discourse, Stamper's norma formalism, Valente's functional ontology of law, and the ontology of Van Kralingen and Visser. We present criteria for a comparison of the ontologies and discuss the strengths and weaknesses of the ontologies in relation to these criteria. Moreover, we critically review the (...) criteria. (shrink)

Einheit der Kirche und Einheit der Menschheit, by W. Pannenberg.--Die Menschheit, Israel und die Nationen in hebräischer Überlieferung, by M. Greenberg.--Die Einheit der Menschheit in biblischer Sicht, by C. Maurer.--Einheit und Entfremdung im Islam, by H. Askari.--Die Entdeckung Amerikas und das europäische Menschenbild, by L. González Rodríguez.--Der Einfluss des Kolonialismus auf das asiatische Verständnis vom Menschen, by J. G. Arapura.--Religiöser Pluralismus und die Suche nach menschlicher Gemeinschaft, by S. J. Samartha.--Vom konfuzianischen Edelmann zum neuen chinesischen "politischen Menschen", by D. A. (...) Robinson.--Die Revolution der Wissenschaft und die Einheit der Menschheit, by B. Towers.--Sprache und Kommunikation, by E. A. Nida.--Die Theologie der Tradition als Grundlage der Einheit, by N. A. Nissiotis. (shrink)

A diagnosis of dementia often comes with difficulties in understanding a conversational context and expressing how one feels. So far, research on how to facilitate advance care planning for people with dementia focused on defining relevant themes and topics for conversations, or on how to formalize decisions made by surrogate decision makers, e.g., family members. The aim of this review is to provide a better scope of the existing research on practical communication aspects related to dementia in ACP conversations. In (...) November 2020, seven databases were searched to select papers for inclusion. This search was updated in December 2021. The search strategy consisted of three tiers, intersected by using the Boolean term “AND,” and resulted in 787 studies. Two researchers followed explicit criteria for two sequential levels of screening, based on titles and abstracts and full papers. A total of 22 studies were included for data analysis. Seven topics emerged clustered around two themes. This scoping review provides practical suggestions for healthcare professionals to improve ACP communication and uncovered gaps in research on communication aspects related to dementia in ACP conversations, such as non-verbal behavior, timing and implementation, and personal preferences. (shrink)

Yarkoni's analysis clearly articulates a number of concerns limiting the generalizability and explanatory power of psychological findings, many of which are compounded in infancy research. ManyBabies addresses these concerns via a radically collaborative, large-scale and open approach to research that is grounded in theory-building, committed to diversification, and focused on understanding sources of variation.

With technological possibilities in healthcare steadily increasing, more tools for digital cognitive rehabilitation become available. Acceptance of such technological advances is crucial for successful implementation. Therefore, we examined technology acceptance specifically for this form of rehabilitation in a sample of healthcare providers involved in cognitive rehabilitation. An adjusted version of the Technology Acceptance Model questionnaire was used, including the subscales for perceived usefulness, perceived ease of use, subjective norm, and intention to use, which all contribute to actual use of a (...) specific technology. Results indicate a generally favorable attitude toward the use of digital cognitive rehabilitation and positive responses toward the TAM constructs. Only for subjective norm, a neutral mean response was found, indicating that this could pose a potential obstacle toward implementation. Potential differences between subgroups of different age, gender, and professional background were assessed. Age and gender did not affect the attitude toward digital cognitive rehabilitation. Occupational therapists showed lower scores than healthcare psychologists and physiatrists with regard to perceived usefulness, possibly linked to a difference in operational and managerial tasks. The findings of his study stimulate further implementation of digital cognitive rehabilitation, where the role of subjective norms should be specifically considered. (shrink)

Most models of response time (RT) in elementary cognitive tasks implicitly assume that the speed-accuracy trade-off is continuous: When payoffs or instructions gradually increase the level of speed stress, people are assumed to gradually sacrifice response accuracy in exchange for gradual increases in response speed. This trade-off presumably operates over the entire range from accurate but slow responding to fast but chance-level responding (i.e., guessing). In this article, we challenge the assumption of continuity and propose a phase transition model for (...) RTs and accuracy. Analogous to the fast guess model (Ollman, 1966), our model postulates two modes of processing: a guess mode and a stimulus-controlled mode. From catastrophe theory, we derive two important predictions that allow us to test our model against the fast guess model and against the popular class of sequential sampling models. The first prediction—hysteresis in the transitions between guessing and stimulus-controlled behavior—was confirmed in an experiment that gradually changed the reward for speed versus accuracy. The second prediction—bimodal RT distributions—was confirmed in an experiment that required participants to respond in a way that is intermediate between guessing and accurate responding. (shrink)

For successful goal-directed behavior, a performance monitoring system is essential. It detects behavioral errors and initiates behavioral adaptations to improve performance. Two electrophysiological potentials are known to follow errors in reaction time tasks: the error-related negativity, which is linked to error processing, and the error positivity, which is associated with subjective error awareness. Furthermore, the correct-related negativity is linked to uncertainty about the response outcome. Here we attempted to identify the involvement of the nucleus accumbens in the aforementioned performance monitoring (...) processes. To this end, we simultaneously recorded cortical activity and local field potentials during a flanker task performed by four patients with severe opioid abuse disorder who underwent electrode implantation in the NAc for deep brain stimulation. We observed significant accuracy-related modulations in the LFPs at the time of the ERN/CRN in two patients and at the time of Pe in three patients. These modulations correlated with the ERN in 2/8, with CRN in 5/8 and with Pe in 6/8, recorded channels, respectively. Our results demonstrate the functional interrelation of striatal and cortical processes in performance monitoring specifically related to error processing and subjective error awareness. (shrink)

The anticipated social capabilities of robots may allow them to serve in authority roles as part of human-machine teams. To date, it is unclear if, and to what extent, human team members will comply with requests from their robotic teammates, and how such compliance compares to requests from human teammates. This research examined how the human-likeness and physical embodiment of a robot affect compliance to a robot's request to perseverate utilizing a novel task paradigm. Across a set of two studies, (...) participants performed a visual search task while receiving ambiguous performance feedback. Compliance was evaluated when the participant requested to stop the task and the coach urged the participant to keep practicing multiple times. In the first study, the coach was either physically co-located with the participant or located remotely via a live-video. Coach type varied in human-likeness and included either a real human, a Nao robot, or a modified Roomba robot. The second study expanded on the first by including a Baxter robot as a coach and replicated the findings in a different sample population with a strict chain of command culture. Results from both studies showed that participants comply with the requests of a robot for up to 11 min. Compliance is less than to a human and embodiment and human-likeness on had weak effects on compliance. (shrink)

BackgroundObtaining informed consent for intravenous thrombolysis in acute ischemic stroke can be challenging, and little is known about if and how the informed consent procedure is performed by neurologists in clinical practice. This study examines the procedure of informed consent for intravenous thrombolysis in acute ischemic stroke in high-volume stroke centers in the Netherlands.MethodsIn four high volume stroke centers, neurology residents and attending neurologists received an online questionnaire concerning informed consent for thrombolysis with tissue-type plasminogen activator (tPA). The respondents were (...) asked to report their usual informed consent practice for tPA treatment and their considerations on whether informed consent should be obtained.ResultsFrom the 203 invited clinicians, 50% (n = 101) completed the questionnaire. One-third of the neurology residents (n = 21) and 21% of the neurologists (n = 8) reported that they always obtain informed consent for tPA treatment. If a patient is not capable of providing informed consent, 30% of the residents (n = 19) reported that they start tPA treatment without informed consent. In these circumstances, 53% of the neurologists (n = 20) reported that the resident under their supervision would start tPA treatment without informed consent. Most neurologists (n = 21; 55%) and neurology residents (n = 45; 72%) obtained informed consent within one minute. None of the respondents used more than five minutes for informed consent. Important themes regarding obtaining informed consent for treatment were patients’ capacity, and medical, ethical and legal considerations.ConclusionThe current practice of informed consent for thrombolysis in acute ischemic stroke varies among neurologists and neurology residents. If informed consent is obtained, most clinicians stated to obtain informed consent within one minute. In the future, a shortened information provision process may be applied, making a shift from informed consent to informed refusal, while still considering the patient’s capacity, stroke severity, and possible treatment delays. (shrink)

The series was founded in 1896. It is dedicated to important Greek and Latin texts together with translations and commentaries, as well as detailed introductions, thus rendering them more accessible to a broader readership. Since 2000 the series has concentrated on "Homer's Iliad. A full commentary", presenting the text of the Iliad (by M. L. West), a translation (by J. Latacz) and a commentary in German.

In this paper, we characterize the strength of the predicative Frege hierarchy, , introduced by John Burgess in his book [J. Burgess, Fixing frege, in: Princeton Monographs in Philosophy, Princeton University Press, Princeton, 2005]. We show that and are mutually interpretable. It follows that is mutually interpretable with Q. This fact was proved earlier by Mihai Ganea in [M. Ganea, Burgess’ PV is Robinson’s Q, The Journal of Symbolic Logic 72 619–624] using a different proof. Another consequence of the our (...) main result is that is mutually interpretable with Kalmar Arithmetic . The fact that interprets EA was proved earlier by Burgess. We provide a different proof. Each of the theories is finitely axiomatizable. Our main result implies that the whole hierarchy taken together, , is not finitely axiomatizable. What is more: no theory that is mutually locally interpretable with is finitely axiomatizable. (shrink)

Drawing on ethical and legal frameworks in the Netherlands, the United States and France, we examine whether physicians are expected to inform patients about potentially relevant opportunities for expanded access to investigational drugs. While we found no definitive legal obligation, we argue that physicians have a moral obligation to discuss opportunities for expanded access with patients who have run out of treatment options to prevent inequality, to promote autonomy, and to achieve beneficence.

Vardanyan’s Theorems [36, 37] state that $\mathsf {QPL}(\mathsf {PA})$ —the quantified provability logic of Peano Arithmetic—is $\Pi ^0_2$ complete, and in particular that this already holds when the language is restricted to a single unary predicate. Moreover, Visser and de Jonge [38] generalized this result to conclude that it is impossible to computably axiomatize the quantified provability logic of a wide class of theories. However, the proof of this fact cannot be performed in a strictly positive signature. The system (...) $\mathsf {QRC_1}$ was previously introduced by the authors [1] as a candidate first-order provability logic. Here we generalize the previously available Kripke soundness and completeness proofs, obtaining constant domain completeness. Then we show that $\mathsf {QRC_1}$ is indeed complete with respect to arithmetical semantics. This is achieved via a Solovay-type construction applied to constant domain Kripke models. As corollaries, we see that $\mathsf {QRC_1}$ is the strictly positive fragment of $\mathsf {QGL}$ and a fragment of $\mathsf {QPL}(\mathsf {PA})$. (shrink)