Within a weak subsystem of second-order arithmetic , that is -conservative over , we reformulate Kreisel's proof of the Second Incompleteness Theorem and Boolos' proof of the First Incompleteness Theorem.

世界の三人宗教が祖、大預言者と仰ぐアブラハム。「すべての父なるアブラハム」の生涯を通した人間の在り方と信仰を、キリスト教的人間形成論という視点から考えていく。.

In this note we show that groups with definable generics in a separably closed valued field K of finite imperfection degree can be embedded into groups definable in the algebraic closure of K.

Background In current Western medical ethics, patient-centered medicine is considered the norm. However, the cultural background of collectivism in East Asia often leads to family-centered decision-making. In Japan, prior studies have reported that family-centered decision-making is more likely to be preferred in situations of disease notification and end-of-life decision-making. Nonetheless, there has been a recent shift from collectivism to individualism due to changes in the social structure. Various personal factors have also been reported to influence moral decision-making. Therefore, this study (...) examined whether the current trend in attitudes of healthcare decision-making in Japan is family-centered or patient-centered among the general public and physicians. In addition, the personal factors that influence this tendency were examined.Methods Three vignettes on disease notification and two vignettes on decision-making during end-of-life care were created, and 457 members of the public and 284 physicians were asked about their attitudes (behavioral intentions) regarding these vignettes.Results Approximately, 95% of physicians were patient-centered in explaining the patient’s severe medical condition. However, approximately 80% of physicians emphasized the wishes of the family over patient wishes when making life-sustaining decisions. Nearly half the general public emphasized the patient’s wishes in the explanation of a severe medical condition and in life-sustaining decisions. In both the public and physician groups, personal factors, particularly the presence or absence of a disease under treatment and prior caregiving experience, influenced ethical attitudes toward medical treatment decisions.Conclusions In relatively low-conflict situations, such as the announcement of a patient’s medical condition, physicians tended to be patient-centered, while they tended to be family-centered in situations of strong conflict in withholding life-sustaining treatment. The fact that personal factors influenced the family-centered response in situations of strong conflict highlights the importance of not only acquiring knowledge of medical ethics but also learning to fairly apply this knowledge in practice. (shrink)

In ‘Causes and Reasons of Desert Islands’, Gilles Deleuze presents a mythological and scientific vision in which new islands and new humanity emerge from the opposition between the land and sea in desert islands. However, what Deleuze cannot explain is how such new territory and people are produced and reproduced while rejecting old and conventional generational ways. To break this impasse, which is also present in Difference and Repetition, Deleuze and Guattari intend to retain the absolute movement of deterritorialisation, while (...) acknowledging that deterritorialisation and reterritorialisation always comingle. This theoretical project is found in the critique of Pierre Clastres on counter-state societies, and is taken up by Deleuze and Guattari in What is Philosophy? In this latter work, by creating concepts and constituting a new plane, Deleuze and Guattari offer some conditions of a third reterritorialisation that, after the second reterritorialisation in the democratic states, presents a new way of forging a political and revolutionary philosophy. In this essay, we criticise the opinions that consider Deleuze and Guattari's political philosophy as one version of radical democracy. Their political philosophy should be situated in the post-democratic era to come. (shrink)

生命科学、医学、社会学、経済学、そして、政治学。あらゆる知の最新の達成を渉猟し、法・政治・制度といった現実の問題を真正面から考え続けてきた哲学者が、研ぎ澄まされた言葉で「生」を描きだす。.

Proposes a provocative reinterpretation of poststructuralist theory of power The “structuralist” theories of power show that the subject is produced and reproduced by the investment of power: but how then can we then think of the subject’s resistance to power? Based on this fundamental question, Power and Resistance interprets critically the (post-)structuralist theory of power and resistance, i.e., the theories of Foucault, Deleuze and Guattari, Derrida and Althusser. It analyses also the mechanism of power and the strategies of resistance in (...) the era of neoliberalism. This meticulous analysis that completely renewed the theory of power is already published in French, Japanese, and Korean with success. (shrink)

