Barth and Krabbe claim that most traditional logic is formal in this sense.
Barth と Krabbe は、多くの古典的論理はこの意味で形式的であると主張している。