本書の3つの工夫:(1)企業不祥事や長時間労働など、現実のさまざまな問題を取り上げて解説しています。(2)倫理学や経済学を学んだことがなくても読み進められるように、用語の説明を丁寧に行っています。(3 )興味や関心に合わせて読むことができるように、各章のタイトルを問いかけの形式にしています。.

コーシーとワイエルシュトラスによって構築されたε‐σ論法を論理学の基礎から解説。.

Work on essence of Advaita Vedanta philosophy.

There are close similarities between the Weihrauch lattice and the zoo of axiom systems in reverse mathematics. Following these similarities has often allowed researchers to translate results from one setting to the other. However, amongst the big five axiom systems from reverse mathematics, so far $\mathrm {ATR}_0$ has no identified counterpart in the Weihrauch degrees. We explore and evaluate several candidates, and conclude that the situation is complicated.

Quantum measurement is a physical process. A system and an apparatus interact for a certain time period, and during this interaction, information about an observable is transferred from the system to the apparatus. In this study, we quantify the energy fluctuation of the quantum apparatus required for this physical process to occur autonomously. We first examine the so-called standard model of measurement, which is free from any non-trivial energy–time uncertainty relation, to find that it needs an external system that switches (...) on the interaction between the system and the apparatus. In such a sense this model is not closed. Therefore to treat a measurement process in a fully quantum manner we need to consider a “larger” quantum apparatus which works also as a timing device switching on the interaction. In this setting we prove that a trade-off relation, \, holds between the energy fluctuation \ of the quantum apparatus and the measurement time \. We use this trade-off relation to discuss the spacetime uncertainty relation concerning the operational meaning of the microscopic structure of spacetime. In addition, we derive another trade-off inequality between the measurement time and the strength of interaction between the system and the apparatus. (shrink)

We give a partial answer to an important open problem in descriptive set theory, the Decomposability Conjecture for Borel functions on an analytic subset of a Polish space to a separable metrizable space. Our techniques employ deep results from effective descriptive set theory and recursion theory. In fact it is essential to extend several prominent results in recursion theory (e.g. the Shore-Slaman Join Theorem) to the setting of Polish spaces. As a by-product we give both positive and negative results on (...) the Martin Conjecture on the degree preserving Borel functions between Polish spaces. Additionally we prove results about the transfinite version as well as the computable version of the Decomposability Conjecture. (shrink)

The question that arises in this article is whether we can find elements of phenomenology in Bernard Lonergan’s Trinitarian theology.With help of other Lonergan scholars, I have discovered that modern thinking plays an important role in the theology and philosophy ofthis Jesuit author. Moreover, the terminology of modern philosophy coexists with the terminology of classical and especially Tomisticthought. This article is interested in the elements that Lonergan takes from the modern philosophy and emphasizes the centrality ofHusserlian phenomenology among the other (...) modern authors used by Lonergan. Following the research of the Jesuit thinker, I speakabout two parallel realities coexisting in his Trinitarian theology. Lonergan tries to realize their synthesis, but at the same time healso recognizes their distinctiveness. The most relevant result of this coexistence is obtained through the replacement of the metaphysical differentiation between the level of substance and the level of the three Persons, so that, instead of having the elements of classical theology, Lonergan predicates at the same time that God subsists as well as the Trinitarian Persons subsist. Through this assertion he emphasizes the identity between God’s existence and the existence of the three divine Persons, and eliminates the classical differentiation that might be closer to the danger of subordinating the three Persons to the one God. (shrink)

We show that there is a computable procedure which, given an ∀∃-sentence ${\varphi}$ in the language of the partially ordered sets with a top element 1 and a bottom element 0, computes whether ${\varphi}$ is true in the Medvedev degrees of ${\Pi^0_1}$ classes in Cantor space, sometimes denoted by ${\mathcal{P}_s}$.

