Автор работы: Пользователь скрыл имя, 16 Мая 2015 в 13:41, реферат
Классическая (стандартная) символическая логика (логика высказываний и предикатов) возникла на рубеже XIX – XX вв. как результат реализации программы сведения математики к логике и формализации всей математики. В новой логике ее создатели видели главное средство изгнания парадоксов из теории множеств, доказательство непротиворечивости всей классической математики и ее полной независимости от психологических и опытных допущений. Ни одна из поставленных программных задач не была решена, но новая логика получила право на существование и стала развиваться по своим законам.