Symbolic logic examines the precise symbolic representation of logical concepts, the abstract relationships between these concepts, and the systematization of these relationships. Informal logic involves the application of logical principles to assessment the types of informal arguments and claims that we encounter in daily life.
Propositional logic is a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them – if, then compound statements. Propositional Logic Terms and Symbols Proposition evaluator.
Categorical logic and categorical syllogisms are more concrete than is propositional logic – some, all, and/not. Venn diagram evaluator.
An understanding of Fallacies of Logic – recognized structural errors in argumentation – provides a shortcut to assessing the cogency of an argument. We most often encounter propositional arguments in daily life, while the logic of science, and of mathematics in particular, is more often categorical.
Test your Logic Skills : An Introduction to Philosophical Logic : The London Philosophy Study Guide, Logic and Metaphysics : forall x: an introduction to formal logic : Translation Tips : Logic Self-Taught: A Workbook : A Brief Introductory Guide to Formal Logic