López-Astorga, M. Towards an Updated Reasoning Formal Theory. Aufklärung 2016, 3, p.11-22.