In bacteria, PriA protein, a conserved DEXH‐type DNA helicase, plays a central role in replication restart at stalled replication forks. Its unique DNA‐binding property allows it to recognize and stabilize stalled forks and the structures derived from them. Cells must cope with fork stalls caused by various replication stresses to complete replication of the entire genome. Failure of the stalled fork stabilization process and eventual restart could lead to various forms of genomic instability. The low viability of priA null cells (...) indicates a frequent occurrence of fork stall during normal growth that needs to be properly processed. PriA specifically recognizes the 3′‐terminus of the nascent leading strand or the invading strand in a displacement (D)‐loop by the three‐prime terminus binding pocket (TT‐pocket) present in its unique DNA binding domain. Elucidation of the structural basis for recognition of arrested forks by PriA should provide useful insight into how stalled forks are recognized in eukaryotes. (shrink)

This study examines the process by which the concept of quality of life has been increasing in importance as the key to ASEAN's socio-cultural integration. This study also focuses on the current trend that emphasizes subjective quality of life and clarifies that ASEAN has been moving toward including this perspective. Then, it analyzes the subjective quality of life of people in ASEAN in terms of self-assessment and the multidimensional World Health Organization Quality of Life metric by using data from the (...) ASEAN Barometer 2009. (shrink)

9th and 10th Nov. 2013 at Kyoto University. Organizers: Takeshi Sato and Shunsuke Sugimoto.

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)

A series of Six-Party Talks involving the United States, China, Japan, South and North Korea, and Russia resulted in the emergence of a narrative of a . Given the prevalence of nuclear weapons amidst Sino-American rivalry, the area is hardly . Instead, the phrase has evolved into a common signifier for the US and China, suggesting that, despite their rivalries, the North Korean nuclear issue can be detrimental for both nuclear-free’ seriously, recasting the phrase as borne of both mutual scepticism, (...) as well as convergent interests, over the Korean Peninsula. (shrink)

In this article, to revitalize the discussion on semantic externalism’s implications on the issue of content self-knowledge, I will argue that semantic externalism generates in fact two related but distinct skeptical puzzles concerning the presumption of truth attached to our mental self-ascriptions. The first is to explain how I can correctly ascribe mental states to myself, and the second is to explain how others can ascribe thoughts to me by taking my expressions of such self-ascriptions at face value. In my (...) view, although the first has been sufficiently addressed in the literature, the second has been more or less neglected. Furthermore, as I will argue, theorists must respond to both of the questions to fully show the compatibility of our ordinary conception of self-knowledge and semantic externalism. As a case study, I will introduce Dorit Bar-On’s neo-expressivism as an account of self-knowledge that provides a promising answer to the first question and argue that it is still incomplete in that it does not address the second skeptical puzzle. To shed light on the nature of the puzzle in question further, I will also explore its possible solutions in the neo-expressivist framework. (shrink)

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

What does it mean for the laws of logic to fail? My task in this paper is to answer this question. I use the resources that Routley/Sylvan developed with his collaborators for the semantics of relevant logics to explain a world where the laws of logic fail. I claim that the non-normal worlds that Routley/Sylvan introduced are exactly such worlds. To disambiguate different kinds of impossible worlds, I call such worlds logically impossible worlds. At a logically impossible world, the laws (...) of logic fail. In this paper, I provide a definition of logically impossible worlds. I then show that there is nothing strange about admitting such worlds. (shrink)

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)

Logic in Buddhist Philosophy concerns the systematic study of anumāna (often translated as inference) as developed by Dignāga (480-540 c.e.) and Dharmakīti (600-660 c.e.). Buddhist logicians think of inference as an instrument of knowledge (pramāṇa) and, thus, logic is considered to constitute part of epistemology in the Buddhist tradition. According to the prevalent 20th and early 21st century ‘Western’ conception of logic, however, logical study is the formal study of arguments. If we understand the nature of logic to be formal, (...) it is difficult to see what bearing logic has on knowledge. In this paper, by weaving together the main threads of thought that are salient in Dignāga’s and Dharmakīti’s texts, I shall re-conceive the nature of logic in the context of epistemology and demarcate the logical part of epistemology which can be recognised as logic. I shall demonstrate that we can recognise the logical significance of inference as understood by Buddhist logicians despite the fact that its logical significance lies within the context of knowledge. (shrink)

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.

