It is well known that the modal logic S5 can be embedded in the classical predicate logic by interpreting the modal operator in terms of a quantifier. Wajsberg [10] proved this fact in a syntactic way. Mints [7] extended this result to the quantified version of S5; using a purely proof-theoretic method he showed that the quantified S5 corresponds to the classical predicate logic with one-sorted variable. In this paper we extend Mints' result to the basic modal logic S4; we (...) investigate the correspondence between the quantified versions of S4 (with and without the Barcan formula) and the classical predicate logic (with one-sorted variable). We present a purely proof-theoretic proof-transformation method, reducing an LK-proof of an interpreted formula to a modal proof. (shrink)

The modal logic of Gödel sentences, termed as GS, is introduced to analyze the logical properties of 'true but unprovable' sentences in formal arithmetic. The logic GS is, in a sense, dual to Grzegorczyk's Logic, where modality can be interpreted as 'true and provable'. As we show, GS and Grzegorczyk's Logic are, in fact, mutually embeddable. We prove Kripke completeness and arithmetical completeness for GS. GS is also an extended system of the logic of 'Essence and Accident' proposed by Marcos (...) (Bull Sect Log 34(1):43-56, 2005). We also clarify the relationships between GS and the provability logic GL and between GS and Intuitionistic Propositional Logic. (shrink)

In this paper, we show the equivalence between the provability of a proof system of basic hybrid logic and that of translated formulas of the classical predicate logic with equality and explicit substitution by a purely proof–theoretic method. Then we show the equivalence of two groups of proof systems of hybrid logic: the group of labelled deduction systems and the group of modal logic-based systems.

In a classical 1976 paper, Solovay proved the arithmetical completeness of the modal logic GL; provability of a formula in GL coincides with provability of its arithmetical interpretations of it in Peano Arithmetic. In that paper, he also provided an axiomatic system GLS and proved arithmetical completeness for GLS; provability of a formula in GLS coincides with truth of its arithmetical interpretations in the standard model of arithmetic. Proof theory for GL has been studied intensively up to the present day. (...) However, it might sound somewhat strange that no proof theory for GLS was ever developed nor even suggested thus far, except for the axiomatic system offered by Solovay. In this paper, we develop a proof theory for GLS based on the sequent calculus method. We provide a sequent calculus for GLS and prove the cut-elimination and some standard consequences of it: the interpolation and definability theorems. As another consequence of cut-elimination, we also prove the equivalence of GL and GLS with respect to a special form of formulas which we call Gödel sentences, using a purely proof-theoretical method. (shrink)

We present an annotation scheme describing the argument structure of judgement documents, a central construct in Japanese law. To support the final goal of this work, namely summarisation aimed at the legal professions, we have designed blueprint models of summaries of various granularities, and our annotation model in turn is fitted around the information needed for the summaries. In this paper we report results of a manual annotation study, showing that the annotation is stable. The annotated corpus we created contains (...) 89 documents. We also designed and implemented the first two stages of an algorithm for the automatic extraction of argument structure, and present evaluation results. (shrink)

Robustness is a fundamental property of biological systems, observed ubiquitously across species and at different levels of organization from gene regulation to ecosystem. The theory of biological robustness argues that robustness fosters evolv-ability and that together they entail various tradeoffs as well as characteristic architectures and mechanisms. We argue that classes of biological systems have evolved to enhance their robustness by extending their system boundary through a series of symbioses with foreign biological entities . A series of major biological innovations (...) has been achieved by events consistent with this framework: horizontal gene transfer, serial endosymbiosis, oocytes-mediated vertical infection, and host-symbiont mutualism for bacterial flora. Self-extending symbiosis contributes to robustness because symbiotic foreign biological entities can enhance the adaptative capacity of the system against environmental perturbations as well as contribute novel functions. In addition, evolutionary history indicates that the degree of symbiosis achieved has substantially changed from tight integration into the genome to loose integration as bacterial flora . The most dramatic example can be seen in the symbiosis of host immune system and bacterial flora in which substantial function of host defense depends on the proper maintenance of bacterial flora and its adaptive capability. Biological systems following this type of evolutionary path might have attained high levels of functionality, robustness, and evolvability. Thus, robustness, evolution, and self-extending symbiosis may form essential system principles for biology. (shrink)

In Legends of the Samurai, Sato confronts both the history and the legend of the samurai, untangling the two to present an authentic picture of these legendary warriors. Through his masterful translations of original samurai tales, laws, dicta, reports, and arguments accompanied by insightful commentary, Hiroaki Sato chronicles the changing ethos of the Japanese warrior from the samurai's historical origins to his rise to political power. For this purpose, Sato has chosen to translate, wherever possible, writings closest in time (...) to the actual event. His translations are a testament to his mastery of the language for they flow with lively ease that one might not expect from accounts, many of which are ancient. Legends of the Samurai covers legends from mythological times to the early eighteenth century. Through this book Sato describes men accomplished in martial arts, warrior-commanders in battle, and samurai's own views of themselves. It ends with a famous modern retelling of a mass disembowelment in the mid-seventeenth century. (shrink)

