An Introduction to Symbolic Logic: The Basics of Mathematical and Formal Systems

Edition: 1

Copyright: 2026

Pages: 322

Choose Your Format

Website

$80.00 USD

ISBN 9798385190423

Details KHPContent 180 days

This volume is not just another handbook on Logic. It is a unique resource designed to provide an accessible introduction to individuals who have never been exposed to any aspects of Logic. Its target audience is, ideally, high-school students in their junior or senior year and, more realistically, college students in their first or second year, probably completing a required course for their major. However, scholars and academics will also find value in its pages, whether for leisure reading or to contribute to the ongoing conversation about the fundamental elements of this discipline.

Chapter 1: What Is Logic?
Chapter 2: Basic Logical Concepts
Chapter 3: Validity and Truth
Chapter 4: Basic Logical Principles
Chapter 5: Language and Definitions
Chapter 6: Sentential Logic
Chapter 7: Syllogisms in Ordinary Language
Chapter 8: Syllogisms and Sentential Reasoning
Chapter 9: Deductive vs. Inductive Reasoning
Chapter 10: Methods of Deductive Logic
Chapter 11: Notation and Formalization in Symbolic Logic
Chapter 12: Propositional Logic and Derivation Rules
Chapter 13: Other Syntactical Methods in Symbolic Logic
Chapter 14: The Method of Truth Tables
Chapter 15: Predicate Logic
Chapter 16: Inductive Logic

Juan J. Colomina-Alminana

Juan J. Colomina-Alminana is the James Irvine Endowed Professor in the Mills College at Northeastern University, where he teaches Logic, Artificial Intelligence Ethics, and courses on Sustainability. Before that, he taught for Emory, LSU, and UT Austin. His long-term research focuses on the nature of propositions, on which he prominently published Formal Approach to the Metaphysics of Perspectives (2018) and Words and Meaning in Metasemantics (2022). He has also published numerous articles on Philosophical Logic, the Philosophy of Mind, and Epistemology. 

This volume is not just another handbook on Logic. It is a unique resource designed to provide an accessible introduction to individuals who have never been exposed to any aspects of Logic. Its target audience is, ideally, high-school students in their junior or senior year and, more realistically, college students in their first or second year, probably completing a required course for their major. However, scholars and academics will also find value in its pages, whether for leisure reading or to contribute to the ongoing conversation about the fundamental elements of this discipline.

Chapter 1: What Is Logic?
Chapter 2: Basic Logical Concepts
Chapter 3: Validity and Truth
Chapter 4: Basic Logical Principles
Chapter 5: Language and Definitions
Chapter 6: Sentential Logic
Chapter 7: Syllogisms in Ordinary Language
Chapter 8: Syllogisms and Sentential Reasoning
Chapter 9: Deductive vs. Inductive Reasoning
Chapter 10: Methods of Deductive Logic
Chapter 11: Notation and Formalization in Symbolic Logic
Chapter 12: Propositional Logic and Derivation Rules
Chapter 13: Other Syntactical Methods in Symbolic Logic
Chapter 14: The Method of Truth Tables
Chapter 15: Predicate Logic
Chapter 16: Inductive Logic

Juan J. Colomina-Alminana

Juan J. Colomina-Alminana is the James Irvine Endowed Professor in the Mills College at Northeastern University, where he teaches Logic, Artificial Intelligence Ethics, and courses on Sustainability. Before that, he taught for Emory, LSU, and UT Austin. His long-term research focuses on the nature of propositions, on which he prominently published Formal Approach to the Metaphysics of Perspectives (2018) and Words and Meaning in Metasemantics (2022). He has also published numerous articles on Philosophical Logic, the Philosophy of Mind, and Epistemology.