Формальная логика — это наука о формах мыслей и процессов мышления, о формально-логических законах и других связях и отношениях между мыслями и процессами мышления по их логическим формам.