Logical Labyrinths

Focusing on the interplay between mathematical logic and everyday language, this book explores puzzles and paradoxes to introduce informal reasoning. It serves as a transition from puzzle-solving to formal studies in symbolic logic, covering topics from propositional to first-order logic. The author emphasizes the significance of these concepts in philosophy, mathematics, and computer science. Additionally, readers are taken on a captivating journey through the intriguing concept of infinity, which has long fascinated thinkers throughout history.