Consider a randomness notion C\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{C}}$$\end{document}. A uniform test in the sense of C\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{C}}$$\end{document} is a total computable procedure that each oracle X produces a test relative to X in the sense of C\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{C}}$$\end{document}. We say that a binary sequence Y is C\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{C}}$$\end{document}-random uniformly relative to (...) X if Y passes all uniform C\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{C}}$$\end{document} tests relative to X. Suppose now we have a pair of randomness notions C\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{C}}$$\end{document} and D\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{D}}$$\end{document} where C⊆D\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{C} \subseteq \mathcal{D}}$$\end{document}, for instance Martin-Löf randomness and Schnorr randomness. Several authors have characterized classes of the form Low which consist of the oracles X that are so feeble that C⊆DX\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{C} \subseteq \mathcal{D}^X}$$\end{document}. Our goal is to do the same when the randomness notion D\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{D}}$$\end{document} is relativized uniformly: denote by Low \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\star}$$\end{document} the class of oracles X such that every C\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{C}}$$\end{document}-random is uniformly D\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{D}}$$\end{document}-random relative to X. We show that X∈Low⋆\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${X\in Low ^\star}$$\end{document} if and only if X is c.e. tt-traceable if and only if X is anticomplex if and only if X is Martin-Löf packing measure zero with respect to all computable dimension functions. We also show that X∈Low⋆\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${X\in Low^\star}$$\end{document} if and only if X is computably i.o. tt-traceable if and only if X is not totally complex if and only if X is Schnorr Hausdorff measure zero with respect to all computable dimension functions. (shrink)

In this article, we examine philosophy of sport as a field of study in Japan, its history, characteristics, and future prospects, as part of a contribution to the international development of the discipline of sport philosophy. The Japan Society for the Philosophy of Sport and Physical Education has been holding an annual sport philosophy conference every year since its inception in 1978. Nevertheless, the trends of sport philosophy in Japan have not been conveyed abroad. The language barrier between Japanese and (...) English as an international communication tool makes it difficult to spread our work on the philosophy of sport throughout the world. The question arises as to whether the philosophy of sport in Japan has the same trends as those in the Western countries. Is it reasonable to assume that it has different aspects and interests than philosophy of sport in English-speaking countries? We will also try to address these questions for our audience. (shrink)

Louveau showed that if a Borel set in a Polish space happens to be in a Borel Wadge class $$\Gamma $$, then its $$\Gamma $$ -code can be obtained from its Borel code in a hyperarithmetical manner. We extend Louveau’s theorem to Borel functions: If a Borel function on a Polish space happens to be a $$ \underset{\widetilde{}}{\varvec{\Sigma }}\hbox {}_t$$ -function, then one can find its $$ \underset{\widetilde{}}{\varvec{\Sigma }}\hbox {}_t$$ -code hyperarithmetically relative to its Borel code. More generally, we prove (...) extension-type, domination-type, and decomposition-type variants of Louveau’s theorem for Borel functions. (shrink)

In this article, we study an analogue of tt-reducibility for points in computable metric spaces. We characterize the notion of the metric tt-degree in the context of first-level Borel isomorphism. Then, we study this concept from the perspectives of effective topological dimension theory and of effective fractal dimension theory.

This paper reports our research efforts on social robots that recognize interpersonal relationships. These investigations are carried out by observing group behaviors while the robot interacts with people. Our humanoid robot interacts with children by speaking and making various gestures. It identifies individual children by using a wireless tag system, which helps to promote interaction such as the robot calling a child by name. Accordingly, the robot is capable of interacting with many children, causing spontaneous group behavior from the children (...) around it. Here, group behavior is associated with social relationships among the children themselves. For example, a child may be accompanied by his or her friends and then play together with them. We propose the hypothesis that our interactive robot prompts a child’s friends to accompany him or her; thus, we can estimate their friendship by simply observing their accompanying behaviors. We conducted a field experiment for two weeks in a Japanese elementary school to verify this hypothesis. In the experiment, two “Robovie” robots were placed where children could freely interact with them during recesses. As a result, we found that they mostly prompted friend-accompanying behavior. Moreover, we could estimate some of their friendly relationships, in particular among the children who often appeared around the robot. For example, we could estimate 5% of all friendships with 80% accuracy, and 15% of them with nearly 50% accuracy. Thus, this result basically supports our hypothesis on friendship estimation from an interactive humanoid robot. We believe that this ability to estimate human relationships is essential for robots to behave socially. (shrink)

