Classical Logic and Its Rabbit-Holes

Classical Logic and Its Rabbit-Holes
Author: Nelson P. Lande
Publisher: Hackett Publishing
Total Pages: 500
Release: 2013-11-15
Genre: Philosophy
ISBN: 1624660444

Many students ask, 'What is the point of learning formal logic?' This book gives them the answer. Using the methods of deductive logic, Nelson Lande introduces each new element in exquisite detail, as he takes students through example after example, proof after proof, explaining the thinking behind each concept. Shaded areas and appendices throughout the book provide explanations and justifications that go beyond the main text, challenging those students who wish to delve deeper, and giving instructors the option of confining their course to the basics, or expanding it, when they wish, to more rigorous levels. Lande encourages students to think for themselves, while at the same time providing them with the level of explanation they need to succeed. It is a rigorous approach presented in a style that is informal, engaging, and accessible. Students will come away with a solid understanding of formal logic and why it is not only important, but also interesting and sometimes even fun. It is a text that brings the human element back into the teaching of logic. --Hans Halvorson, Princeton University

Classical and Nonclassical Logics

Classical and Nonclassical Logics
Author: Eric Schechter
Publisher: Princeton University Press
Total Pages: 520
Release: 2020-10-06
Genre: Mathematics
ISBN: 069122014X

So-called classical logic--the logic developed in the early twentieth century by Gottlob Frege, Bertrand Russell, and others--is computationally the simplest of the major logics, and it is adequate for the needs of most mathematicians. But it is just one of the many kinds of reasoning in everyday thought. Consequently, when presented by itself--as in most introductory texts on logic--it seems arbitrary and unnatural to students new to the subject. In Classical and Nonclassical Logics, Eric Schechter introduces classical logic alongside constructive, relevant, comparative, and other nonclassical logics. Such logics have been investigated for decades in research journals and advanced books, but this is the first textbook to make this subject accessible to beginners. While presenting an assortment of logics separately, it also conveys the deeper ideas (such as derivations and soundness) that apply to all logics. The book leads up to proofs of the Disjunction Property of constructive logic and completeness for several logics. The book begins with brief introductions to informal set theory and general topology, and avoids advanced algebra; thus it is self-contained and suitable for readers with little background in mathematics. It is intended primarily for undergraduate students with no previous experience of formal logic, but advanced students as well as researchers will also profit from this book.

Classical First-Order Logic

Classical First-Order Logic
Author: Stewart Shapiro
Publisher: Cambridge University Press
Total Pages: 89
Release: 2022-05-19
Genre: Philosophy
ISBN: 1108991521

One is often said to be reasoning well when they are reasoning logically. Many attempts to say what logical reasoning is have been proposed, but one commonly proposed system is first-order classical logic. This Element will examine the basics of first-order classical logic and discuss some surrounding philosophical issues. The first half of the Element develops a language for the system, as well as a proof theory and model theory. The authors provide theorems about the system they developed, such as unique readability and the Lindenbaum lemma. They also discuss the meta-theory for the system, and provide several results there, including proving soundness and completeness theorems. The second half of the Element compares first-order classical logic to other systems: classical higher order logic, intuitionistic logic, and several paraconsistent logics which reject the law of ex falso quodlibet.

Proof and Consequence

Proof and Consequence
Author: Ray Jennings
Publisher: Broadview Press
Total Pages: 0
Release: 2006-06-29
Genre: Philosophy
ISBN: 9781551115474

Proof and Consequence is a rigorous, elegant introduction to classical first-order natural deductive logic; it provides an accurate and accessible first course in the study of formal systems. The text covers all the topics necessary for learning logic at the beginner and intermediate levels: this includes propositional and quantificational logic (using Suppes-style proofs) and extensive metatheory, as well as over 800 exercises. Proof and Consequence provides exclusive access to the software application Simon, an easily downloadable program designed to facilitate an intuitive understanding of classical logic through the generation and analysis of proofs. It also aids with the representation of natural language sentences in the formal language. Equipped with nearly all the exercises found in the text, Simon helps students work efficiently and effectively by detecting and explaining errors in solutions as they proceed. Students can also submit assignments, view their own records, and check their standing in the class. The complete logic package includes: The logic textbook, Proof and Consequence A very helpful study guide to the textbook, containing extra exercises, Simple Simon Access, through Simon, to the grading software, Simon Says, that allows students to submit assignments and track their grades

