Первые учения о формах и способах рассуждений возникли в странах Древнего Востока (Китай, Индия), но в основе современной логики лежат учения, созданные древнегреческими мыслителями. Основы формальной логики заложил Аристотель, который впервые отделил логические формы мышления (речи) от его содержания.

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

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

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

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

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

Алгебра множеств, одна из основополагающих современных математических теорий, позволяет исследовать отношения между множествами и, соответственно, объемами понятий. Для наглядной геометрической иллюстрации объемов понятий и соотношений между ними используются диаграммы Эйлера–Венна. Если имеются какие-либо понятия A, В, С и т. д., то объем каждого понятия (множество) можно представить в виде круга, а отношения между этими объемами (множествами) - в виде пересекающихся кругов. Отобразим с помощью диаграммы Эйлера–Венна соотношение между объемами понятий «натуральные числа» и «четные числа». Объем понятия «натуральные числа» включает в себя множество целых положительных чисел А, а объем понятия «четные числа» включает в себя множество отрицательных и с использованием положительных четных чисел В. Эти диаграммы множества пересекаются, так как оба Эйлера-Венна включают в себя множество положительных четных чисел С ACB

Обоснование истинности или ложности простых высказываний решается вне алгебры логики. Например, истинность или ложность высказывания «Сумма углов треугольника равна 180 градусам» устанавливается геометрией, причем в геометрии Евклида это высказывание является истинным, а в геометрии Лобачевского - ложным. На естественном языке высказывания выражаются повествовательными предложениями. Высказывание не может быть выражено повелительным или вопросительным пред- ложением, потому что невозможна оценка их истинности или ложности.

Высказывания могут быть выражены не только с помощью естественных языков, но и с помощью формальных языков. Из двух числовых выражений можно составить высказывания, соединив их знаками равенства или неравенства. Например, высказывание на естественном языке имеет вид «Два умножить на два равно четырем», а на формальном, математическом языке оно записывается в виде «2x2=4».

Высказывание называется простым, если никакая его часть сама не является высказыванием. Высказывание, состоящее из простых высказываний, называются составным (сложным).

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

В предикатах первого порядка один из терминов является неопределенным понятием (например, «х - человек»). В предикатах второго порядка два термина не определены (например, «y любит x»). В предикатах третьего порядка неопределенны три термина (например, «z - сын x и y»). Преобразуем рассмотренные выше предикаты в высказывания путем подстановки вместо переменных соответствующих понятий: x = «Сократ», у = «Ксантиппа», z = «Софрониск». Получим высказывания: «Сократ - человек»; «Ксантиппа любит Сократа»; «Софрониск - сын Сократа и Ксантиппы».

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

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

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

Вопросы для размышления 1. В чем состоит разница между содержанием и объемом понятия? Связаны ли между собой содержание и объем понятия? Приведите примеры. 2. Как определяется истинность или ложность простого высказывания? Задания 1. Привести примеры понятий, высказываний, умозаключений и доказательств из различных наук: математики; информатики; физики и химии. 2. Представить с использованием диаграммы Эйлера–Венна соотношение между объемами понятий «четные числа» и «нечетные числа». 3. Построить высказывания на основе предиката второго порядка «x состоит из y».