An Introduction to Non-Classical Logic

From If to Is

Author: Graham Priest

Publisher: Cambridge University Press

ISBN: 9781139469678

Category: Science

Page: N.A

View: 2687

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.

An Introduction to Non-Classical Logic

Author: Graham Priest

Publisher: Cambridge University Press

ISBN: 9780521794343

Category: Mathematics

Page: 242

View: 4059

This book is an introduction to non-classical propositional logics. It brings together for the first time in a textbook a range of topics in logic, many of them of relatively recent origin, including modal, conditional, intuitionist, many-valued, paraconsistent, relevant and fuzzy logics. The material is unified by the underlying theme of world-semantics. All of the topics are explained clearly and accessibly, using devices such as tableaux proofs, and their relation to current philosophical issues and debates is discussed. Students with a basic understanding of classical logic will find this an invaluable introduction to an area that has become of central importance in both logic and philosophy, but which, until now, could be studied only through the research literature. It will interest those studying logic, those who need to know about non-classical logics because of their philosophical importance, and, more widely, readers working in mathematics and computer science.

An Introduction to Non-Classical Logic

From If to Is

Author: Graham Priest

Publisher: N.A

ISBN: 9780521670265

Category: Mathematics

Page: 613

View: 9143

This 2008 book clearly introduces the major topics in logic and their relation to current philosophical issues.

Classical and Nonclassical Logics

An Introduction to the Mathematics of Propositions

Author: Eric Schechter

Publisher: Princeton University Press

ISBN: 9780691122793

Category: Mathematics

Page: 507

View: 2223

Classical logic is traditionally introduced by itself, but that makes it seem arbitrary and unnatural. This text introduces classical alongside several nonclassical logics (relevant, constructive, quantative, paraconsistent).

An Introduction to Formal Logic

Author: Peter Smith

Publisher: Cambridge University Press

ISBN: 9780521008044

Category: Mathematics

Page: 357

View: 1676

Formal logic provides us with a powerful set of techniques for criticizing some arguments and showing others to be valid. These techniques are relevant to all of us with an interest in being skilful and accurate reasoners. In this highly accessible book, Peter Smith presents a guide to the fundamental aims and basic elements of formal logic. He introduces the reader to the languages of propositional and predicate logic, and then develops formal systems for evaluating arguments translated into these languages, concentrating on the easily comprehensible 'tree' method. His discussion is richly illustrated with worked examples and exercises. A distinctive feature is that, alongside the formal work, there is illuminating philosophical commentary. This book will make an ideal text for a first logic course, and will provide a firm basis for further work in formal and philosophical logic.

An Introduction to Substructural Logics

Author: Greg Restall

Publisher: Routledge

ISBN: 1135111316

Category: Philosophy

Page: 400

View: 3750

This book introduces an important group of logics that have come to be known under the umbrella term 'susbstructural'. Substructural logics have independently led to significant developments in philosophy, computing and linguistics. An Introduction to Substrucural Logics is the first book to systematically survey the new results and the significant impact that this class of logics has had on a wide range of fields.The following topics are covered: * Proof Theory * Propositional Structures * Frames * Decidability * Coda Both students and professors of philosophy, computing, linguistics, and mathematics will find this to be an important addition to their reading.

An Introduction to Decision Theory

Author: Martin Peterson

Publisher: Cambridge University Press

ISBN: 1107151597

Category: Business & Economics

Page: 348

View: 940

Now revised and updated, this introduction to decision theory is both accessible and comprehensive, covering topics including decision making under ignorance and risk, the foundations of utility theory, the debate over subjective and objective probability, Bayesianism, causal decision theory, game theory, and social choice theory. No mathematical skills are assumed, with all concepts and results explained in non-technical and intuitive as well as more formal ways. There are now over 140 exercises with solutions, along with a glossary of key terms and concepts. This second edition includes a new chapter on risk aversion as well as updated discussions of numerous central ideas, including Newcomb's problem, prisoner's dilemmas, and Arrow's impossibility theorem. The book will appeal particularly to philosophy students but also to readers in a range of disciplines, from computer science and psychology to economics and political science.

Modal Logic

An Introduction

Author: Brian F. Chellas

Publisher: Cambridge University Press

ISBN: 9780521295154

Category: Mathematics

Page: 295

View: 4657

A textbook on modal logic, intended for readers already acquainted with the elements of formal logic, containing nearly 500 exercises. Brian F. Chellas provides a systematic introduction to the principal ideas and results in contemporary treatments of modality, including theorems on completeness and decidability. Illustrative chapters focus on deontic logic and conditionality. Modality is a rapidly expanding branch of logic, and familiarity with the subject is now regarded as a necessary part of every philosopher's technical equipment. Chellas here offers an up-to-date and reliable guide essential for the student.

