logical form of arguments. In this highly accessible book, Peter Smith presents a guide to the fundamental aims and basic elements of formal logic. This book covers translation, formal semantics, and proof theory for both sentential logic and quantified logic. These techniques are relevant to all of us with an interest in being skilful and accurate reasoners. Formal logic provides us with a powerful set of techniques for criticizing some arguments and showing others to be valid. Consider another example: You are reading this book. This book is a comprehensive introduction to formal logic. These techniques are relevant to all of us with an interest in being skilful and accurate reasoners. Formal logic provides us with a powerful set of techniques for criticizing some arguments and showing others to be valid. Most people who read this book are logic students. An Introduction to Formal Logic is a series that is currently running and has 1 seasons (23 episodes). These techniques are relevant to all of us with an interest in being skilful and accurate reasoners. Yet, it is possible for someone besides a logic student to read this book. An Introduction to Formal Logic is available for streaming on the The Great Courses Signature Collection website, both individual episodes and full seasons. […] In formal logic, sentences and arguments in English are translated into mathematical languages with well-defined properties. Formal logic provides us with a powerful set of techniques for criticizing some arguments and showing others to be valid. In this highly accessible book, Peter Smith presents a guide to the fundamental aims and basic elements of formal logic. This is a logic book. This is not a terrible argument. Although it does not have an index, the table of contents is sufficient to provide the reader with an idea of where to find various topics. These techniques are relevant to all of us with an interest in being skilful and accurate reasoners. Prof. Smith’s Introduction to Formal Logic is a very good and solid book, but maybe not the best book available for a beginner. The series first aired on November 1, 2016. This book would be useful for a one-semester course in introductory logic, and should allow students to become comfortable with metatheory in later classes. The main problem is the prose: sometimes the passages are very boring and the strategy chosen to present some topics seems to be more complicated than required. Formal logic provides us with a powerful set of techniques for criticizing some arguments and showing others to be valid. If all goes well, properties that were hard to discern in English become clearer in the formal language. :_: You are a logic student.