... encountered some areas in formal logic which seem to contradict ... valid inference (contraposition). In formal logic, however, this is not ... get this deep into formal logic but this contradiction ... else that has studied formal logic deeply and successfully applied ...