This paper undertakes a comparative legal study to analyze the challenges of privacy and personal data protection posed by Artificial Intelligence embedded in Robots, and to offer policy suggestions. After identifying the benefits from various AI usages and the risks posed by AI-related technologies, I then analyze legal frameworks and relevant discussions in the EU, USA, Canada, and Japan, and further consider the efforts of Privacy by Design originating in Ontario, Canada. While various AI usages provide great convenience, many issues, (...) including profiling, discriminatory decisions, lack of transparency, and impeding consent, have emerged. The unpredictability arising from the AI machine learning function poses further difficulties, which have only been partially addressed by legal frameworks in the aforementioned jurisdictions. However, analyzing the relevant discussions yielded several suggestions. The first priority is adopting PbD as the most flexible, soft-legal, and preferable approach toward AI-oriented issues. Implementing PbD will protect individual privacy and personal data without specific efforts, and achieve both the development of AI and the advancement of privacy and personal data protection. Technical measures that can adapt to an individual’s dynamic choices according to the “context” should be further developed. Furthermore, alternative technical measures, including those to solve the “algorithmic black box” or achieve differential privacy, warrant thorough examination. If AI surpasses human intelligence, a terminating function, such as a “kill switch” will be the last resort to preserve individual choice. Despite numerous difficulties, we must prepare for the coming AI-prevalent society by taking a flexible approach. (shrink)

9th and 10th Nov. 2013 at Kyoto University. Organizers: Takeshi Sato and Shunsuke Sugimoto.

徳川慶喜のブレーンにして明治政府の高級官僚。翻訳論、日本語論、軍事論。知の百面相・西周初の入門書。.

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)

I explore options for a plenitudinarian solution to the Paradox of Flexible Origin Essentialism, taking as my unlikely starting point the views of Sarah-Jane Leslie, who holds that if plenitudinarianism is true, then there is in fact no paradox to be solved, only the illusion of one. The first three sections are expository: Sect. 1 on plenitudinarianism, Sect. 2 on the paradox, and Sect. 3 on Leslie’s views about how plenitudinarianism bears on the paradox. In Sect. 4, I reject the (...) contention that there is no paradox and critically explore three options for a plenitudinarian solution. In Sect. 5, I argue that the plenitudinarian ought to endorse a fourth option. In Sect. 6, I consider an objection. I endorse neither plenitudinarianism nor its denial; the main aim of the paper is to argue that for one who does endorse plenitudinarianism, the best solution to the Paradox of Flexible Origin Essentialism is clear. (shrink)

We defend hylomorphism against Maegan Fairchild’s purported proof of its inconsistency. We provide a deduction of a contradiction from SH+, which is the combination of “simple hylomorphism” and an innocuous premise. We show that the deduction, reminiscent of Russell’s Paradox, is proof-theoretically valid in classical higher-order logic and invokes an impredicatively defined property. We provide a proof that SH+ is nevertheless consistent in a free higher-order logic. It is shown that the unrestricted comprehension principle of property abstraction on which the (...) purported proof of inconsistency relies is analogous to naïve unrestricted set-theoretic comprehension. We conclude that logic imposes a restriction on property comprehension, a restriction that is satisfied by the ramified theory of types. By extension, our observations constitute defenses of theories that are structurally similar to SH+, such as the theory of singular propositions, against similar purported disproofs. (shrink)

In this paper, I distinguish two senses of the word ‘essence’ both of which figure prominently in recent analytic metaphysics. To disambiguate, I adopt the terminology of ‘modal essence’ (for how a thing metaphysically must be) and ‘whatness essence’ (for what a thing is). With the help of this terminology, I address Kit Fine’s charge that modal metaphysics in the framework of Saul Kripke’s Naming and Necessity proffers an incorrect conceptual analysis of whatness essence. I show that the charge is (...) baseless, and thus that there is no justification for Fine’s verdict that the Kripkean conception of metaphysics should be given up. (shrink)

This study examines the process by which the concept of quality of life has been increasing in importance as the key to ASEAN's socio-cultural integration. This study also focuses on the current trend that emphasizes subjective quality of life and clarifies that ASEAN has been moving toward including this perspective. Then, it analyzes the subjective quality of life of people in ASEAN in terms of self-assessment and the multidimensional World Health Organization Quality of Life metric by using data from the (...) ASEAN Barometer 2009. (shrink)