Using Harvey Sacks’s concept of membership categorization devices, this article examines the help-search sequences in which Japanese rehabilitation team members use a set of categories to locate the availability of stroke family caregivers. Specifically, based on an analysis of audiovisual data from rehabilitation team conferences in Japan, the article illustrates the ways in which participants at the meetings: evaluate the expectable behaviors of various category incumbents; classify which category of person is proper to turn to for help; and arrive at (...) the conclusion that no one is available, and so the patient must be institutionalized. Analysis shows that participants routinely choose co-resident family members to fulfill the caregiver position. However, the position is not guaranteed unless the selected incumbent can satisfy additional criteria, especially physical strength and time availability. By exploring the ways in which participants use categories to negotiate discharge destinations, the article adds to Sacks’s analysis by illustrating methodical activities for deciding whether someone is unavailable to help. Moreover, it considers the applicability of Sacks’s notion of MCDs to Japanese data. (shrink)

The sense of agency is a subjective feeling that one's own actions drive action outcomes. Previous studies have focused primarily on the temporal contingency between actions and sensory inputs as a possible mechanism for the sense of agency. However, the contribution of the integrity of visual inputs has not been systematically addressed. In the current study, we developed a psychophysical task to examine the role of visual inputs as well as temporal contingencies toward the sense of agency. Specifically, participants were (...) required to track a target on a sinusoidal curve on a computer screen. Visual integrity of sensory inputs was manipulated by gradually occluding a computer cursor, and participants were asked to report the sense of agency on a nine-point Likert scale. Temporal contingency was manipulated by varying the delay between finger movements on a touchpad and cursor movements. The results showed that the sense of agency was influenced by both visual integrity and temporal contingency. These results are discussed in the context of current models that have proposed that the sense of agency emerges from the comparison of visual inputs with motor commands. (shrink)

This study investigates rehabilitation team members’ interactive accomplishments of their domains of work and responsibility in rehabilitation team conferences in Japan. A combination of membership categorization analysis and sequential analysis is adopted to systematically illustrate the situated productions of professional sense-making practices. Analysis focuses on the segment in which a physician asks a series of questions regarding a patient’s functional status and disability coded in the functional assessment record (FAR). A close examination of data shows that a physician does not (...) always choose a respondent with his or her gaze when asking a question because s/he is continuously reading the FAR displayed on a computer screen. Despite this, a physician’s mention of a topic generates a professional’s domain of work and responsibility in a local division of labor which is used by members to assume who the relevant categorial respondent is. Further, members demonstrate these assumptions by shifting their gazes toward the computer screen, back to the document on the desk, and turning toward co-participants, thus embodying professional roles and responsibilities in situ. This study utilizes the analyst’s ethnographic understanding of the routines and division of labor at the rehabilitation ward as a resource to explicate professional sense-making practices, thus utilizing Garfinkel’s ethnomethodological studies of work. Together with sequential and categorial resources offered by Sacks, this study elucidates inferences and normative expectations which rehabilitation team members bring together to reproduce the endogenous logic of rehabilitation culture in actual occasions of the institutional life. (shrink)

The functional independence measure is a clinical scale which is used to evaluate the amount of assistance disabled persons need to conduct their daily living activities. Drawing on 65 video-recorded rehabilitation team meetings and medical records collected from a Japanese hospital, this article utilizes ethnomethodology and conversation analysis to uncover how Japanese rehabilitation team members use the FIM to track changes in the functional status of patients and decide the length of stay in ongoing interactional sequences. Analysis shows that a (...) series of the FIM scores assembled and arranged in situ provide a sequential framework for members to understand the progress of rehabilitation and predict the plateau phase. Moreover, a particular expert is asked about patients’ capacity for further improvements and his or her opinions are treated as a basis for clinical decisions. In this way, diagnostic and clinical decision-making is produced through the ongoing collaborative work of various specialists. (shrink)

Communication on the Internet is often described as “anonymous”, yet the usage of the term is often confusing, even in academia. Three levels of anonymity, visual anonymity, dissociation of real and online identities, and lack of identifiability, are thought to have different effects on various components of interpersonal motivation. Specifically, we propose that cross-cultural differences in interpersonal motivation (autonomy vs. affiliation) are illustrated by choices individuals make when deciding whether or not to remain anonymous while communicating online. Autonomy is often (...) valued in Western societies, whereas Eastern societies tend to emphasize affiliation, suggesting that individuals in Western societies will gravitate toward online communities that allow lower levels of anonymity, while individuals in Eastern societies will be more likely to seek out online communities that promote higher levels of anonymity. The research presented in this article supports this notion, suggesting that we need to consider cultural differences when designing online communication systems and other communications technologies. (shrink)

