- •Предмет математичної логіки.
- •Розділи математичної логіки
- •Г. Ляйбніц як засновник математичної логіки.
- •„Алгебра логіки” Дж. Буля як перша система математичної логіки.
- •Роль г.Фреге у становленні математичної логіки як науки.
- •Обмеження та узагальнення поняття.
- •Місце сучасної математичної логіки в системі наук.
- •Поняття множини.
- •Інтуїтивне означення множини
- •Xs означатиме, що елемент X не належить множині s. Символ називається символом
- •Поняття елементів множини та підмножини.
- •Операція включення.
- •Відношення між поняттями за обсягом.
- •Загальна характеристика операцій над множинами.
- •Основні закони операцій над множинами: закон тотожності.
- •Основні закони операцій над множинами: комутативний закон.
- •Основні закони операцій над множинами: асоціативний закон.
- •27. Загальна характеристика висловлювань.
- •30. Відношення логічного слідування.
- •32. Поняття формули-тавтології.
- •33. Поняття формули-суперечності.
- •2.5.1. Минимизация логических функций с использованием
- •Рівносильності, за допомогою яких виражають одні сполучники через інші:
- •41. Основні закони логіки висловлювань: закон складної контра позиції.
- •46. Нормальні форми: досконала кон’юнктивна нормальна форма (дкнф)
- •49. Розділово-категоричні виводи.
- •50. Поняття доведення та його види.
- •54. Характеристика математичної аналогії.
-
„Алгебра логіки” Дж. Буля як перша система математичної логіки.
Алгебра логіки (Булева логіка, двійкова логіка, двійкова алгебра) — розділ математичної логіки, що вивчає систему логічних операцій над висловлюваннями. Тобто, представлення логіки у вигляді алгебраїчної структури.
Впервые в истории идеи о таком построении логики были высказаны немецким математиком Готфридом Лейбницем (1646 — 1716) в конце XVII века. Он считал, что основные понятия логики должны быть обозначены символами, которые соединяются по определенным правилам, и это позволяет всякие рассуждения заменить вычислением. Джордж Буль (1815 - 1864) в своей работе «Исследование законов мысли» (1854 г.) истолковывал умозаключения как результат решения логических равенств, в результате чего логическая теория приняла вид обычной алгебры и получила название алгебры высказываний. Буль рассматривал свою алгебру как инструмент изучения законов человеческого мышления.
Алгебра буля - исторически первый раздел математической логики, разработанный ирландским логиком и математиком Дж. Булем в середине XIX в. Буль применил алгебраические методы для решения логических задач и сформулировал на языке алгебры некоторые фундаментальные законы мышления.
Буль представляет логику как алгебру классов (будем обозначать их символами А, В, С,...). Основными операциями в А. Б. являются: сложение классов AE.B; умножение классов АCВ; дополнение класса А\
-
Роль г.Фреге у становленні математичної логіки як науки.
Фреге – основатель современной формальной (символической, математической) логики. В сочинении «Запись в понятиях» (1879) разработал оригинальный двумерный символический язык и его средствами впервые в логике построил дедуктивно-аксиоматическую систему расширенной (второй ступени) логики предикатов с равенством (при импликации и отрицании в качестве исходных пропозициональных операций и кванторе общности на функциональном уровне) и применил ее для формулировки некоторых математических понятий и доказательства относящихся к ним теорем. В сочинении «Основания арифметики» (1884) продолжил изучение логического фундамента математики, развив идею о сводимости основных понятий и принципов арифметики и математического анализа к чисто логическим понятиям и принципам. В серии статей 1879–1904 (из которых наиболее значима статья «О смысле и значении», 1892) предпринял анализ таких лингвистических и экстралингвистических сущностей, как «понятие» и «предмет»; «функция», «аргумент» (функции) и «переменная»; «пробег значения функции», в случае понятия оказывающийся его «объемом» («классом» предметов); «отношение» и «всеобщность»; (предметное) «значение» и «смысл» имен как дескриптивных выражений; «суждение» как носитель «мысли», обладающий «истинностным значением» и др. В двухтомном сочинении «Основные законы арифметики» (1893, 1903), развив далее «понятийную запись», ее средствами Фреге изложил арифметику, включая теорию действительных чисел. Расширенный характер его логического функционального исчисления, в котором обобщалось понятие функции и (в принципе) допускалась неограниченная их иерархия, делал это исчисление очень сильным, а явное использование Фреге принципа абстракции позволило ему определить понятие натурального (количественного) числа. Однако из-за неограниченного применения названного принципа, позволявшего вводить предметы любых уровней абстрактности, система Фреге оказалась противоречивой, что и было обнаружено Расселом. Последующая история логики и оснований математики (в частности, работы по аксиоматизации теории множеств) была во многом связана с развитием идей Фреге, и в частности с преодолением упомянутого противоречия; сам Фреге выхода из возникшей трудности не нашел.
Фреге явился главным основоположником логической семантики; к нему восходит различение экстенсиональных и интенсиональных контекстов, метаязыка и объектного языка. Непримиримый противник эмпиризма и психологизма в логике, Фреге был убежден в реальности особого мира абстрактных объектов. Противник субъективизма, Фреге в философии математики занимал позицию т.н. платонизма. К нему восходит развитая Расселом концепция логицизма (которую Фреге не распространял на геометрию).
Работы Фреге оказали значительное влияние на Гуссерля (побудив его отказаться от психологизма в философии математики и в логике), на Рассела, Карнапа и Витгенштейна, на целые поколения ученых 20 в., во многом определив облик современной логики.