Logical Options

Logical Options
Author: John L. Bell
Publisher: Broadview Press
Total Pages: 313
Release: 2001-03-30
Genre: Philosophy
ISBN: 1551112973

Logical Options introduces the extensions and alternatives to classical logic which are most discussed in the philosophical literature: many-sorted logic, second-order logic, modal logics, intuitionistic logic, three-valued logic, fuzzy logic, and free logic. Each logic is introduced with a brief description of some aspect of its philosophical significance, and wherever possible semantic and proof methods are employed to facilitate comparison of the various systems. The book is designed to be useful for philosophy students and professional philosophers who have learned some classical first-order logic and would like to learn about other logics important to their philosophical work.

Deductive Logic

Deductive Logic
Author: Warren Goldfarb
Publisher: Hackett Publishing
Total Pages: 309
Release: 2003-09-15
Genre: Philosophy
ISBN: 1603845852

This text provides a straightforward, lively but rigorous, introduction to truth-functional and predicate logic, complete with lucid examples and incisive exercises, for which Warren Goldfarb is renowned.

Handbook of Philosophical Logic

Handbook of Philosophical Logic
Author: Dov M. Gabbay
Publisher: Springer
Total Pages: 497
Release: 2011-11-08
Genre: Philosophy
ISBN: 9789400970670

The aim of the first volume of the present Handbook of Philosophical Logic is essentially two-fold: First of all, the chapters in this volume should provide a concise overview of the main parts of classical logic. Second, these chapters are intended to present all the relevant background material necessary for the understanding of the contributions which are to follow in the next three volumes. We have thought it to be of importance that the connections between classical logic and its 'extensions' (covered in Volume 11) as well as its most important 'alternatives' (covered in Volume Ill) be brought out clearly from the start. The first chapter presents a clear and detailed picture of the range of what is generally taken to be the standard logical framework, namely, predicate (or first-order quantificational) logic. On the one hand, this chapter surveys both propositionai logic and first-order predicate logic and, on the other hand, presents the main metalogical results obtained for them. Chapter 1. 1 also contains a discussion of the limits of first-order logic, i. e. it presents an answer to the question: Why has predicate logic played such a formidable role in the formalization of mathematics and in the many areas of philo sophical and linguistic applications? Chapter 1. 1 is prerequisite for just about all the other chapters in the entire Handbook, while the other chapters in Volume I provide more detailed discussions of material developed or hinted at in the first chapter.

An Introduction to Non-Classical Logic

An Introduction to Non-Classical Logic
Author: Graham Priest
Publisher: Cambridge University Press
Total Pages: 268
Release: 2001-02-22
Genre: Mathematics
ISBN: 9780521794343

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.

The Boundary Stones of Thought

The Boundary Stones of Thought
Author: Ian Rumfitt
Publisher: OUP Oxford
Total Pages: 369
Release: 2015-03-26
Genre: Philosophy
ISBN: 019105335X

The Boundary Stones of Thought seeks to defend classical logic from a number of attacks of a broadly anti-realist character. Ian Rumfitt is sympathetic to many of the premisses underlying these attacks. Indeed, he regards some of them as effective challenges to certain principles of classical semantics, notably the Principle of Bivalence. He argues, though, that they are ineffective against classical logic itself. The book starts by considering the general problem of how conflicts over logical laws may be rationally discussed and adjudicated. This leads to a consideration of the nature of logic: Rumfitt identifies the particular features that mark out logical consequence from other consequence relations, and he advances a new argument for the ancient thesis that there is a modal element in the notion of logical consequence. He develops a theory of that modal element in terms of perhaps incomplete possibilities, rather than fully determinate possible worlds. Some prima facie powerful arguments against the validity of certain classical logical laws are then analysed in the light of this account of logic. Throughout, care is taken to separate lines of anti-classical argument that, although distinct, are often run together or confused. The analysis yields, as by-products, semantic theories for a number of problematical areas of discourse. These areas include our talk about sub-atomic particles, about the infinite, about infinitesimals, about sets, and vague discourse. Rumfitt concludes by defending his stance of accepting classical logic while rejecting Bivalence, against Aristotle's argument that a classical logician is committed to Bivalence. The ultimate aim is to liberate classical logic from the dead hand of classical semantics.