Logiikka by Graham Priest

A Very Short Introduction

A clear, accessible introduction to formal logic that explains how arguments are represented, tested, and proved using the tools of propositional and predicate logic, while also surveying alternatives to classical approaches; it combines technical exposition of syntax, semantics and proof methods with philosophical discussion of meaning, truth and inference, and devotes substantial attention to non-classical systems (including modal, many-valued and paraconsistent logics) and the paradoxes that motivate them, arguing that understanding these alternatives reshapes our view of logical consequence and the limits of formal reasoning.

Purchase from Bookshop.org