Элементы математической логики

Математическая логика – раздел науки, истоки которого восходят к  Аристотелю (384 -322 г. до н. э.). Как математическая дисциплина начала формироваться в середине XIX в., благодаря работам английского логика и математика Дж. Буля (1815-1864).

Целью логики является анализ методов рассуждений, при этом логика, прежде всего, интересуется формой, а не содержанием  рассуждений, то есть   выясняет, следует истинность заключения из истинности  посылок. Это время характеризовано кризисом в физике, обусловленным ломкой старых представлений о материальном объекте, не учитывающих, что всякий  материальный объект неисчерпаем по своим  свойствам; кризисом в математике, обусловленных открытием порядков, то - есть  рассуждений, приводящих к противоречиям. Известны и логические парадоксы.

Дополнительные материалы можно скачать здесь