What is Logic? (philosopher's version)