Children often personify non-living objects, such as puppets and stars. This attribution is considered a healthy phenomenon, which can simulate social exchange and enhance children's understanding of social relationships. In this study, we considered that the tendency of children to engage in personification could potentially be observed in abstract entities, such as numbers. We hypothesized that children tend to attribute personalities to numbers, which diminishes during the course of development. By consulting the methodology to measure ordinal linguistic personification (OLP), which (...) is a type of synesthesia, we quantified the frequency with which child and adult populations engage in number personification. Questionnaires were completed by 151 non-synesthetic children (9--12 years old) and 55 non-synesthetic adults. Children showed a higher tendency than adults to engage in number personification, with respect to temporal consistency and the frequency of choosing meaningful answers. Additionally, children tended to assign unique and exclusive descriptions to each number from zero to nine. By synthesizing the series of analyses, we revealed the process in which number personification diminishes throughout development. In the discussion, we examined the possibility that number personification serves as a discrimination clue to aid children's comprehension of the relationships between numbers. (shrink)

I‐J has been regarded as a polymorphic genetic marker controlled by a locus in the major histocompatibility complex (MHC) which is expressed only on functional T cells. However, this antigenic determinant has been found not to be directly encoded by the MHC gene per se but is somatically generated according to the MHC of the cellular environment during ontogeny. This explains the apparent linkage of I‐J to MHC, despite the failure to find the structural gene for I‐J within the MHC. (...) The I‐J paradox provides an instance of a polymorphism that does not follow the standard genetics of Mendelian structural genes. (shrink)

To let humanoid robots behave socially adequate in a future society, we started to explore laughter as an important para-verbal signal known to influence relationships among humans rather easily. We investigated how the naturalness of various types of laughter in combination with different humanoid robots was judged, first, within a situational context that is suitable for laughter and, second, without describing the situational context. Given the variety of human laughter, do people prefer a certain style for a robot’s laughter? And (...) if yes, how does a robot’s outer appearance affect this preference, if at all? Is this preference independent of the observer’s cultural background? Those participants, who took part in two separate online surveys and were told that the robots would laugh in response to a joke, preferred one type of laughter regardless of the robot type. This result is contrasted by a detailed analysis of two more surveys, which took place during presentations at a Japanese and a German high school, respectively. From the results of these two surveys, interesting intercultural differences in the perceived naturalness of our laughing humanoids can be derived and challenging questions arise that are to be addressed in future research. (shrink)

We pursue the idea that predicate logic is a “fibred algebra” while propositional logic is a single algebra; in the context of intuitionism, this algebraic understanding of predicate logic goes back to Lawvere, in particular his concept of hyperdoctrine. Here, we aim at demonstrating that the notion of monad-relativised hyperdoctrines, which are what we call fibred algebras, yields algebraisations of a wide variety of predicate logics. More specifically, we discuss a typed, first-order version of the non-commutative Full Lambek calculus, which (...) has extensively been studied in the past few decades, functioning as a unifying language for different sorts of logical systems (classical, intuitionistic, linear, fuzzy, relevant, etc.). Through the concept of Full Lambek hyperdoctrines, we establish both generic and set-theoretical completeness results for any extension of the base system; the latter arises from a dual adjunction, and is relevant to the tripos-to-topos construction and quantale-valued sets. Furthermore, we give a hyperdoctrinal account of Girard’s and Gödel’s translation. (shrink)

法実証主義の現代的展開として法多元主義を位置づけるとともに、社会保障と自衛官合祀訴訟という個別の題材、さらに、組織論にもアプローチ。グローバル化がもたらす国家法と非国家法が交錯する世界を読み解く法理論 。.

The aim of this paper is to examine the role of imagination in environmental ethics and introduce an imaginative dimension as an essential part of environmental ethics. Imagination constitutes a basic condition for ethical thinking and action. Matters of environmental ethics have revealed the indispensable role of imagination in ethics. I’ll advance an imagination-based environmental ethics by developing Hans Jonas’ ethical thought. From his viewpoint, various effects of our action on nature and future generations, generally out of our sight, have (...) become an ethical concern. This necessitates the exercise of imagination because we must “imagine” those distant effects to act in an environmentally responsible way. Jonas’ “heuristics of fear” is an imaginative approach necessary for responsible action. Further, I reinterpret the role of imagination as motivating our “will to know.” In conclusion, I suggest the importance of environmental education as cultivating ecological imagination from the standpoint of environmental ethics. (shrink)

