This paper provides a logic framework for investigations of game theoretical problems. We adopt an infinitary extension of classical predicate logic as the base logic of the framework. The reason for an infinitary extension is to express the common knowledge concept explicitly. Depending upon the choice of axioms on the knowledge operators, there is a hierarchy of logics. The limit case is an infinitary predicate extension of modal propositional logic KD4, and is of special interest in applications. In Part I, (...) we develop the basic framework, and show some applications: an epistemic axiomatization of Nash equilibrium and formal undecidability on the playability of a game. To show the formal undecidability, we use a term existence theorem, which will be proved in Part II. (shrink)

This paper provides a Genzten style formulation of the game logic framework GLm (0 m ), and proves the cut-elimination theorem for GLm. As its application, we prove the term existence theorem for GL used in Part I.

In order to capture the concept of common knowledge, various extensions of multi-modal epistemic logics, such as fixed-point ones and infinitary ones, have been proposed. Although we have now a good list of such proposed extensions, the relationships among them are still unclear. The purpose of this paper is to draw a map showing the relationships among them. In the propositional case, these extensions turn out to be all Kripke complete and can be comparable in a meaningful manner. F. Wolter (...) showed that the predicate extension of the Halpern-Moses fixed-point type common knowledge logic is Kripke incomplete. However, if we go further to an infinitary extension, Kripke completeness would be recovered. Thus there is some gap in the predicate case. In drawing the map, we focus on what is happening around the gap in the predicate case. The map enables us to better understand the common knowledge logics as a whole. (shrink)

明治大学文学部は、2018年4月に哲学専攻を新設した。いま、なぜ、哲学なのか?アジアにとって、哲学とは何か?理論とプラクティスが、西洋と東洋がクロスする新しい場から5名の創設メンバーが贈る“知”のスタ ーティングガイド。.

The paper attempts to construct a global model of a social contract using well-known metaphors of two great philosophers: Jean-Jacques Rousseau and John Locke. By modelling a global social contract, I mean the formulation of a social contract using two sets of data: one is global citizens' preferences about values and norms while the other is sovereign states' participation in multilateral treaties. Both Rousseau and Locke formulate their versions of social contract theories in the national context of eighteenth-century Europe. This (...) paper tries my hands on extending their theories to the global context. This paper attempts to link empirically the relationship between global citizens' preferences as gauged by the World Values Survey and sovereign states' participation in 120 multilateral treaties deposited to the United Nations. To see the link between citizens and treaties (quasi-legislative outcomes, sort of), dimensional similarities of the cosmos of citizens' preference and the cosmos of sovereign states' willingness to join multilateral treaties are examined. Once done, all the sovereign states are located in each of the two cosmoses, citizens and states, and the correlation coefficients between them are measured. Based on these empirical results, the nature of the global quasi-legislative process is clarified. Conclusions and implications are drawn. (shrink)

林家は、朱子学者・林羅山を始祖とする江戸幕府に仕えた儒官の家柄である。大坂冬の陣の発端となった方広寺鐘銘事件から、史書『本朝通鑑』の編纂、湯島聖堂の創建、大学頭叙任、赤穂浪士討ち入り事件への対応、そし て新井白石との対立まで―。初代羅山・二代鵞峰・三代鳳岡は、歴代将軍の寵用と冷遇に翻弄されながらも、江戸期朱子学の確立に奔走した。その林家三代一五〇年の闘いと事績を描く。.

Was konnen Rechtsvergleich und Rechtsgeschichte leisten? Der Autor beantwortet diese Frage mit Blick auf die Gesetzgebungslehre des deutschen Juristen und Philosophen Christian Thomasius (1655-1728). Er weist nach, dass dessen Gesetzgebungslehre sich im Bereich des Privatrechts grundsatzlich durchsetzte und auf die Gesetzgebung der fruhen Neuzeit grossen Einfluss hatte, obwohl Thomasius kein originales Gesetzbuch verfasste. Der Jurist war der Meinung, man konne durch Rechtsvergleich vermuten, dass eine heimische Sitte, die den gemeinsamen Sitten vieler Volker bzw. dem Volkergemeinrecht entspreche, geeignet sei, ins Gesetzbuch (...) aufgenommen zu werden. Er stutzte diesen Vergleich durch historische Betrachtungen.". (shrink)

江戸時代の儒学者・宗教者である山崎闇斎の思想を、心理学・文化人類学・現代哲学等を取り入れた学際的なアプローチで解明する。.

闇斎門下の個性豊かな諸家の事跡を通して、垂加神道の史的展開を検討すると共に、『日本書紀』神代巻の解釈に見える思想の根幹を明らかにする。.

予備知識不要(多少の忍耐力は必要)。わたしたちの日常を支えるもっとも基礎的な概念「正しい」を、理屈にこだわり丁寧に分析する哲学入門。.

This article contributes to the critical engagement with luck egalitarianism by advancing two arguments. Firstly, it questions the cogency of the dichotomies – e.g., luck/choice, person/circumstance, agency/structure – and the accompanying moral ideal of pure voluntarism. This makes it difficult for luck egalitarianism to dissect appropriately the inequalities embedded in social relations, such as social networks and involuntary associations, in which voluntariness and contingency as well as agency and structure are intertwined. Secondly, it suggests that the relational approach, which has (...) been developed, inter alia, in the empirical study of inequality, provides a morally and practically adequate perspective on egalitarian justice. The relational approach achieves this by converging upon those in‐between social relations that are irreducible to the macro‐level structure and to micro‐level agency. Moreover, a relationally sensitive perspective on inequality can adeptly respond to the difficulties that luck‐egalitarian theories encounter. (shrink)

ABSTRACTAnother individual’s gaze automatically shifts an observer’s attention to a location. This reflexive response occurs even when the gaze is presented subliminally over a short period. Another’s gaze also increases the preference level for items in the gaze direction; however, it was previously unclear if this effect occurs when the gaze is presented subliminally. This study showed that the preference levels for nonsense figures looked at by a subliminal gaze were significantly greater than those for items that were subliminally looked (...) away from. Targets that were looked at by a subliminal gaze were detected faster ; however, the participants were unable to detect the gaze direction. These results indicate that another individual’s gaze automatically increases the preference levels for items in the gaze direction without conscious awareness. (shrink)

Mental imagery of movement is a potentially valuable rehabilitation task, but its therapeutic efficacy may depend on the specific cognitive strategy employed. Individuals use two main strategies to perform the hand mental rotation task, which involves determining whether a visual image depicts a left or right hand. One is the motor imagery strategy, which involves mentally simulating one’s own hand movements. In this case, task performance as measured by response time is subject to a medial–lateral effect wherein the RT is (...) reduced when the fingertips are directed medially, presumably as the actual motion would be easier. The other strategy is to employ visual imagery, which involves mentally rotating the picture and is not subject to this medial–lateral effect. The rehabilitative benefits of the HMRT are thought to depend on the MI strategy, so it is essential to examine the effects of individual factors such as age, image perspective, and innate ability on the strategy adopted. When presented with pictures of the palm, all subjects in the current study used the MI strategy, regardless of age and ability. In contrast, when subjects were presented with pictures of the back of the hand, the VI strategy predominated among the young age group regardless of performance, while the strategy used by middle-age and elderly groups depended on performance ability. In the middle-age and elderly groups, the VI approach predominated in those with high performance skill, whereas the MI strategy predominated among those with low performance skill. Thus, higher-skill middle-aged and elderly individuals may not necessarily form a motion image during the HMRT, potentially limiting rehabilitation efficacy. (shrink)