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)

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)

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)

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...

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

Toyoichi Tanaka's pioneering work in biophysics made major contributions to the science of gels and polymers. His research centered on the physics of gels, their fundamental structures and characteristics, their dynamics, and their roles in living organisms. This volume collects twenty-five major research papers originally published in Science, Nature, Physical Review Letters, and other leading journals between 1973 and 2000. The English texts are supplemented with Japanese summaries and critiques written by a group of Dr. Tanaka's colleagues and (...) students. (shrink)

BackgroundRegulations on forgoing life-sustaining treatment (LST) have developed in Asian countries including Japan, Korea and Taiwan. However, other countries are relatively unaware of these due to the language barrier. This article aims to describe and compare the relevant regulatory frameworks, using the (more familiar) situation in England as a point of reference. We undertook literature reviews to ascertain the legal and regulatory positions on forgoing LST in Japan, Korea, Taiwan, and England.Main textFindings from a literature review are first presented to (...) describe the development of the regulatory frameworks surrounding the option of forgoing LST in each country. Based on the findings from the four countries, we suggest five ethically important points, reflection on which should help to inform the further development of regulatory frameworks concerning end-of-life care in these countries and beyond. There should be reflection on: (1) the definition of – and reasons for defining – the ‘terminal stage’ and associated criteria for making such judgements; Korea and Taiwan limit forgoing LST to patients in this stage, but there are risks associated with defining this too narrowly or broadly; (2) foregoing LST for patients who arenotin this stage, as is allowed in Japan and England, because here too there are areas of controversy, including (in England) whether the law in this area does enough to respect the autonomy of (now) incapacitated patients; (3) whether ‘foregoing’ LST should encompass withholdingandwithdrawing treatment; this is also an ethically disputed area, particularly in the Asian countries we examine; (4) the family’s role in end-of-life decision-making, particularly as, compared with England, the three Asian countries traditionally place a greater emphasis on families and communities than on individuals; and (5) decision-making with and for those incapacitated patients who lack families, surrogate decision-makers or ADs.ConclusionComparison of, and reflection on, the different legal positions that obtain in Japan, Korea, Taiwan, and England should prove informative and we particularly invite reflection on five areas, in the hope the ensuing discussions will help to establish better end-of-life regulatory frameworks in these countries and elsewhere. (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.

In his book review of Graham Priest's The Fifth Corner of Four, Mark Siderits, while criticising Priest's philology, suggests that Priest's work is 'of considerable interest' for two reasons. First, 'when two independent traditions use similar methods to work on similar issues, it is always possible that one may have hit on approaches that the other missed'. Second, 'the decentering that can be induced by looking at another tradition may trigger fresh insights, even if those insights are not ones that (...) were actually developed by the tradition marked 'other''. The main task of this paper is to unpack Siderits' thought. By analysing some of Priest's work, I will suggest a decentering that must have taken place in China when Buddhism was 'exported to China in Buddhist shipping containers'. For anyone familiar with the forms of Buddhist philosophy developed in India, various forms of Chinese Buddhism can often look strange. Some ideas that were debated and defended by Indian Buddhists do not appear anywhere in Chinese Buddhism and some assumptions have been quietly added to Buddhism by Chinese Buddhists. By showing that Priest's work brings out the 'innovation' that Chinese Buddhists gave to Buddhism, I will suggest that it is this decentering that Siderits suggests Priest makes use of. (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)

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)

In Japan, terminating life-sustaining treatment in non-terminal patients is legally and ethically problematic given the lack of legal regulations regarding the termination of LST, including dialysis treatment. This article describes an ethically problematic case that happened at a hospital in Tokyo in March 2019, in which a patient died after a physician withdrew kidney dialysis upon the patient’s request. Most national newspapers in Japan reported the case extensively and raised the question of ethical and legal permissibility of withdrawing dialysis treatment (...) from non-terminal patients. In this article, we first examine the case within the current policy framework in Japan and then discuss how Japan can improve its end-of-life practice, focusing specifically on the patient’s right to self-determination and treatment refusal. We recommend that policymakers consider legalizing the termination of LST and the patient’s right to refuse treatment based on the principle of respect for autonomy. (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.

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)

In one of his key texts, the Mūlamadhyamakakārikā, Nāgārjuna famously sets out to refute the ontology of essence.1 He presents numerous arguments to show that things don’t exist essentially—that is, that things are empty of essence or inherent existence. The doctrine of emptiness has been variously understood by traditional and contemporary commentators. Most radical is the recent interpretation presented by Garfield and Priest. They have rationally reconstructed Nāgārjuna’s doctrine of emptiness as an endorsement of the contradictory nature of reality. According (...) to them, Nāgārjuna can be seen to be arguing that the way in which things exist in reality and what we can truly say about them must be... (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)

This article extends the concept of symmetry to ethics. Using the case of canola in Canada, the authors argue that grades and standards simultaneously subject humans and nonhumans to rites of passage that test their "goodness. " Then, they further develop a tentative typology of standards. The authors argue that these standards allow something resembling the neoclassical market to be established, create the conditions for economic analysis, and allocate power among human actors.

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)

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)

Long-range correlation, a property of time series exhibiting long-term memory, is mainly studied in the statistical physics domain and has been reported to exist in natural language. Using a state-of-the-art method for such analysis, long-range correlation is first shown to occur in long CHILDES data sets. To understand why, Bayesian generative models of language, originally proposed in the cognitive scientific domain, are investigated. Among representative models, the Simon model was found to exhibit surprisingly good long-range correlation, but {\em not} the (...) Pitman-Yor model. Since the Simon model is known not to correctly reflect the vocabulary growth of natural language, a simple new model is devised as a conjunct of the Simon and Pitman-Yor models, such that long-range correlation holds with a correct vocabulary growth rate. The investigation overall suggests that uniform sampling is one cause of long-range correlation and could thus have a relation with actual linguistic processes. (shrink)