The Knowability Paradox purports to show that the controversial but not patently absurd hypothesis that all truths are knowable entails the implausible conclusion that all truths are known. The notoriety of this argument owes to the negative light it appears to cast on the view that there can be no verification-transcendent truths. We argue that it is overly simplistic to formalize the views of contemporary verificationists like Dummett, Prawitz or Martin-Löf using the sort of propositional modal operators which are employed (...) in the original derivation of the Paradox. Instead we propose that the central tenet of verificationism is most accurately formulated as follows: if φ is true, then there exists a proof of φ Building on the work of Artemov (Bull Symb Log 7(1): 1-36, 2001), a system of explicit modal logic with proof quantifiers is introduced to reason about such statements. When the original reasoning of the Paradox is developed in this setting, we reach not a contradiction, but rather the conclusion that there must exist non-constructed proofs. This outcome is evaluated relative to the controversy between Dummett and Prawitz about proof existence and bivalence. (shrink)

황우석 교수 사건을 종합적으로 분석한 책이 나왔다. 『황우석의 나라』는 황 교수 사태가 요동칠 때 에서 기자생활을 한 이성주가 현장을 지켜보고 이를 분석한 책이다. 저자는 7년 동안 의학팀장을 맡았고 2004년 8월부터 1년 동안 미국 존스홉킨스대에서 연수를 하고 귀국한 뒤 4개월 동안 과학 및 의학 분야의 곁에서 황 교수 사태가 요동치는 현장을 지켜보았다. 이 책은 황우석 사건 보도와 관련해 알려지지 않은 언론계의 현장 이야기, 과학계의 분위기, 황우석의 로비 실태 등을 생생하게 보여준다. 또 이번 사태가 발생하기 이전의 각종 기사를 분석해 언론이 무비판적으로 보도한 (...) 황 교수의 업적이 얼마나 허점투성이인지 설득력 있게 제시하고 있다. 동시에 19세기 말 프랑스를 뒤흔들었던 ‘드레퓌스 사건’과 마찬가지로 언론이 줄기세포처럼 똬리를 틀고 있다고 진단하고 언론의 본질과 역할에 대해 문제를 제기한다. 저자는 제2의 황우석 사건을 예방하기 위해 연구비 심사제도 개선, 연구비에서 간접비의 비중 강화, 언론의 에디터제 도입 등 세세한 대안도 내놓고 있다. (shrink)

The Paradox of the Knower was originally presented by Kaplan and Montague [26] as a puzzle about the everyday notion of knowledge in the face of self-reference. The paradox shows that any theory extending Robinson arithmetic with a predicate K satisfying the factivity axiom K → A as well as a few other epistemically plausible principles is inconsistent. After surveying the background of the paradox, we will focus on a recent debate about the role of epistemic closure principles in the (...) Knower. We will suggest this debate sheds new light on the concept of knowledge which is at issue in the paradox – i.e. is it a “thin” notion divorced from concepts such as evidence or justification, or is it a “thick” notion more closely resembling mathematical provability? We will argue that a number of features of the paradox suggest that the latter option is more plausible. Along the way, we will provide a reconstruction of the paradox using a quantified extension of Artemovʼs [2] Logic of Proofs, as well as a series of results linking the original formulation of the paradox to reflection principles for formal arithmetic. On this basis, we will argue that while the Knower can be understood to motivate a distinction between levels of knowledge, it does not provide a rationale for recognizing a uniform hierarchy of knowledge predicates in the manner suggested by Anderson. (shrink)

The study aimed to identify risk attitudes of users of the Food and Nutrition Unit (UAN)located in Botucatu, SP; correlate them to food safety and to observe if there were behavioral changes after indirect educational intervention. This is an exploratory qualitative analysis study, using a non-participant observation technique. Initially, we sought to identify the most common risk attitudes among users, to develop educational materials relating the conduct during self-service to the possible risks of contamination, and thus to verify if there (...) were behavioral changes. Poor hand hygiene was seen as one of the most important points to work on, as none of the diner participants performed such an attitude. It was possible to observe small changes in the behavior of some users, showing that educational measures should be applied continuously for better awareness and greater effects. (shrink)

