This article introduces English translations of Tanabe’s two essays entitled “Moral Freedom” and “On Moral Freedom Revisited.” In these essays, Tanabe tries to understand the unity of the contradictory division between freedom and necessity, while remaining truthful to the moral experience. Freedom is ultimately characterized as ideality that we ought to realize in reality, while the stage of religion constitutes the ultimate end of such moral struggles. Tanabe does not clearly work out how the continuity of the freedom-necessity discontinuity is (...) possible in these essays. Nevertheless, we can gain insight into the early stages of Tanabe’s practical metaphysics that culminate in his mature works on the philosophy of religion. The translators’ introduction will highlight these points and also provide a brief description of the historical background in which the publication of these texts took place in 1917. (shrink)

This paper presents the first English translation of one of Tanabe’s early essays on Kant. Translated by Takeshi Morisato.

This paper presents the first English translation of one of Tanabe’s early essays on Kant. Tanabe marks the occasion of the first translation of the Critique of Practical Reason into Japanese by providing his reflections on Kant’s theory of freedom in this essay. This creative essay by Tanabe represents the hallmark Kyoto School interpretation of Kant. Tanabe weaves his account of Kant with elements from other philosophers in an attempt to think systematically about the nature of freedom. He agrees with (...) Kant that morality itself “rises and falls” with the idea of freedom; however, Tanabe also tries to rescue some of the pitfalls he sees in Kant’s theory by reconstructing Kant’s account. In this brief, but rich essay, Tanabe unfolds one of the more creative aspects of his philosophy through Kant. (shrink)

This paper offers an explanation of how collaboration leads to abstract and flexible problem solving. We asked the individual and paired subjects to indicate 3/4 of 2/3 of the area of a square sheet of paper and found that (1) they primarily folded or partitioned the paper rather than algorithmically calculating the answer, (2) they strongly tendened to backtrack and confirm their proto‐plans on externalized traces such as creases on the paper, and (3) only the paired subjects shifted to the (...) mathematical strategy in their second trials. Based on these results, we propose that two factors, individuals' activeness in choosing and confirming the initial strategies and the frequent role exchange between task‐doing and monitoring in collaborative situations, interact in collaboration to generate various solutions differing in the degree of abstraction, which are then reflected upon by the participants to lead them to abstraction. (shrink)

We show, within the framework of Bishop's constructive mathematics, that (sequential) completeness of the locally convex space $\mathcal{D} (\mathbb{R})$ of test functions is equivalent to the principle BD-N which holds in classical mathemtatics, Brouwer's intuitionism and Markov's constructive recursive mathematics, but does not hold in Bishop's constructivism.

We show, within the framework of Bishop's constructive mathematics, that (sequential) completeness of the locally convex space $\mathcal{D} (\mathbb{R})$ of test functions is equivalent to the principle BD-N which holds in classical mathemtatics, Brouwer's intuitionism and Markov's constructive recursive mathematics, but does not hold in Bishop's constructivism.

This article introduces the first English translation of one of Tanabe’s early essays on metaphysics. It questions the relation of the universal to the particular in context of logic, phenomenology, Neo-Kantian epistemology, and classical metaphysics. Tanabe provides his reflections on the nature of the concept of universality and its constitutive relation to phenomenal particulars through critical analyses of the issue as it is discussed across various schools of philosophy including: British Empiricism, the Marburg School, the Austrian School, the Kyoto School, (...) and Platonism. In this essay, Tanabe reveals his ability to think metaphysically the ground for the possibility of reasoning and dares to voice his own thought beyond references to the most prominent thinkers of his time from distinct intellectual traditions in both the east and the west. This essay, therefore, demonstrates that his strong tendency to move beyond the received epistemology and phenomenology of the European intellectual tradition to metaphysics was already present in the early days of his academic life and thereby marks a more general contribution of the Kyoto School of Philosophy to distinct European schools of thought in the early twentieth century. (shrink)

