Основы формальной логики. Введение. Основные понятия и законы логики

Пожалуй, одно из наиболее простых, понятных и оптимальных определений логики дал российский философ еще времен Николая II Г.И. Челпанов, который сказал, что логика есть наука о правильном мышлении. Это определение, иногда в различных вариациях, кочует и по современным учебникам. А что есть правильное мышление? На этот вопрос Г.И. Челпанов также дал ответ: правильное мышление - это мышление, ведущее к истине. Не будем сейчас вдаваться в долгие философские рассуждения о том, что есть истина (у Гегеля на этот счет, например, была своя особая концепция), а примем пока для начала также наиболее простое и интуитивно понятное определения истины, сформировавшееся еще в Античной философии: истина есть знание, соответствующее действительности.

Логика как наука зародилась в Древней Греции в трудах Аристотеля примерно 2500 лет назад. Логика Аристотеля, часто именуемая формальной, сохраняет свою актуальность и в наши дни, хотя за прошедшие века в эту науку было внесено и немало дополнений и изменений, подобно тому тому, как сохраняет свою актуальность геометрия Евклида, однако в наши дни геометрия ушла уже очень далеко от представлений Античности, появились так называемые неевклидовы геометрии и т.д. Наше погружение в логику мы начнем именно с логики Аристотеля, подобно тому, как в школе погружение в геометрию начинают с геометрии Евклида, но постепенно мы дойдем и до самых современных и сложных логических концепций нашего времени.

Аристотелевскую логику часто называют формальной, потому что эта логика сосредоточена не на том, что (о чем) мы мыслим, а на том, как мы мыслим - здесь важна именно форма мышления, а не его содержание. Например, высказывание "все философы задумчивы" имеет форму "все А есть Б", где А и Б - это какие-то конкретные понятия, но логику интересует не эта конкретика, а лишь форма - "все А есть Б". Сама по себе эта форма ("все А есть Б") пустая, она не имеет никакого содержания, она и есть чистая форма, которую можно наполнить любым содержанием. Другим примером формы мышления может служить такая форма: "Если А, то Б". Наполним её содержанием, например: "Если хочешь понять марксизм, то надо изучать диалектику", или что-то более обыденное: "Если приходит зима, то выпадает снег" и т.д. Вот такие формы мышления, безотносительно их конкретного содержания, и интересуют формальную логику. Кстати, именно чистые формы нашего мышления Гегель досконально и изучил в своей "Науке логике".

Форма мышления - это способ выражения мыслей или схема их построения.

Существует всего три формы мышления:

1. Понятия - форма мышления, которая обозначает какой-либо объект или его свойство. По простому говоря, понятия - это слова, которыми мы пользуемся. Например, когда я говорю слово "стол", я не имею в виду какой-то конкретный стол, но в вашем сознании уже возникла некая ассоциация, какое-то представление стола и, как правило, это представление основано на том, что стол - это некая плоская поверхность на ножках, пригодная, чтобы на нее что-то положить, осуществлять прием пищи за ней или, возможно, что-то писать. Так, свой определенный набор свойств скрывается за всеми нашими понятиями: стул, дом, книга, мужчина, женщина, дождь и т.д.

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

3. Умозаключение - вывод, сделанный из нескольких суждений. Например: "Все цветы умирают без воды. Роза - это цветок. Следовательно, роза умрет без воды" - из двух суждений (два первых предложения), мы сделали вывод - умозаключение (третье предложение). Умозаключения, в свою очередь, бывают нескольких видов: индуктивные, дедуктивные и по аналогии, но об этом мы еще поговорим подробнее в дальнейшем.

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

Эти же законы мышления и называют законами логики. Их всего четыре:

1. Закон тождества: любая мысль в процессе рассуждения должна сохранять одно и то же содержание или смысл, сколько бы она ни повторялась; каждое понятие должно употребляться в одном и том же значении.

2. Закон противоречия: два противоположных высказывания об одном и том же предмете в одно и то же время, в одном и том же отношении не могут быть одновременно истинными.

3. Закон исключенного третьего: из двух противоположных суждений одно должно быть истинным, другое ложным, а третьего не дано.

4. Закон достаточного основания: любая мысль должна быть доказана другими мыслями, истинность которых доказана ранее.

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

Часто люди нарушают законы логики по незнанию, но иногда это делается сознательно, чтобы запутать собеседника. Такие преднамеренные нарушения законов логики для создания лишь видимости доказательства ложных мыслей называют софизмами. Название происходит из Древней Греции, где софисты славились, как очень умелые ораторы, способные доказать и обосновать всё, что угодно. Древнегреческие софисты - это не обязательно злостные обманщики. Иногда (и даже довольно часто) софизм, конечно, использовался в корыстных целях, но философия софизма возникла как демонстрация несовершенства наших познавательных способностей и представлений о мире. Тем самым софисты поставили серьезную философскую проблему о том, как сделать мышление более точным и насколько это вообще возможно. Именно для борьбы с софистами Сократ и придумал свой знаменитый метод, в рамках которого в диалоге с таким софистом Сократ притворялся невеждой, задавая наводящие вопросы софисту, подлавливая его на противоречиях и в итоге выставляя на посмешище, после чего софист, понявший ошибочность своих суждений, постепенно в ходе диалога с Сократом приходил к более глубокому и верному знанию.

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

Вперед: Понятие как форма мышления