Definition:Logic

Logic is the study of the structure of statements and their truth values, divorced from their conceptual content.

Logic can be considered as the rickety gangplank between the ship of language and the solid ground of mathematics. In this context, "language" is often called "natural language".

There are several branches of logic:

Symbolic logic, in which the logical form of statements is analysed.

Mathematical logic, in which the foundations of the assumptions upon which rest mathematics itself are investigated and made rigorous.

Propositional logic, a sub-branch of symbolic logic in which the truth values of statements is investigated and analysed.

Predicate logic, an extension of propositional logic in which the internal structure of statements is analysed.