Modern formal logic follows and expands on Aristotle.
Η σύγχρονη τυπική λογική ακολουθεί και επεκτείνεται του Αριστοτέλη.