Priest holds anti-exceptionalism about logic. That is, he holds that logic, as a theory, does not have any exceptional status in relation to the theories of empirical sciences. Crucial to Priest’s anti-exceptionalism is the existence of ‘data’ that can force the revision of logical theory. He claims that classical logic is inadequate to the available data and, thus, needs to be revised. But what kind of data can overturn classical logic? Priest claims that the data is our intuitions about the (...) validity of inferences. In order to make sense of this claim, I will appeal to the Madhyamaka Buddhist philosopher Candrakīrti. I will then pose a problem for Priest’s anti-exceptionalism. Finally, I will suggest a way out of the problem for Priest. Whether or not he accepts my solution, I will let him decide. (shrink)

Buddhist philosophers have developed a rich tradition of logic. Buddhist material on logic that forms the Buddhist tradition of logic, however, is hardly discussed or even known. This article presents some of that material in a manner that is accessible to contemporary logicians and philosophers of logic and sets agendas for global philosophy of logic.

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)

Buddhist philosophers have investigated the techniques and methodologies of debate and argumentation which are important aspects of Buddhist intellectual life. This was particularly the case in India, where Buddhism and Buddhist philosophy originated. But these investigations have also engaged philosophers in China, Japan, Korea and Tibet, and many other parts of the world that have been influenced by Buddhism and Buddhist philosophy. Several elements of the Buddhist tradition of philosophy are thought to be part of this investigation. -/- There are (...) interesting reasoning patterns discernible in the writings of Buddhist philosophers. For instance, the Mādhyamika philosopher Nāgārjuna presents arguments for the emptiness of all things in terms of catuṣkoṭi (four ‘corners’: roughly speaking, truth, false, both, neither). There are also the Indian vāda (debate) literature and Tibetan bsdus grwa (collected topics) that list techniques of debates. -/- The main interest here is the tradition of Buddhist philosophy, sometimes referred to as Pramāṇavāda, whose central figures are Dignāga (approx. 480–540 CE) and Dharmakīrti (6th– 7th CE). This philosophy is understood to be the Buddhist school of logic-epistemology. ‘Pramāṇavāda’ is not a doxographical term traditionally used to refer to a recognised school of Buddhist philosophy. It is a conventional term that is sometimes used in modern literature. Nevertheless, in what follows, we think of it as a tradition within Buddhist philosophy and ‘Buddhist logic’ refers to what is developed in this tradition. -/- Buddhist logicians have systematically analysed the kind of reasoning involved in acquiring knowledge. They hold that there are valid ways to reason that are productive of knowledge. In what follows, some of the main elements of their analyses will be described. Note, however, that, while exegetical studies of Buddhist texts are important, we must step back from them and consider what is involved in taking a Buddhist approach to logic in light of modern formal logic. This analysis will be done against the backdrop of the contemporary literature on logic and related subjects in contemporary philosophy to make sense of the logical studies by Buddhist logicians. (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)

Graphical AbstractEnvironmental oxygen might have been the key for the evolution of novel developmental mechanisms, such as the interdigital cell death of amniotes. Increased amount of oxygen can also induce cell death in interdigital regions of an amphibian that typically lacks it. To learn more about the role of environmental oxygen in the evolution of new traits, see the article number 2000025 by Ingrid Rosenburg Cordeiro and Mikiko Tanaka. Cover image by Itoko Tanaka and Mikiko Tanaka.

A logic is said to be paraconsistent if it does not allow everything to follow from contradictory premises. There are several approaches to paraconsistency. This paper is concerned with several philosophical positions on paraconsistency. In particular, it concerns three ‘schools’ of paraconsistency: Australian, Belgian and Brazilian. The Belgian and Brazilian schools have raised some objections to the dialetheism of the Australian school. I argue that the Australian school of paraconsistency need not be closed down on the basis of the Belgian (...) and Brazilian schools’ objections. In the appendix of the paper, I also argue that the Brazilian school’s view of logic is not coherent. (shrink)

The problem of how to accommodate inconsistencies has attracted quite a number of researchers, in particular, in the area of database theory. The problem is also of concern in the study of belief change. For inconsistent beliefs are ubiquitous. However, comparatively little work has been devoted to discussing the problem in the literature of belief change. In this paper, I examine how adequate the AGM theory is as a logical framework for belief change involving inconsistencies. The technique is to apply (...) to Grove’s sphere system, a semantical representation of the AGM theory, logics that do not infer everything from contradictory premises, viz., paraconsistent logics. I use three paraconsistent logics and discuss three sphere systems that are based on them. I then examine the completeness of the postulates of the AGM theory with respect to the systems. At the end, I discuss some philosophical implications of the examination. (shrink)

