東アジアの近代知識人たちは、西洋思想史の不滅の古典であるカント哲学をどのように受容し、解釈し、批判してきたか。植民地統治と戦争・革命の歴史のなかで、日本・韓国・中国・台湾の思想界がカントを翻訳紹介して いった歴史的文脈とその政治的意味、さらには相互的な影響関係を、各国の第一線の研究者たちが跡づける国際共同研究の成果。.

「第1回法政ミュージアム企画展示」『和辻哲郎の書き込みを見よ!―和辻倫理学の今日的意義』(法政大学図書館主催)の『解説・図録』の増補・改訂版。生誕120周年を迎えた2009年に、「和辻哲郎の書き込み」 を手がかりにして、和辻思想の再検討・再評価とともに、彼の遺した「書き込み」の意義を明らかにした。.

This book provides an overview of behavioral decision theory and related research findings. In brief, behavioral decision theory is a general term for descriptive theories to explain the psychological knowledge related to decision-making behavior. It is called a theory, but actually it is a combination of various psychological theories, for which no axiomatic systems, such as the utility theory widely used in economics, have been established; it is often limited to qualitative knowledge. However, as suggested in the studies of H. (...) A. Simon, who won the Nobel Prize for Economics in 1978, and D. Kahneman, who won the prize in 2002, the psychological methodology and knowledge of behavioral decision theory have been applied widely in such fields as economics, business administration, and engineering, and are expected to become more useful in the future. This book explains various behavioral decision theories related to decision-making processes. Numerous models have been proposed to explain the psychological processes related to such a selection of decision strategies, and this book also introduces some new models that are useful to explain decision-making processes. The book concludes with speculation about the future of modern behavioral decision theories while referring to their relation to fields associated with neuroscience, such as neuroeconomics, that have been developed in recent years. In addition, each chapter includes a bibliography that can be referred to when studying more details related to behavioral decision theory. Reading this book requires no advanced expertise; nonetheless, an introductory knowledge of psychology, business administration, and economics, and approximately a high school graduate’s level of mathematics should facilitate the reader’s comprehension of the content. (shrink)

明治時代の“知と行動の巨人”の思想に迫る!東洋大学創立者、妖怪博士、近代仏教復興の立役者...と獅子奮迅の活躍を見せた井上円了。その業績を支えた独自の世界観・人生観を原典に基づきながら解明。.

仏教復興への情熱と行動の足跡を丹念にたどり、この偉大な先達が哲学的に究明した仏教思想の全貌をあきらかにする。画期的円了論。.

インド、中国そして日本。古代から近代へと、東洋思想の核心を求めて。この世界は、実体的存在などなく、あらゆるものが互いに関係し合って存在している。ではそこで自己とはいかなる存在で、どのようにあるべきなの か。唯識の事的世界観から華厳の事事無礙法界へ、さらに空海の人人無礙の曼荼羅、そして西田の「個物の哲学」へ。東洋の大地にそびえたつ哲学の連峰を縦横に踏破し、その叡智の真髄を未来に向けて照らし出す壮大な書 。.

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)

The attributable fraction (population) has attracted much attention from a theoretical perspective and has been used extensively to assess the impact of potential health interventions. However, despite its extensive use, there is much confusion about its concept and calculation methods. In this article, we discuss the concepts of and calculation methods for the attributable fraction and related measures in the counterfactual framework, both with and without stratification by covariates. Generally, the attributable fraction is useful when the exposure of interest has (...) a causal effect on the outcome. However, it is important to understand that this statement applies to the exposed group. Although the target population of the attributable fraction (population) is the total population, the causal effect should be present not in the total population but in the exposed group. As related measures, we discuss the preventable fraction and prevented fraction, which are generally useful when the exposure of interest has a preventive effect on the outcome, and we further propose a new measure called the attributed fraction. We also discuss the causal and preventive excess fractions, and provide notes on vaccine efficacy. Finally, we discuss the relations between the aforementioned six measures and six possible patterns using a conceptual schema. (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)

Proof-theory has traditionally been developed based on linguistic (symbolic) representations of logical proofs. Recently, however, logical reasoning based on diagrammatic or graphical representations has been investigated by logicians. Euler diagrams were introduced in the eighteenth century. But it is quite recent (more precisely, in the 1990s) that logicians started to study them from a formal logical viewpoint. We propose a novel approach to the formalization of Euler diagrammatic reasoning, in which diagrams are defined not in terms of regions as in (...) the standard approach, but in terms of topological relations between diagrammatic objects. We formalize the unification rule, which plays a central role in Euler diagrammatic reasoning, in a style of natural deduction. We prove the soundness and completeness theorems with respect to a formal set-theoretical semantics. We also investigate structure of diagrammatic proofs and prove a normal form theorem. (shrink)

In 2018 the World Heath Organization decided to re-examine the classification of gender identity disorder and exclude it from being defined as a mental illness. This re-examination means that sex a...

Proof-theoretical notions and techniques, developed on the basis of sentential/symbolic representations of formal proofs, are applied to Euler diagrams. A translation of an Euler diagrammatic system into a natural deduction system is given, and the soundness and faithfulness of the translation are proved. Some consequences of the translation are discussed in view of the notion of free ride, which is mainly discussed in the literature of cognitive science as an account of inferential efficacy of diagrams. The translation enables us to (...) formalize and analyze free ride in terms of proof theory. The notion of normal form of Euler diagrammatic proofs is investigated, and a normalization theorem is proved. Some consequences of the theorem are further discussed: in particular, an analysis of the structure of normal diagrammatic proofs; a diagrammatic counterpart of the usual subformula property; and a characterization of diagrammatic proofs compared with natural deduction proofs. (shrink)

