Overview
- Builds on the 1st edition by providing a more detailed treatment of the key topics and problems and exercises
- Presents an interesting overall balance between formal and philosophical discussion
- Solutions to all problems and exercises are listed at the end of the book
Part of the book series: Springer Undergraduate Texts in Philosophy (SUTP)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
This second edition improves upon the first by offering a more detailed treatment of key topics and by expanding the set of problems and exercises. In particular, four new features deserve mention. First, the book now includes a more thorough exposition of natural deduction, explaining how derivations can be represented as trees of formulas. Second, it provides a detailed explanation of the main proof methods, illustrated with examples. Third, it offers a separate exposition of the logic of identity. Fourth, it presents a fuller treatment of modal logic, including results on consistency, soundness, and completeness. Additional changes include new examples drawn from elementary mathematics, a refined notation, and a more functional subdivision of the material, which simplifies some proofs and enhances clarity and readability. Overall, the text preserves the style of the first edition, aiming to present core ideas clearly, concisely, and with minimal distractions.
Similar content being viewed by others
Table of contents (24 chapters)
-
Front Matter
Authors and affiliations
About the author
Andrea Iacona is Professor of Logic at the University of Turin. His main research interests are in logic, epistemology, and philosophy of language. His publications include the books Propositions (Name 2002), Logical Form (Springer 2018), and numerous articles on topics including truth, vagueness, conditionals, and future contingents.
Accessibility information
PDF accessibility summary
This PDF has been created in accordance with the PDF/UA-1 standard to enhance accessibility. It includes screen reader support, descriptions for Non-text content (such as images and graphs), bookmarks for easy navigation, keyboard-friendly links and forms, and searchable, selectable text. We recognise the importance of accessibility and welcome queries about accessibility for any of our products. If you have a question or an access need, please get in touch with us via https://www.springernature.com/gp/info/accessibility Please Note that a more accessible version of this eBook is available as an EPUB.
EPUB accessibility summary
This EPUB is designed with accessibility in mind, aiming to meet the EPUB Accessibility 1.1 and WCAG 2.2 Level AA standards. It features a navigable table of contents, structured headings, and alternative text for images, ensuring smooth, intuitive navigation and comprehension. The text is reflowable and resizable, with sufficient contrast. We recognize the importance of accessibility, and we welcome queries about accessibility for any of our products. If you have a question or an access need, please get in touch with us via https://www.springernature.com/gp/info/accessibility
Bibliographic information
Book title: LOGIC
Book subtitle: Lecture Notes for Philosophy, Mathematics, and Computer Science
Authors: Andrea Iacona
Series title: Springer Undergraduate Texts in Philosophy
DOI: https://doi.org/10.1007/978-3-032-25670-6
Publisher: Springer Cham
eBook packages: Philosophy and Religion, Philosophy and Religion (R0)
Copyright information: The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerland AG 2026
Hardcover ISBN: 978-3-032-25669-0Published: 27 October 2026
Softcover ISBN: 978-3-032-25672-0Due: 10 November 2027
eBook ISBN: 978-3-032-25670-6Published: 26 October 2026
Series ISSN: 2569-8737
Series E-ISSN: 2569-8753
Edition number: 2
Number of pages: XIV, 290
Number of illustrations: 8 b/w illustrations
Topics: Philosophy, general, Logic, Philosophy of Language