Logic and philosophy