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)

Research involving minors has been the subject of much ethical debate. The growing number of longitudinal, pediatric studies that involve genetic research present even more complex challenges to ensure appropriate protection of children and families as research participants. Long-term studies with a genetic component involve collection, retention and use of biological samples and personal information over many years. Cohort studies may be established to study specific conditions (e.g. autism, asthma) or may have a broad aim to research a range of (...) factors that influence the health and development of children. Studies are increasingly intended to serve as research platforms by providing access to data and biological samples to researchers over many years. (shrink)

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)

The Grand Chamber of the European Court of Human Rights has recently handed down its judgement in the case of three women contesting the abortion law in the Republic of Ireland, which has one of the most restrictive abortion laws in the world. Although the Court ruled that Ireland had to clarify the current law following the success of one of the three claims, the failure of the other two claims allows Ireland to continue to enforce its law, which has (...) an adverse effect on women's health. This paper, therefore, proposes an amendment to abortion legislation in the Republic of Ireland that would be compatible with safeguarding women's health, highlighting several circumstances in which the continuation of a pregnancy may have a detrimental impact on a woman's physical and/or mental health. (shrink)

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

This paper examines the use and meaning of the body-part terms or quasi-body part terms associated with Japanese emotions. The terms analyzed are kokoro, mune, hara, ki, and mushi. In Japanese kokoro is regarded as the seat of emotions. Mune (roughly, ‘chest’) is the place where Japanese believe kokoro is located. Hara (roughly, ‘belly’) can be used to refer to the seat of ‘thinking’, for example in expression of anger-like feelings which entail a prior cognitive appraisal. The term ki (roughly, (...) ‘breath’) is also used for expressions dealing with emotions, temperament, and behaviour; among these, ki is mostly frequently used for referring to mental activity. Mushi — literally, a ‘worm’ which exists in the hara ‘belly’ — is also used for referring to specific emotion expressions. The tool for semantic analysis employed in this paper is the “Natural Semantic Metalanguage” method developed by Anna Wierzbicka and colleagues. This metalanguage enables us to explicate concepts by means of simple words and grammar (easily translated across languages), and clarifies the similarities and dissimilarities between the components involved in semantically similar terms. The data used for analysis are from various sources; published literature both in Japanese and English, newspaper/magazine articles, film scripts, comic books, advertisements, dictionaries, and popular songs. (shrink)

Although most studies on the Fair Trade initiative are, to some extent, cognizant of its contribution to environmental sustainability, what the environmental aspect means to Fair Trade has not yet been explored fully. A review of environmental issues in the Fair Trade literature suggests that Fair Trade might influence participant producers’ farming practices even if it does not directly impact natural resources. This paper attempts to interpret Fair Trade certification as an intermediary institution that links two significant objectives of rural (...) development in the global South—environmental conservation and poverty reduction. This theoretical concept is examined in different real settings by observing four cases of Southern small farmer groups involved in the Fair Trade initiative. Findings from these case studies imply that if Fair Trade certification ensures tangible benefits for small farmers, it can not only help such disadvantaged farmers but also work as an approach for natural resource management. (shrink)

Factory floors throughout the global economy are rapidly transforming themselves into potentially fertile laboratories for research in the cognitive sciences. The information revolution has challenged our understanding of perception and cognition. Innovations in information technologies have also provided us with new methods and environments for the study of cognition. On the business and economic front, information technology is supporting the development of new corporate information systems-Enterprise Systems-that will revolutionize the decision-making, reporting and reward environments in corporations. These systems are pervasive (...) and transforming. At all levels, employees will be presented with potentially unlimited amounts of accurate, real-time information and will be expected to use that information effectively. The possibilities for research, especially for modeling the learning and decision-making processes, are unparalleled. Research conducted in these environments offers extraordinary opportunities to address research questions formerly requiring limited synthetic environmental situations. Data collected in firms as they deploy enterprise information systems can be more extensive and accurate and more easily quantified than data from traditional synthetic experiments. Research programs in these settings can also address more complex problems of human interaction and collaborativity. This article describes the aspects of enterprise systems that will be of greates interest to cognitive scientists. It also outlines the nature of potential collaboration between economists and cognitive scientists and offers a list of outstanding questions for systems design and development. (shrink)

