Логика высказываний

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