Note that consistency and coherency are considered rational, and that applicability and adequacy are considered empirical. This has importance for Heideggar’s Fourfold since the rational is revealed,  and the empirical is concealed. For Linear Logic, additive conjunction and multiplicative disjunction are reversible, yet additive disjunction and multiplicative conjunction are irreversible.

References:

Alfred North Whitehead / Process and Reality

Frederick Ferre / Being and Value:  toward a constructive postmodern metaphysics

Mark Graves / Mind, Brain, and Elusive Soul: human systems of cognitive science and religion

Paul Reid-Bowen / Goddess as Nature: towards a philosophical theology

[*6.12, *6.70]

<>