Recently, Edwards and Liaschenko questioned the validity of an argument put forward by Dr Søren Holm and Joseph Dunne concerning the impossibility of a theory of nursing. Taking into consideration the premises of the argument, I describe how Maritain's conception of philosophy allows for the possibility of a theory of nursing conceived as a philosophy of nursing art that is both practical and propositional in nature. As well, I identify how the philosophy of nursing art guides nursing art in developing (...) and applying other kinds of artistic practical nursing knowledge: artistic nursing rules and artistic prudential nursing judgements. Finally, the relationship of ethical knowledge to artistic practical nursing knowledge is set down. (shrink)

Background According to some medical ethicists and professional guidelines, there is no ethical difference between withholding and withdrawing life-sustaining treatment. However, medical professionals do not always agree with this notion. Patients and their families may also not regard these decisions as equivalent. Perspectives on life-sustaining treatment potentially differ between cultures and countries. This study compares Japanese physicians’ and citizens’ attitudes toward hypothetical cases of withholding and withdrawing life-sustaining treatment.Methods Ten vignette cases were developed. A web-based questionnaire was administered to 457 (...) citizens and 284 physicians to determine whether they supported withholding or withdrawing treatment.Results In a case where a patient had an advance directive refusing ventilation, 77% of the physicians and 68% of the citizens chose to withhold treatment. In a case where there was an advance directive but the patient’s family requested treatment, 55% of the physicians and 45% of the citizens chose to withhold the ventilator. When a family requested withdrawal of the ventilator but patient wishes were unknown, 19% of the physicians and 48% of the citizens chose to withdraw the ventilator. However, when the patient had also indicated their wishes in writing, 49% of the physicians and 66% of the citizens chose to withdraw treatment. More physicians were prepared to withdraw dialysis (84%) and artificial nutrition (81%) at a patient’s request than mechanical ventilation (49%).Conclusions A significant proportion of Japanese physicians and citizens were reluctant to withhold or withdraw life-sustaining treatment, even in cases where the patient had indicated their wishes in writing. They were more likely to withhold than withdraw treatment, and more likely to withdraw artificial nutrition than mechanical ventilation. Japanese physicians gave significant weight to family views about treatment but were less likely to agree to withdraw treatment than citizens, indicating a potential source of conflict in clinical settings. (shrink)

While some studies suggest cultural differences in visual processing, others do not, possibly because the complexity of their tasks draws upon high-level factors that could obscure such effects. To control for this, we examined cultural differences in visual search for geometric figures, a relatively simple task for which the underlying mechanisms are reasonably well known. We replicated earlier results showing that North Americans had a reliable search asymmetry for line length: Search for long among short lines was faster than vice (...) versa. In contrast, Japanese participants showed no asymmetry. This difference did not appear to be affected by stimulus density. Other kinds of stimuli resulted in other patterns of asymmetry differences, suggesting that these are not due to factors such as analytic/holistic processing but are based instead on the target-detection process. In particular, our results indicate that at least some cultural differences reflect different ways of processing early-level features, possibly in response to environmental factors. (shrink)

When building personal relationships, it is important to select optimal partners, even based on the first meeting. This study was inspired by the idea that people who smile are considered more trustworthy and attractive. However, this may not always be true in daily life. Previous studies have used a relatively simple method of judging others by presenting a photograph of one person’s face. To move beyond this approach and examine more complex situations, we presented the faces of two people confronted (...) with each other to participants and asked them to judge them from a third-person perspective. Through three experiments, participants were asked to judge which of the two persons was more appropriate for forming alliances, more trustworthy, or more attractive, respectively. In all experiments, images were shown for a short or a long time. In all three experiments, the results showed that participants were more likely to choose persons with happy faces than those with neutral, sad, or angry faces when the image presentation was short. Contrarily, the facial expressions did not affect those judgments when the image presentation was long. Instead, judgments were correlated with personality estimated from the model’s neutral face in a single-person presentation. These results suggest that although facial expressions can affect the judgments of others when observing two-person confrontations from a third-person perspective, when participants have more time to elaborate their judgments, they go beyond expressions. (shrink)

