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

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

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

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