Математи́ческая ло́гика

Математи́ческая ло́гика (теоретическая логика[1], символическая логика[2]) — раздел математики, изучающий математические обозначения, формальные системы, доказуемость математических суждений, природу математического доказательства в целом, вычислимость и прочие аспекты оснований математики[3]. В более широком смысле рассматривается как математизированная ветвь формальной логики[4] — «логика по предмету, математика по методу»[5], «логика, развиваемая с помощью математических методов»[6]. Содержание 1 История 2 Основные положения 3 Разделы 4 Примечания 5 Литература История Первые попытки математизации логических операций были предприняты на рубеже XIII—XIV вв., Раймундом Луллием, сконструировавшим специальную «логическую машину» для механизации процесса логического вывода, которую он описал в своём трактате «Ars Magna» («Великое искусство»). Его машина состояла из семи концентрических кругов, на которых были обозначены термины и буквы. Для получения комбинаций Луллий