Logic: The Basics

Author: Jc Beall,Shay A. Logan

Publisher: Routledge

ISBN: 1317528603

Category: Philosophy

Page: 312

View: 9788

Logic: The Basics is an accessible introduction to several core areas of logic. The first part of the book features a self-contained introduction to the standard topics in classical logic, such as: · mathematical preliminaries · propositional logic · quantified logic (first monadic, then polyadic) · English and standard ‘symbolic translations’ · tableau procedures. Alongside comprehensive coverage of the standard topics, this thoroughly revised second edition also introduces several philosophically important nonclassical logics, free logics, and modal logics, and gives the reader an idea of how they can take their knowledge further. With its wealth of exercises (solutions available in the encyclopedic online supplement), Logic: The Basics is a useful textbook for courses ranging from the introductory level to the early graduate level, and also as a reference for students and researchers in philosophical logic.

Logic for Philosophy

Author: Theodore Sider

Publisher: Oxford University Press, USA


Category: Philosophy

Page: 289

View: 471

Logic for Philosophy is an introduction to logic for students of contemporary philosophy. It is suitable both for advanced undergraduates and for beginning graduate students in philosophy. It covers (i) basic approaches to logic, including proof theory and especially model theory, (ii)extensions of standard logic that are important in philosophy, and (iii) some elementary philosophy of logic. It emphasizes breadth rather than depth. For example, it discusses modal logic and counterfactuals, but does not prove the central metalogical results for predicate logic (completeness,undecidability, etc.) Its goal is to introduce students to the logic they need to know in order to read contemporary philosophical work. It is very user-friendly for students without an extensive background in mathematics. In short, this book gives you the understanding of logic that you need to dophilosophy.

An Introduction to Hilbert Space and Quantum Logic

Author: David W. Cohen

Publisher: Springer Science & Business Media

ISBN: 1461388414

Category: Science

Page: 149

View: 5463

Historically, nonclassical physics developed in three stages. First came a collection of ad hoc assumptions and then a cookbook of equations known as "quantum mechanics". The equations and their philosophical underpinnings were then collected into a model based on the mathematics of Hilbert space. From the Hilbert space model came the abstaction of "quantum logics". This book explores all three stages, but not in historical order. Instead, in an effort to illustrate how physics and abstract mathematics influence each other we hop back and forth between a purely mathematical development of Hilbert space, and a physically motivated definition of a logic, partially linking the two throughout, and then bringing them together at the deepest level in the last two chapters. This book should be accessible to undergraduate and beginning graduate students in both mathematics and physics. The only strict prerequisites are calculus and linear algebra, but the level of mathematical sophistication assumes at least one or two intermediate courses, for example in mathematical analysis or advanced calculus. No background in physics is assumed.

Logic: A Very Short Introduction

Author: Graham Priest

Publisher: Oxford University Press

ISBN: 0192539701

Category: Philosophy

Page: 152

View: 4718

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. In this new edition Graham Priest expands his discussion to cover the subjects of algorithms and axioms, and proofs in mathematics. ABOUT THE SERIES: The Very Short Introductions series from Oxford University Press contains hundreds of titles in almost every subject area. These pocket-sized books are the perfect way to get ahead in a new subject quickly. Our expert authors combine facts, analysis, perspective, new ideas, and enthusiasm to make interesting and challenging topics highly readable.

Possibilities and Paradox

An Introduction to Modal and Many-valued Logic

Author: J. C. Beall,Bas C. Van Fraassen

Publisher: Oxford University Press, USA

ISBN: 9780199259878

Category: Philosophy

Page: 233

View: 3754

"The book opens up topics to debate, suitable for an intermediate course in logic. Each chapter contains innovative features that guide us through the subject: exercises to give students hands-on experience, examples to demonstrate the application of concepts, and lists of further reading."--Jacket.

Philosophy of Logics

Author: Susan Haack

Publisher: Cambridge University Press

ISBN: 9780521293297

Category: Philosophy

Page: 276

View: 9025

Haack's book has established an international reputation for its clarity, thorough scholarship and careful analyses.

Thinking about Logic

An Introduction to the Philosophy of Logic

Author: Stephen Read

Publisher: Oxford University Press on Demand

ISBN: 9780192892386

Category: History

Page: 262

View: 7618

In this book, Stephen Read sets out to rescue logic from its undeserved reputation as an inflexible, dogmatic discipline by demonstrating that its technicalities and processes are founded on assumptions which are themselves amenable to philosophical investigation. He examines the fundamental principles of consequence, logical truth and correct inference within the context of logic, and shows that the principles by which we delineate consequences are themselves not guaranteed free from error. Central to the notion of truth is the beguiling issue of paradox. Its philosophical value, Read shows, lies in exposing the invalid assumption on which the paradox is built. Thinking About Logic also discusses logical puzzles which introduce questions relating to language, the world, and their relationship.

