Right-ear advantage refers to the observation that when two different speech stimuli are simultaneously presented to both ears, listeners report stimuli more correctly from the right ear than the left. It is assumed to result from prominent projection along the auditory pathways to the contralateral hemisphere and the dominance of the left auditory cortex for the perception of speech elements. Our study aimed to investigate the role of attention in the right-ear advantage. We recorded magnetoencephalography data while participants listened to (...) pairs of Japanese two-syllable words. The amplitudes of the stimuli were modulated at 35 Hz in one ear and 45 Hz in the other. Such frequency-tagging allowed the selective quantification of left and right auditory cortex responses to left and right ear stimuli. Behavioral tests confirmed the right-ear advantage, with higher accuracy for stimuli presented to the right ear than to the left. The amplitude of the auditory steady-state response was larger when attending to the stimuli compared to passive listening. We detected a correlation between the attention-related increase in the amplitude of the auditory steady-state response and the laterality index of behavioral accuracy. The right-ear advantage in the free-response dichotic listening was also found in neural activities in the left auditory cortex, suggesting that it was related to the allocation of attention to both ears. (shrink)

In this paper, we show within ${\mathsf{RCA}_0}$ that both the Jordan curve theorem and the Schönflies theorem are equivalent to weak König’s lemma. Within ${\mathsf {WKL}_0}$ , we prove the Jordan curve theorem using an argument of non-standard analysis based on the fact that every countable non-standard model of ${\mathsf {WKL}_0}$ has a proper initial part that is isomorphic to itself (Tanaka in Math Logic Q 43:396–400, 1997).

In this paper, we propose an extension of the Minimal Generation Gap (MGG) to reduce the number of fitness evaluation for the real-coded GAs (RCGA). When MGG is applied to actual engineering problems, for example applied to optimization of design parameters, the fitness calculating time is usually huge because MGG generates many children from one pair of parents and the fitness is calculated by repetitive simulation or analysis. The proposed method called Saving MGG reduces the number of fitness evaluation by (...) estimating the promising degrees of children using individual distribution and fitness information of population, and selecting children based on the promising degree before evaluating the fitness. Experimental results show that RCGA with Saving MGG can provide large reducing effects on 20 or 30 dimensional Sphere functions, Rosenbrock functions, ill-scaled Rosenbrock functions, and Rastrigin function. (shrink)

In this paper, we show that equation image is a equation image-conservative extension of BΣ1 + exp, thus it does not imply IΣ1.

The purpose of this paper is to present a commentary on the current state of contemporary African philosophy and to offer some criticisms and recommendations. The question concerning African philosophy has been debated for some years now and one has witnessed a number of interesting works on this topic.

In this paper, we introduce the systems ns-ACA₀ and ns-WKL₀ of non-standard second-order arithmetic in which we can formalize non-standard arguments in ACA₀ and WKL₀, respectively. Then, we give direct transformations from non-standard proofs in ns-ACA₀ or ns-WKL₀ into proofs in ACA₀ or WKL₀.

have extremely harmful impacts on an individual’s physical, social and mental health throughout their life-span. Recently, it has been reported that maternal ACEs increase the risk of developmental delay in the offspring across generations. This mini review focuses on the direct relationship between maternal ACEs and child developmental delay, and potential mediators/moderators that associate their relationship. Six studies were identified using three search engines. The results indicated that four out of six studies reported at least one significant direct association between (...) maternal ACEs and child development. Additionally, maternal biological, psychological, and social factors were identified as mediators or moderators. In summary, we identified that maternal ACEs increased the risk of developmental delay in children via biological and psychosocial pathways. Future research should examine potential buffering factors and identify when it is crucial to break the intergenerational transmission. (shrink)

