In Part 1 the reader is introduced to some standard systems of modal logic and encouraged through a series of exercises to become proficient in manipulating these logics. The emphasis is on possible world semantics for modal logics and the semantic emphasis is carried into the formal method, Jeffrey-style truth-trees. Standard truth-trees are extended in a simple and transparent way to take possible worlds into account. Part 2 systematically explores the applications of modal logic to philosophical issues such as truth, (...) time, processes, knowledge and belief, obligation and permission. Accessible, authoritative, and assured, Modal Logics and Philosophy requires no more background than the completion of a standard introductory logic course. It will be welcomed not only by students looking for a bridge between introductory logic texts and the high-level technical literature but as a guide to, and exploration of, work at the forefront of logic and philosophy. (shrink)

The first edition, published by Acumen in 2000, became a prescribed textbook on modal logic courses. The second edition has been fully revised in response to readers' suggestions, including two new chapters on conditional logic, which was not covered in the first edition. "Modal Logics and Philosophy" is a fully comprehensive introduction to modal logics and their application suitable for course use. Unlike most modal logic textbooks, which are both forbidding mathematically and short on philosophical discussion, "Modal Logics and (...) Philosophy" places its emphasis firmly on showing how useful modal logic can be as a tool for formal philosophical analysis. In part 1 of the book, the reader is introduced to some standard systems of modal logic and encouraged through a series of exercises to become proficient in manipulating these logics. The emphasis is on possible world semantics for modal logics and the semantic emphasis is carried into the formal method, Jeffrey-style truth-trees. Standard truth-trees are extended in a simple and transparent way to take possible worlds into account. Part 2 systematically explores the applications of modal logic to philosophical issues such as truth, time, processes, knowledge and belief, obligation and permission. (shrink)

Ever since Saul Kripke and others developed a semantic interpretation for modal logic, 'possible worlds' has been a much debated issue in contemporary metaphysics. To propose the idea of a possible world that differs in some way from our actual world - for example a world where the grass is red or where no people exist - can help us to analyse and understand a wide range of philosophical concepts, such as counterfactuals, properties, modality, and of course, the notions of (...) possibility and necessity. This book examines the ways in which possible worlds have been used as a framework for considering problems in logic and argument analysis. The book begins with a non-technical introduction to the basic ideas of modal logic in terms of Kripke's possible worlds and then moves on to a discussion of 'possible for' and 'possible that'. The central chapters examine questions of meaning, epistemic possibility, temporal logic, metaphysics, and impossibility. Girle also investigates how the idea of a possible world can be put to use in different areas of philosophy, the problems it may raise, and the benefits that can be gained. (shrink)

Ever since Saul Kripke and others developed a semantic interpretation for modal logic, 'possible worlds' has been a much debated issue in contemporary metaphysics. To propose the idea of a possible world that differs in some way from our actual world - for example a world where the grass is red or where no people exist - can help us to analyse and understand a wide range of philosophical concepts, such as counterfactuals, properties, modality, and of course, the notions of (...) possibility and necessity. This book examines the ways in which possible worlds have been used as a framework for considering problems in logic and argument analysis. The book begins with a non-technical introduction to the basic ideas of modal logic in terms of Kripke's possible worlds and then moves on to a discussion of 'possible for' and 'possible that'. The central chapters examine questions of meaning, epistemic possibility, temporal logic, metaphysics, and impossibility. Girle also investigates how the idea of a possible world can be put to use in different areas of philosophy, the problems it may raise, and the benefits that can be gained. (shrink)

The new edition of this widely used and respected textbook includes three new chapters on conditional logic. Other chapters have been revised and updated, making the second edition a fully comprehensive introduction to modal logics and their application. Unlike most modal logic textbooks, which are both forbidding mathematically and short on philosophical discussion, Modal Logics and Philosophy focuses on showing how useful modal logic can be as a tool for formal philosophical analysis. In Part 1, the reader is introduced (...) to some standard systems of modal logic and provided with a series of exercises that encourage proficiency in manipulating these logics. Girle emphasizes possible world semantics for modal logics and its formal method, Jeffrey-style truth-trees, in which standard truth-trees are extended in a simple and transparent way to take possible worlds into account. Part 2 explores the applications of modal logic to philosophical issues such as truth, time, processes, knowledge and belief, and obligation and permission. (shrink)

