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)

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)

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)

In 1969, Kisho Kurokawa stated that the ‘capsule is cyborg architecture’. The capsule is the ultimate form of the prefabricated building. As such it has emancipated itself from the land to become the immediate extension of the moving self, similar to cars or the Japanese kago. In Japanese Metabolism, an architecture movement of the 1960s and 1970s, the capsule is a small, repeatable building unit rooted in historical elements, such as the teahouse. The capsule is also a tool – (...) a machine for living – that is modular and part of a system offering simplicity and complexity. The capsule signifies individuality within a diverse society, including standardization, functionality, technology and smallness in scale. This article re-examines the potential of the capsule in contemporary bioarchitecture, in living systems and in evolving environments. Through Philip Galanter’s theory of ‘complexism’, the article connects the capsule to modular(ity), embodiment, protective vulnerability, voyeurism, unpredictability, complexity, immateriality and ephemerality. I propose that the capsule instantiates a cyborg bioarchitecture. (shrink)