Formal Logic Part I: Forms and Semantics

Formal Logic #1

by Stephen Read, Crispin Wright

Formal logic is a basic, easily accessible introduction to classical sentencing and predicate logic designed for teaching at university level. It focuses on the semantic methods - truth tables and semantic trees - rather than proof theory. This gives it a clear and accessible overview of logical key concepts such as 'authentic', 'formalization', 'Interpretation', 'model' and 'counterexample'. Its cash and precise form as well as the many educational examples and exercises have made it a popular textbook for introductory logic courses in high schools and higher education institutions in the UK, Australia and USA.

Genres: Nonfiction

66 pages, Unknown Binding

First published January 1, 2006