In “A New Problem for Kripkean Defenses of Origin Theses”, Sungil Han calls attention to a gap between the negative conclusions of arguments for origin essentialism (claims to the effect that a given thing could not originate in a certain way), and the positive conclusions one might hope for (claims to the effect that a given thing must originate in a certain way if it exists at all). Han proposes a way of bridging the gap. While I agree with Han (...) that there is indeed such a gap, there is an important difference in what Han and I take the negative claims of Kripke(ans) to be. As a result, I propose a bridge that is significantly different from his. I argue that my approach is superior to Han’s. (shrink)

Let T be an extension of Robinson's arithmetic Q. Then T is incomplete even if the set of the Gödel numbers of all axioms of T is ∑2.

This article argues how one problem of computing lies in realizing a significant instance given a class or type. Analysis of a case study on digital narrative suggests two general processes for instantiating significant instances: interaction and optimization. The article then explains how the problem of universals needs to be deconstructed when trying to understand what type of entities significant instances are and what the process for obtaining them is.

Long-range correlation, a property of time series exhibiting long-term memory, is mainly studied in the statistical physics domain and has been reported to exist in natural language. Using a state-of-the-art method for such analysis, long-range correlation is first shown to occur in long CHILDES data sets. To understand why, Bayesian generative models of language, originally proposed in the cognitive scientific domain, are investigated. Among representative models, the Simon model was found to exhibit surprisingly good long-range correlation, but {\em not} the (...) Pitman-Yor model. Since the Simon model is known not to correctly reflect the vocabulary growth of natural language, a simple new model is devised as a conjunct of the Simon and Pitman-Yor models, such that long-range correlation holds with a correct vocabulary growth rate. The investigation overall suggests that uniform sampling is one cause of long-range correlation and could thus have a relation with actual linguistic processes. (shrink)

Adopting a modified Stroop task, the authors tested the hypothesis that processing systems brought to bear on comprehension of emotional speech are attuned primarily to word evaluation in a low-context culture and language (i.e., in English), but they are attuned primarily to vocal emotion in a high-context culture and language (i.e., in Japanese). Native Japanese (Studies 1 and 2) and English speakers (Study 3) made a judgement of either vocal emotion or word evaluation of an emotionally spoken evaluative word. Word (...) evaluations and vocal emotions were comparable in extremity in the two languages. In support of the hypothesis, an interference effect by competing word evaluation in the vocal emotion judgement was significantly stronger in English than in Japanese. In contrast, an interference effect by competing vocal emotion in the word evaluation judgement was stronger in Japanese than in English. Implications for the cultural grounding of communication, emotion, and cognition are discussed. (shrink)

This article examines the concept of void with the question of whether the concept forms a sign. A void in this article is defined as a spatio-temporal empty space existing in a representation. The aim of the analysis is to consider the hidden nature of signs, which cannot be highlighted only through an analysis of typical signs within social convention. As a semiotic tool to conduct the discussion, the notion of a zero sign of Lévi-Strauss is introduced. The article considers (...) all possible zeros that can exist within the Saussurian sign model and introduces three cases: an omitted sign, an ambiguous signified, and an ambiguous sign. After examining the features of each kind, the concept of void is considered in these terms, with the conclusion that it belongs to the ambiguous sign case. Analysis of void with respect to the zero sign highlights the nature of signs as being reflexive, holistic and speculative. Because the signifier is barely delimited, it influences the surrounding sign systems, including the one existing at the meta-level. An ambiguous sign is deemed to allow for concept sharing among people even when the signifier and the signified remain ambiguous. (shrink)

Individual differences in moral views are often explained as the downstream effect of ideological commitments, such as political orientation and religiosity. Recent studies in the U.S. suggest that moral views about recreational drug use are also influenced by attitudes toward sex and that this relationship cannot be explained by ideological commitments. In this study, we investigate student samples from Belgium, The Netherlands, and Japan. We find that, in all samples, sexual attitudes are strongly related to views about recreational drug use, (...) even after controlling for various ideological variables. We discuss our results in light of reproductive strategies as determinants of moral views. (shrink)

