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.

Rhodopsins are one of the most studied photoreceptor protein families, and ion‐translocating rhodopsins, both pumps and channels, have recently attracted broad attention because of the development of optogenetics. Recently, a new functional class of ion‐pumping rhodopsins, an outward Na+ pump, was discovered, and following structural and functional studies enable us to compare three functionally different ion‐pumping rhodopsins: outward proton pump, inward Cl− pump, and outward Na+ pump. Here, we review the current knowledge on structure‐function relationships in these three light‐driven pumps, (...) mainly focusing on Na+ pumps. A structural and functional comparison reveals both unique and conserved features of these ion pumps, and enhances our understanding about how the structurally similar microbial rhodopsins acquired such diverse functions. We also discuss some unresolved questions and future perspectives in research of ion‐pumping rhodopsins, including optogenetics application and engineering of novel rhodopsins. (shrink)

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

This article describes a number of human cohort studies based on the concept of brain‐science and education. These studies assess the potential effects of new technologies on babies, children and adolescents, and test hypotheses drawn from animal and genetic case studies to see if they apply to people. A flood of information, virtual media, individualism and the pursuit of efficiency might be transforming our brain and its functions. An environmental assessment from the metaphysical aspect could be essential to providing an (...) appropriate environment for future generations. (shrink)

This study examines whether the delegated monitoring of main banks effectively decreases severe agency problems. For example, this includes accounting fraud in bank-dominated corporate governance. In this context, the fraud triangle specifies the three main factors of opportunity, incentive, and rationalization. Main banks may reduce the factor of opportunity through actions such as monitoring, which plays a moderating role by reducing the potential for managerial misconduct, whereas, the incentive factor may be enhanced through the subsequent pressure that influences managers to (...) force turnover when they do not repay debts. The potential influence that the main banks have on the fraud rationalization factor may be stronger in firms that are more dependent on main-bank borrowing. This study analyzed data from publicly listed firms in Japan for the period between 2008 and 2016 to determine how main-bank relationships affected accounting fraud, thus allowing an assessment of delegated monitoring practices. Findings showed that main-bank relationships were helpful for reducing accounting fraud, suggesting its overall effectiveness in delegated monitoring. Results also showed that large audit firms did not necessarily prevent accounting fraud, which implies that main banks can employ their own monitoring as a substitute for the roles typically played by these firms. Here, the main policy implication is that main-bank relationships may strengthen business ethics in the context of bank-dominated corporate governance. In conclusion, the continued analysis of bank monitoring may benefit stakeholders while strengthening business ethics in bank-centered economies. (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)

Kyosei, a traditional Japanese concept, has been applied to a variety subjects, from biology to business. It has more recently become synonymous with the concepts of corporate responsibility, ethical decision making, stakeholder maximization, and responsible reciprocity. The purpose of this paper is to trace kyosei's modern business application back to ancient Confucian thought. The ideals associated with Confucianism were instrumental in the creation of Japanese business codes of ethics during the early part of the seventeenth century. A short history of (...) this period is presented to provide a contextual framework for understanding these codes. A specific code of ethics, called the shuchu kiyaku, is presented for the first time in English and shown to have direct roots in Confucian writings. Statements from modern company codes and from modern Japanese and American businessmen are presented to reflect the philosophy of business embodied in that ancient code of ethics. (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)

Jecker and Au’s paper raises important issues concerning health equity in pandemic responses, and the importance of considering the long-term effects of pandemic strategy on population health and well-being.1 We welcome their focus on the experience of Asian countries, including Japan. However, we have some concerns with both the distinction which they draw between elimination and mitigation, and their account of the nature and origins of the Japanese response to the COVID-19 pandemic. First, we believe that the distinction between elimination (...) and mitigation is not fine grained enough to capture the various strategies which countries have taken towards the pandemic. Many of Jecker and Au’s criticisms of the elimination strategy relate to specific policies such as lockdowns, travel restrictions and restrictions on businesses, which have been employed by numerous countries irrespective of their end goal. By contrast to the simple elimination/mitigation dichotomy with which Jecker and Au work, Baker et al have identified five separate COVID-19 strategies, namely: exclusion, elimination, suppression, mitigation and no substantive strategy.2 Baker et al define an elimination strategy as ‘maximum action to exclude disease and eliminate community transmission’ with the goal of reaching ‘zero [disease] transmission in the community’. On this account, Japan’s strategy does …. (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)

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.