It is often emphasized that the Athenians viewed philosophy as essentially apolitical or anti-political. Placed in this context, Aristotle’s Politics 7.1–7.3 deserves special attention because here Aristotle presents his argument on the best life for ‘each human being and commonly for cities and human beings ’, which culminates in his conclusion that ‘the same life ’ is the best for them. This paper attempts to show that ‘the same life’ does not mean a life consisting of activity of the same (...) content but rather of the same type or kind, and that Aristotle semantically differentiates between ἑκάστῳ τε τῶν ἀνθρώπων and τοῖς ἀνθρώποις and assigns a sphere of philosophy to the former and a sphere of politics to the latter, which helps him mitigate the tension between the philosophical life and the political life. (shrink)

This research is motivated by the program of reverse mathematics and non-standard arguments in second-order arithmetic. Within a weak subsystem of second-order arithmetic ACA0, we investigate some aspects of non-standard analysis related to sequential compactness. Then, using arguments of non-standard analysis, we show the equivalence of the Riemann mapping theorem and ACA0 over WKL0. (© 2007 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim).

Kripke completeness of some infinitary predicate modal logics is presented. More precisely, we prove that if a normal modal logic above is -persistent and universal, the infinitary and predicate extension of with BF and BF is Kripke complete, where BF and BF denote the formulas pi pi and x x, respectively. The results include the completeness of extensions of standard modal logics such as , and its extensions by the schemata T, B, 4, 5, D, and their combinations. The proof (...) is obtained by extending the correspondence between the representation of modal algebras and the completeness of propositional modal logic to infinite. (shrink)

This research is motivated by the program of Reverse Mathematics. We investigate basic part of complex analysis within some weak subsystems of second order arithmetic, in order to determine what kind of set existence axioms are needed to prove theorems of basic analysis. We are especially concerned with Cauchy’s integral theorem. We show that a weak version of Cauchy’s integral theorem is proved in RCAo. Using this, we can prove that holomorphic functions are analytic in RCAo. On the other hand, (...) we show that a full version of Cauchy’s integral theorem cannot be proved in RCAo but is equivalent to weak König’s lemma over RCAo. (shrink)

We examined amygdala subregion volumes in patients with a first episode of major depression and in healthy subjects. Covariate-adjusted linear regression was performed to compare the MD and healthy groups, and adjustments for age, gender, and total estimated intracranial volume showed no differences in amygdala subregion volumes between the healthy and MD groups. Within the MD group, we examined the association between amygdala subregion volume and the 17-item Hamilton Rating Scale for Depression score and the HAMD subscale score, and found (...) no association in the left amygdala. In the right amygdala, however, there was an inverse linear association between the HAMD total and the HAMD core and lateral nucleus and anterior-amygdaloid-regions. Furthermore, an inverse linear association was seen between the HAMD psychic and the lateral nucleus, anterior-amygdaloid-regions, transition, and whole amygdala. The findings of this study suggest that the severity of MD and some symptoms of MD are associated with right amygdala volume. There have been few reports on the relationship between MD and amygdala subregional volume, and further research is needed to accumulate more data for further validation. (shrink)

Neoclassical economic theory in its pretensions to scientific status is founded on one of the variants of a now discredited positivism. Neoclassical economic theory claims that there are two distinct areas of economic research: positive economics and normative economics. The former is assumed to deal with the cognitive as scientific content of economics while the later focuses on welfare or equity issues. I argue that the reliance of the whole theoretical structure of economics on the normative postulate of rationality renders (...) neoclassical economics a normative discipline. I also argue that neoclassical economics should thus be viewed as an instance of applied ethics rather than as applied mathematics, say. Finally, it is suggested that neoclassical economics, if its scientific pretensions are to be taken seriously, should be absorbed theoretically into general anthropology. (shrink)

Kuhn's theory of scientific change is founded on the idea that there are minimal defensible grounds for the claim that the history of science is characterized by the cumulative growth of knowledge. According to Kuhn, revolutionary theories in the history of science cannot be perceived as logical and empirical derivations from their predecessors since, quite often, the research methods, theoretical assumptions and the empirical findings of the former are incompatible with the latter. Thus, the analysis of each novel scientific theory (...) must begin with a recognition of the epistemological and ontological independence of that theory's paradigm. (shrink)

