Introduction to Logic and Its Philosophy