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

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

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

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

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

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

2000-й год является високосным. Арбат – любимая улица Б. Окуджавы. Некоторые грибы являются ядовитыми.

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

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

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

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

K этому этапу развития логики относятся труды О. де Моргана (1806 – 1871), Э. Шредера (1841 - 1902), Р. Грассмана (1815 – 1901), П. Порецкого (1846 – 1907), Г. Фреге (1848 – 1925), Б. Рассела (1872-1970).
Современная логика исходит из невозможности полной формализации знаний и возможности неклассической логики, оперирующей не двумя классическими значениями логики, а множеством значений. Примерами таких логических систем является «воображаемая» логика Н.А. Васильева (1880 - 1940), трехзначное исчисление Я. Лукасевича (1878 – 1956), интуиционистская (конструктивная) логика, аксиологическая логика, временная логика, интеррогативная логика, эпистемическая логика, логика микромира, логика причинности, деонтическая логика и многие другие.
Значительные усилия и перспективы современной логики связана с проблемой «искусственного интеллекта», с анализом и моделированием человеческих рассуждений, влияющих на целенаправленное и прогнозируемое поведение. Являясь теоретической основой программирования, логика непосредственно участвует в создании «искусственного интеллекта», который освоил бы такие, исконно человеческие действия, как индуктивные обобщения, распознавание образов, метафорическое мышление, творчество, перевод с одного языка на другой, рассуждение по аналогии, вывод «здравого смысла» и др. Как известно, подобного типа естественные рассуждения необходимы при создании разнопрофильных экспертных систем, например, в медицинской диагностике.