Formal logic and Traditional logic

Formal logic noun - Any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity.

Traditional logic and formal logic are semantically related. In some cases you can use "Traditional logic" instead a noun phrase "Formal logic".

Formal logic and traditional logic are semantically related. You can use "Formal logic" instead a noun phrase "Traditional logic".