Re-order paragraphs

d) The discovery and formalisation of logic is attributed to Aristotle (384-322 BC) in his collected works, the Organon.

c) There he documented the first principle of reaching a conclusion from a set of premises.

a) Since the 20th century, the field of logic has moved away from Aristotle’s approach towards systems that use predicate and propositional logic.

b) These types of logic have been developed by mathematicians for mathematical applications.