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)

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...

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)

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)

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)

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.

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)

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)

In a 1983 interview with Christine Weiland, Gloria Anzaldúa posited that human and nonhuman connectivity exists outside hierarchical arrangements. Some twenty years after Anzaldúa’s interview, the “Speculative Turn” emerged in continental philosophy which critiques anthropocentrism in modern philosophy and reconceptualizes nonhuman subjectivity. While Anzaldúa’s scholarship addresses core issues that are highlighted by the speculative turn, little scholarship exists that places her into conversation with these new trajectories in continental philosophy. In this essay, I aim to contribute to this nascent scholarship (...) and explore the question, How can Anzaldúa’s creative work contribute to and expand scholarship of the speculative turn? I investigate how Anzaldúa’s work can help bridge connections between differing veins of speculative turn thought, specifically Graham Harman’s object-oriented philosophy and Jane Bennett’s vital materialism. Conversations between Harman and Bennett demonstrate a split in understanding nonhuman autonomy and relationality and represent incompatibilities between OOP and VM. Interested in these departures, I posit that Anzaldúa’s creative works, such as poetry and drawing, offer ways to challenge problematic human/nonhuman relations and bridge philosophical divides within the speculative turn. (shrink)

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)

Social dilemmas, in which individually selfish behavior leads to collectively deficient outcomes, continue to be an important topic of research because of their ubiquity. The present research with Japanese participants replicates, with slight modifications, public goods games previously run in the United States. In contrast to recent work showing profound cross-cultural differences, the results of two studies reported here show remarkable cross-cultural similarities. Specifically, results suggest that (1) as in the U.S., allowing incremental commitment to a public good is effective (...) at eliciting contributions, (2) individual differences in trust affect contributions, (3) the distribution of player types in the U.S. and Japan are very similar, and (4) the dynamics of play in the public goods games used here are strikingly parallel. These results are discussed in the context of the relationship between cross-cultural differences and economic institutional environments. (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)

Two cut-free sequent calculi which are conservative extensions of Visser's Formal Propositional Logic are introduced. These satisfy a kind of subformula property and by this property the interpolation theorem for FPL are proved. These are analogies to Aghaei-Ardeshir's calculi for Visser's Basic Propositional Logic.

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)

Recent fMRI studies have shown that functional networks can be extracted even from resting state data, the so called “resting state networks” (RSNs) by applying independent component analysis (ICA). However, compared to fMRI, EEG and MEG have much higher temporal resolution and provide a direct estimation of cortical activity. To date, MEG studies have applied ICA for separate frequency bands only, disregarding cross-frequency couplings. In this study, we aimed to detect EEG-RSNs and their interactions in all frequency bands. We applied (...) low resolution brain electromagnetic tomography-ICA (LORETA-ICA) to resting-state EEG data in 80 healthy subjects using five frequency bands (delta, theta, alpha, beta and gamma band) and found five RSNs in alpha, beta and gamma frequency bands. Next, taking into account these frequency properties, five RSNs were identified; 1) the visual network, 2) dual-process of visual perception network, characterized by a negative correlation between the right ventral visual pathway (VVP) and left posterior dorsal visual pathway (DVP), 3) self-referential processing network, characterized by a positive correlation between the medial PFC and right VVP, 4) dual-process of memory perception network, functionally related to a negative correlation between the left VVP and the precuneus and 5) sensorimotor network. To detect aging-related changes of these five RSNs, the subjects were divided into three age groups: younger, middle aged, and elderly group, and Student's t test with Bonferroni correction on each coefficient of five independent components were performed. We found a significant attenuation in dual-process of visual perception network in elderly relative to middle aged subjects. Overall findings indicate that LORETA-ICA with EEG data can precisely identify five RSNs in their intrinsic frequency bands, and correct correlations and aging-related changes between and within RSNs. (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.