INTRODUCTION TO LOGIC is a combined text and workbook for students beginning their study of logic. The workbook style allows students to proceed at their own pace, checking their progress in the end-of-chapter exercises. The text covers propositional logic and predicate logic with identity, the focus being on arguments. The methods of proof are truth-tables and truth-trees in the style of Jeffrey. This text is suitable for students of philosophy, computer science, mathematics and science in general.

This revolutionary book empowers its readers intellectually by providing a snapshot of perennial and timely philosophical topics. Written by twenty expert women in philosophy and representing a diverse and pluralistic approach to philosophy as a discipline, this book appeals to a wide audience. Individual readers, especially girls and women ages 16-24, as well as university and high school educators and students who want a change from standard anthologies that include few or no women will find value in (...) these pages. This volume contains several notable features: the book is divided into four sections that correspond to major fields in Philosophy-metaphysics, epistemology, social and political philosophy, and ethics-but the chapters within those sections provide fresh ways of understanding those fields. " Every chapter begins with a lively anecdote about a girl or woman in literature, myth, history, science, or art to introduce the chapter's specific topic." Chapters are dominated by women's voices, with nearly all primary and secondary sources used coming from women in the history of philosophy and a diverse set of contemporary women philosophers. "All chapters offer the authors' distinct philosophical perspectives written in their own voices and styles, representing diverse training, backgrounds, and interests." The Introduction and Prologue explicitly invite the book's readers to engage in philosophical conversation and reflection, thus setting the stage for continued contemplation and dialogue beyond the book itself. The result is a rigorous yet accessible entry-point into serious philosophical contemplation designed to embolden and strengthen its readers' own senses of philosophical inquiry and competence. The book's readers will feel confident in knowing that expert women affirm an equitable and just intellectual landscape for all and thus have lovingly collaborated to write this book. (shrink)

This forthcoming edited volume is written by expert women in philosophy for younger women and girls ages 16-20. It features a range of ethical, metaphysical, social and political, and other philosophical chapters divided into four main sections. Each chapter features an opening anecdote involving women and/or girls from historical, literary, artistic, scientific, mythic, and other sources to lead into the main topic of the chapter.

Most people would not associate Confucian philosophy with contemporary education. After all, the former is an ancient Chinese tradition and the latter is a modern phenomenon. But this book shows otherwise, by explaining how millennia-old Confucian ideas and practices can inform, inspire and improve teaching and learning today. Drawing upon major Confucian texts such as the Analects and Mencius, as well as influential thinkers such as Confucius, Zhu Xi and Empress Xu, the various chapters address current educational issues and (...) challenges such as the following: How can humanity resolve the climate emergency? What (more) should schools do to promote education for girls? Is there more to lifelong learning than just skills upgrading? Is teacher-centred education really bad? What is missing in the existing frameworks on 21st century competencies? What new initiatives are needed to champion sustainable development? Confucian Philosophy for Contemporary Education answers the above questions and more by presenting a Confucian model of education. The author describes a Confucian school where Dao - a shared vision of human excellence - is realised through an inclusive, mindful, learning-centred and ultimately humanising form of education. This book is a useful resource for academic researchers, educators, students and general readers on Confucian philosophy and its continual relevance for present-day education. (shrink)

Includes bibliographical references and index.

Gödel's modal ontological argument is the centerpiece of an extensive examination of intensional logic. First, classical type theory is presented semantically, tableau rules for it are introduced, and the Prawitz/Takahashi completeness proof is given. Then modal machinery is added to produce a modified version of Montague/Gallin intensional logic. Finally, various ontological proofs for the existence of God are discussed informally, and the Gödel argument is fully formalized. Parts of the book are mathematical, parts philosophical.

To find more information about Rowman and Littlefield titles, please visit www.rowmanlittlefield.com.

This paper will outline some of the ways in which traditional pedagogies facilitate ‘masculine’ ideals of thinking, while excluding and denigrating the ‘feminine’. It will be shown that unlike traditional pedagogies, P4C reconstructs the gendered dualisms (e.g. mind/body, reason/emotion, individual/community) that form the basis of traditional gender stereotypes. Consequently, P4C reconstructs traditional gender stereotypes and challenges the traditional gendering of school subjects, which contributes to the underperformance of girls in math and science and the devaluation of the ‘feminine’ arts (...) and humanities. It will also be shown that P4C may be particularly valuable for overcoming the current concerns about the educational performance of boys, especially in relation to literacy and behavioral problems. (shrink)

