... some areas in formal logic which seem to contradict ... inference (contraposition). In formal logic, however, this is not ... conform to formal Aristotelian/Boolean logic?
Is there ... that has studied formal logic deeply and successfully applied ...