Philosophy and Model Theory