# Re-order paragraphs

Instruction:
The text boxes in the left panel have been placed in a random order. Restore the original order by dragging the text boxes from the left panel to the right panel.
Discovery and Formalisation of Logic
a) Since the 20th century, the field of logic has moved away from Aristotle’s approach towards systems that use predicate and propositional logic.
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.
b) These types of logic have been developed by mathematicians for mathematical applications.
A
0/0