November 4th-5th, 2012 at Kyoto University. Organizers: Hisashi Nakao & Pierre-Alain Braillard.

In prior research, signal detection theory has been widely utilized to assess metacognitive ability. However, the SDT metacognitive model requires the use of a two-alternative forced-choice task, while confidence must also be measured discretely. In our model, participants’ cognitive ability and their confidence in the cognitive task were used to estimate their metacognitive abilities. Therefore, in this study, a metacognitive model that can be applied to various cognitive tasks was developed. This model implements the item response theory and Q-learning models (...) to estimate cognitive ability; participants’ metacognitive ability is defined as the discrepancy between their confidence in their cognitive ability and their actual cognitive ability. The entire procedure was divided into two experiments. In experiment 1, two different cognitive tasks were used to estimate metacognitive ability and to examine overall discriminative and convergent validity. Notably, the parameters representing metacognitive ability did not correlate with cognitive ability but were positively correlated between the two tasks. In experiment 2, we performed a similar analysis using a different task to test the replicability of experiment 1. The results for experiment 2 were replicated for discriminative and convergent validity, albeit with weak results. Our metacognitive model exhibited high interpretability and versatility. (shrink)

In this paper, we argue that a distinction ought to be drawn between two ways in which a given world might be logically impossible. First, a world w might be impossible because the laws that hold at w are different from those that hold at some other world (say the actual world). Second, a world w might be impossible because the laws of logic that hold in some world (say the actual world) are violated at w. We develop a novel (...) way of modelling logical possibility that makes room for both kinds of logical impossibility. Doing so has interesting implications for the relationship between logical possibility and other kinds of possibility (for example, metaphysical possibility) and implications for the necessity or contingency of the laws of logic. (shrink)

A logic is called 'paraconsistent' if it rejects the rule called 'ex contradictione quodlibet', according to which any conclusion follows from inconsistent premises. While logicians have proposed many technically developed paraconsistent logical systems and contemporary philosophers like Graham Priest have advanced the view that some contradictions can be true, and advocated a paraconsistent logic to deal with them, until recent times these systems have been little understood by philosophers. This book presents a comprehensive overview on paraconsistent logical systems to change (...) this situation. The book includes almost every major author currently working in the field. The papers are on the cutting edge of the literature some of which discuss current debates and others present important new ideas. The editors have avoided papers about technical details of paraconsistent logic, but instead concentrated upon works that discuss more 'big picture' ideas. Different treatments of paradoxes takes centre stage in many of the papers, but also there are several papers on how to interpret paraconistent logic and some on how it can be applied to philosophy of mathematics, the philosophy of language, and metaphysics. (shrink)

An assessment of mood or emotion is important in developing mental health measures, and facial expressions are strongly related to mood or emotion. This study thus aimed to examine the relationship between levels of negative mood and characteristics of mouth parts when moods are drawn as facial expressions on a common platform. A cross-sectional study of Japanese college freshmen was conducted, and 1,068 valid responses were analyzed. The questionnaire survey consisted of participants’ characteristics, the Profile of Mood States, and a (...) sheet of facial expression drawing, and the sheet was digitized and analyzed using an image-analysis software. Based on the total POMS score as an index of negative mood, the participants were divided into four groups: low, normal, high, and very high. Lengths of drawn lines and between both mouth corners were significantly longer, and circularity and roundness were significantly higher in the L group. With increasing levels of negative mood, significant decreasing trends were observed in these lengths. Convex downward and enclosed figures were significantly predominant in the L group, while convex upward figures were significantly predominant and a tendency toward predominance of no drawn mouths or line figures was found in the H and VH groups. Our results suggest that mood states can be significantly related to the size and figure characteristics of drawn mouths of FACED on a non-verbal common platform. That is, these findings mean that subjects with low negative mood may draw a greater and rounder mouth and figures that may be enclosed and downward convex, while subjects with a high negative mood may not draw the line, or if any, may draw the line shorter and upward convex. (shrink)

