Title: On the Theory of Logic