Aristotelian philosophy and Formal logic

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

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.

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