This paper presents the first dataset for Japanese Legal Judgment Prediction (LJP), the Japanese Tort-case Dataset (JTD), which features two tasks: tort prediction and its rationale extraction. The rationale extraction task identifies the court’s accepting arguments from alleged arguments by plaintiffs and defendants, which is a novel task in the field. JTD is constructed based on annotated 3477 Japanese Civil Code judgments by 41 legal experts, resulting in 7978 instances with 59,697 of their alleged arguments from the involved parties. Our (...) baseline experiments show the feasibility of the proposed two tasks, and our error analysis by legal experts identifies sources of errors and suggests future directions of the LJP research. (shrink)

We present several models which satisfy CH and some ♦-like principles while others fail, answering a question of Moore, Hrušák and Džamonja.

多様性とエコロジーの時代を先取りした江戸期の巨人、その思想のエッセンス 伝統的・土着的でありながら、時空を越えたスケールと普遍性を持ち、21世紀においても時代の先行者たりうる思想家、安藤昌益。 深まる昌益研究の最新動向を踏まえ、自然哲学、平等論、歴史観、平和思想など多彩な切り口から昌益思想の核心に迫る。 戦争と災害の時代を乗り越える叡智がここにある──.

「自り然る」「直ら耕す」「『対立』から『互性』へ」...いのちの営みとともに生きる共生社会のありようを新しい言葉に盛った安藤昌益。「自由であれ、つつましくあれ」未曾有の3.11災禍を経てなお、放射能下 の今を生きる私たちに昌益から届けられたメッセージ。.

La présente étude souligne que l’idée de gouvernance de Bentham avait déjà été formulée dans les années 1780 et explique clairement que ses idées étaient cohérentes, en prenant en compte l’interprétation de Schofield concernant la radicalisation progressive de Bentham. Les premiers textes de Bentham, tels que Le Panoptique et Tactiques Politiques, comprenaient des éléments de publicité et de surveillance qui caractérisaient la théorie de la gouvernance basée sur le concept d’intérêt, et donnèrent lieu à des discussions clés qui conduisirent à (...) l’idée de démocratie représentative dans la période qui suivit. Basées sur Fragment sur le gouvernement et sur Introduction aux principes de la morale et de la législation dans les années 1770, diverses idées, dont la théorie de la « législation indirecte » de Bentham dans les années 1780, se concrétisèrent par son idée utilitariste de gouvernement. (shrink)

Using conversation analysis, this study investigates how Japanese rehabilitation team members use their geographic knowledge to search for long-term care facilities for stroke survivors in multidisciplinary team interactions. The study uncovers the orderly use of decision rules during discharge planning activities by exploring the following two questions: What decision criteria are discursively used? In what order are the criteria handled through sequential operations? The data comprise 65 video-recorded rehabilitation team meetings and ethnographic information regarding local care facilities and patients’ residential (...) addresses. The analysis shows that the participants deal with decision criteria in an orderly manner. They identify the type of facility and location preferred by the patient’s family and search for a facility accordingly. Moreover, they routinely select facilities closer to the patients’ and their families’ homes. However, these rules are modified if the family’s choice is inappropriate, or when a facility in a different location is preferred by the family. The study contributes to the conversation analytic understanding of interprofessional decision making and prioritization through the analysis of orderly methods of search procedures interactively accomplished by participants in ongoing medical team interactions. (shrink)

Indigenous ecologies in industrial societies need immediate attention in light of the ongoing debate on indigenous resource rights and decreasing biodiversity. This paper examines the functions and meanings of hunting, fishing, and gathering activities among contemporary Nez Perce Indians in Idaho, USA. The collected data were analyzed with Pierre Bourdieu's concepts of “symbolic capital” and “practice” within the framework of political ecology. The results clearly demonstrate that hunting, fishing, and gathering practices play significant roles not only in social and religious (...) but also economic and political senses within the contemporary Nez Perce society. This study suggests that investigation of indigenous ecologies in industrial societies take a synthesized approach between idealist and materialist perspectives. (shrink)

