Logic and philosophy for linguists