We give a variant of the Gödel-Gentzen-negative translation, and a syntactic characterization which entails conservativity result for formulas.

1. Kodai shisō -- 3. Chūsei shisō -- 4. Kindai shisō -- 5. Tōzai bunka no kōryū -- 6. Shōtoku Taishi -- 7. Kinsei Nihon no hihanteki seishin -- 8. Nihon shūkyō no kindaisei.

中世から近世に移るカオスの中で人びとはどのように生き、社会の中で思想を形成していったか。本書はそこにみられる、近代が切り捨ててきた、人と人とのつながりを真摯に追求する。.

Classically, weak König's lemma and Brouwer's fan theorem for detachable bars are equivalent. We give a direct constructive proof that the former implies the latter.

Constructive mathematics – mathematics in which ‘there exists’ always means ‘we can construct’ – is enjoying a renaissance. Fifty years on from Bishop’s groundbreaking account of constructive analysis, constructive mathematics has spread out to touch almost all areas of mathematics and to have profound influence in theoretical computer science. This handbook gives the most complete overview of modern constructive mathematics, with contributions from leading specialists surveying the subject’s myriad aspects. Major themes include: constructive algebra and geometry, constructive analysis, constructive topology, (...) constructive logic and foundations of mathematics, and computational aspects of constructive mathematics. A series of introductory chapters provides graduate students and other newcomers to the subject with foundations for the surveys that follow. Edited by four of the most eminent experts in the field, this is an indispensable reference for constructive mathematicians and a fascinating vista of modern constructivism for the increasing number of researchers interested in constructive approaches. (shrink)

This volume contains a selection of papers presented at the special workshop "Truth and Objectivity in Law and Morals," held at the 26th World Congress of the IVR. The papers deal with diverse but correlated issues such as the search for truth in and through legal argumentation; the intelligible character of rules inside theories of interpretation which guarantee the coherence and the integrity of law; the role of hermeneutic analysis in the construction of the objectivity of law; the procedural and (...) contextual aspects of objectivity in legal reasoning; the role of objectivity in the distinction between the context of justification and the context of discovery; the problem about truth of normative propositions and legal statements; the incompatibility of non factualism with the traditional account of validity and legality; as well as the possibility of objectivity in morals. (shrink)

"Tanabe's agenda was not religious but philosophical in that he tried to integrate Eastern and Western insights in order to acquire a cross-cultural philosophical vision for the post-war world community.... This book shows his superior philosophical originality.... It is high time that Tanabe's thought should be introduced to the West."—Joseph Kitagawa, University of Chicago.

A series of Six-Party Talks involving the United States, China, Japan, South and North Korea, and Russia resulted in the emergence of a narrative of a . Given the prevalence of nuclear weapons amidst Sino-American rivalry, the area is hardly . Instead, the phrase has evolved into a common signifier for the US and China, suggesting that, despite their rivalries, the North Korean nuclear issue can be detrimental for both nuclear-free’ seriously, recasting the phrase as borne of both mutual scepticism, (...) as well as convergent interests, over the Korean Peninsula. (shrink)

Families of children with mental health challenges may have been particularly vulnerable to emotional distress during the COVID-19 pandemic. This cross-sectional study surveyed 81 parents of children ages 6–17 years receiving mental health treatment in an outpatient clinic during the pandemic. We sought to characterize the impact of the pandemic on family relationships and parental well-being. Additionally, regression and ANCOVA models examined associations between four potentially protective factors—parents’ psychological resilience, perceived social support, positive family experiences during the pandemic, and children’s (...) use of cognitive or behavioral coping strategies—with family relationships and parental well-being. Findings suggest that families of children with mental health conditions experienced remarkable challenges to family relationships, parental well-being, and parents’ perceived capacity to support their children’s mental health. Nearly 80% of parents reported a negative impact of the pandemic on their own well-being, and 60% reported reduced ability to support their children’s mental health. Simultaneously, protective factors appeared to mitigate the negative impact of the pandemic. Particularly, support within the family and from external sources were associated with better self-reported well-being for parents and their capacity to support their children. Children’s use of coping tools, likely enhanced by mental health treatment, was also positively related to better family relationships and parental ability to support children with mental health challenges. Our findings highlight the need for enhancing supports for families at multiple levels including individual skill-building, family-based/parenting support, and community-based support. (shrink)

