In the history of philosophy, Plato’s theory of Forms has enchanted many philosophers, but it has faced more adversaries than proponents. Although it is unusual for contemporary philosophers to believe in the Platonic Forms, I confront Plato seriously and try to defend his thought by reflecting on its reception in modern Japan. For this purpose, the Japanese word “risō” (理想), which was originally a translation of the Platonic “Idea” or “Form,” will give us valuable hints.I discuss Aristotle, Friedrich Nietzsche and (...) Karl Popper, each of whom raised fundamental questions about the Forms as transcendent entities. First, Aristotle ignores one fundamental factor of the Forms, i.e., Eros: we aspire for the perfect or ideal state in our life with reference to the Forms. Next, Popper misses the important difference between the Form and the Ideal: i.e., the ultimate reality and its expressed form in words. Aspiring for the latter does not necessarily lead us to totalitarianism. Then, I argue that Nietzsche shares the same framework with Plato in considering the notion of “ideal.” We have to face his radical question of whether we should hold an “ideal” in everyday life.Finally, I introduce a brief history of how philosophers confronted reality by learning Plato in modern Japan. Michitaro Tanaka, in particular, cast critical eyes on the pre- and post-war society by studying Plato’s philosophy. To consider and discuss the Forms changes views and meanings of the world and of life. Plato thereby invites us to this common search through his dialogues, and leads us to the ideal (risō). (shrink)

In this paper, using Mark Schroeder’s (2008a) expressivist semantic framework for normative language as a case study, I will identify difficulties that even an expressivist semantic theory capable of addressing the Frege-Geach problem will encounter in handling the logical possibility of moral dilemmas. To this end, I will draw on a classical puzzle formulated by McConnell (1978) that the logical possibility of moral dilemmas conflicts with some of the prima facie plausible axioms of the standard deontic logic, which include obligation (...) implies permission. On the tentative assumption that proponents of ethical expressivism should be generally committed to securing the logical possibility of moral dilemmas in their semantic theories, I will explore whether and how expressivists can successfully invalidate obligation implies permission within the framework developed by Schroeder. The case study eventually reveals that this can indeed be a hard task for expressivists. Generalizing from the case study, I will suggest that the source of the difficulty ultimately lies in the mentalist assumption of the expressivist semantic project that the logico-semantic relations exhibited by normative sentences should be modeled in terms of the psychological attitudes that speakers express by uttering them. My final goal will be to show that the difficulty expressivists face in dealing with the logical possibility of moral dilemmas is a reflection of the more general problem that their commitment to the mentalist assumption prevents them from flexibly adopting or dropping axioms in their semantic theories to get the right technical results. (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)

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.

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

Homology is a fundamental concept in biology. However, the metaphysical status of homology, especially whether a homolog is a part of an individual or a member of a natural kind, is still a matter of intense debate. The proponents of the individuality view of homology criticize the natural kind view of homology by pointing out that homologs are subject to evolutionary transformation, and natural kinds do not change in the evolutionary process. Conversely, some proponents of the natural kind view of (...) homology argue that a homolog can be construed both as a part of an individual and a member of a natural kind. They adopt the Homeostatic Property Cluster theory of natural kinds, and the theory seems to strongly support their construal. Note that this construal implies the acceptance of essentialism. However, looking back on the history of the concept of homology, we should not overlook the fact that the individuality view was proposed to reject the essentialist interpretation of homology. Moreover, the essentialist notions of natural kinds can, in our view, mislead biologists about the phenomena of homology. Consequently, we need a non-essentialist view of homology, which we name the “persistently reproducible module” view. This view highlights both the individual-like and kind-like aspects of homologs while stripping down both essentialist and anti-essentialist interpretations of homology. In this article, we articulate the PRM view of homology and explain why it is recommended over the other two views. (shrink)

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, using Mark Schroeder’s (2008a) expressivist semantic framework for normative language as a case study, I will identify difficulties that even an expressivist semantic theory capable of addressing the Frege-Geach problem will encounter in handling the logical possibility of moral dilemmas. To this end, I will draw on a classical puzzle formulated by McConnell (1978) that the logical possibility of moral dilemmas conflicts with some of the prima facie plausible axioms of the standard deontic logic, which include obligation (...) implies permission. On the tentative assumption that proponents of ethical expressivism should be generally committed to securing the logical possibility of moral dilemmas in their semantic theories, I will explore whether and how expressivists can successfully invalidate obligation implies permission within the framework developed by Schroeder. The case study eventually reveals that this can indeed be a hard task for expressivists. Generalizing from the case study, I will suggest that the source of the difficulty ultimately lies in the mentalist assumption of the expressivist semantic project that the logico-semantic relations exhibited by normative sentences should be modeled in terms of the psychological attitudes that speakers express by uttering them. My final goal will be to show that the difficulty expressivists face in dealing with the logical possibility of moral dilemmas is a reflection of the more general problem that their commitment to the mentalist assumption prevents them from flexibly adopting or dropping axioms in their semantic theories to get the right technical results. (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.

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)