Book contents
- Frontmatter
- Contents
- Preface
- 1 Introduction
- 2 Review of Classical Propositional Logic
- 3 Review of Classical First-Order Logic
- 4 Alternative Semantics for Truth-Values and Truth-Functions: Numeric Truth-Values and Abstract Algebras
- 5 Three-Valued Propositional Logics: Semantics
- 6 Derivation Systems for Three-Valued Propositional Logic
- 7 Three-Valued First-Order Logics: Semantics
- 8 Derivation Systems for Three-Valued First-Order Logic
- 9 Alternative Semantics for Three-Valued Logic
- 10 The Principle of Charity Reconsidered and a New Problem of the Fringe
- 11 Fuzzy Propositional Logics: Semantics
- 12 Fuzzy Algebras
- 13 Derivation Systems for fuzzy Propositional Logic
- 14 Fuzzy First-Order Logics: Semantics
- 15 Derivation Systems for Fuzzy First-Order Logic
- 16 Extensions of Fuzziness
- 17 Fuzzy Membership Functions
- Appendix: Basics of Countability and Uncountability
- Bibliography
- Index
Preface
Published online by Cambridge University Press: 05 June 2012
- Frontmatter
- Contents
- Preface
- 1 Introduction
- 2 Review of Classical Propositional Logic
- 3 Review of Classical First-Order Logic
- 4 Alternative Semantics for Truth-Values and Truth-Functions: Numeric Truth-Values and Abstract Algebras
- 5 Three-Valued Propositional Logics: Semantics
- 6 Derivation Systems for Three-Valued Propositional Logic
- 7 Three-Valued First-Order Logics: Semantics
- 8 Derivation Systems for Three-Valued First-Order Logic
- 9 Alternative Semantics for Three-Valued Logic
- 10 The Principle of Charity Reconsidered and a New Problem of the Fringe
- 11 Fuzzy Propositional Logics: Semantics
- 12 Fuzzy Algebras
- 13 Derivation Systems for fuzzy Propositional Logic
- 14 Fuzzy First-Order Logics: Semantics
- 15 Derivation Systems for Fuzzy First-Order Logic
- 16 Extensions of Fuzziness
- 17 Fuzzy Membership Functions
- Appendix: Basics of Countability and Uncountability
- Bibliography
- Index
Summary
Formal fuzzy logic has developed into an extensive, rigorous, and exciting discipline since it was first proposed by Joseph Goguen and Lotfi Zadeh in the midtwentieth century, and it is a wonderful topic for introducing students to the richness and fascination of formal logic and the philosophy thereof. This textbook grew out of an interdisciplinary course on fuzzy logic that I've taught at Smith College, a course that attracts philosophy, computer science, and mathematics majors. I taught the course for several years with only a course reader because the few existing texts devoted to fuzzy logic were too advanced for my undergraduate audience (and probably for some graduate audiences as well). Finally, after writing voluminous supplements for the course, I decided to write an accessible introductory textbook on many-valued and fuzzy logic. It is my hope that after working through this textbook, students will have the necessary background to tackle more advanced texts, such as Gottwald (2001), Hájek (1998b), and Novák, Perfilieva, and Močkoř (1999), along with the rest of the vast fuzzy literature.
This book opens with a discussion of the philosophical issues that give rise to fuzzy logic – problems and paradoxes arising from vague language – and returns to those issues as new logical systems are presented. There is a two-chapter review of classical logic to familiarize students and instructors with my terminology and notation, and to introduce formal logic to those who have no prior background.
- Type
- Chapter
- Information
- An Introduction to Many-Valued and Fuzzy LogicSemantics, Algebras, and Derivation Systems, pp. xi - xiiPublisher: Cambridge University PressPrint publication year: 2008