We propose an AI-assisted design concept exploration tool, the “Character Space Construction”. Concept designers explore and articulate the target product aesthetics and semantics in language, which is expressed using “Design Concept Phrases”, that is, compound adjective phrases, and contrasting terms that convey what are not their target design concepts. Designers often utilize this dichotomy technique to communicate the nature of their aesthetic and semantic design concepts with stakeholders, especially in an early design development phase. The CSC assists this designers' cognitive (...) activity by constructing a “Character Space”, which is a semantic quadrant system, in a structured manner. A CS created by designers with the assistance of the CSC enables them to discern and explain their design concepts in contrast with opposing terms. These terms in a CS are retrieved and combined in the CSC by using a knowledge graph. The CSC presents terms and phrases as lists of candidates to users from which users will choose in order to define the target design concept, which is then visualized in a CS. The participants in our experiment, who were in the “arts and design” profession, were given two conditions under which to create DCPs and explain them. One group created and explained the DCPs with the assistance of the proposed CSC, and the other did the same task without this assistance, given the freedom to use any publicly available web search tools instead. The result showed that the group assisted by the CSC indicated their tasks were supported significantly better, especially in exploration, as measured by the Creativity Support Index. (shrink)

We propose a new information sharing system, named ``BisNet'', which automatically gathers information about the bookmarks stored in users' web browsers and helps the users exchange URIs of possibly interesting web pages with others who have similar interest with them. Being different from other typical agent services that gather and provide information according to pre-registered user profiles, BisNet is expected to share more relevant information because of its use of web browser bookmarks that are actively selected and ordered by many (...) humans. To enhance the relevance of information being shared, we developed a novel algorithm for directory evaluation. This algorithm only looks at the local referential structure between bookmark directories and URIs and calculates for each directory the ``order index'' that represents how well its content URIs are put in order with a focus on specific areas of interest. Then each directory receives new URIs from other related directories with large order indexes. The repetition of such URI exchanges makes the whole directory-URI networks dynamically form directory groups according to the commonness of the URIs they refer to. Our method is unique in that it pays no attention to the actual contents of web pages, and thus is much simpler and faster than other methods based on the result of content analysis. We carried out a field trial that involved 45 people who used a prototype version of BisNet clients. The result indicated that the relevance of shared URIs positively correlated with the ``order index'' of surrounding related directories, demonstrating the effectiveness of the method we proposed. (shrink)

正しいから証明できるのか、証明できるから正しいのか。数学にとって証明とは何か、正しさとは何なのかは数学基礎論の根本的な問題である。様相論理を軸とした、証明と真理に関わる数学基礎論の古典的な結果から最先 端の議論までを解説した。.

法に対して合理的で批判的な姿勢を吹き込もうとする試み。ハート=ドゥオーキン論争以降の「法実証主義の現代的展開」を描き出す。本書ではとくに、ハートの理論的継承者であるラズおよびマーモーの議論に注目する。 .

One of the problems we face in many-valued logic is the difficulty of capturing the intuitive meaning of the connectives introduced through truth tables. At the same time, however, some logics have nice ways to capture the intended meaning of connectives easily, such as four-valued logic studied by Belnap and Dunn. Inspired by Dunn’s discovery, we first describe a mechanical procedure, in expansions of Belnap-Dunn logic, to obtain truth conditions in terms of the behavior of the Truth and the False, (...) which gives us intuitive readings of connectives, out of truth tables. Then, we revisit the notion of functional completeness, which is one of the key notions in many-valued logic, in view of Dunn’s idea. More concretely, we introduce a generalized notion of functional completeness which naturally arises in the spirit of Dunn’s idea, and prove some fundamental results corresponding to the classical results proved by Post and Słupecki. (shrink)

This paper attempts to identify a principle of equal treatment that gives specific structure to our widely shared judgments about the circumstances in which we have moral reason to object to the differential adverse treatment of others. I formulate what I call a “substantive” principle of equal treatment (to be distinguished from principles of formal equality) that describes a moral constraint on the reasons we can have for picking out individuals for differentially adverse action. I argue that this constraint is (...) violated when an action, in view of its rationale, expresses lesser respect for the moral status of an individual under some differentiating description, compared to the respect reserved to another class of individuals who are not picked out by that description. I show that this substantive demand of equal treatment is not morally otiose and reveal the fallacy underlying accounts that have concluded otherwise. (shrink)

During the last years the demand for regionally and culturally harmonised machine design is increasingly on the agenda. The problem of localising products like machine tools instantly poses the question for new procedures that allow including the regional and cultural adaptations into the design processes of machine tool companies. How to transform the general insight into the necessity of culture- and region-adapted technologies and how to embed it into a design procedure comprising applicable design attributes is the crucial problem addressed. (...) The paper shows in an exemplary way how ambiguous design attributes can eventually be embodied in a prototype design. (shrink)

現代における清沢思想の意義を見直し、現代人に“同時代的思想家”としてのあり方を問い直す渾身の論考など10篇を収載。.

