This book offers a thorough introduction to key concepts and techniques in logic, covering both formal and philosophical aspects. It focuses on enhancing reasoning skills and understanding the principles behind effective logical thought.
This Element is an introduction to recent work proofs and models in philosophical logic, with a focus on the semantic paradoxes the sorites paradox. It introduces different proof systems and different kinds of models for a range of logics, as well as compares and contrasts the different approaches to substructural treatments of the paradox.