To investigate the relationship between logical reasoning and majority voting, we introduce logic with groups Lg in the style of Gentzen’s sequent calculus, where every sequent is indexed by a group of individuals. We also introduce the set-theoretical semantics of Lg, where every formula is interpreted as a certain closed set of groups whose members accept that formula. We present the cut-elimination theorem, and the soundness and semantic completeness theorems of Lg. Then, introducing an inference rule representing majority voting to (...) Lg, we introduce logic with majority voting Lv. Formalizing the discursive paradox in judgment aggregation theory, we show that Lv is inconsistent. Based on the premise-based and conclusion-based approaches to avoid the paradox, we introduce logic with majority voting for axioms Lva, where majority voting is applied only to non-logical axioms as premises to construct a proof in Lg, and logic with majority voting for conclusions Lvc, where majority voting is applied only to the conclusion of a proof in Lg. We show that both Lva and Lvc are syntactically complete and consistent, and we construct collective judgments based on the provability in Lva and Lvc, respectively. Then, we discuss how these systems avoid the discursive paradox. (shrink)

This paper presents a polarized phase semantics, with respect to which the linear fragment of second order polarized linear logic of Laurent [15] is complete. This is done by adding a topological structure to Girard's phase semantics [9]. The topological structure results naturally from the categorical construction developed by Hamano—Scott [12]. The polarity shifting operator ↓ (resp. ↑) is interpreted as an interior (resp. closure) operator in such a manner that positive (resp. negative) formulas correspond to open (resp. closed) facts. (...) By accommodating the exponentials of linear logic, our model is extended to the polarized fragment of the second order linear logic. Strong forms of completeness theorems are given to yield cut-eliminations for the both second order systems. As an application of our semantics, the first order conservativity of linear logic is studied over its polarized fragment of Laurent [16]. Using a counter model construction, the extension of this conservativity is shown to fail into the second order, whose solution is posed as an open problem in [16]. After this negative result, a second order conservativity theorem is proved for an eta expanded fragment of the second order linear logic, which fragment retains a focalized sequent property of [3]. (shrink)

One of the traditional applications of Euler diagrams is as a representation or counterpart of the usual set-theoretical models of given sentences. However, Euler diagrams have recently been investigated as the counterparts of logical formulas, which constitute formal proofs. Euler diagrams are rigorously defined as syntactic objects, and their inference systems, which are equivalent to some symbolic logical systems, are formalized. Based on this observation, we investigate both counter-model construction and proof-construction in the framework of Euler diagrams. We introduce the (...) notion of “counter-diagrammatic proof”, which shows the invalidity of a given inference, and which is defined as a syntactic manipulation of diagrams of the same sort as inference rules to construct proofs. Thus, in our Euler diagrammatic framework, the completeness theorem can be formalized in terms of the existence of a diagrammatic proof or a counter-diagrammatic proof. (shrink)

We introduce a simple inference system based on two primitive relations between terms, namely, inclusion and exclusion relations. We present a normalization theorem, and then provide a characterization of the structure of normal proofs. Based on this, inferences in a syllogistic fragment of natural language are reconstructed within our system. We also show that our system can be embedded into a fragment of propositional minimal logic.

The objective of this paper is to consider some of the philosophical problems on gender in sport in terms of practical philosophy by examining previous studies on sports and gender in Japan. The previous studies of the Journal of Sport and Gender Studies, an institutional journal of the Japan Society for Sport and Gender Studies , and were reviewed to explain the characteristics and the limits of previous sports-gender studies in Japan to establish the parameters for a philosophical discussion of (...) sport-gender studies. A philosophical examination of the issues of affirmative actions, which is the least discussed topic among those listed in ‘JSGS’, is presented. By revealing fundamental problems in research on sports and gender in Japan, this study may potentially contribute to the resolution of multiple issues surrounding women in sports in Japan. Also, by exposing general and omnipresent problems, the study transcends the limited framework of sports in Japan, and can point to those common and overarching gender issues that need to be resolved around the world. (shrink)

We extend natural deduction for first-order logic (FOL) by introducing diagrams as components of formal proofs. From the viewpoint of FOL, we regard a diagram as a deductively closed conjunction of certain FOL formulas. On the basis of this observation, we first investigate basic heterogeneous logic (HL) wherein heterogeneous inference rules are defined in the styles of conjunction introduction and elimination rules of FOL. By examining what is a detour in our heterogeneous proofs, we discuss that an elimination-introduction pair of (...) rules constitutes a redex in our HL, which is opposite the usual redex in FOL. In terms of the notion of a redex, we prove the normalization theorem for HL, and we give a characterization of the structure of heterogeneous proofs. Every normal proof in our HL consists of applications of introduction rules followed by applications of elimination rules, which is also opposite the usual form of normal proofs in FOL. Thereafter, we extend the basic HL by extending the heterogeneous rule in the style of general elimination rules to include a wider range of heterogeneous systems. (shrink)