A nonlinear differential equation model is proposed to study the dynamics of HIV/AIDS and its effects on workforce productivity. The disease-free equilibrium point of the model is shown to be locally asymptotically stable when the associated basic reproduction number $$\mathcal{{R}}_{0}$$ is less than unity. The model is also shown to exhibit multiple endemic states for some parameter values when $$\mathcal{{R}}_{0} 1$$. Global asymptotic stability of the disease-free equilibrium is guaranteed only when the fractions of the Susceptible subclass populations are within (...) some bounds. Optimal control analysis of the model revealed that the most cost effective strategy that should be adopted in the fight against HIV/AIDS spread within the workforce is one that seeks to prevent infections and the treatment of infected individuals. (shrink)

This paper reports our research efforts on social robots that recognize interpersonal relationships. These investigations are carried out by observing group behaviors while the robot interacts with people. Our humanoid robot interacts with children by speaking and making various gestures. It identifies individual children by using a wireless tag system, which helps to promote interaction such as the robot calling a child by name. Accordingly, the robot is capable of interacting with many children, causing spontaneous group behavior from the children (...) around it. Here, group behavior is associated with social relationships among the children themselves. For example, a child may be accompanied by his or her friends and then play together with them. We propose the hypothesis that our interactive robot prompts a child’s friends to accompany him or her; thus, we can estimate their friendship by simply observing their accompanying behaviors. We conducted a field experiment for two weeks in a Japanese elementary school to verify this hypothesis. In the experiment, two “Robovie” robots were placed where children could freely interact with them during recesses. As a result, we found that they mostly prompted friend-accompanying behavior. Moreover, we could estimate some of their friendly relationships, in particular among the children who often appeared around the robot. For example, we could estimate 5% of all friendships with 80% accuracy, and 15% of them with nearly 50% accuracy. Thus, this result basically supports our hypothesis on friendship estimation from an interactive humanoid robot. We believe that this ability to estimate human relationships is essential for robots to behave socially. (shrink)

We propose that observables in quantum theory are properly understood as representatives of symmetry-invariant quantities relating one system to another, the latter to be called a reference system. We provide a rigorous mathematical language to introduce and study quantum reference systems, showing that the orthodox “absolute” quantities are good representatives of observable relative quantities if the reference state is suitably localised. We use this relational formalism to critique the literature on the relationship between reference frames and superselection rules, settling a (...) long-standing debate on the subject. (shrink)

Floridi’s infosphere consisting of informational reality is estimated and delineated by introducing the new notion of Typ-Ken, an undifferentiated amalgam of type and token that can be expressed as either type or token dependent on contingent ontological commitment. First, we elaborate Floridi’s system, level of abstraction (LoA), model, and structure scheme, which is proposed to reconcile ontic with epistemic structural reality, and obtain the duality of type and token inherited in the relationship between LoA and model. While we focus on (...) the ontological commitment that can negotiate and emphasize the discrepancy between type and token, we show that most research focusing on different hierarchical layers (type and token) has converged onto the flattened perspective of type and token to clarify the role of ontological commitment. We propose the idea of Typ-Ken to avoid this flattening. In addition, we elaborate Taddeo and Floridi’s criticism of approaches to the symbol grounding problem and show that their criticism based on the zero semantical commitment condition is specific to the agents affected by the flattening. We then take bird flocks as a metaphor for the living infosphere as if it had one mind. The knowledge recently yielded by image analysis indicates that it is difficult for previous flock models based on agents equipped with the flattening of local (token) and global (type) to show the special feature of a flock of the scale-free proportion (SFP). We show here that agents based on the Typ-Ken can reveal the SFP, which is the essential characteristic of the living infosphere. In other words, Typ-Ken is an expression for informational reality (LoA and model with ontological commitment) that can reveal seamless local and global interactions in the functioning of a flock or infosphere. (shrink)

Contents: Hōtoku gaiki -- Ninomiya Sensei goroku -- Sanshi suitō.

西洋近代を経験した東アジア各国はいかに固有の哲学を生み出しそして今どんな〈世界哲学〉の構想が可能なのか。国際共同研究の成果。.

Unter dem Titel Feuerbach und der Judaismus wird mit dieser Publikation ein neues Kapitel in der Feuerbachforschung aufgeschlagen, da erstmalig Feuerbachs Stellung zum Judaismus, aber auch sein Einfluß auf die deutsch-jüdische Philosophie ...

