- Logic is an analytical tool (for studying valid forms of argument).
Other analytical tools include
- Ptolemy's Spheres
- Newtonian Mechanics
- Catastrophy theory
Analytical tools provide concepts, laws and standards within
determined areas of enquiry.
- A particular logic is a formal system within which we can model
deductive reasoning.
Other formal systems include
The sentences of formal systems can be represented and manipulated
mechanistically i.e. without regard to meaning.
- Logic as a programming language.
Programming languages include
Programming languages are used to describe computations.