Recently, a concern has been raised about a particular kind of behaviour that is adversely affecting the quality of nursing theoretical discourse. With the behaviour being attributed to nurses’ tendency to think in binary terms, it has been proposed that nurses replace their binary way of thinking with thinking that is inclusive and expansive and is based on an epistemology of contradiction. While agreeing that the behaviour of concern is indeed unscholarly, I disagree that the culprit is the binary. In (...) this commentary, I argue that the culprit is sophistical argumentation involving a binary (real or not) and that, by not making room for legitimate binaries, we run the danger of ‘throwing out the baby with the bathwater’. Further, I argue that the proffered solution is illusory. Its epistemological basis prohibits the deliverance of that which is promised. (shrink)

This paper introduces sequent systems for Visser's two propositional logics: Basic Propositional Logic (BPL) and Formal Propositional Logic (FPL). It is shown through semantical completeness that the cut rule is admissible in each system. The relationships with Hilbert-style axiomatizations and with other sequent formulations are discussed. The cut-elimination theorems are also demonstrated by syntactical methods.

This article proposes a methodological schema for engaging in a productive discussion of ethical issues regarding human brain organoids, which are three-dimensional cortical neural tissues created using human pluripotent stem cells. Although moral consideration of HBOs significantly involves the possibility that they have consciousness, there is no widely accepted procedure to determine whether HBOs are conscious. Given that this is the case, it has been argued that we should adopt a precautionary principle about consciousness according to which, if we are (...) not certain whether HBOs have consciousness—and where treating HBOs as not having consciousness may cause harm to them—we should proceed as if they do have consciousness. This article emphasizes a methodological advantage of adopting the precautionary principle: it enables us to sidestep the question of whether HBOs have consciousness and, instead, directly address the question of what kinds of conscious experiences HBOs can have, where the what-kind-question is more tractable than the whether-question. By addressing the what-kind-question, we will be able to examine how much moral consideration HBOs deserve. With this in mind, this article confronts the what-kind-question with the assistance of experimental studies of consciousness and suggests an ethical framework which supports restricting the creation and use of HBOs in bioscience. (shrink)

During clinical ethics consultation training, hands-on practice after acquiring the necessary knowledge under an experienced clinical ethics consultant's supervision is an effective method of obtaining technical and practical skills. However, in regions where clinical ethics consultation is still nascent, few experienced clinical ethics consultants exist. The number of clinical ethics consultation cases is small, making on-the-job training significantly difficult. To address this problem, this study developed a remote supervision program using e-mail and ZOOM and evaluated its effectiveness using Kirkpatrick's learning (...) effectiveness model. The findings confirmed the good learning effects of both programs. In particular, ZOOM's learning effectiveness was greater than e-mail's in Level 2 learning effects. Nevertheless, remote supervision may be an effective method when in-person training is difficult, such as in countries with developing clinical ethics consultations or during the outbreak of infection. (shrink)

This study aims to develop guidelines of key concepts and specific considerations to make the research more ethical when conducting neurological examinations and treatment interventions in mentally ill patients. We analyzed guideline development theory and literature, previous issues, and discussions with specialists of philosophy, medicine, sociology, and bioethics. The selection of research participants, drafting of intervention plans, and informed consent process were examined with reference to the dual burden; the minimal risk as a general rule of ethical allowance levels, assent (...) and dissent to assess the individual’s judgment capacity for consent, relational autonomy for personal consent with assistance by the proxy, and risk/benefit assessments. When conducting studies, this guideline requires that these three processes be set up appropriately on a case-by-case basis. (shrink)