In this paper we compare central elements of Dialogue Logic and Belief Revision theory. Dialogue Logic of the Hamblin/Mackenzie style, or Formal Dialectic, contains three main features. First, there is a rule governed interaction between dialogue participants—the minimal case being two participants. Second, each participant has a commitment store which changes as the dialogue progresses. Third, the changes in the commitment store are governed by rules for additions and withdrawals of material. Withdrawal of material is one major source of difficulty (...) in proposing rules for commitment store change. The classic Belief Revision theory is the AGM theory. AGM theory is a theory about ideal rational believers who change their sets of beliefs by either expansion or contraction. Contraction is a major source of difficulty in belief revision theory. We claim that the commitment stores of dialogue logic include, in a sense, the belief sets of belief revision theory. Further, withdrawal and contraction are essentially the same process. We consider various kinds of withdrawal and contraction, and show how approaches to these processes illuminate certain of the formal fallacies. (shrink)

There are several formal systems for persuasive dialogue. Dialogue systems are multi-Agent systems, and this contrasts with the general lack of any agency in standard logics other than in the case of epistemic and deontic logics. Dialogue systems have been called logics. A logic usually has a semantics and a proof system, and questions of soundness and completeness arise. Any dialogue conducted according to the rules of a dialogue logic is a complex process. Dynamic Logic is a logic of processes, (...) with a possible world semantics. This paper is a preliminary exploration of transforming the dialogues of dialogue logic into complex Dynamic Logic processes with emphasis on semantic models. The transformation gives rise to many questions, three of which are discussed. Dialogue logic includes commitment sets which behave in a way similar to belief sets and undergo changes during any dialogue. There are issues as to the relationship between belief and commitment, and whether the logics of belief change apply to commitment stores. There is also the issue of the logical nature of the evaluation of dialogues as legal or illegal. (shrink)

Jan Łukasiewicz’s analysis of Aristotle’s syllogism drew attention to the nature of syllogisms as conditionals rather than premise-conclusion arguments. His further idea that syllogisms should be understood as theorems of an axiom system seems a step too far for many logicians. But there is evidence to suggest that Aristotle’s syllogism was to regularise some of the steps made in ‘dialogue games.’ This way of seeing the syllogism is explored in the framework of modern formal dialogue systems. A modern formal syllogistic (...) game, DLSyll, is set out and analysed in use. (shrink)

It has been argued that consciousness might be what differentiates human from machine mentality. What then is consciousness? We discuss consciousness, particularly perception accounts of consciousness. It is argued that perception and consciousness are distinct. Armstrong's account of consciousness is rejected. It is proposed that perception is a necessary but not sufficient condition for consciousness, and that there is a distinction to be drawn between consciousness and self-consciousness. Consciousness is tightly linked to attention and to certain sorts of knowledge. Implications (...) for machine consciousness and machine attention are discussed. (shrink)

Aus dem Inhalt: Views from the North: Hans Petter Graver: Law, Justice and the State: Nordic Perspectives u Jacob Dahl Rendtorff: The Danish Welfare State: Philosophical Ideals and Systemic Reality u Sigri!Dur *orgeirsdottir: Feminist Ethics and Feminist Politics u Kuellike Lengi: The Situation of Human Rights in Estonia u Einar Palsson: Pythagoras and Early Icelandic Law u Law, Discourse and Rationality: Mats Flodin: Internal and External Rationality of Legal Systems u Logi Gunnarsson: A Discourse About Discourse u Hjordi!s Hakonardottir: Legal (...) Language: A Tool of Justice u Ghita Holmstrom-Hintikka: On the Use of Expert Witness in Legal Reasoning and Inquiry u Law, State and Nation: Agust H. Ing*orsson: Democracy, Bureaucracy and Marginalization of the State u Aleksander Peczenik: Law-State, Legal Certainty and Legitimacy of Law u Ove K. Pedersen/Sverre Raffnsoe: Reorganizing Society u Juha Raikka: Mill on National Sentiment u Pall Skulason: Concepts of the State and Classes of Value u Problems of Law and Rights: Britt-Mari Blegvad: How to Cope With Uncertainty: Trust and Law u Jon Wetlesen: Animal Rights or Human Duties?. (shrink)