Как самостоятельная наука, ЛОГИКА оформилась в трудах греческого философа Аристотеля (384 — 322 г. до н.э.).

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

Рене Декарта (1596-1650) считал, что человеческий разум может постигнуть истину, если будет исходить из достоверных положений, сводить сложные идеи к простым, переходить от известного и доказанного к неизвестному, избегая каких-либо пропусков в логических звеньях исследований. Фактически Декарт рекомендовал науке о мышлении - логике - руководствоваться общепринятыми в математике принципами.

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

Впервые в истории идеи о таком построении логики были высказаны немецким математиком Готфридом Лейбницем в конце XVII века. Он считал, что основные понятия логики должны быть обозначены символами, которые соединяются по определенным правилам, и это позволяет всякие рассуждения заменить вычислением.

Готфрид Вильгельм Лейбниц (1646 — 1716) одним из первых использовал для решения задач изображения кругов.

Затем этот метод развил швейцарский математик Леонард Эйлер (1707—1783). Он долгие годы работал в Петербургской Академии наук. К этому времени относятся его знаменитые «Письма к немецкой принцессе», написанные в период с 1761 по 1768 год. В некоторых из этих «Писем...» Эйлер как раз и рассказывает о своем методе.

После Эйлера этот же метод разрабатывал чешский математик Бернард Больцано(1781—1848). Только в отличие от Эйлера он рисовал не круговые, а прямоугольные схемы.

Методом кругов Эйлера пользовался и немецкий математик Эрнест Шредер (1841—1902). Этот метод широко используется в его книге «Алгебра логики».

Джордж Буль (1815 — 1864 г.) создал алгебру, в которой буквами обозначены высказывания, и это привело к алгебре высказываний. Сочинение Джорджа Буля, в котором подробно исследовалась эта алгебра, было опубликовано в 1854 г., то есть почти 150 лет тому назад. Оно называлось «Исследование законов мысли» («Investigation of the Laws of Thought»). Отсюда ясно, что Буль рассматривал свою алгебру как инструмент изучения законов человеческого мышления, то есть законов логики.

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

Предметом математической логики служат, в основном, рассуждения. При изучении она пользуется математическими методами.

Однако главное назначение математической логики определилось в конце XIX века, когда стала ясна необходимость обоснования понятий и идей самой математики.

Лишь в 1938 году выдающийся американский математик и инженер Клод Шеннон обнаружил, что алгебра логики приложима к любым переменным, которые могут принимать только два значения. Например, к состоянию контактов: включено - выключено или напряжению (или току): есть - нет, которыми представляется информация в ЭВМ.

Коротко говоря математическая логика — это наука о средствах и методах математических доказательств.