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)

There are different ways of defining science, but I should like to examine it primarily as one of the forms of mental labor. In this connection it is appropriate to recall Marx's words: "A distinction must be made between universal labor and cooperative labor. Each plays its own role in the process of production. They overlap, but there is also a distinction between them. Every scientific work, every discovery, every invention is universal labor. It is made possible partly by cooperation (...) among contemporaries and partly by making use of the work of those who have gone before. Joint labor presumes direct cooperation among individuals." What is subsumed here under "cooperative labor," according to Marx, is "directly associated labor," which, to put it in other terms, is "direct labor.". (shrink)

A recent publication project entitled Asian Business Discourse has brought to the attention of the international readership an original body of research on business discursive practices and organizational communication issues in a variety of Asian cultures. In this Forum, we discuss some of the topics highlighted by the project, which arise from the recent indigenous research in business discourse as a multidisciplinary field.

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)

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)

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)

We investigate two constants cT and rT, introduced by Chaitin and Raatikainen respectively, defined for each recursively axiomatizable consistent theory T and universal Turing machine used to determine Kolmogorov complexity. Raatikainen argued that cT does not represent the complexity of T and found that for two theories S and T, one can always find a universal Turing machine such that equation image. We prove the following are equivalent: equation image for some universal Turing machine, equation image for some universal Turing (...) machine, and T proves some Π1-sentence which S cannnot prove. © 2011 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim. (shrink)

Der Begriff der Person wird häufig im Bereich der biomedizinischen Ethik angewandt, wie vor allem in der Abtreibungsdebatte. Es wird immer noch kontrovers darüber diskutiert, ob ein Embryo als Person anzusehen ist.Dieses Buch zeigt einerseits auf, dass der Begriff der Person keinen Beitrag zur Antwort nach dem moralischen Status eines menschlichen Wesens am Lebensbeginn leisten kann. Andererseits wird jedoch deutlich, dass dieser Begriff für den Respekt gegenüber menschlichen Wesen am Lebensende hilfreich ist. Was bedeutet Respekt vor der Autonomie von Personen (...) bei der Sterbehilfe und was bedeutet Respekt gegenüber dementen Personen, die nicht mehr autonom sind? Bei der Beantwortung dieser Fragen spielt der Begriff der Person eine entscheidende Rolle. Dieses Buch soll einen Beitrag zur Verdeutlichung der Grenzen und Gültigkeit des Begriffs der Person in der biomedizinischen Ethik leisten. (shrink)

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)

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

Fuzzy logic has become an important tool for a number of different applications ranging from the control of engineering systems to artificial intelligence. In this concise introduction, the author presents a succinct guide to the basic ideas of fuzzy logic, fuzzy sets, fuzzy relations, and fuzzy reasoning, and shows how they may be applied. The book culminates in a chapter which describes fuzzy logic control: the design of intelligent control systems using fuzzy if-then rules which make use of human knowledge (...) and experience to behave in a manner similar to a human controller. Throughout, the level of mathematical knowledge required is kept basic and the concepts are illustrated with numerous diagrams to aid in comprehension. As a result, all those curious to know more about fuzzy concepts and their real-world application will find this a good place to start. (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)

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.

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)

In biomedical ethics, the concept of person plays a major role in the discussion of ethically appropriate relationships with early human beings. The debate over abortion is one such case. There is still a heated debate over whether a fetus is already a person. However, because of the structure of the argument, the debate over the moral status of the fetus quickly becomes all-or-nothing. Against this background, I would like to address the question of to what extent the concept of (...) person can be helpful in biomedical ethics. I argue that this concept is not useful for ethically appropriate interactions with early human beings, but it is useful for ethically appropriate interactions with human beings at the end of life. I demonstrate my thesis with reference to the argument about euthanasia. The concept of person plays a crucial role in understanding what it means to respect the autonomy of a person who desires euthanasia. (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)

This study examines the neural substrate of the understanding of human relationships in verbal communication with Japanese honorific sentences as experimental materials. We manipulated two types of Japanese verbs specifically used to represent respect for others, i.e., exalted and humble verbs, which represent respect for the person in the subject and the person in the object, respectively. We visually presented appropriate and anomalous sentences containing the two types of verbs and analyzed the electroencephalogram elicited by the verbs. We observed significant (...) parietal negativity at a latency of approximately 400 ms for anomalous verbs compared with appropriate verbs. This parietal negativity could be a manifestation of the pragmatic process used to integrate the linguistic forms with the human relationships represented in the sentences. The topographies of these event-related potentials corresponded well with those of ERPs for two second-person pronouns in Chinese. This correspondence suggests that the pragmatic integration process in honorific expressions is cross-linguistically common in part. Furthermore, we assessed the source localization by means of independent component analysis and dipole fitting and observed a significant difference in ERP between the honorific and control sentences in the IC cluster centered in the precentral gyrus and in the cluster centered in the medial part of the occipital lobe, which corresponded well with the functional magnetic resonance imaging findings for Japanese honorification. We also found several significant differences in the time-frequency analyses for the medial occipital cluster. These significant differences in the medial occipital cluster suggested that the circuit of the theory of mind was involved in the processing of Japanese honorification. Our results suggest that pragmatic and syntactic processing are performed in parallel because the person to be respected must fulfill the grammatical function appropriate for the honorific verb. (shrink)