The roots of symbolic logic can be traced as far back as to the study of syllogisms by Aristotle. However, it was not until the second half of the nineteenth century that its modern form began crystallizing, whereas solid foundations had to wait until the second decade of the twentieth century. Symbolic logic is concerned with the validity of arguments, for whose study it abstracts away from co...