Да, верно, что формальная логика — это отражение в мыслях порядка и связей материальных вещей и явлений природы. 4

Формальная логика исследует формы мысли (понятия, суждения, умозаключения, доказательства) со стороны их логической структуры, отвлекаясь от конкретного содержания мыслей. 3 Эти формы представляют собой отражение наиболее общих структурных связей и отношений между предметами и явлениями действительности. 5