The purpose of this paper is an axiomatic study of the interrelations between certain continuity properties. We deal with principles which are equivalent to the statements "every mapping is sequentially nondiscontinuous", "every sequentially nondiscontinuous mapping is sequentially continuous", and "every sequentially continuous mapping is continuous". As corollaries, we show that every mapping of a complete separable space is continuous in constructive recursive mathematics (the Kreisel-Lacombe-Schoenfield-Tsejtin theorem) and in intuitionism.

We will overview the results in an informal approach to constructive reverse mathematics, that is reverse mathematics in Bishop’s constructive mathematics, especially focusing on compactness properties and continuous properties.

We will overview the results in an informal approach to constructive reverse mathematics, that is reverse mathematics in Bishop’s constructive mathematics, especially focusing on compactness properties and continuous properties.

In order to represent legal knowledge adequately, it is vital to create a formal device that can freely construct an individual concept directly from a predicate expression. For this purpose, a Compound Predicate Formula (CPF) is formulated for use in legal expert systems. In this paper, we willattempt to explain the nature of CPFs by rigorous logical foundation, i.e., establishing their syntax and semantics precisely through the use of appropriate examples. We note the advantages of our system over other such (...) systems and discuss the significance of CPFs with regard to the formalization of legal reasonings using examples from the United Nations Convention for the International Sale of Goods. (shrink)

Technical reasoning refers to making inferences about how to use tools. The degree of technical reasoning is indicated by the bias of the gaze on the functional part of the tool when in use. Few studies have examined whether technical reasoning differs between familiar and unfamiliar novel tools. In addition, what effect the intention to use the tool has on technical reasoning has not been determined. This study examined gaze shifts in relation to familiar or unfamiliar tools, under three conditions, (...) among 14 healthy adults. The cumulative fixation time on the functional part of the tool served as a quantitative indicator of the degree of technical reasoning. The two-way analysis of variance for tools and conditions revealed that the cumulative fixation time significantly increased under free viewing and use conditions, compared to lift conditions. Relative to the free viewing condition, cumulative fixation time for unfamiliar tools significantly decreased in the lift condition and significantly increased in the use condition. Importantly, the results showed that technical reasoning was performed in both the use and the free viewing conditions. However, technical reasoning in the free viewing condition was not as strong as in the use condition. The difference between technical reasoning in free viewing and use conditions may indicate the difference between automatic and intentional technical reasoning. (shrink)

The purpose of this paper is an axiomatic study of the interrelations between certain continuity properties. We show that every mapping is sequentially continuous if and only if it is sequentially nondiscontinuous and strongly extensional, and that "every mapping is strongly extensional", "every sequentially nondiscontinuous mapping is sequentially continuous", and a weak version of Markov's principle are equivalent. Also, assuming a consequence of Church's thesis, we prove a version of the Kreisel-Lacombe-Shoenfield-Tsĕitin theorem.

Many existence propositions in constructive analysis are implied by the lesser limited principle of omniscience LLPO; sometimes one can even show equivalence. It was discovered recently that some existence propositions are equivalent to Bouwer's fan theorem FAN if one additionally assumes that there exists at most one object with the desired property. We are providing a list of conditions being equivalent to FAN, such as a unique version of weak König's lemma. This illuminates the relation between FAN and LLPO. Furthermore, (...) we give a short and elementary proof of the fact that FAN is equivalent to each positive valued function with compact domain having positive infimum. (shrink)