Dharmakīrti argues that there is no pramāṇa (valid means of cognition or source of knowledge) for a thesis that is a self-contradiction (svavacanavirodha). That is, self-contradictions such as ‘everything said is false’ and ‘my mother is barren’ cannot be known to be true or false. The contemporary scholar Tillemans challenges Dharmakīrti by arguing that we can know that self-contradictions are false by means of a formal logical inference. The aims of the paper are to answer Tillemans’ challenge from what we (...) take to be Dharmakīrti’s or Dharmakīrtian (someone who is like Dharmakīrti) perspective and to demonstrate the unique features of Dharmakīrti’s view of inference. By so doing, we show that the epistemology in relation to the formal conception of logic that underlies Tillemans’ challenge is problematic from Dharmakīrti’s or Dharmakīrtian perspective. The paper, thus, presents Dharmakīrti’s view of inference and logical reasoning as well as a Dharmakīrtian challenge to the formal conception of logic that is the dominant contemporary conception. (shrink)

Following on from Shaun Gallagher's influential 2005 book How the Body Shapes the Mind, this volume brings together leading experts from the fields of philosophy, neuroscience, psychology, and psychiatry in a productive dialogue, exploring key questions and debates about the relationship between body schema and body image.

There was a time when 'logic' just meant classical logic. The climate is slowly changing and non-classical logic cannot be dismissed off-hand. However, a metatheory used to study the properties of non-classical logic is often classical. In this paper, we will argue that this practice of relying on classical metatheories is problematic. In particular, we will show that it is a bad practice because the metatheory that is used to study a non-classical logic often rules out the very logic it (...) is designed to study. (shrink)

The purpose of this study is to investigate the relationship between a firm’s strategy and consumers’ decisions in the presence of the paradox of choice and sharing personal information. The paradox of choice implies that having too many choices does not necessarily ensure happiness and sometimes having less is more. A new model is constructed introducing a factor of information sharing into the model of a previous study that embedded the paradox of choice only (Kinjo and Ebina in AI Soc (...) 30(2):291–297, 2015). A key feature of the model is its disutility function. It is demonstrated that if the sign of the cross derivative of the function is positive (negative) at the optimum, there is a positive (negative) correlation between the degree of sharing personal information chosen by the consumers and the number of products offered by the firm in its recommendation systems. It is also numerically indicated that the profit function of the firm becomes convex or concave depending on the shape of the disutility function. These results suggest that firms should carefully investigate the shape of the disutility function, under the paradox of choice and sharing personal information. (shrink)

The purpose of our study is to investigate the effects of the number of products, product attributes, and prices on consumer confusion, conduct a numerical analysis to check the robustness of the results, and present an example of the cell phone market in Japan. Following an ideal point model and embedding the number of products and product attributes, we clarify how these factors affect consumer confusion and purchase probability. We show that as the number of product attributes increases, the choice (...) probability of each product becomes equal, implying that consumer confusion occurs. This result is robust to the introduction of prices as strategic variables. (shrink)