This paper examines the use and meaning of the body-part terms or quasi-body part terms associated with Japanese emotions. The terms analyzed are kokoro, mune, hara, ki, and mushi. In Japanese kokoro is regarded as the seat of emotions. Mune (roughly, ¿chest¿) is the place where Japanese believe kokoro is located. Hara (roughly, ¿belly¿) can be used to refer to the seat of ¿thinking¿, for example in expression of anger-like feelings which entail a prior cognitive appraisal. The term ki (roughly, (...) ¿breath¿) is also used for expressions dealing with emotions, temperament, and behaviour; among these, ki is mostly frequently used for referring to mental activity. Mushi ¿ literally, a ¿worm¿ which exists in the hara ¿belly¿ ¿ is also used for referring to specific emotion expressions. The tool for semantic analysis employed in this paper is the ¿Natural Semantic Metalanguage¿ method developed by Anna Wierzbicka and colleagues. This metalanguage enables us to explicate concepts by means of simple words and grammar (easily translated across languages), and clarifies the similarities and dissimilarities between the components involved in semantically similar terms. The data used for analysis are from various sources; published literature both in Japanese and English, newspaper/magazine articles, film scripts, comic books, advertisements, dictionaries, and popular songs. (shrink)

Situationists (e.g., Doris in Lack of character: personality and moral behavior, Cambridge University Press, Cambridge, 2002; Harman in Proc Aristot Soc 99:315–331, 1999. 10.2307/4545312), with reference to empirical work in psychology, have called into question the predictive and explanatory power of character traits and on this basis have criticized the empirical adequacy of moral virtue. More recently, Alfano (Philos Q 62(247):223–249, 2012; Character as moral fiction, Cambridge University Press, Cambridge, 2013) has extended the situationist critique from virtue ethics to virtue (...) epistemology. On the line he advances, virtue responsibilism—the view that intellectual character traits play an important part in traditional and untraditional epistemological inquiries—is criticized as empirically inadequate in light of the extent to which individuals are shown to be susceptible to seemingly trivial and epistemically irrelevant situational influences. Alfano’s attempted redeployment of the situationist challenge to virtue responsibilism is on closer inspection not as straightforward as he claims. It is granted that the empirical adequacy of virtue responsibilism will be eventually threatened if it can be shown that virtuous motivation is, in light of situational factors, causally ineffective. As it turns out, various psychological studies which situationists have overlooked, suggest that virtuous motivation is causally efficacious in a way that favours the position of the virtue responsibilist over the situationist. In the first part of this paper, I outline the hard core of virtue theory: both a rich motivation requirement, and a commitment to the inherent relation between virtue and a good life; then I assess whether these are undermined by situationist criticism. I address the confusion of the existing debate, and the conclusion drawn is that virtue theory ultimately remains unscathed. In the second part of my paper I defend the empirical adequacy of virtue theory based on self-determination theory. When we afford closer attention to studies on the orientation of our motivation, it becomes clear how the dynamics of our motivation have a tremendous influence on desirable behavioural outcomes: a good life. (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)

This paper offers an account of collective epistemic vices, which we call the “group identification account”. The group identification account attributes collective epistemic vices to the groups that are constituted by “group identification”, which is a primitive and non-doxastic self-understanding as a group member (Turner, 1982; Brewer, 1991; Brewer & Gardner, 1996; Pacherie, 2013; Salice & Miyazono, 2020). The distinctive feature of the group identification account is that it enables us to attribute epistemic vices not just to established social groups (...) (e.g. committees, research teams, juries) but also to loose social groups (e.g. loosely connected people in an echo chamber) when they are constituted by group identification. The group identification account is contrasted with Fricker’s (2010, 2020) influential account, the “joint commitment account”, which focuses on established social groups, and has difficulty in making sense of collective epistemic vices of loose social groups. The group identification account is motivated by the fact that collective epistemic vices can be useful to diagnose not only the epistemic performance of established groups but also that of loose groups in real-life cases, such as echo chamber (Nguyen, 2020), implicit bias (Holroyd, 2020), group polarization (Broncano-Berrocal & Carter, 2021), etc. (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)

In his book Bad Beliefs, Neil Levy defends the engineering of our epistemic environment by removing epistemic pollutions and by nudging people through second-order evidence. Although we agree with his core ideas, in this commentary, we aim at supplementing his approach in light of the participation of the general public in science. In the first part, we argue that the issue of participatory epistemic injustice in the scientific community remains unaddressed in Levy’s discussion and that addressing the issue is equal (...) to removing an epistemic pollution. In the second part, we address the issue of transparency in nudging. Here, we discuss the significance of public engagement in controlling the system of nudges to respect our rational and autonomous choices. (shrink)

