1.3. Формы и законы мышления

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

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

«Три коробочки»

Форма мысли - это способсвязи частей мыслимого содержания. Какие же «части» могут быть у «невидимого» мышления? Только такие же идеальные образования. Ими являются признаки,т.е. свойства предметов, процессов, явле­ний.

Мышление представляет собой разнообразные сочетания мыслей. Из простых, элементарных, мысленных форм обра­зуются более сложные. Пользуясь метафорой, можно сказать, что все наши мысли укладываются в «три коробочки». Если их нарисовать, то получится следующая последовательность:

П

1. 2. 3.

Рис. 5

1. Понятие = признак + признак.

2. Суждение = понятие + понятие.

3. Умозаключение = суждение + суждение.

Абстрагируясь от упрощений, свойственных любой схеме, можно заме­тить, как усложняется мысль от одной её формы к другой. Понятие -отражает общие существенные признаки предметов. При помощи понятий мышление «кодирует» предметы реального мира и создает его идеальную модель. В уме мы «говорим» о мире на языке понятий. Понятия как бы «фотографируют» мир в его существенных признаках и служат различению предметов («футляр» - это «не-ручка», а «лекция» - «не-экзамен»). Суждениепозволяет высказываться о наличии или отсутствии этих признаков у предметов («Мухомор не является съедобным»). Это более сложная форма мысли, она «сложена» уже не из при­знаков, а из понятий и может быть истинной либо ложной. Умозаключение- самая сложная форма человеческой мысли, образованная из суждений. Благо­даря ей мы получаем знание о новых признаках на основании тех, которые уже известны («Все цитрусовые - теплолюбивы, а мандарин - цитрусовый. Значит, мандарин - теплолюбивое растение»).

Рождение логики связывают с фиксированием «формальной» природы мышления, с установлением того факта, что разные по содержанию мысли мо­

гут иметь одну и ту же логическую форму. Например, суждение имеет структу­ру: 8 есть Р, и подставляя вместо 8 (того, о чем говорится) и Р (того, что гово­рится) различные конкретные значения, можно получить бесконечное разнооб­разие суждений:

2000-й год является високосным.

Арбат - любимая улица Б. Окуджавы.

Некоторые грибы являются ядовитыми.

Все эти суждения имеют одну и ту же структуру: 8 есть Р. Логику стали называть «формальной» по предмету её исследования - анализу форм челове­ческой мысли. «Оформить» мысль - значит выразить её в виде понятия, суж­дения или умозаключения. Заслуга выявления этих форм мышления, а также основных законов, связывающих эти формы, принадлежит Аристотелю (334 - 322 гг. до н.э.). Логику Аристотеля, отцом которой он считается по праву, на­зывают дедуктивной,поскольку в ней выведение нового знания есть переход от общего положения к частному случаю. Главный труд Аристотеля «Органон» являлся каноном дедуктивного способа рассуждения. Он соответствовал типу преобладавших в Античности наук и выступал их логико-методологическим основанием. В современной логике рассматриваются и другие формы мысли: вопрос, проблема, гипотеза и др. «Органон» включал шесть трактатов: «Кате­гории», «Об истолковании», «Первая аналитика», «Вторая аналитика», «Топи­ка», «О софистических опровержениях».

Аристотель сформулировал и основные законы правильного мышления: закон тождества, закон непротиворечия, закон исключенного третьего.Позднее был сформулирован чет­вертый закон - закон достаточного основания.Данные за­коны имеют «силу» для всех форм мысли и выступают условиями правильно­стимышления. Их подробное рассмотрение будет сделано позднее, в IV главе. В целом закон логики определяется как существенная связь мыслей.Правиль­ная связь делает мышление правильным, а нарушение правил сочетания мыслей между собой делает мышление неправильным. В дальнейшем мы рассмотрим разницу между понятиями «правильность мышления» и «истинность мышле­ния», а также ошибки, связанные с неправильным употреблением этих понятий. В итоге, с момента возникновения задача логикикак науки стала заключаться в выявлении правильных форм рассуждения,гарантирующих истинный резуль­тат при условии истинности исходного знания.

Законы логики

Дальнейшее развитие логики связано с именем Ф. Бэкона (1561-1626) и его работой «Новый органон» - манифестом индуктивнойлогики и методоло­гии экспериментального исследования. Поскольку Новое время - опытный, экспериментальный этап в истории науки, то он нуждался в переработке мето­

дологического аппарата и разработке новых логических процедур, удовлетво­ряющих нуждам научной практики. Так, у дедуктивной логики появилась «родная» сестра - индуктивная логика, смысл которой сводился к теоретиче­скому обобщению частных знаний и формулированию общих положений, ги­потез, законов.

Диалектическая логика является универсальным познавательным «орга­ноном», отражающим сложный, противоречивый процесс познания мира с точ­ки зрения его динамики, текучести, изменчивости. Так получилось, что она бы­ла создана Г. Гегелем (1770-1831) в русле идеалистической философии и в ав­торском исполнении «работала» в сфере Духа, Разума. Позднее, в традиции ма­териалистической философии, её применение было расширено на область при­родных и социальных процессов.

В середине XIX в. возникла математическая логика. Её рождение связы­вают с именем Дж. Буля (1815-1864) и его работой «Математический анализ логики». Математическая, или символическая логика была логикой «по пред­мету» и математикой «по методу». Она активно включилась в обсуждение про­блем о возможностях формализации мышления и его практического приложе­ния.

К этому этапу развития логики относятся труды О. де Моргана (1806 - 1871), Э. Шредера (1841 - 1902), Р. Грассмана (1815 - 1901), П. Порецкого (1846 - 1907), Г. Фреге (1848 - 1925), Б. Рассела (1872-1970).

Современная логика исходит из невозможности полной формализации знаний и возможности неклассической логики, оперирующей не двумя класси­ческими значениями логики, а множеством значений. Примерами таких логиче­ских систем является «воображаемая» логика Н.А. Васильева (1880 - 1940), трехзначное исчисление Я. Лукасевича (1878 - 1956), интуиционистская (кон­структивная) логика, аксиологическая логика, временная логика, интеррогатив- ная логика, эпистемическая логика, логика микромира, логика причинности, деонтическая логика и многие другие.

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