Логика и мышление

Слово «логика» происходит от древнегреческого «logos», то есть «слово», «понятие», «разум», «рассуждение». Логика как наука исследует поисковое мышление, под которым понимается процесс решения задачи, нахождение ответа на вопрос в ситуации, когда найти готовый ответ на этот вопрос по каким-либо причинам не представляется возможным. К примеру, такую задачу решает следователь, который устанавливает личность преступника, хотя сам свидетелем этого преступления не был. Аналогично, врач ставит диагноз пациенту, определяя причину его болезни, которая может состоять в изменениях на клеточном и даже молекулярном уровнях, которых непосредственно он наблюдать не может. В таких случаях решение задачи осуществляется на уровне поискового мышления: обобщения и систематизации полученного ранее фактуального знания, обоснования или опровержения гипотез, объяснения фактов, прогнозирования и т.п. Там, где для ответа на вопрос достаточно обращения к памяти или наблюдению, мышлению, которым занимается логика, места нет.

Задачу логики как науки часто усматривают в формулировке ею принципов и законов корректного, т.е. последовательного, определенного и обоснованного, мышления. В общем плане мышление является корректным тогда, когда рассуждение человека о предметах и явлениях соответствует законам, которым подчинены сами эти предметы и явления. Тем не менее, корректность (правильность) мышления зависит и от множества других факторов. Так, чтобы мыслить логично, необходимо ясно и точно формулировать мысли с помощью слов. Логика изучает отношение слов и словосочетаний к тому, что эти слова обозначают и выражают; она анализирует причины и недоразумения, связанные с неточностью словесных формулировок, многозначностью слов, неопределенностью их смыслов, предлагает способы их устранения.

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

Познавать – значит формулировать высказывания типа «Каждая планета Солнечной системы вращается вокруг своей оси», «Некоторые юридические нормативные акты имеют обратную силу», «Нейтрон не имеет электрического заряда», «Если сумма цифр некоторого числа делится на 3, то и само число делится на 3». Смысл высказывания в логике именуется суждением. Суждение – это форма мышления, которая посредством понятий выделяет некоторую ситуацию (положение вещей) и утверждает ее наличие либо отсутствие в самой действительности. Суждение характеризуется как истинное либо ложное. Каким именно оно является – зависит от конкретного содержания суждения и от того, соответствует ли оно самой действительности. Логика не занимается решением этого вопроса. Она изучает структуру (логическую форму) суждений, общие условия их истинности, в том числе в зависимости от истинности либо ложности других суждений.

Наконец, и это главное, человеческое познание в значительной мере состоит в способности рассуждать. Рассуждение – это поиск ответа на вопрос посредством умозаключений. К примеру, чтобы ответить на вопрос, мокрая ли сегодня утром трава в поле, можно обратиться к суждению После сильного ночного дождя трава в поле по утрам мокрая, содержание которого – своеобразный «закон» природы. Если при этом нам стало известно, что этой ночью был сильный дождь, строим следующее умозаключение (вывод):

1. После сильного ночного дождя трава по утрам в поле мокрая.

2. Этой ночью был сильный дождь.

3. Сегодня утром трава в поле мокрая.

Суждения 1. и 2. являются посылками, а суждение Сегодня утром трава в поле мокрая – заключением этого вывода. Черта замещает слово «значит» (или «следовательно») в переходе от признания посылок (в качестве истинных суждений) к признанию заключения. Умозаключение как мыслительная деятельность и есть переход от признания одних суждений (посылок) к признанию другого (заключения). Логика исследует правильность и дедуктивных, и правдоподобных (индуктивных) умозаключений, уточняет их роль в разнообразных видах рассуждений – объяснениях, доказательствах, опровержениях и т.п.

Обратим внимание на то, что логика изучает отношения между суждениями, но при этом установление этих отношений зависит во многих случаях только от логической формы (структуры, строения) мыслей. Под логической формой понимают связь между мыслями или их элементами, которая выявляется при абстрагировании (отвлечении) от конкретного содержания этих мыслей. Например, в учении об умозаключении логика устанавливает, что из истинного суждения, имеющего структуру «Все S суть P» («Все рыбы – водоплавающие», «Все судьи – юристы», «Все металлы – электропроводные вещества») с необходимостью следует истинное суждение со структурой «Некоторые P есть S» («Некоторые водоплавающие – рыбы», «Некоторые юристы – судьи», «Некоторые металлы – электропроводные вещества»), и для обоснования этого обстоятельства не требуется вникать в содержание понятий «рыба», «судья», «металл» и т.д. Поэтому логику часто называют формальной, подчеркивая тем самым, что логика отвечает за правильность связей между мыслями по логической форме, а не за конкретное их содержание.