Формальная логика есть наука об элементарных законах и формах правильного мышления. Она есть собрание элементарных правил о том, как нужно пользоваться понятиями, суждениями, умозаключениями, дабы наше мышление было определённым, связным, последовательным, доказательным, непротиворечивым. Формальная логика элементарна. Она, по ленинской характеристике, «берёт формальные определения, руководствуясь тем, что наиболее обычно или что чаще всего бросается в глаза, и ограничивается этим» (В.И. Ленин, «Диалектика стакана»)...

1) о формальной логике Так уж вышло, что человечество, в общем, придумало два вида логики: формальную и диалектическую. Каждая из них применяется в разных сферах познания и занимает своё почётное место. Для оперирования абсолютными абстракциями может быть использована формальная логика. Для познания окружающей действительности— диалектическая. Обусловлено это тем, что формальная логика суть спекулятивна, она изначально создавалась, как аналитический аппарат математики и фактически описывает не реальность, а движение абсолютных математических абстракций...