Формальная логика

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

Формальная логика и мышление

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

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