Keyword: propositional logic
FiltersNEW

Hold ctrl / ⌘ to select more or unselect / Info

Topics

Languages

Traditions

Times (use negative numbers for BCE)

-

Medium:

Recommended use:

Difficulty:


Full text
Bergmann, Merrie, James Moor, Jack Nelson. The Logic Book
2003, Mcgraw-Hill.
Topics: Logic and Mathematics; Philosophy Education
Keywords: mathematical logic; predicate logic; propositional logic

Traditions: Formal; North American
Languages: English

Expand entry

Added by: Berta Grimau
Summary: This book is an introductory textbook on mathematical logic. It covers Propositional Logic and Predicate Logic. For each of these formalisms it presents its syntax and formal semantics as well as a tableaux-style method of consistency-checking and a natural deduction-style deductive calculus. Moreover, it discusses the metatheory of both logics.
Comment: This book would be ideal for an introductory course on symbolic logic. It presupposes no previous training in logic, and because it covers sentential logic through the metatheory of first-order predicate logic, it is suitable for both introductory and intermediate courses in symbolic logic. The instructor who does not want to emphasize metatheory can simply omit Chapters 6 and 11. The chapters on truth-trees and the chapters on derivations are independent, so it is possible to cover truth-trees but not derivations and vice versa. However, the chapters on truth-trees do depend on the chapters presenting semantics; that is, Chapter 4 depends on Chapter 3 and Chapter 9 depends on Chapter 8. In contrast, the derivation chapters can be covered without first covering semantics. The Logic Book includes large exercise sets for all chapters. Answers to unstarred exercises appear in the Student Solutions Manual, available at www.mhhe.com/bergmann6e, while answers to starred exercises appear in the Instructor's Manual, which can be obtained by following the instructions on the same web page.
Difficulty: Easy
Recommended use: Introductory, Overview

View this text on PhilPapers

Full text
Langer, Susanne. An Introduction to Symbolic Logic
1937, George Allen & Unwin, Ltd.
Topics: Logic and Mathematics
Keywords: algebra; logic; logic (symbolic and mathematical); logic textbook; propositional logic

Traditions: Formal; North American
Languages: English
Figures: Susanne Langer

Expand entry

Added by: Viviane Fairbank
Abstract:
Symbolic Logic is a relatively new subject, and the easiest methods of approach have not yet been determined. In point of arrangement, therefore, this Introduction has no predecessor. That is just why it was written: the need of some systematic guide, from the state of perfect innocence to a possible understanding of the classical literature, has become acute and commanding.
Comment: This is an accessible introductory textbook to logic (and basic mathematics) from the 1930s, which is likely outdated at this point but may still be used for reference (and interest).
Difficulty: Easy, Easy-Intermediate
Recommended use: Introductory

Can’t find it?
Contribute the texts you think should be here and we’ll add them soon!