4. Логика изучает правильное мышление с точки зрения его формы.

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

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

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

Пример. Аналогия с грамматикой.

В этом отношении логика сходна с грамматикой, которую мы изучали в школе. Грамматика тоже исследует и описывает формы языковых выражений, отвлекаясь от их содержания. Для иллюстрации этого обстоятельства известный советский лингвист Л.В. Щерба приводил пример следующего выдуманного им предложения: “Глокая куздра штеко будланула бокра и курдячит бокренка”. Мы ничего не можем сказать о содержании этого предложения, но знание грамматики позволяет нам утверждать, что слово “куздра” здесь является подлежащим, “будланула” -сказуемым, “бокра” - дополнением и т.д. Мы можем говорить о роде, числе, падеже наших существительных, не имея ни малейшего представления о том, что обозначают соответствующие слова. Аналогичное знание о формах мысли дает нам логика.

Пример. Аналогия с математикой.

Математика – тоже абстрактная наука. Когда математик вычисляет, что если к 5 прибавить 3, получится 8, его не интересует, пять и три чего он складывает – цыплят, яблок или рублей. Математик отвлекается от предметного содержания мысли и работает с чистым количеством. От количества математик тоже может абстрагироваться, исследуя свойства математических операций сами по себе (например, коммутативность (операция сложения коммутативна (от перестановки слагаемых сумма не меняется), операция деления – нет (если поменять местами делимое и делитель, результат изменится).

Пример. Лёгкий пример из логики.

Некоторые птицы летают.

Некоторые матери балуют детей.

Некоторые книги интересные.

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

Все хирурги врачи.

Все мячики круглые.

Все металлы электропроводны.

Логическая форма этих высказываний – «Все S являются P» (в логике записывается как SаP).

Это разные формы, и логические свойства этих мыслей будут отличаться. Например, если поменять местами S и P, то в первом случае высказывания останутся истинными, а во втором – нет!

Если Некоторые птицы летают истинно, то Некоторые летающие существа – птицы тоже истинно.

Если Некоторые матери балуют детей истинно, то Некоторые из балующих детей – матери истинно.

Если Некоторые книги интересные истинно, то Некоторые интересные вещи – это книги тоже истинно.

Все хирурги врачи истинно, но Все врачи хирурги ложно!

Все мячики круглые истинно, но Все круглые предметы – мячики ложно!

Все металлы электропроводны истинно, но Все электропроводные вещества являются металлами ложно!

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

Структуры форм мысли без специальной подготовки трудно выделимы.

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

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

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

Можно сказать, что логика – наука обо всём и ни о чём . Обо всём – потому что логика универсальна, все люди мыслят в одинаковых логических формах (на то они и люди), независимо от национальности, профессии, вероисповедания и т.п. Ни о чём – потому что в отличие от таких наук, как физика, биология, психология, лингвистика, юриспруденция и т.д., никаких предметов реальности логика не изучает.

Логика всё время работает с истинными и ложными суждениями, и вы можете подумать, что ее задача – указывать, что истинно, а что ложно, т.е. описать объективную реальность. Однако это не так. Логика не способна нам сказать, что является истинным, а что ложным само по себе. Она только указывает, что является истинным или ложным по отношению к другим суждениям, истинность или ложность которых вам уже известна.

Единственное исключение – это такие суждения, как:

Все синие вещи являются синими.

Пациент либо жив, либо мёртв.

Если вы моряк из Денвера, то вы моряк.

Подобные суждения называются тавтологиями. Они всегда истинны, при любых условиях (и когда пациент в действительности жив, и когда на самом деле он мертв; будь вы действительно моряк или нет – они будут истинными). Они истинны не в силу факта, они истинны в силу своей особой логической формы, истинны в силу одной только логики. Они не несут никакой информации о реальности. Чистая логика не информативна. Изучая логику, ничего нового о мире вы не узнаете. Логика просто скажет вам, что из чего следует, а что нет.