In recent years, neural networks have attracted much attention in the machine learning and the deep learning technologies. Bio-inspired functions and intelligence are also expected to process efficiently and improve existing technologies. In the visual pathway, the prominent features consist of nonlinear characteristics of squaring and rectification functions observed in the retinal and visual cortex networks, respectively. Further, adaptation is an important feature to activate the biological systems, efficiently. Recently, to overcome short-comings of the deep learning techniques, orthogonality for the (...) weights in the networks has been developed for the signal propagation and the efficient optimization of the learning. In this paper, bio-inspired asymmetric networks with nonlinear characteristics are proposed, which are derived from the retinal networks in the biological visual pathway. The asymmetric network proposed here was verified to detect the movement of the object, efficiently in our previous studies. This paper shows a new characteristic of the adaptive orthogonality in the asymmetric networks. First, it is shown that the asymmetric network with nonlinear characteristics is effective for generating orthogonality. Second, the proposed asymmetric network with Gabor filters is compared with the conventional energy model from the point of the orthogonality characteristics. Finally, the asymmetric networks with nonlinear characteristics can generate the extended orthogonal bases in independent subspaces, which are useful for classification and efficient learning. (shrink)

UK law permits parents to use mitochondrial replacement to have genetically-related children without serious mitochondrial disease. However, long-term follow-up is required for each case. Whet...

Previous findings in cultural psychology indicated that East Asians are more likely than North Americans to be attentive to contextual information (e.g., Nisbett & Masuda, ). However, to what extent and in which conditions culture influences patterns of attention has not been fully examined. As a result, universal patterns of attention may be obscured, and culturally unique patterns may be wrongly assumed to be constant across situations. By carrying out two cross-cultural studies, we demonstrated that (a) both European Canadians and (...) Japanese attended to moving objects similarly when the task was to simply observe the visual information; however, (b) there were cultural variations in patterns of attention when participants actively engaged in the task by constructing narratives of their observation (narrative construction). These findings suggest that cultural effects are most pronounced in narrative construction conditions, where the need to act in accordance with a culturally shared meaning system is elicited. (shrink)

A partial solution to Ono’s problem P54 is given. Here Ono’s problem P54 is whether Harrop disjunction property is equivalent to disjunction property or not in intermediate predicate logics. As an application of this result it is shown that some intermediate predicate logics satisfy Harrop disjunction property.

Machine learning, deep learning and neural networks are extensively applied for the development of many fields. Though their technologies are improved greatly, they are often said to be opaque in terms of explainability. Their explainable neural functions will be essential to realization in the networks. In this paper, it is shown that the bio-inspired networks are useful for the explanation of tracking and classification of features. First, the asymmetric network with nonlinear functions is created based on the bio-inspired retinal network. (...) They have orthogonal properties useful for the tracking of features compared with the conventional symmetric networks, which is also proposed on the biological functions. Next, the analysis for the independence of the subspaces between the Fourier bases and the asymmetric network bases is performed. It was that the asymmetric networks have better performances in the classification compared with the symmetric ones. Further, the layered asymmetric networks generate the higher dimensional orthogonal bases that improve the classification accuracies by the replacements of bases. Finally, we classified Reuters collections data applying the explainable processing steps, which consist of the linear discriminations and the sparse coding with nearest neighbor relation for classification. (shrink)

Abstract:Queer Chicana author Gloria Anzaldúa often used visual art to develop and teach her theories, which address issues relating to social identity and institutions as well as creativity and spirituality. Her large collection of archived sketches at the Gloria Evangelina Anzaldúa Papers at the University of Texas demonstrates her drive to visually express ideas. The archive also holds unpublished works and talks in which Anzaldúa discusses her concepts of creativity and the image-making process. Despite the prevalence of images in her (...) work, few scholars have analyzed her artwork or her writings on creativity. To address this gap, I explore the question: How do Anzaldúa's sketches inform her theoretical concepts of creativity and image-making? Analyzing her visual work significantly contributes to academic scholarship, especially for scholars looking to engage with Anzaldúan theorizing beyond that of her written works. (shrink)

An answer to the following question is presented: given a proof in classical propositional logic, for what small set of propositional variables p does it suffice to add all the formulae to Γ in order to intuitionistically prove A? This answer is an improvement of Ishihara's result for some cases.