Deviant Logic, Fuzzy Logic

Beyond the Formalism

Author: Susan Haack

Publisher: University of Chicago Press

ISBN: 9780226311340

Category: Philosophy

Page: 291

View: 2066

Initially proposed as rivals of classical logic, alternative logics have become increasingly important in areas such as computer science and artificial intelligence. Fuzzy logic, in particular, has motivated major technological developments in recent years. Susan Haack's Deviant Logic provided the first extended examination of the philosophical consequences of alternative logics. In this new volume, Haack includes the complete text of Deviant Logic, as well as five additional papers that expand and update it. Two of these essays critique fuzzy logic, while three augment Deviant Logic's treatment of deduction and logical truth. Haack also provides an extensive new foreword, brief introductions to the new essays, and an updated bibliography of recent work in these areas. Deviant Logic, Fuzzy Logic will be indispensable to students of philosophy, philosophy of science, linguistics, mathematics, and computer science, and will also prove invaluable to experienced scholars working in these fields.

Intermediate Logic

Author: David Bostock

Publisher: Clarendon Press

ISBN: 9780191567070

Category: Mathematics

Page: 404

View: 980

Intermediate Logic fills a serious gap in the range of university logic texts by offering a clear, reliable, general guide for students taking a second course in logic after completing a basic introduction. It will serve as an ideal follow-up to any of the standard introductory texts, and will give excellent preparation for advanced work in logical theory or applications of logic in philosophy, mathematics, or computing theory. - ;Intermediate Logic is an ideal text for anyone who has taken a first course in logic and is progressing to further study. It examines logical theory, rather than the applications of logic, and does not assume any specific technological grounding. The author introduces and explains each concept and term, ensuring that readers have a firm foundation for study. He provides a broad, deep understanding of logic by adopting and comparing a variety of different methods and approaches. In the first section, Bostock covers such fundamental notions as truth, validity, entailment, quantification, and decision procedures. Part two lays out a definitive introduction to four key logical tools or procedures: semantic tableaux, axiomatic proofs, natural deduction, and sequent calculi. The final section opens up new areas of existence and identity, concluding by moving from orthodox logic to examination of `free logic'. Intermediate Logic provides an ideal secondary course in logic for university students, and a bridge to advanced study of such subjects as model theory, proof theory, and other specialized areas of mathematical logic. -

Doubt Truth to be a Liar

Author: Graham Priest

Publisher: Oxford University Press

ISBN: 0199263280

Category: Language Arts & Disciplines

Page: 226

View: 5959

"The book is required reading for anyone who wishes to understand dialetheism; (especially) for anyone who wishes to continue to endorse the old Aristotelian orthodoxy; and, more generally, for anyone who wishes to understand the role that contradiction plays in our thinking."--BOOK JACKET.

Essays on Non-classical Logic

Author: Heinrich Wansing

Publisher: World Scientific

ISBN: 9810247354

Category: Mathematics

Page: 262

View: 864

This book covers a broad range of up-to-date issues in non-classical logic that are of interest not only to philosophical and mathematical logicians but also to computer scientists and researchers in artificial intelligence. The problems addressed range from methodological issues in paraconsistent and deontic logic to the revision theory of truth and infinite Turing machines. The book identifies a number of important current trends in contemporary non-classical logic. Among them are dialogical and substructural logic, the classification of concepts of negation, truthmaker theory, and mathematical and foundational aspects of modal and temporal logic.

Introduction to Mathematical Logic

Author: Hans Hermes

Publisher: Springer Science & Business Media

ISBN: 3642871321

Category: Mathematics

Page: 244

View: 1408

This book grew out of lectures. It is intended as an introduction to classical two-valued predicate logic. The restriction to classical logic is not meant to imply that this logic is intrinsically better than other, non-classical logics; however, classical logic is a good introduction to logic because of its simplicity, and a good basis for applications because it is the foundation of classical mathematics, and thus of the exact sciences which are based on it. The book is meant primarily for mathematics students who are already acquainted with some of the fundamental concepts of mathematics, such as that of a group. It should help the reader to see for himself the advantages of a formalisation. The step from the everyday language to a formalised language, which usually creates difficulties, is dis cussed and practised thoroughly. The analysis of the way in which basic mathematical structures are approached in mathematics leads in a natural way to the semantic notion of consequence. One of the substantial achievements of modern logic has been to show that the notion of consequence can be replaced by a provably equivalent notion of derivability which is defined by means of a calculus. Today we know of many calculi which have this property.