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.

ポストモダン思想は教育学に何をもたらしたのか。戦後から現在に至る教育学の変遷と、ポストモダン以後の教育思想・教育哲学の新動向を描き出し、教育と教育学の未来を展望する。.

精神障害の分類と診断が難しいなか、哲学や精神医学は精神障害とどのように向きあうのか。思考吹入や妄想についての哲学的考察に加え、現象学的精神病理学や精神分析の現状、そして現代の精神医学のさまざまなアプロ ーチの到達点を総観する。.

In this essay I present the philosophy of Nishida Kitarō, the father of the Kyoto School tradition, as an alternative version of transcendental philosophy. While following the steps of Kant and Husserl in important ways, Nishida attempts to take the transcendental approach even further, finally leaving us with a different view of reality that is neither realist nor idealist, but, rather, radically realist. I call this radical transcendental position, “awakened realism”. Due to word limitations, I can only set the stage (...) for further discussion on what kind of implication this may have for transcendental philosophy. But if I succeed in making my presentation clear enough, it should naturally ignite discussion on how far we can radicalize transcendental philosophy without making it into something else. (shrink)

In contemporary political philosophy, reflections on poverty demand careful treatment in the light of key ethical concepts—especially autonomy. While the negative effects of poverty on autonomy are acknowledged, the welfare dependency of the poor is seen as an autonomy-undermining factor, which I call the “autonomy–poverty dilemma.” This chapter discusses contemporary political theories about autonomy and poverty in terms of how they relate to this dilemma. The features and problems of three pertinent theories are addressed in such a way as to (...) resolve the autonomy–poverty dilemma. The first is luck egalitarianism, which weighs individual responsibility in defining just distributions, but may leave some of the incapacitated unattended in order not to annul their personal responsibility and may stigmatize those who are dependent (such as people with mental disabilities) who are not personally responsible. Such stigmatization is also a problem with relational egalitarianism, which bases egalitarian justice on the equal standing of individuals, in that the ideal of socially embedded autonomous agents could be degrading to the dependent. While the capability approach overcomes that problem by providing a powerful buttress for the dependent and allowing them to emerge from poverty, it runs the risk of a paternalistic, perfectionist idealism. In closing, this chapter proposes an alternative view, which I call the “radical pluralist view of egalitarian justice,” based on a consideration of the features and problems of these three key theories. (shrink)

In this article, we address the problem of how people understand predicative metaphors such as “The rumor flew through the office,” and argue that predicative metaphors are understood as indirect (or two-stage) categorizations. In the indirect categorization process, the verb (e.g., fly) of a predicative metaphor evokes an intermediate entity, which in turn evokes a metaphoric category of actions or states (e.g., “to spread rapidly and soon disappear”) to be attributed to the target noun (e.g., rumor), rather than directly evoking (...) a metaphoric category as argued by CitationGlucksberg's (2001) categorization theory. We test our argument using two experiments, namely, offline comprehension and online priming. The offline comprehension experiment showed that interpretation of predicative metaphors had greater overlap with words indirectly associated with the verb than those directly associated with the verb. The online priming experiment demonstrated that indirectly associated words were activated during predicative metaphor comprehension, but directly associated words were not. These results provide convergent evidence for our argument, and thus the psychological validity of two-stage categorization as a process of predicative metaphor comprehension was confirmed. (shrink)

The purpose of this paper is to show the plausibility of John Rawls’s treatment of efficiency within the system of justice. While in political philosophy efficiency is often treated as an independent condition for establishing justice, or more precisely, as a necessary condition for establishing justice, Rawls considers efficiency as a non-negligible factor that has normativity in general circumstances. This is similar to the view that efficiency is a presumptive condition for evaluating social arrangements. However, Rawls’s view is salient in (...) a more substantive way. This paper demonstrates the salience of Rawls’s view of efficiency by responding to G. A. Cohen’s Impure Justice Objection to Rawls’s theory of justice. This shows that there is no impure connection between Rawls’s justice and efficiency. Moreover, the combined thesis of Rawls’s justice and efficiency is superior to Cohen’s pluralist theory of justice, making it a fruitful approach. (shrink)

時間を超え、様々な遺物から過去の記憶を読みとり、未来に引き継ぐものとして、人文知の意義を問い直す。.

日本人が追求してきた「生き方と生活の美学」を古代から近世の日本文化に即して解き明かす、意欲的な日本論。.

一遍仏教やその周縁と対話し、無・型・身体性などを契機として日本独自の教育の構築を試みたユニークな教育再生論。.

