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.

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)

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)

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)

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)

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)

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)

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)

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)

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

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)

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)

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.

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)

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)

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.

One’s generosity to others declines as a function of social distance, which is known as social discounting. We examined cultural similarities and differences in social discounting and the mediating roles of the two aspects of interdependence (self-expression and distinctiveness of the self) as well as the two aspects of independence (harmony-seeking and rejection avoidance). Using the same procedure that previous researchers used to test North Americans, Study 1 showed that compared to North Americans, Japanese discount more steeply a partner’s outcomes (...) compared to their own future outcomes, whereas the decrease in the subjective value of the partner’s outcomes accelerates less as a function of social distance. To examine the cultural similarities and differences in social discounting in more detail, Study 2 tested Japanese and Germans and found that the hyperbolic with exponent model fitted the participants’ discounting behaviors better than the other models, except for the loss condition in Germans where the utility of the q-exponential model was indicated. Moreover, although the social discounting rate was higher in Japanese than in Germans, the cultural difference was limited to the gain frame. However, the decline in a person’s generosity accelerated less as a function of social distance in Japanese than in Germans. Furthermore, the cultural difference in the social discounting in gains was mediated by the level of harmony-seeking, which was higher in Germans than in Japanese. Implications for individuals’ generosity against the backdrop of cultural characteristics are discussed. (shrink)

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)

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)

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.