Logic is an old subject, and since 1879 it has been a great one.
Implication is thus the very texture of our web of belief, and logic is the theory that traces it.
Logic chases truth up the tree of grammar.