Logic Works: A Rigorous Introduction to Formal Logic

Logic Works is an extensive introduction to logic that covers classical first-order logic, intuitionistic, free, and many-valued logic, and how logical analysis can be applied to represent the reasoning employed in academic and scientific work. It also includes online support material such as a student solutions manual and editable slide presentations.

Format: Paperback / softback
Length: 646 pages
Publication date: 30 November 2021
Publisher: Taylor & Francis Ltd

Logic Works is a comprehensive and essential guide to logic, delving into profound questions about the nature, relationships, and alternatives to classical logical doctrines. This comprehensive text covers classical first-order logic and explores various alternatives, including intuitionistic, free, and many-valued logic. It also examines how logical analysis can be applied to accurately represent the reasoning employed in academic and scientific work, enhance our understanding of that reasoning, and uncover its underlying premises. With the aim of serving as both a reference work and a handbook for further independent study, this text covers a more extensive range of topics than is typically covered in an introductory course. It delves into these topics in greater detail, ensuring accessibility to individuals with no prior training in logic or formal systems.

To support the learning process, the book includes an extensive student solutions manual with a running commentary on all starred exercises. Additionally, editable slide presentations are provided for course lectures, enhancing the teaching and learning experience.

Key Features:

Wide Range of Topics: Logic Works offers an extraordinarily broad range of topics, enabling instructors to tailor courses to suit a diverse range of objectives.

Critical Perspective: The book adopts a critical stance towards certain classical doctrines, presenting students with alternative approaches to answering philosophical questions about logic.

Natural Language Considerations: Logic Works carefully examines the ways in which natural language both resists and lends itself to formalization. It provides a nuanced understanding of the challenges and opportunities inherent in translating logical concepts into natural language.

Objectual Semantics for Quantified Logic: The book makes objectual semantics for quantified logic easy to understand, employing an incremental, rule-governed approach accompanied by numerous simple exercises. This approach facilitates a solid grasp of this complex subject matter.

Metatheoretical Results Accessible: Logic Works presents important metatheoretical results to introductory students in a discursive manner, making them accessible and understandable through a conversational presentation. By using simple case studies, the book helps students connect the theoretical concepts to practical applications.

In summary, Logic Works is a vital resource for anyone seeking to delve deeper into the world of logic, offering a comprehensive and critical introduction to the field. With its wide range of topics, critical perspective, and accessible presentation of metatheoretical results, this text empowers students to explore the complexities of logic and gain a deeper understanding of the reasoning employed in academic and scientific work.

Weight: 1230g
Dimension: 280 x 210 (mm)
ISBN-13: 9780367460297