История развития алгебры логики

Алгебра логики (алгебра высказываний) — раздел математической

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

Основы формальной логики заложил ученый Древней Греции Аристотель.

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

Аристотель (384г.-322г. до н.э.)

сформулировал логические законы:

 закон тождества — понятие должно употребляться в

одном и том же значении в ходе рассуждений;
 закон противоречия — «не противоречь сам себе»;
 закон исключённого третьего — «А или не-А истинно,
третьего не дано».

В дальнейшем многие философы и математики развивали отдельные

положения логики и иногда даже намечали контуры современного
исчисления высказываний, но ближе всех к созданию математической
логики подошел уже во второй половине XVII века выдающийся немецкий
ученый Готфрид Вильгельм Лейбниц, указавший пути для перевода логики
«из словесного царства, полного неопределенностей, в царство
математики, где отношения между объектами или высказываниями
определяются совершенно точно». Лейбниц надеялся даже, что в
будущем философы, вместо того чтобы бесплодно спорить, станут брать
бумагу и вычислять, кто из них прав. При этом в своих работах Лейбниц
затрагивал и двоичную систему счисления. Сформулированный
Лейбницем закон тождества в настоящее время используется в
большинстве современных логико-математических исчислений. С законом
тождества связан принцип подстановки эквивалентных: «Если А есть В и В
есть А, тогда А и В называются „тем же самым“. Или: А и В есть то же
самое, если они могут быть подставлены один вместо другого».

Готфрид Вильгельм Лейбниц (1646-1716)

 Лейбниц взглянул на логику Аристотеля через

призму математики. Он создал «Азбуку мыслей»,
сжатый и краткий язык символов.
 Разработал идея логического исчисления.
Рассуждения обозначил буквами, сложные
высказывания - формулами.
 В результате удалось содержательные
рассуждения заменить формальными
вычислениями.
 Так же создал двоичную систему счесления.

После Лейбница исследования в этой области вели многие выдающиеся

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

 Высказал идеи «Математического анализа

логики».
 Основной труд Дж. Буля «Исследование законов
мысли», в ней представлен раздел
логики- алгебра высказываний.
 Основными операциями булевой алгебры
являются конъюнкция (И), дизъюнкция (ИЛИ) и
отрицание (НЕ).

БУЛЕВА АЛГЕБРА

Правила сложения (дизъюнкция) в булевой алгебре выглядят так:

0+0=0
1+0=1
0+1=1
1+1=1
Сложение обозначается «или», «+», «v». 1. Умножение классов, обозначился «·» и в настоящее время
эта операция называется «конъюнкцией» или «пересечением» и обозначается символами «?» «&» «И»
Правила умножения (конъюнкция) булевой алгебре:
0·0=0
1·0=0
0 · 1= 0
1·1=1
Дополнение класса (инверсия), для обозначения класса используется «Â» «не» и называется операцией
отрицанием.
Не 0 = 1 Не 1 = 0

Огастес де Морган (1806-18 гг.)

Основные труды: по математической логике и теории рядов; к
своим идеям в алгебре логики Огастес де Морган пришёл
независимо от Дж. Буля. В 1847 изложил элементы логики
высказываний и логики классов, дал первую развитую
систему алгебры отношений. С его именем связаны известные
теоретико-множественные соотношения (законы де Моргана).
 Эрнст Шрёдер (1806-18 гг.)
Его работы по алгебре логики получили международную
известность. Он усовершенствовал логику Джорджа Буля и
разработал в 1877 году полную систему аксиом булевой
алгебры. Эрнст Шрёдер в трёхтомной Алгебре
логики (нем. Algebra der Logik; 1890 — 1895), в отличие от Буля,
строит теорию логического исчисления (его авторское название
современной математической логики) на основе исчисления
классов. Он вносит вклад в развитие алгебры
отношений (en:relation algebra), вводит понятие нормальная
форма и развивает принцип двойственности в классической
логике; использует метод элиминации кванторов для
вопросов разрешимости.

Сегодня в данной области именно труды Джорджа Буля причисляются к

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

В XX веке огромную роль в развитии математической логики сыграл Д.

Гильберт (1862-1943), предложивший программу формализации
математики, связанную с разработкой оснований самой математики.
Наконец, в последние десятилетия XX века бурное развитие
математической логики было обусловлено развитием теории алгоритмов и
алгоритмических языков, теории автоматов, теории графов (С.К. Клини, А.
Черч, А.А Марков, П.С. Новиков и многие другие).