It has been suggested that luminance edges in retinal images are potential cues for glossiness perception, particularly when the perception relies on low-luminance specular regions. However, a previous study has shown only statistical correlations between luminance edges and perceived glossiness, not their causal relations. Additionally, although specular components should be embedded at various spatial frequencies depending on the micro-roughness on the object surface, it is not well understood what spatial frequencies are essential for glossiness perception on objects with different micro-roughness. (...) To address these issues, we examined the impact of a sub-band contrast enhancement on the perceived glossiness in the two conditions of stimuli: the Full condition where the stimulus had natural specular components and the Dark condition where it had specular components only in dark regions. Object images with various degrees of surface roughness were generated as stimuli, and their contrast was increased in various spatial-frequency sub-bands. The results indicate that the enhancement of the sub-band contrast can significantly increase perceived glossiness as expected. Furthermore, the effectiveness of each spatial frequency band depends on the surface roughness in the Full condition. However, effective spatial frequencies are constant at a middle spatial frequency regardless of the stimulus surface roughness in the Dark condition. These results suggest that, for glossiness perception, our visual system depends on specular-related information embedded in high spatial frequency components but may change the dependency on spatial frequency based on the surface luminance to be judged. (shrink)

We investigate splitting number and reaping number for the structure (ω) ω of infinite partitions of ω. We prove that ${\mathfrak{r}_{d}\leq\mathsf{non}(\mathcal{M}),\mathsf{non}(\mathcal{N}),\mathfrak{d}}$ and ${\mathfrak{s}_{d}\geq\mathfrak{b}}$ . We also show the consistency results ${\mathfrak{r}_{d} > \mathfrak{b}, \mathfrak{s}_{d} < \mathfrak{d}, \mathfrak{s}_{d} < \mathfrak{r}, \mathfrak{r}_{d} < \mathsf{add}(\mathcal{M})}$ and ${\mathfrak{s}_{d} > \mathsf{cof}(\mathcal{M})}$ . To prove the consistency ${\mathfrak{r}_{d} < \mathsf{add}(\mathcal{M})}$ and ${\mathfrak{s}_{d} < \mathsf{cof}(\mathcal{M})}$ we introduce new cardinal invariants ${\mathfrak{r}_{pair}}$ and ${\mathfrak{s}_{pair}}$ . We also study the relation between ${\mathfrak{r}_{pair}, \mathfrak{s}_{pair}}$ and other cardinal invariants. We show (...) that ${\mathsf{cov}(\mathcal{M}),\mathsf{cov}(\mathcal{N})\leq\mathfrak{r}_{pair}\leq\mathfrak{s}_{d},\ma thfrak{r}}$ and ${\mathfrak{s}\leq\mathfrak{s}_{pair}\leq\mathsf{non}(\mathcal{M}),\mathsf{non}(\mathcal{N})}$. (shrink)

By using finite support iteration Suslin c.c.c forcing notions we construct several models which satisfy some ♢-like principles while other cardinal invariants are larger than ω1.

Background This study aimed to ask a sample of the general population about their preferences regarding doctors holding discretionary powers in relation to disclosing cancer diagnosis and prognosis. Methods The researchers mailed 443 questionnaires to registered voters in a ward of Tokyo which had a socio-demographic profile similar to greater Tokyo's average and received 246 responses (response rate 55.5%). We describe and analysed respondents' attitudes toward doctors and family members holding discretionary powers in relation to cancer diagnoses disclose. Results Amongst (...) respondents who wanted full disclosure about the diagnosis without delay, 117 (69.6 %) respondents agreed to follow the doctor's discretion, whilst 111 (66.1 %) respondents agreed to follow the family member's decision. For respondents who preferred to have the diagnosis and prognosis withheld, 59 (26.5 %) agreed to follow the doctor's decision, and 79 (35.3 %) of respondents agreed with following family member's wishes. Conclusions The greater proportion of respondents wants or permits disclosure of cancer diagnosis and prognosis. In patients who reveal negative attitudes toward being given a cancer disclosure directly, alternative options exist such as telling the family ahead of the patient or having a discussion of the cancer diagnosis with the patient together with the family. It is recommended that health professionals become more aware about the need to provide patients with their cancer diagnosis and prognosis in a variety of ways. (shrink)

Recent research suggests that individuals from East Asian and Western cultures differ in the degree to which they hold a folk world view known as naïve dialecticism, which is characterized by tolerance for contradiction, expectation of change, and cognitive holism. The current research utilizes the Mouse Paradigm to investigate the dynamic nature of naïve dialecticism in real time by measuring individuals’ fluctuations in judgment during the process of contemplation. The results showed cultural differences in dynamic measures of evaluation process: Japanese (...) participants took more time to stabilize their thought and showed more fluctuations in their judgment than American participants. These cultural differences were fully mediated by individual differences in levels of naïve dialecticism as measured by the level of dialectical self-views. Implications for cultural psychology and the psychology of dialectical thinking are discussed. (shrink)