The present contribution shows that a Hilbert-style axiomatization for dynamic logic of relation changers is complete for the standard Kripke semantics not by a well-known rewriting technique but by the idea of an auxiliary semantics studied by van Benthem and Wang et al. A key insight of our auxiliary semantics for dynamic logic of relation changers can be described as: “relation changers are bounded morphisms.” Moreover, we demonstrate that this semantic insight can be used to provide a modular cut-free labelled (...) sequent calculus for the logic in the sense that our calculus can be regarded as a natural expansion of a labelled sequent calculus of iteration-free propositional dynamic logic. (shrink)

This article is the second translation of the preface and first chapter of Hatano Seiichi's Time and Eternity. A full translation of the text, published by Suzuki Ichiro 鈴木一郎 in 1963, is not easily accessible to most readers, while an excellent partial translation by Joseph O'Leary has recently been made accessible to a wider audience through the monumental work, Japanese Philosophy: A Sourcebook. By providing a short historical introduction to both Hatano's life and works as a great thinker (...) and teacher, this article intends to supplement O'Leary's contribution and therefore enable more readers to gain access to the opening sections of Hatano's Time and Eternity. (shrink)

The fruit of a lifetime of study and contemplation, Seiichi Hatano's final work, Time and Eternity, develops most fully his tripartite scheme of temporality. For Hatano, one of the first Japanese philosophers to study the works of Western thinkers, human experience could be analyzed with reference to natural, cultural, and religious temporalities. Each temporal stage is further characterized by the type of love that rules at that level of life. In Time and Eternity, Hatano explores the stages (...) of temporality in depth and attempts to locate the kind of love which governs in each phase. (shrink)

One influential positive argument for moral realism is the Explanatory Indispensability Argument. A crucial premise of this argument is the explanatory relevance of moral properties. On this premise, moral properties, such as wrongness, rightness, courage, and cowardice, are explanatorily indispensable to some empirical phenomena. Although there has been a lively debate on this premise, one crucial challenge to this thesis, what I call the Scientific Standard Challenge, has not been properly discussed. After explaining this challenge and a related concern, I (...) argue that in response to this central challenge, the proponents of the argument should take what I call the localist turn to defend the explanatory indispensability of moral properties. The localist turn encourages the defenders of moral explanations to be more sensitive to the nature of each moral explanation. For instance, some moral explanations are explanations of social matters, so the standards they need to meet are provided by relevant branches of the social sciences. On the other hand, some other moral explanations are about our psychology, so the theoretical standards those explanations need to meet should come from psychology. I illustrate how this localist project can be conducted in the case of the moral explanation that appeals to injustice. I argue that the field of comparative politics provides the theoretical standards moral explanations of institutional change need to meet. I shall then illustrate how a sophisticated moral explanation can meet those theoretical standards and how this moral explanation can be strong evidence of injustice’s explanatory indispensability. (shrink)

9th and 10th Nov. 2013 at Kyoto University. Organizers: Takeshi Sato and Shunsuke Sugimoto.

朱子学は現代に生きる私たちにとって価値なきものなのだろうか? 儒教思想と近代的権利概念の親和性に着目、再検証を試みる。.

We introduce several restricted versions of the structural rules in the implicational fragment of Gentzen's sequent calculus LJ. For example, we permit the applications of a structural rule only if its principal formula is an implication. We investigate cut-eliminability and theorem-equivalence among various combinations of them. The results include new cut-elimination theorems for the implicational fragments of the following logics: relevant logic E, strict implication S4, and their neighbors (e.g., E-W and S4-W); BCI-logic, BCK-logic, relevant logic R, and the intuitionistic (...) logic. (shrink)

We develop intuitionistic public announcement logic over intuitionistic ${\textbf{K}}$, ${{\textbf{K}}}{{\textbf{T}}}$, ${{\textbf{K}}}{{\textbf{4}}}$, and ${{\textbf{S}}}{{\textbf{4}}}$ with distributed knowledge. We reveal that a recursion axiom for the distributed knowledge is _not_ valid for a frame class discussed in [ 12 ] but valid for the restricted frame class introduced in [ 20, 26 ]. The semantic completeness of the static logics for this restricted frame class is established via the concept of pseudo-model.

This article is the second translation of the preface and first chapter of Hatano Seiichi's Time and Eternity. A full translation of the text, published by Suzuki Ichiro 鈴木一郎 in 1963, is not easily accessible to most readers, while an excellent partial translation by Joseph O'Leary has recently been made accessible to a wider audience through the monumental work, Japanese Philosophy: A Sourcebook. By providing a short historical introduction to both Hatano's life and works as a great thinker (...) and teacher, this article intends to supplement O'Leary's contribution and therefore enable more readers to gain access to the opening sections of Hatano's Time and Eternity. (shrink)

The most famous chapter of Montesquieu’s _ The Spirit of the Laws _ (1748), Book XI, Chapter 6, 'On the constitution of England,' was an important i nspiration to the creators of modern constitutions, to which they often referred. However, as a result of scholarly focus on the political institutions discussed in this book, Montesquieu’s economic analysis has been woefully neglected. In order to correct this scholarly imbalance, this paper will elucidate the essential significance of Montesquieu’s comparison between the constitution (...) of modern England and that of ancient Rome in Book XI of _ The Spirit of the Laws _ ; inextricable relationship between military and political institutions on the one hand, and the transfer and distribution of wealth on the other. To argue this point, this paper will focus on Montesquieu’s other writings in the same year and shortly after the publication of _ The Spirit of the Laws _ : the revised edition in 1748 of _ The Considerations on the Causes of the Greatness of t... _. (shrink)

This article will engage with the current disasters in Japan from the perspective of semiotic anthropology. Disaster seems to produce two moments of the sign: signa naturalia and signa data. The translation of the sign mirrors the architectonic of the signified of disaster, which is mediated by a token-level instantiation of signifiers that initially appears either absent or in excess. The conceptualization of disaster as a zero sign, that is, unlimited possibility, allows an investigation of “a struggle of interpretants” in (...) stipulating the interpretative grounds of the signified amid regenerative processes of social regularity. It is this very exact moment of translation that the sustained continuity reveals its culture-specific “deep social grammar.” Disaster or “shaking grounds” has the presenting effect of cultural palimpsests. These unearthed palimpsests enable a heightened metasemiotic awareness of institutional and ideological regimentations, on the one hand, and token-level recontexualizations, assimilations, and hybridizations of the depository of signs in society in the post-disaster contexts, on the other. The article concludes with an attempt to synthesize Peircean semeiotics and Saussurean semiology by assessing the two distinct modes of semiosis, culture and trauma, upon a sudden threat of the experience of discontinuity. (shrink)

Although humans are endowed with domain-specific constraints for acquiring informal biology, its construction requires considerable experience with living things and their cultural representations. Less experienced adults may not know what constitutes generic species, and young children may rely on personification rather than category-based inference. Atran's postulate of the living-kind module that promptly produces universal folk taxonomy does not seem tenable.