Logical Paradigm Theory view 1