Beyond Language: Using Logic to Introduce New Philosophical Distinctions