According to a mainstream position in contemporary cognitive science and philosophy, the use of abstract compositional concepts is amongst the most characteristic indicators of meaningful deliberative thought in an organism or agent. In this article, we show how the ability to develop and utilise abstract conceptual structures can be achieved by a particular kind of learning agent. More specifically, we provide and motivate a concrete operational definition of what it means for these agents to be in possession of abstract concepts, (...) before presenting an explicit example of a minimal architecture that supports this capability. We then proceed to demonstrate how the existence of abstract conceptual structures can be operationally useful in the process of employing previously acquired knowledge in the face of new experiences, thereby vindicating the natural conjecture that the cognitive functions of abstraction and generalisation are closely related. (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.

In classifications of vocabulary knowledge, vocabulary size and depth have often been separately conceptualized (Schmitt, 2014). Although size and depth are known to be substantially correlated, it is not clear whether they are a single construct or two separate components of vocabulary knowledge (Yanagisawa & Webb, 2020). This issue has not been addressed extensively in the literature and can be better examined using structural equation modeling (SEM), with measurement error modeled separately from the construct of interest. The current study reports (...) on conventional and Bayesian SEM approaches (e.g., Muthén & Asparouhov, 2012) to examine the factor structure of the size and depth of second language vocabulary knowledge of Japanese adult learners of English. A total of 255 participants took five vocabulary tests. One test was designed to measure vocabulary size in terms of the number of words known, while the remaining four were designed to measure vocabulary depth in terms of word association, polysemy, and collocation. All tests used a multiple-choice format. The size test was divided into three subtests according to word frequency. Results from conventional and Bayesian SEM show that a correlated two-factor model of size and depth with three and four indicators, respectively, fit better than a single-factor model of size and depth. In the two-factor model, vocabulary size and depth were strongly correlated (r =.945 for conventional SEM and.943 for Bayesian SEM with cross loadings), but they were distinct. The implications of these findings are discussed. (shrink)

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.

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)

Research is crucial to advancing knowledge about dementia, yet the burden of the disease currently outpaces research activity. Research often excludes people with dementia and other cognitive impairments because researchers and ethics committees are concerned about issues related to capacity, consent, and substitute decision-making. In Australia, participation in research by people with cognitive impairment is governed by a national ethics statement and a patchwork of state and territorial laws that have widely varying rules. We contend that this legislative variation precludes (...) a consistent approach to research governance and participation and hinders research that seeks to include people with impaired capacity. In this paper, we present key ethical principles, provide a comprehensive review of applicable legal rules in Australian states and territories, and highlight significant differences and ambiguities. Our analysis includes recommendations for reform to improve clarity and consistency in the law and reduce barriers that may exclude persons with dementia from participating in ethically approved research. Our recommendations seek to advance the national decision-making principles recommended by the Australian Law Reform Commission, which emphasize the rights of all adults to make their own decisions and for those with impaired capacity to have access to appropriate supports to help them make decisions that affect their lives. (shrink)

In the previous discussions of irrationality in philosophy and psychology, the focus has been on irrationality at the level of individuals, such as irrational reasoning, irrational judgment, irrati...

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.

Narrative views of the self argue that we constitute our self in self-narratives. Embodied views hold that our self is shaped through embodied experiences. In that case, what is the relation between embodiment and narrativity in the process of self-constitution? The question demands a clear definition of embodiment, but existing studies remains unclear on this point (section 2). We offer a correction to this situation by drawing on Merleau-Ponty’s analysis of the body that highlights its habituality. On this account, the (...) body has an inherent tendency to cultivate an organization of habits through its history of engagement with the world (section 3). Next, we explore its role in narrative self-constitution by distinguishing between two aspects of the narrative self, the narrated I and the narrating I (section 4). We argue on phenomenological grounds that self-narratives are informed by bodily perspectives in both respects. Furthermore, a focus on the habituality of the body allows for a better explanation of self-constitution than those based on implicit self-narratives (section 5). For these phenomenological and theoretical reasons, we conclude that narrative self-constitution is an embodied and embedded practice (section 6). (shrink)

This paper shows that a collection of modal relevant logics are conservatively extended by the addition of Boolean negation.