独自の視点から思想の可能性をつかみ出し、現代の倫理として編み直す。鶴見哲学の中心へ、気鋭の哲学者による決定的論考。.

京都学派の経済哲学者として知られた梯明秀の本格的研究書。梯の戦時下における哲学の再評価と創造的復権をめざして、形而上学批判と根源的自然の復権というまったく新たな視点からその意義と射程を明らかにしようと する力作。.

二十世紀初頭、フッサールによって創唱された現象学。経験のなかに知識の原理として機能する原型を探るこの学問は、ハイデガー、サルトル、メルロ=ポンティらに多大な影響を与え、思想・哲学の大きな潮流となる。フ ッサールの哲学を原テクストに則して問い直し、現象学の基本的事象とその本質を解明する、斯界の泰斗の精緻な思索が結晶した珠玉の書。.

In this paper, we introduce systems of nonstandard second-order arithmetic which are conservative extensions of systems of second-order arithmetic. Within these systems, we do reverse mathematics for nonstandard analysis, and we can import techniques of nonstandard analysis into analysis in weak systems of second-order arithmetic. Then, we apply nonstandard techniques to a version of Riemannʼs mapping theorem, and show several different versions of Riemannʼs mapping theorem.

Modern technology has radically altered the conditions for human action, endowing us with tremendous power to affect the future. Patterns of action that appear positive in their short-term effects must sometimes be judged unsustainable. Hans Jonas and Thomas Berry are among those who emphasize the necessity of transforming ethics in light of these considerations. In a Whiteheadian framework, this needed transformation is rooted in the nature of things.

儒教が「国教」となったのはいつか。皇帝と天子は同じものか。曹操はなぜ文学を称揚したか。諸葛亮は何を守ろうとしたのか。「竹林の七賢」は何に抵抗したか。国家の正統性を主張し、統治制度や世界観の裏づけとなる 「正統思想」の意置に儒教が上り、その思想内容が変転していく様を、体系性と神秘思想の鄭玄、合理性と現実主義の王粛、光武帝、王莽、曹操や諸葛亮など、多彩な人物を軸にして、「漢」の成立と衰退、三国、魏晉時代 の歴史を交えながら描き出す。.

We define a new theory of concatenation WTC which is much weaker than Grzegorczyk's well-known theory TC. We prove that WTC is mutually interpretable with the weak theory of arithmetic R. The latter is, in a technical sense, much weaker than Robinson's arithmetic Q, but still essentially undecidable. Hence, as a corollary, WTC is also essentially undecidable.

Plato's theory in the Republic has been a model for realist metaphysics. His text, however, is not easy to understand because his language is often only suggestive or metaphorical with the result that many different interpretations have flourished, especially in this century, and many questions have not been resolved. ;My dissertation is a new and up-to-date defense of a traditional reading of Plato's metaphysics in the Republic, focusing on three central problem areas: the degrees of reality, Plato's arguments for Forms, (...) and mathematical intermediates. ;First, Plato distinguishes knowledge and opinion, and characterizes their objects as "what is" and "what is and is not," and some scholars have taken these to represent degrees of reality. This is a fundamental distinction for Plato; however, exactly what does he mean by "what is" and "what is and is not"? I shall argue that Plato primarily means "what exists" and "what exists and does not exist ", and that the distinction amounts to degrees of reality: being and becoming. ;Second, Plato uses two arguments for the existence of Forms: the Argument from Conflicting Appearances and the One-over-Many Argument . Exactly what are these arguments, and why does Plato use two, when one argument would seem to suffice? I shall argue that the two arguments can jointly generate Forms but taken separately each generates something short of Forms. They therefore function as one argument. ;Third, scholars have disagreed over whether Plato requires a separate metaphysical category for mathematical entities when he distinguishes two stages of knowledge in the Simile of the Line--noesis and dianoia. Granted that the objects of noesis are Forms, what are the objects of dianoia? I shall argue that they must be mathematical intermediates, while discussing related issues in the interpretation of this Simile. Without mathematical intermediates we could not understand the unique position of mathematics in Plato's educational program. ;The three problem areas are closed related, and my discussions will shed light to the basic tenets and logic of Plato's metaphysics. (shrink)

