Исследуются вопросы алгоритмизации процесса научного поска, который рассматривается как сочетание логических скачков ближнего и дальнего плана. Экстаполяция операций формальной логики на возникающие семантические скачки реализуется в рамках процедур "перекодировки идей".