The problem of forgotten evidence consists of a pair of scenarios originally proposed by Alvin Goldman. In the “forgotten good evidence” and “forgotten bad evidence” scenarios, subjects hold the same memory belief while irreversibly forgetting its original, though different, pieces of evidence. The two scenarios pose a series of challenges to current time slice (CTS) theories, which posit that memory beliefs are justified solely by contemporaneous states. Goldman’s two scenarios pose an apparent dilemma to CTS theories given a naïve picture (...) of how a memory belief is successfully retained while its evidence is irreversibly forgotten. In my view, however, CTS theories may find a solution to the apparent problem by carefully examining the conditions under which a memory belief is successfully retained while its evidence is completely forgotten. Namely, the two scenarios overlook an important difference between forgetting good evidence and forgetting bad evidence. (shrink)

Dans 'les Deux sources de la morale et de la religion', Bergson évoque rarement le Japon. Et pourtant dans le quatrième chapitre du même texte, intitulé Remarques finales 'Mécanique et mystique', c'était lui qui a bien prévu Hiroshima avec ces mots testamentaires: ' Il faut que tous se battent contre tous, comme firent les hordes des premiers temps. Seulement on se bat avec les armes forgées par notre civilisation, et les massacres sont d'une horreur que les anciens n'auraient même pas (...) imaginée. Au train dont va la science, le jour approche où l'un des adversaires, possesseur d'un secret qu'il tenait en réserve, aura le moyen de supprimer l'autre'. Ainsi se pose la question de savoir comment envisager les Deux Sources, à travers les relations assez particulières de ce philosophe avec le Japon. À partir de cette interrogation, PBJ (Projet Bergson au Japon) a organisé, aux 5-8 novembre 2013, à Paris, un colloque qui s'intitule Remarques finales : autour des Deux sources de la morale et de la religion de Bergson. Le présent volume présente les actes de ce colloque ellipsoïdal dont les centres étaient Bergson et le Japon"--Back cover. (shrink)

This book serves as a guide to understanding the dynamics of AI in human contexts with a specific focus on the generation, sharing, and consumption of misinformation online. How do humans and AI interact? How is AI shaping our understanding of ourselves and our societies? What are the interaction mechanisms that govern how humans and algorithms contribute to misinformation online? And how do we bridge the gap between ethical considerations and practical realities to make responsible, reliable systems? Exploring these questions, (...) the book empowers humans to make AI design choices that allow them meaningful control over AI and the online sphere. Calling for an interdisciplinary approach toward human-misinformation algorithmic interaction that focuses on building methods and tools that robustly deal with complex psychological/social phenomena, the book offers a compelling insight into the future of AI-based society. (shrink)

殺生に関し、人とそれ以外の生物を区別することをどう考えたらいいのか。区別すべきでないとする思想を検証し、異なる道を示す。.

Comparing estimates of the cost-effectiveness of human immunodeficiency virus (HIV) interventions can help communities select an HIV prevention portfolio to meet local needs efficiently. The authors developed a spreadsheet tool to estimate the relative cost-effectiveness of 26 HIV prevention interventions. HIV prevalence of the population at risk and the cost per person reached were the two most important factors determining cost-effectiveness. In low-prevalence populations, the most cost-effective interventions had a low per-person cost. Among the most cost-effective interventions overall were showing (...) videos in sexually transmitted disease clinics and raising alcohol taxes. (shrink)

This article looks closely at one of Paul Cézanne’s portraits of Vallier painted the last year of his life to examine how his (“fugitive”) vision works through his use of colors. The French philosopher Maurice Merleau-Ponty, who in his phenomenology views the body as the primary locus of having and therefore knowing the world, emphasizes the vital role of the body of the artist that must be offered to the world in order to truly manifest the world in painting. It (...) is no wonder that Cézanne’s artwork and thought are stitched into the structure of Merleau-Ponty’s aesthetics in his essay “Eye and Mind,” for Cézanne’s painting bears witness to his own account of aesthetic experience. Merleau-Ponty’s emphasis on the lived vision that seeks the depth of Being, the lived qualities of the visible world, takes Cézanne’s vision manifested in his portrait of Vallier further to see where the painting as well as Cézanne himself stand in relation to the visible world. (shrink)

Buddhism and Christianity have been main religions in contemporary Korea. In order to overcome their antipathies and conflicts, some philosophers of religion have suggested possible models for religious harmony and coexistence. This paper will examine John Hick's theory of religious pluralism by analyzing his autobiography and philosophical arguments. Korean scholars of religion have attempted to understand his theory in various ways, including philosophical, phenomenological, and psychological ones. Pointing out that Hick's pluralistic position, which has formed in a particular context, has (...) inherent limitations for Korean situations, I will propose a viable alternative model for religious diversity, based on a phenomenological study of Korean religions, especially Buddhism and Christianity. (shrink)

This paper examines philosophical foundations of Mircea Eliade's creative hermeneutics. Analyzing his concept of “terror of history” and autobiography, I will argue that his philosophy of religion is useful for Korean scholars to recognize the meaning of Korean religions, which have been overlooked by Western scholars of religions. Paying attention to the continuities between his life and thought, I will explain Eliade’s “primitive ontology” and defend recent criticisms of his method and theory. His views on “new humanism” and “cosmic religion” (...) are also included in the paper. (shrink)