Intellectual reflections on logical consequence of the first and higher orders - Шрамко, Ярослав (Actual Problems of Mind, 2000)