This is the first introductory textbook on non-classical propositional logics.

Ninety-two Japanese elementary school sixth-graders (46 boys and 46 girls; 11–12 years old) learned the quota system as part of gender equality education. We used a group performance implicit association test (Mori, Uchida, and Imada, 2008) to evaluate the lesson's effect by assessing the children's image of “woman” before and after the class. The results showed that the image of “woman” among boys improved significantly from neutral to positive through the lesson. We also found that girls’ implicit image of “woman” (...) was statistically higher than that of boys before learning, and was raised considerably after the class. (shrink)

Logic is often perceived as having little to do with the rest of philosophy, and even less to do with real life. In this lively and accessible introduction, Graham Priest shows how wrong this conception is. He explores the philosophical roots of the subject, explaining how modern formal logic deals with issues ranging from the existence of God and the reality of time to paradoxes of probability and decision theory. Along the way, the basics of formal logic are explained in (...) simple, non-technical terms, showing that logic is a powerful and exciting part of modern philosophy. (shrink)

Despite the rapid growth of interest in Hegel among English-speaking philosophers, surprisingly little has been directed at Hegel's relationship toward Kant. This collection of essays by eleven eminent philosophers meets this deficiency by critically examining Hegel's attitude to Kant over a wide range of issues: the nature of space and time; the possibility of metaphysics, categories, and things-in-themselves; dialectic and the self; moral and political philosophy; aesthetics; the philosophy of history, and teleology. All the essays provide channels to a fuller (...) understanding of the forks of theoretical deviation between Hegel and Kant. (shrink)

Discusses the philosophical question concerning the exact relationship between the body and the mind and provides analysis of conflicting theories.

This revised and considerably expanded 2nd edition brings together a wide range of topics, including modal, tense, conditional, intuitionist, many-valued, paraconsistent, relevant, and fuzzy logics. Part 1, on propositional logic, is the old Introduction, but contains much new material. Part 2 is entirely new, and covers quantification and identity for all the logics in Part 1. The material is unified by the underlying theme of world semantics. All of the topics are explained clearly using devices such as tableau proofs, and (...) their relation to current philosophical issues and debates are discussed. Students with a basic understanding of classical logic will find this book an invaluable introduction to an area that has become of central importance in both logic and philosophy. It will also interest people working in mathematics and computer science who wish to know about the area. (shrink)

Mathematical pluralism is the view that there is an irreducible plurality of pure mathematical structures, each with their own internal logics; and that qua pure mathematical structures they are all equally legitimate. Mathematical pluralism is a relatively new position on the philosophical landscape. This Element provides an introduction to the position.

In 1978, Gareth Evans published a short and somewhat cryptic article purporting to establish that there are no vague objects. This paper is a commentary on this. Prima facie, the claim that there are no vague objects is clearly false. Mt Everest, for example, has no precise boundaries. And if this is so, there must be something wrong with Evans' argument. In the paper, I discuss what this is, giving a model of vague objects in the process.

A counterpossible conditional is a counterfactual with an impossible antecedent. Common sense delivers the view that some such conditionals are true, and some are false. In recent publications, Timothy Williamson has defended the view that all are true. In this paper we defend the common sense view against Williamson’s objections.

During the last years the demand for regionally and culturally harmonised machine design is increasingly on the agenda. The problem of localising products like machine tools instantly poses the question for new procedures that allow including the regional and cultural adaptations into the design processes of machine tool companies. How to transform the general insight into the necessity of culture- and region-adapted technologies and how to embed it into a design procedure comprising applicable design attributes is the crucial problem addressed. (...) The paper shows in an exemplary way how ambiguous design attributes can eventually be embodied in a prototype design. (shrink)

The problem of forgotten evidence consists of a pair of scenarios originally proposed by Alvin Goldman. In the “forgotten good evidence” and “forgotten bad evidence” scenarios, subjects hold the same memory belief while irreversibly forgetting its original, though different, pieces of evidence. The two scenarios pose a series of challenges to current time slice (CTS) theories, which posit that memory beliefs are justified solely by contemporaneous states. Goldman’s two scenarios pose an apparent dilemma to CTS theories given a naïve picture (...) of how a memory belief is successfully retained while its evidence is irreversibly forgotten. In my view, however, CTS theories may find a solution to the apparent problem by carefully examining the conditions under which a memory belief is successfully retained while its evidence is completely forgotten. Namely, the two scenarios overlook an important difference between forgetting good evidence and forgetting bad evidence. (shrink)

The paper contains a short story which is inconsistent, essentially so, but perfectly intelligible. The existence of such a story is used to establish various views about truth in fiction and impossible worlds.