History of Logic and its Modern Interpretation