This paper shows a role of the contraction rule in decision problems for the logics weaker than the intuitionistic logic that are obtained by deleting some or all of structural rules. It is well-known that for such a predicate logic L, if L does not have the contraction rule then it is decidable. In this paper, it will be shown first that the predicate logic FLec with the contraction and exchange rules, but without the weakening rule, is undecidable while the (...) propositional fragment of FLec is decidable. On the other hand, it will be remarked that logics without the contraction rule are still decidable, if our language contains function symbols. (shrink)
This scathing critique of global consumerism argues that Japan's future success requires its citizens to uphold traditional family values, to create new environmentally sustainable patterns in their daily lives, and to reverse Western-influenced trends to exemplify proper ethical behaviour.
This book, translated into English from Japanese and revised, argues that cultural diversity is a treasure for humanity, and we must realize that it is a necessary condition for a fully human existence. By realizing the deep connectedness of all human beings, we send a positive message to humanity.
This discourse aims to consider the relationship between culture and emotion in light of cultural philosophy by analyzing the sublime emotion,which is an emotional expression of human beings. Firstly,consideration will be given to the necessity of analyzing the sublime emotion in terms of the cultural,social and political aspects of present-day Japan. Secondly, the double-barreled characteristics of the sublime emotion, which have been lost amidst the globalizing trends of the day, will be clarified. In this regard, in particular, I would like (...) to shed light on the relationship between the sublime emotion and the critique of postcolonial reason. Thirdly, through these considerations, the fact that the sublime emotion has diverse functions in its historical and social contexts will be elucidated. I will first examine the negative meaning of the sublime emotion throught a critique of emotional reason, and then focus my attention to the positive meaning of the sublime emotion with the aim of considering the relationships between conditions of sublime potential and others. Fourthly, efforts will be made to pursure the method of reconciliation between the universalisitic, essentialist statements and the relativistic, constructivist statements, using the critique of emotional reason. In conclusion, I will elaborate on the sublime and critical functions based on emotional reason from a pluralistic standpoint. (shrink)
While the complexities of interpreting in constrained legal contexts such as trials may gradually be getting better understood by legal professionals, the particular difficulties of interpreting for the Deaf remain largely overlooked, and the recent involvement of citizen judges in Japan’s justice system makes it even more important to raise awareness about this aspect of language disadvantage. This paper focuses on a key feature of Japanese Sign Language: the non-manual markers produced by facial and body movements that accompany hand and (...) finger signs. Research shows such markers to be poorly understood by non-Deaf observers and indeed even sign language interpreters sometimes conflate them with gestures used by hearing people. (shrink)
Previous studies have highlighted the communicative limitations of artistic visualizations, which are often too conceptual or interpretive to enhance public understanding of scientific climate information. This seems to suggest a need for greater factuality/concreteness in artistic visualization projects, which may indeed be the case. However, in this paper, we synthesize insights from environmental psychology, the psychology of art, and intermediate disciplines like eco-aesthetics, to argue that artworks—defined by their counterfactual qualities—can be effective for stimulating elements of environmental consciousness. We also (...) argue that different artworks may yield different effects depending on how they combine counter/factual strategies. In so doing, we assert that effective artistic perceptualization—here expressed as affectivization—exceeds the faithful translation of facts from one mode to another, and cannot be encapsulated in a single example of un/successful art. (shrink)
A new technique is presented for proving that a consequence system enjoys Craig interpolation or Maehara interpolation based on the fact that these properties hold in another consequence system. This technique is based on the existence of a back and forth translation satisfying some properties between the consequence systems. Some examples of translations satisfying those properties are described. Namely a translation between the global/local consequence systems induced by fragments of linear logic, a Kolmogorov-Gentzen-Gödel style translation, and a new translation between (...) the global consequence systems induced by full Lambek calculus and linear logic, mixing features of a Kiriyama-Ono style translation with features of a Kolmogorov-Gentzen-Gödel style translation. These translations establish a strong relationship between the logics involved and are used to obtain new results about whether Craig interpolation and Maehara interpolation hold in that logics . (shrink)
The sacrosanct painting atelier of Kan’eiji was headed throughout the Edo period by successive generations of the holder of the name Kanda Sōtei. Despite its special mandate, it has remained largely disregarded to this day, partly due to its alleged artistic conservatism and the limited number of recognized works. Given that the atelier was affiliated with Kan’eiji, the most powerful Tendai temple during the Edo period and one of the primary temples of the Tokugawa shogunate, a consideration of (...) the religious, and most certainly political, implications behind its establishment is urgently needed. There is evidence that the scope of production and sphere of influence of the Kanda Sōtei lineage by far exceeded what has been previously assumed. Based on newly discovered materials, this article discusses the lineage’s conservatism and classicism in relation to the deification strategy of the Tokugawa shogunate, their consolidation of power based on the introduction of a new school of Shinto and the new deity Tōshō Daigongen, and its influence on the religious visual culture of the Edo period following the financial distress of the regime during the late seventeenth century. (shrink)