Background The Regional Committee for Africa of the World Health Organization (WHO) in 2001 expressed concern that some health-related studies undertaken in the Region were not subjected to any form of ethics review. In 2003, the study reported in this paper was conducted to determine which Member country did not have a national research ethics committee (REC) with a view to guiding the WHO Regional Office in developing practical strategies for supporting those countries. Methods This is a descriptive study. The (...) questionnaire was prepared and sent by diplomatic pouch to all the 46 Member States in the WHO African Region, through the WHO country representatives, for facilitation and follow up. The data were entered in Excel spreadsheet and subsequently exported to STATA for analysis. A Chi-Squared test (χ 2) for independence was undertaken to test the relationship between presence/absence of Research Ethics Committee (REC) and selected individual socioeconomic and health variables. Results The main findings were as follows: the response rate was 61% (28/46); 64% (18/28) confirmed the existence of RECs; 36% (10/28) of the respondent countries did not have a REC (although 80% of them reported that they had in place an ad hoc ethical review mechanism); 85% (22/26) of the countries that responded to this question indicated that ethical approval of research proposals was, in principle, required; and although 59% of the countries that had a REC expected it to meet every month, only 44% of them reported that the REC actually met on a monthly basis. In the Chi-Squared test, only the average population in the group of countries with a REC was statistically different (at 5% level of significance) from that of the group of countries without a REC. Conclusion In the current era of globalized biomedical research, good ethics stewardship demands that every country, irrespective of its level of economic development, should have in place a functional research ethics review system in order to protect the dignity, integrity and safety of its citizens who participate in research. (shrink)

Young children generally learn words from other people. Recent research has shown that children can learn new actions and skills from nonhuman agents. This study examines whether young children could learn words from a robot. Preschool children were shown a video in which either a woman or a mechanical robot labeled novel objects. Then the children were asked to select the objects according to the names used in the video. The results revealed that children in the human condition were more (...) likely to select the correct objects than those in the robot condition. Nevertheless, the five-year-old children in the robot condition performed significantly better than chance level, while the four-year olds did not. Thus there is a developmental difference in children’s potential to learn words from a robot. The results contribute to our understanding of how children interact with non-human agents. Keywords: developmental cybernetics; word learning; social cognition; cognitive development. (shrink)

A Polish space is not always homeomorphic to a computably presented Polish space. In this article, we examine degrees of non-computability of presenting homeomorphic copies of compact Polish spaces. We show that there exists a $\mathbf {0}'$ -computable low $_3$ compact Polish space which is not homeomorphic to a computable one, and that, for any natural number $n\geq 2$, there exists a Polish space $X_n$ such that exactly the high $_{n}$ -degrees are required to present the homeomorphism type of $X_n$. (...) Along the way we investigate the computable aspects of Čech homology groups. We also show that no compact Polish space has a least presentation with respect to Turing reducibility. (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)

Multisensory integration allows us to link sensory cues from multiple sources and plays a crucial role in speech development. However, it is not clear whether humans have an innate ability or whether repeated sensory input while the brain is maturing leads to efficient integration of sensory information in speech. We investigated the integration of auditory and somatosensory information in speech processing in a bimodal perceptual task in 15 young adults (age 19 to 30) and 14 children (age 5 to 6). (...) The participants were asked to identify if the perceived target was the sound /e/ or /ø/. Half of the stimuli were presented under a unimodal condition with only auditory input. The other stimuli were presented under a bimodal condition with both auditory input and somatosensory input consisting of facial skin stretches provided by a robotic device, which mimics the articulation of the vowel /e/. The results indicate that the effect of somatosensory information on sound categorization was larger in adults than in children. This suggests that integration of auditory and somatosensory information evolves throughout the course of development. (shrink)

We prove the Decomposability Conjecture for functions of Baire class $2$ from a Polish space to a separable metrizable space. This partially answers an important open problem in descriptive set theory.

The need for a time-shift invariant formulation of quantum theory arises from fundamental symmetry principles as well as heuristic cosmological considerations. Such a description then leaves open the question of how to reconcile global invariance with the perception of change, locally. By introducing relative time observables, we are able to make rigorous the Page–Wootters conditional probability formalism to show how local Heisenberg evolution is compatible with global invariance.