The apparatus of the sentential calculus is relegated to the appendices. Dowden clearly sees this as a book about reasoning, not as an introduction to formal logic or to symbol manipulation. Dowden ...

Logical reasoning uses symbols and formulas to represent propositions and inferences. It is essential for solving mathematical problems. In mathematics, logic explores topics like set theory and ...