The paper is concerned with the development of the paradoxical theme of Daoism. Based on Chad Hansen's interpretation of Daoism and Chinese philosophy in general, it traces the history of Daoism by following their treatment of the limit of language. The Daoists seem to have noticed that there is a limit to what language can do and that the limit of language is paradoxical. The 'theoretical' treatment of the paradox of the limit of language matures as Daoism develops. Yet the (...) Daoists seem to have noticed that the limit of language and its paradoxical nature cannot be overcome. At the end, we are left with the paradoxes of the Daoists. In this paper, we jump into the abyss of the Daoists' paradoxes from which there is no escape. But the Daoists' paradoxes are fun! (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)

How can Buddhists prove that non-existent things do not exist? With great difficulty. For the Buddhist, this is not a laughing matter as they are largely global error theorists and, thus, many things are non-existent. The difficulty gets compounded as the Buddhist and their opponent, the non-Buddhist of various kinds, both agree that one cannot prove a thesis whose subject is non-existent. In this paper, I will first present a difficulty that Buddhist philosophers have faced in proving that what they (...) take to be non-existent does not exist. I will then survey two main solutions that they have provided. Those 'solutions' may not solve the problem or solve the problem but creates other problems. I will not survey the Buddhist treatment of the problem of proving about non-existence in order to present a new solution that we have yet to see. Instead, I will articulate a problem about non-existence that is unique to Buddhist philosophers. I will do so in order to present an interesting puzzle about non-existence that has largely escaped attention in the 'Western' literature. (shrink)

Max Cresswell and Hilary Putnam seem to hold the view, often shared by classical logicians, that paraconsistent logic has not been made sense of, despite its well-developed mathematics. In this paper, I examine the nature of logic in order to understand what it means to make sense of logic. I then show that, just as one can make sense of non-normal modal logics (as Cresswell demonstrates), we can make `sense' of paraconsistent logic. Finally, I turn the tables on classical logicians (...) and ask what sense can be made of explosive reasoning. While I acknowledge a bias on this issue, it is not clear that even classical logicians can answer this question. (shrink)

Possible worlds have revolutionised philosophy and some related fields. But, in recent years, tools based on possible worlds have been found to be limited in many respects. Impossible worlds have been introduced to overcome these limitations. This Element aims to raise and answer the neglected question of what is characteristically impossible about impossible worlds. The Element sheds new light on the nature of impossible worlds. It also aims to analyse the main features and utility of impossible worlds and examine how (...) impossible worlds can capture distinctions which are unavailable if we limit ourselves to possible world-based tools. (shrink)

In 1A:7 of the Mengzi, Mengzi tries to convince King Xuan of Qi that he is a “true” king. As a reading of Mengzi’s reasoning involved in his attempt at persuasion, David Nivison advances an inferential view, according to which Mengzi’s persuasion involves inferences. In this paper, I consider the assumptions underlying the objections raised against Nivison’s inferential view. I argue that these objections assume a contemporary Western view about the nature of logic and inferences. I propose an alternative characterisation (...) of the relevant sense of inference that, I believe, is more sensitive to the classical Chinese philosophical context and argue that certain insights can be derived from reading Mengzi in light of this alternative characterization of inferences. (shrink)

The paper is concerned with John Searle’s famous Chinese room argument. Despite being objected to by some, Searle’s Chinese room argument appears very appealing. This is because Searle’s argument is based on an intuition about the mind that ‘we’ all seem to share. Ironically, however, Chinese philosophers don’t seem to share this same intuition. The paper begins by first analysing Searle’s Chinee room argument. It then introduces what can be seen as the (implicit) Chinese view of the mind. Lastly, it (...) demonstrates a conceptual difference between Chinese and Western philosophy with respect to the notion of mind. Thus, it is shown that one must carefully attend to the presuppositions underlying Chinese philosophising in interpreting Chinese philosophers. (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 book enables readers to understand contemporary Japanese society and culture. Since it is written by experts, it allows readers to start with any chapters they are interested in. It also provides a unique way to introduce Japanese society and culture to those who have never visited or studied Japanese society by reading articles from various authors on topics such as gender, family, economy, natural disasters and politics and laws. It provides scholars, academics, graduate students and the general educated audience (...) all the information required to understand contemporary Japanese society and culture fully and see the diverse perspectives available. (shrink)

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)

Book Information The Blackwell Guide to Philosophical Logic. Edited by Lou Goble. Blackwell Publishers. Oxford. 2001. Pp. x + 510. Paperback, £16.99.