Title: Logic and philosophy for linguists