Aristotelianism and Formal logic

Aristotelianism noun - (philosophy) the philosophy of Aristotle that deals with logic and metaphysics and ethics and poetics and politics and natural science.

Formal logic and Aristotelianism are semantically related in traditional logic topic. In some cases you can use "Formal logic" instead a noun "Aristotelianism".

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.

Aristotelianism and formal logic are semantically related in traditional logic topic. You can use "Aristotelianism" instead a noun phrase "Formal logic".