Determinants of synesthetic color choice for the Japanese logographic script, Kanji, were studied. The study investigated how synesthetic colors for Kanji characters, which are usually acquired later in life than other types of graphemes in Japanese language , are influenced by linguistic properties such as phonology, orthography, and meaning. Of central interest was a hypothesized generalization process from synesthetic colors for graphemes, learned prior to acquisition of Kanji, to Kanji characters learned later. Results revealed that color choices for Kanji characters (...) depend on meaning and phonological information. Some results suggested that colors are generalized from Hiragana characters and Arabic digits to Kanji characters via phonology and meaning, respectively. Little influence of orthographic information was observed. The findings and approach of this study contributes to a clarification of the mechanism underlying grapheme-color synesthesia, especially in terms of its relationship to normal language processing. (shrink)

Determinants of synesthetic color choice for Japanese phonetic characters were studied in six Japanese synesthetes. The study used Hiragana and Katakana characters, which represent the same set of syllables although their visual forms are dissimilar. From a palette of 138 colors, synesthetes selected a color corresponding to each character. Results revealed that synesthetic color choices for Hiragana characters and those for their Katakana counterparts were remarkably consistent, indicating that color selection depended on character-related sounds and not visual form. This Hiragana–Katakana (...) invariance cannot be regarded as the same phenomenon as letter case invariance, usually reported for English grapheme-color synesthesia, because Hiragana and Katakana characters have different identities whereas upper and lower case letters have the same identity. This involvement of phonology suggests that cross-activation between an inducer brain region and that of the concurrent area in grapheme-color synesthesia is mediated by higher order cortical processing areas. (shrink)

Science does not exist in vacuum; it arises and works in context. Ground-breaking achievements transforming the scientific landscape often stem from philosophical thought, just as symbolic logic and computer science were born from the early analytic philosophy, and for the very reason they impact our global worldview as a coherent whole as well as local knowledge production in different specialised domains. Here we take first steps in elucidating rich philosophical contexts in which Samson Abramsky’s far-reaching work centring around categorical science (...) as a new kind of science may be placed, explicated, and articulated. We argue, inter alia, that Abramsky’s work, as a whole, may be construed as demonstrating the categorical unity of science, or rather the sciences, in a mathematically rigorous, down-to-earth manner, which has been a salient feature of his work. At the same time we trace his intellectual history, leading from duality, to intensionality, and to contextuality, and place it in a broader context of philosophy beyond the analytic-continental divide, namely towards the reintegration of them as in the post-analytic tradition. Besides, we address issues in philosophy of category theory, such as the foundational autonomy of category theory and the (presumably two) dogmas of set-theoretical foundationalism, which Abramsky actually touch upon in one of his few philosophically inclined works. As to philosophy of category theory, we also address categorical structuralism as higher-order structuralism, categorical epistemology as elucidating higher-order meta-laws, and categorical ontology as allowing for reduction of ontological commitment via structural realism, the structuralist resolution of Benaceraff’s dilemma, and the pluralistic multiverse view of science as opposed to the set-theoretical reductionist ‘universe’ view. We conclude by speculating about the existence of the Oxford School of (Pluralistic) Unified Science as opposed to the Vienna Circle of (Monistic) Unified Science and to the Stanford School of (Pluralistic) Disunified Science; Categorical Unified Science may potentially allow us to reconcile the two camps on the unity and disunity of science whilst doing justice to both of them. Categorical unity arguably allows for unification via epistemological and ontological networking, and via knowledge transfer thus enabled, rather than unification via the reduction of everything and every truth to a single foundationalist framework, whilst taking at face value disunity, plurality, and diversity, and their significance in science and in human civilisation as a whole. (shrink)

Inspired by locale theory, we propose “pointfree convex geometry”. We introduce the notion of convexity algebra as a pointfree convexity space. There are two notions of a point for convexity algebra: one is a chain-prime meet-complete filter and the other is a maximal meet-complete filter. In this paper we show the following: the former notion of a point induces a dual equivalence between the category of “spatial” convexity algebras and the category of “sober” convexity spaces as well as a dual (...) adjunction between the category of convexity algebras and the category of convexity spaces; the latter notion of point induces a dual equivalence between the category of “m-spatial” convexity algebras and the category of “m-sober” convexity spaces. We finally argue that the former notion of a point is more useful than the latter one from a category theoretic point of view and that the former notion of a point actually represents a polytope and the latter notion of a point properly represents a point. We also remark on the close relationships between pointfree convex geometry and domain theory. (shrink)