We show that each of $\Delta _{3}^{1}-{\rm CA}_{0}+\Sigma _{3}^{1}-{\rm IND}$ and $\Pi _{2}^{1}-{\rm CA}_{0}+\Pi _{3}^{1}-{\rm TI}$ proves $\Delta _{3}^{0}-{\rm Det}$ and that neither $\Sigma _{3}^{1}-{\rm IND}$ nor $\Pi _{3}^{1}-{\rm TI}$ can be dropped. We also show that neither $\Delta _{3}^{1}-{\rm CA}_{0}+\Sigma _{\infty}^{1}-{\rm IND}$ nor $\Pi _{2}^{1}-{\rm CA}_{0}+\Pi _{\infty}^{1}-{\rm TI}$ proves $\Sigma _{3}^{0}-{\rm Det}$. Moreover, we prove that none of $\Delta _{2}^{1}-{\rm CA}_{0}$, $\Sigma _{3}^{1}-{\rm IND}$ and $\Pi _{2}^{1}-{\rm TI}$ is provable in $\Delta _{1}^{1}-{\rm Det}_{0}={\rm ACA}_{0}+\Delta _{1}^{1}-{\rm Det}$.

Within a weak subsystem of second-order arithmetic , that is -conservative over , we reformulate Kreisel's proof of the Second Incompleteness Theorem and Boolos' proof of the First Incompleteness Theorem.

It has been an open question whether or not we can define a belief revision operation that is distinct from simple belief expansion using paraconsistent logic. In this paper, we investigate the possibility of meeting the challenge of defining a belief revision operation using the resources made available by the study of dynamic epistemic logic in the presence of paraconsistent logic. We will show that it is possible to define dynamic operations of belief revision in a paraconsistent setting.

The program of Reverse Mathematics (Simpson 2009) has provided us with the insight that most theorems of ordinary mathematics are either equivalent to one of a select few logical principles, or provable in a weak base theory. In this paper, we study the properties of the Dirac delta function (Dirac 1927; Schwartz 1951) in two settings of Reverse Mathematics. In particular, we consider the Dirac Delta Theorem, which formalizes the well-known property \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} (...) \begin{document}$${\int_\mathbb{R}f(x)\delta(x)\,dx=f(0)}$$\end{document} of the Dirac delta function. We show that the Dirac Delta Theorem is equivalent to weak König’s Lemma (see Yu and Simpson in Arch Math Log 30(3):171–180, 1990) in classical Reverse Mathematics. This further validates the status of WWKL0 as one of the ‘Big’ systems of Reverse Mathematics. In the context of ERNA’s Reverse Mathematics (Sanders in J Symb Log 76(2):637–664, 2011), we show that the Dirac Delta Theorem is equivalent to the Universal Transfer Principle. Since the Universal Transfer Principle corresponds to WKL, it seems that, in ERNA’s Reverse Mathematics, the principles corresponding to WKL and WWKL coincide. Hence, ERNA’s Reverse Mathematics is actually coarser than classical Reverse Mathematics, although the base theory has lower first-order strength. (shrink)

Real-world walking activity is important for poststroke patients because it leads to their participation in the community and physical activity. Walking activity may be related to adaptability to different surface conditions of the ground. The purpose of this study was to clarify whether walking adaptability on an uneven surface by step is related to daily walking activity in patients after stroke. We involved 14 patients who had hemiparesis after stroke and 12 healthy controls. The poststroke patients were categorized as least (...) limited community ambulators or unlimited ambulators. For the uneven surface, the study used an artificial grass surface. The subjects repeated even surface walking and the uneven surface walking trials at least two times at a comfortable speed. We collected spatiotemporal and kinematic gait parameters on both the even and uneven surfaces using a three-dimensional motion analysis system. After we measured gait, the subjects wore an accelerometer around the waist for at least 4 days. We measured the number of steps per day using the accelerometer to evaluate walking activity. Differences in gait parameters between the even and uneven surfaces were calculated to determine how the subjects adapted to an uneven surface while walking. We examined the association between the difference in parameter measurements between the two surface properties and walking activity. Walking activity significantly and positively correlated with the difference in paretic step length under the conditions of different surface properties in the poststroke patients and step width in the healthy controls. The strategy of increasing the paretic step length, but not step width, on an uneven surface may lead to a larger base of support, which maintains stability during gait on an uneven surface in poststroke patients, resulting in an increased walking activity. Therefore, in poststroke patients, an increase in paretic step length during gait on an uneven surface might be more essential for improving walking activity. (shrink)

