Match: Philosophical logic