Recent metaphor research has revealed that metaphor comprehension involves both categorization and comparison processes. This finding has triggered the following central question: Which property determines the choice between these two processes for metaphor comprehension? Three competing views have been proposed to answer this question: the conventionality view (Bowdle & Gentner, 2005), aptness view (Glucksberg & Haught, 2006b), and interpretive diversity view (Utsumi, 2007); these views, respectively, argue that vehicle conventionality, metaphor aptness, and interpretive diversity determine the choice between the categorization (...) and comparison processes. This article attempts to answer the question regarding which views are plausible by using cognitive modeling and computer simulation based on a semantic space model. In the simulation experiment, categorization and comparison processes are modeled in a semantic space constructed by latent semantic analysis. These two models receive word vectors for the constituent words of a metaphor and compute a vector for the metaphorical meaning. The resulting vectors can be evaluated according to the degree to which they mimic the human interpretation of the same metaphor; the maximum likelihood estimation determines which of the two models better explains the human interpretation. The result of the model selection is then predicted by three metaphor properties (i.e., vehicle conventionality, aptness, and interpretive diversity) to test the three views. The simulation experiment for Japanese metaphors demonstrates that both interpretive diversity and vehicle conventionality affect the choice between the two processes. On the other hand, it is found that metaphor aptness does not affect this choice. This result can be treated as computational evidence supporting the interpretive diversity and conventionality views. (shrink)

It is often argued that relational egalitarianism has a fundamental problem with intergenerational justice when compared to other theories of justice such as utilitarianism, prioritarianism, and luck egalitarianism. Recently, Timothy Sommers argued that there is no such comparative disadvantage for relational egalitarianism. His argument is quite modest: it merely aims to reject the claim that there could be no way to extend relational egalitarianism to intergenerational justice. This may be called the ‘No Comparative Disadvantage Thesis’. The present article challenges Sommers’s (...) argument in two ways. First, I show that Sommers fails to provide a reasonable constraint on causal efficacy, which is crucial to his argument for our relation (not relationship) to future generations. Second, I show that the chain-relatedness problem casts a shadow over Sommers’s argument for the No Comparative Disadvantage Thesis. More specifically, compared to the other theories of justice, relational egalitarianism (as it stands) can less easily justify that present persons have duties to future others. This is because relational egalitarianism cannot appeal to a specific principle in regard to the duties in question, because its principle is sensitive to current context and practice. I conclude that the No Comparative Disadvantage Thesis does not hold much promise. (shrink)

The pervasive use of distributional semantic models or word embeddings for both cognitive modeling and practical application is because of their remarkable ability to represent the meanings of words. However, relatively little effort has been made to explore what types of information are encoded in distributional word vectors. Knowing the internal knowledge embedded in word vectors is important for cognitive modeling using distributional semantic models. Therefore, in this paper, we attempt to identify the knowledge encoded in word vectors by conducting (...) a computational experiment using Binder et al.'s (2016) featural conceptual representations based on neurobiologically motivated attributes. In an experiment, these conceptual vectors are predicted from text‐based word vectors using a neural network and linear transformation, and prediction performance is compared among various types of information. The analysis demonstrates that abstract information is generally predicted more accurately by word vectors than perceptual and spatiotemporal information, and specifically, the prediction accuracy of cognitive and social information is higher. Emotional information is also found to be successfully predicted for abstract words. These results indicate that language can be a major source of knowledge about abstract attributes, and they support the recent view that emphasizes the importance of language for abstract concepts. Furthermore, we show that word vectors can capture some types of perceptual and spatiotemporal information about concrete concepts and some relevant word categories. This suggests that language statistics can encode more perceptual knowledge than often expected. (shrink)

The Dedekind cuts in an ordered set form a set in the sense of constructive Zermelo—Fraenkel set theory. We deduce this statement from the principle of refinement, which we distill before from the axiom of fullness. Together with exponentiation, refinement is equivalent to fullness. None of the defining properties of an ordering is needed, and only refinement for two—element coverings is used. In particular, the Dedekind reals form a set; whence we have also refined an earlier result by Aczel and (...) Rathjen, who invoked the full form of fullness. To further generalise this, we look at Richman's method to complete an arbitrary metric space without sequences, which he designed to avoid countable choice. The completion of a separable metric space turns out to be a set even if the original space is a proper class; in particular, every complete separable metric space automatically is a set. (shrink)

Working in the weakening of constructive Zermelo-Fraenkel set theory in which the subset collection scheme is omitted, we show that the binary refinement principle implies all the instances of the exponentiation axiom in which the basis is a discrete set. In particular binary refinement implies that the class of detachable subsets of a set form a set. Binary refinement was originally extracted from the fullness axiom, an equivalent of subset collection, as a principle that was sufficient to prove that the (...) Dedekind reals form a set. Here we show that the Cauchy reals also form a set. More generally, binary refinement ensures that one remains in the realm of sets when one starts from discrete sets and one applies the operations of exponentiation and binary product a finite number of times. (shrink)