In this paper, we introduce systems of nonstandard second-order arithmetic which are conservative extensions of systems of second-order arithmetic. Within these systems, we do reverse mathematics for nonstandard analysis, and we can import techniques of nonstandard analysis into analysis in weak systems of second-order arithmetic. Then, we apply nonstandard techniques to a version of Riemannʼs mapping theorem, and show several different versions of Riemannʼs mapping theorem.

We investigate the reverse-mathematical status of several theorems to the effect that the natural number system is second-order categorical. One of our results is as follows. Define a system to be a triple A,i,f such that A is a set and i∈A and f:A→A. A subset X⊆A is said to be inductive if i∈X and ∀a ∈X). The system A,i,f is said to be inductive if the only inductive subset of A is A itself. Define a Peano system to be (...) an inductive system such that f is one-to-one and i∉the range of f. The standard example of a Peano system is N,0,S where N={0,1,2,…,n,…}=the set of natural numbers and S:N→N is given by S=n+1 for all n∈N. Consider the statement that all Peano systems are isomorphic to N,0,S. We prove that this statement is logically equivalent to WKL0 over RCA0⁎ source. From this and similar equivalences we draw some foundational/philosophical consequences. (shrink)

To determine the role Latino community gardens play in community development, open space, and civic agriculture, we conducted interviews with 32 community gardeners from 20 gardens, and with staff from 11 community gardening support non-profit organizations and government agencies. We also conducted observations in the gardens, and reviewed documents written by the gardeners and staff from 13 support organizations and agencies. In addition to being sites for production of conventional and ethnic vegetables and herbs, the gardens host numerous social, educational, (...) and cultural events, including neighborhood and church gatherings, holiday parties, children’s activities, school tours, concerts, health fairs, and voter registration drives. In some cases, the gardens also serve to promote community activism. The primary concern of gardeners is to secure land tenure in the face of pressures to develop the garden sites for housing. The support organizations and agencies provide help with land tenure, as well as with advocacy, organization, and horticultural practices. Although the role of the Latino gardens in community development appears to be more important than their role in open space or agricultural production, the gardens can also be viewed as unique “participatory landscapes” that combine aspects of all three movements, as well as provide a connection between immigrants and their cultural heritage. (shrink)

We show that many principles of first-order arithmetic, previously only known to lie strictly between [Formula: see text]-induction and [Formula: see text]-induction, are equivalent to the well-foundedness of [Formula: see text]. Among these principles are the iteration of partial functions of Hájek and Paris, the bounded monotone enumerations principle by Chong, Slaman, and Yang, the relativized Paris–Harrington principle for pairs, and the totality of the relativized Ackermann–Péter function. With this we show that the well-foundedness of [Formula: see text] is a (...) far more widespread than usually suspected. Further, we investigate the [Formula: see text]-iterated version of the bounded monotone iterations principle, and show that it is equivalent to the well-foundedness of the -height [Formula: see text]-tower [Formula: see text]. (shrink)

Wright’s “adaptive landscape” has been influential in evolutionary thinking but controversial, especially because the landscape that organisms encounter is altered by the evolutionary process itsel...

In [10], we have shown that the statement that all ∑ 1 1 partitions are Ramsey is deducible over ATR 0 from the axiom of ∑ 1 1 monotone inductive definition,but the reversal needs П 1 1 - CA 0 rather than ATR 0 . By contrast, we show in this paper that the statement that all ∑ 0 2 games are determinate is also deducible over ATR 0 from the axiom of ∑ 1 1 monotone inductive definition, but the (...) reversal is provable even in ACA 0 . These results illuminate the substantial differences among lightface theorems which can not be observed in boldface. (shrink)

We prove that every countable non-standard model of WKL0 has a proper initial part isomorphic to itself. This theorem enables us to carry out non-standard arguments over WKL0.