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)

Pyridoxal 5′‐phosphate, the vitamin B6 derivative, acts as the coenzyme of many enzymes involved in amino acid metabolism. Exceptionally, this compound was found covalently bound to glycogen phosphorylase, the key enzyme in the regulation of glycogen metabolism. Although it is essential for the function of phosphorylase, its direct role has remained an enigma. We have recently found that the glucose moiety of pyridoxal (5′)diphospho (1)‐α‐D‐glucose, a conjugate of pyridoxal 5′‐phosphate and glucose 1‐phosphate through a pyrophosphate linkage, is transferred to the (...) nonreducing end of glycogen, forming a new α‐1,4‐glucosidic linkage. This finding emphasizes the importance of the direct phosphate‐phosphate interaction between the coenzyme and the substrate in the phosphorylase catalytic reaction. We have proposed a catalytic mechanism for phosphorylase in which the phosphate group of pyridoxal 5′‐phosphate acts as an electrophile to the phosphate group of glucose 1‐phosphate. This appears to represent the first instance of the direct involvement of a phosphate group in catalysis by enzymes. (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)

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)

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)

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)

As its name implies, Vasubandhu’s _Vyākhyāyukti_ (VyY) explains the logic or methodology (_yukti_) of exegesis or sūtra interpretation (_vyākhyā_) and only survives in a Tibetan translation. In recent years, research on this treatise has been gradually accumulating. However, due to the difficulty of the Tibetan translation, some of the arguments therein have been misunderstood. In this article, after reviewing the general framework of Vasubandhu’s method of interpreting the sūtras, I will present a newly discovered parallel regarding his discussion of the (...) “purpose, _prayojana_” of the sūtras and reread it through a close philological examination of various sources in Sanskrit and Tibetan. Thus, this article will first elucidate the details of Vasubandhu’s explanation of the purpose of the Buddha’s preaching using synonyms and will clarify an aspect of his views on the Buddha’s word. In addition, concerning this “purpose,” I will elucidate the characteristics of the final chapter of this text, which provides stories about hearing the Buddha’s words with respect. By doing so, I would like to reveal the characteristics of the VyY as a manual for vivid preaching. (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.

This paper offers some ideas and methods of consensus building towards integration of values in flood control, environment, and landscape. These three factors sometimes oppose to each other in the process of construction of public infrastructure such as roadbuilding and river improvement. It is crucial to avoid or resolute conflicts between the government and the local people through project management with the consensus building process. In public works in Japan, flood control has been given priority over the environmental preservation and (...) the landscape conservation due to the perception that it is through flood control that the life and property of individuals are adequately protected. As a consequence, the landscape and the environment have been paid only lip‐service. In the case of the Ohashi River Project in Izumo region presented in this paper, however, the river repair process might entail a severe blow to the tourism industry and have a dramatic impact on the fishery resources of the region, which would be considered a major loss in terms of the urban development of the city. One of our concerns is thus to avoid any losses, through proper consideration of the relationship between the three crucial factors. In this paper, the author reports some ideas and methods that appear in “Basic Policy for the Development of the Area around Ohashi River” composed by the Matsue Review Committee on the Development of the Area around the Ohashi River, in which the author is involved as a committee member. The most important task of the Committee wasto search for the ideas and methods to harmonize the values of flood control, environment, and landscape. (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.

Alternative interpretations are proposed for the finding that market integration is positively related to fair behavior in experimental games. Market activities may produce market relevant concepts and stories that interpret experimental games as incidences of social exchange, and thus may enhance the relevance of (1) market-related preferences or (2) a decision heuristic designed for social exchange.

The COVID-19 pandemic has put in the foreground the dramatic actuality of global and local inequalities, undermining neo-liberal, communitarian, democratic or cosmopolitan projects of collective id...