Introduction to the Philosophy of Logic