By formalizing Berry's paradox, Vopěnka, Chaitin, Boolos and others proved the incompleteness theorems without using the diagonal argument. In this paper, we shall examine these proofs closely and show their relationships. Firstly, we shall show that we can use the diagonal argument for proofs of the incompleteness theorems based on Berry's paradox. Then, we shall show that an extension of Boolos' proof can be considered as a special case of Chaitin's proof by defining a suitable Kolmogorov complexity. We shall show (...) also that Vopěnka's proof can be reformulated in arithmetic by using the arithmetized completeness theorem. (shrink)

This study explored representations of self-injury in Japanese manga. A content analysis of fifteen slice-of-life manga published between 2000-2017 was conducted, focusing on forty scenes that depict eighteen characters engaging in self-injury. Most depictions of self-injury reflect a stereotypical perception of “self-injurer,” a young girl cutting herself to cope with negative emotion. Characters receive informal support from friends and partners, while parents are portrayed as unsupportive and even triggering. An emergent trend was observed among manga targeting male readers to label (...) self-injuring women as “menhera” - mentally vulnerable damsels in distress - inviting a fetishistic gaze on the self-injuring female bodies. (shrink)

We consider a set-theoretic version of mereology based on the inclusion relation ⊆ and analyze how well it might serve as a foundation of mathematics. After establishing the non-definability of ∈ from ⊆, we identify the natural axioms for ⊆-based mereology, which constitute a finitely axiomatizable, complete, decidable theory. Ultimately, for these reasons, we conclude that this form of set-theoretic mereology cannot by itself serve as a foundation of mathematics. Meanwhile, augmented forms of set-theoretic mereology, such as that obtained by (...) adding the singleton operator, are foundationally robust. (shrink)

We give a proof of Gödel's first incompleteness theorem based on Berry's paradox, and from it we also derive the second incompleteness theorem model-theoretically.

It is well known that Gödel’s incompleteness theorems hold for ∑1-definable theories containing Peano arithmetic. We generalize Gödel’s incompleteness theorems for arithmetically definable theories. First, we prove that every ∑n+1-definable ∑n-sound theory is incomplete. Secondly, we generalize and improve Jeroslow and Hájek’s results. That is, we prove that every consistent theory having ∏n+1set of theorems has a true but unprovable ∏nsentence. Lastly, we prove that no ∑n+1-definable ∑n-sound theory can prove its own ∑n-soundness. These three results are generalizations of Rosser’s (...) improvement of the first incompleteness theorem, Gödel’s first incompleteness theorem, and the second incompleteness theorem, respectively. (shrink)

We shall prove the second incompleteness theorem via Kolmogorov complexity.

We present a version of Herbelin’s image-calculus in the call-by-name setting to study the precise correspondence between normalization and cut-elimination in classical logic. Our translation of λμ-terms into a set of terms in the calculus does not involve any administrative redexes, in particular η-expansion on μ-abstraction. The isomorphism preserves β,μ-reduction, which is simulated by a local-step cut-elimination procedure in the typed case, where the reduction system strictly follows the “ cut=redex” paradigm. We show that the underlying untyped calculus is confluent (...) and enjoys the PSN property for the isomorphic image of λμ-calculus, which in turn yields a confluent and strongly normalizing local-step cut-elimination procedure for classical logic. (shrink)

We define a liar-type paradox as a consistent proposition in propositional modal logic which is obtained by attaching boxes to several subformulas of an inconsistent proposition in classical propositional logic, and show several famous paradoxes are liar-type. Then we show that we can generate a liar-type paradox from any inconsistent proposition in classical propositional logic and that undecidable sentences in arithmetic can be obtained from the existence of a liar-type paradox. We extend these results to predicate logic and discuss Yablo’s (...) Paradox in this framework. Furthermore, we define explicit and implicit self-reference in paradoxes in the incompleteness phenomena. (shrink)