Предмет математической логики и его основоположники

Самое прекрасное, что мы можем испытать – это ощущение тайны. Она есть источник всякого подлинного искусства и науки.

Альберт Эйнштейн

Слово "логика" греческого происхождения. Логика как наука основана Аристотелем (384-320 гг до н.э.), который был необыкновенной фигурой в целой плеяде блестящих греческих ученых. Он был последователем Платона и посещал его Академию в Афинах. После смерти Платона (347 г.до н.э.) Аристотель покинул Афины. Он вернулся туда 12 лет спустя и основал свою школу - Лицей. Одним из учеников Аристотеля был Александр Великий. Аристотель не был математиком в полном смысле этого слова, его логика является скорее частью философии, но эта часть - основа всех наук. В своем выдающемся произведении "Аналитики" Аристотель создал и проверил около 20 схем рассуждений, которые назвал силлогизмами. Процитируем самый известный силлогизм: "Сократ - человек; все люди смертны; значит Сократ смертен". После Аристотеля силлогизмы и их трансформации стали основой дедуктивных рассуждений. Галилей говорил, что если бы ему пришлось начать снова свое будущее, то он последовал бы совету Платона и "принялся бы сперва за математику как науку, требующую точности и принимающую за верное то, что вытекает как следствие из доказанного". Готфрид Лейбниц в начале 18 века сделал попытку создать формальную логическую систему, введя законы сочетания высказываний. Он высказал идею о том, что рассуждения могут быть сведены к механическому выполнению определенных действий по установленным правилам: "Можно придумать некий алфавит человеческих мыслей, и с помощью комбинации букв этого алфавита и анализа слов, из них составленных, все может быть открыто и разрешимо". Но эти работы не были опубликованы, и лишь в 19 веке Джордж Буль и Август де Морган основали математическую логику, независимую от философии. Назовем известнейшие работы Буля (1815-1864): "Формальная логика", "Исследование законов мысли". Буль вводит в логику алгебраическую структуру, называемую сегодня кольцо Буля, две операции, свойства которых в чем-то подобны свойствам операции с числами (например, 1+0=1), и в чем-то расходятся с ними (например, 1+1=1). Это позволило описать логику высказываний как формальную алгебраическую структуру. Другой математик, А.де Морган, ввел кванторы (не называя их) и сделал попытку формального определения структур, продолжив работу, начатую Булем. Более подробную информацию можно найти по ссылкам логика и Математическая логика