Formal Logic door Lorenzen, Paul