From ProofWiki
Jump to: navigation, search


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

According to Charles Peirce:

Nearly a hundred definitions of it have been given. ... It will, however, generally be conceded that its central problem is the classification of arguments, so that all those that are bad are thrown into one division, and all those which are good into another...

1965: E.J. Lemmon: Beginning Logic:

The best way to find out what logic is is to do some.

Matt Westwood:

Logic can be considered as the rickety gangplank between the ship of natural language and the solid ground of mathematics.

Branches of Logic

There are several branches of logic, for example:

Also see

  • Results about logic can be found here.