Про формальную логику мы и сами знаем, особенно про логику второго порядка, которую имеет ввиду автор. Где примеры использования диамата, что бы значит приложил его как линейку, и всё стало понятно? Я бы диамат вообще логикой не называл, скорее это набор приёмов анализа процессов.
Сейчас, сейчас