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)

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

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)

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)

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)

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)

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)

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)

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)

BackgroundSome persons conceived with donor gametes react negatively when they found their birth via donor conception. They request access to information about and seek to communicate with the donor. However, some countries mandate donor anonymity. Other countries allow donor-conceived persons to access donor information, but they can only use this access if their parents have disclosed donor conception to them. We investigated a thorny issue of donor conception: whether donor conception should be shifted from an anonymous basis to a non-anonymous (...) basis.MethodsWe review the issues and concerns regarding donor conception. We then consider the impact of direct-to-consumer genetic testing on donor conception, as well as the influence of donor conception on offspring’s identity and the potential of different types of donors. To discuss the future policy of donor conception, the policies on the anonymity of gamete donors were investigated using publicly-available documents in 15 countries.ResultsThe aim of mandating donor anonymity is to protect the privacy of the donor and intended parents. However, the diffusion of direct-to-consumer genetic testing may make it impossible to maintain anonymity. Birth via donor conception shapes the offspring’s identity, and the donor may further influence the development of offspring’s identity through communications. It remains important to disclose donor conception to donor-conceived offspring and to provide them with donor information. However, that information might be insufficient for some donor-conceived persons. Here are benefits to having open-identity donors and known donors. Such donors can make an agreement with the parents regarding future communication with the offspring, although both sides should respect privacy. Subsequent counseling for all parties involved can result in better tripartite communication agreements.ConclusionsIn sum, ethical and practical issues that complicate donor anonymity are driving a shift to non-anonymous donor conception, in which all parties come to a communication agreement. To pave the way for such a donor conception system, transitional measures can be put into place. For countries that already adopted non-anonymous donor conception, ensuring the communication agreements is important to protect the rights of parents, donor, and offspring. (shrink)

O Transtorno de Déficit de Atenção e Hiperatividade (TDAH) é um transtorno do neurodesenvolvimento e representa uma preocupação significativa, principalmente, em crianças em idade escolar. Esta pesquisa busca fornecer atualizações sobre a medicalização e o TDAH presentes na realidade escolar do ensino fundamental da cidade de Maringá-PR. Para isso, utilizou-se um questionário semiestruturado em 8 Instituições de Ensino Básico, distribuídas em 4 regiões da cidade, no período de 2015 a 2016. A amostra contou com 2.367 estudantes de 6 a 10 (...) anos. Os dados foram analisados de forma quantitativa e qualitativa e, a partir destes, observou, percentualmente, o índice de crianças com TDAH foi o esperado, não ultrapassando a média constante na literatura, e o medicamento prevalente foi o metilfenidato. Entretanto, percebemos que sem a adequação pedagógica e a falta de sinergia entre o uso do medicamento ao acompanhamento psicológico, o transtorno pode não estar sendo resolvido, mas apenas mascarado. (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...

In 2015 the United Kingdom (UK) became the first nation to legalize egg and zygotic nuclear transfer procedures using mitochondrial replacement techniques (MRTs) to prevent the maternal transmission of serious mitochondrial DNA diseases to offspring. These techniques are a form of human germline genetic modification and can happen intentionally if female embryos are selected during the MRT clinical process, either through sperm selection or preimplantation genetic diagnosis (PGD). In the same year, an MRT was performed by a United States (U.S.)-based (...) physician team. This experiment involved a cross-border effort: the MRT procedure per se was carried out in the US, and the embryo transfer in Mexico. The authors examine the ethics of MRTs from the standpoint of genetic relatedness and gender implications, in places that lack adequate laws and regulation regarding assisted reproduction. Then, we briefly examine whether MRTs can be justified as a reproductive option in the US and Mexico, after reassessing their legalization in the UK. We contend that morally inadequate and ineffective regulations regarding egg donation, PGD, and germline genetic modifications jeopardize the ethical acceptability of the implementation of MRTs, suggesting that MRTs are currently difficult to justify in the US and Mexico. In addition to relevant regulation, the initiation and appropriate use of MRTs in a country require a child-centered follow-up policy and more evidence for its safety. (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.

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)