We discuss a propositional logic which combines classical reasoning with constructive reasoning, i.e., intuitionistic logic augmented with a class of propositional variables for which we postulate the decidability property. We call it intuitionistic logic with classical atoms. We introduce two hypersequent calculi for this logic. Our main results presented here are cut-elimination with the subformula property for the calculi. As corollaries, we show decidability, an extended form of the disjunction property, the existence of embedding into an intuitionistic modal logic and (...) a partial form of interpolation. (shrink)

Background Nurses providing care to patients with end-of-life or terminal illnesses often encounter ethically challenging situations leading to moral distress. However, existing quantitative studies have examined moral distress using instruments that address general clinical situations rather than those specific to end-of-life care. Furthermore, qualitative studies have often been limited to participants from a single unit or those experiencing moral distress-induced circumstances. A comprehensive and integrated understanding of the overarching process of moral distress is vital to discern the unique circumstances surrounding (...) end-of-life care and its consequential impacts. Research objectives To explore the moral distress experiences of nurses who are frequently involved in caring for patients with end-of-life or terminal illnesses and apply it to two existing theories: the model of moral distress and the ecological model. Research design A qualitative descriptive approach was employed. Participants and research context Seven focus group interviews involving 30 nurses were performed. The subsequent transcriptions underwent rigorous content analysis. Ethical considerations We obtained Institutional Review Board approval from a university. Focus group interviews were conducted with nurses who agreed to participate and signed the consent form. Findings The moral distress-inducing factors and nurses’ perceived impact of moral distress were identified and categorized based on moral distress theories and ecological models. A total of 15 categories and 30 subcategories across the following 4 domains were derived: (1) intrapersonal, (2) interpersonal, (3) organizational, and (4) structural factors. Conclusions End-of-life-specific circumstances induced moral distress among nurses, with both negative and positive impacts identified. Effective organizational and policy support is essential to manage conflicts, form a healthy organizational culture, provide training, and prevent unnecessary expenses due to the negative consequences of moral distress. (shrink)

We tested the hypothesis that “good feelings”—the central element of subjective well-being—are associated with interdependence and interpersonal engagement of the self in Japan, but with independence and interpersonal disengagement of the self in the United States. Japanese and American college students (total N = 913) reported how frequently they experienced various emotional states in daily life. In support of the hypothesis, the reported frequency of general positive emotions (e.g. calm, elated) was most closely associated with the reported frequency of interpersonally (...) engaged positive emotions (e.g. friendly feelings) in Japan, but with the reported frequency of interpersonally disengaged positive emotions (e.g. pride) in the United States. Further, for Americans the reported frequency of experience was considerably higher for positive emotions than for negative emotions, but for Japanese it was higher for engaged emotions than for disengaged emotions. Implications for cultural constructions of emotion in general and subjective well-being in particular are discussed. (shrink)

OBJECTIVES: Life-sustaining treatment at the end of life gives rise to many ethical problems in Japan. Recent surveys of Japanese physicians suggested that they tend to treat terminally ill patients aggressively. We studied why Japanese physicians were reluctant to withhold or withdraw life-support from terminally ill patients and what affected their decisions. DESIGN AND PARTICIPANTS: A qualitative study design was employed, using a focus group interview with seven physicians, to gain an in-depth understanding of attitudes and rationales in Japan regarding (...) medical care at the end of life. RESULTS: Analysis revealed that physicians and patients' family members usually make decisions about life-sustaining treatment, while the patients' wishes are unavailable or not taken into account. Both physicians and family members tend to consider withholding or withdrawing life-sustaining treatment as abandonment or even killing. The strongest reason to start cardiopulmonary resuscitation- and to continue it until patients' family members arrive-seems to be the family members' desire to be at the bedside at the time of death. All physicians participating in our study regarded advance directives that provide information as to patients' wishes about life-sustaining treatment desirable. All expressed concern, however, that it would be difficult to forego or discontinue life-support based on a patient's advance directive, particularly when the patient's family opposed the directive. CONCLUSION: Our group interview suggested several possible barriers to death with dignity and the appropriate use of advance directives in Japan. Further qualitative and quantitative research in this regard is needed. (shrink)

The main aim of Schonfinkel's paper was methodological: to reduce the primitive logical notions to as few and definite notions as possible. ...

Sang. Isŏng 1-chip - 9-chip -- Ha. Isŏng 10-chip - 19-chip.

2. Saebyŏngnyŏk chʻodang esŏ on pʻyŏnji.