Before revision: Intensional Logic Intensional logic is logic that is not truth-functional.
After revision: Intensional logic Intensional logic is logic that is not truth-functional.