МАТЕМАТИЧЕСКАЯ ЛОГИКА

- современная математическая модель формальной логики как науки о правильном рассуждении. По меткому выражению русского логика Порецкого, математическая логика суть логика по предмету и математика — по методу решения своих проблем. Систематическая разработка математической логики началась с работ Больцано, Фреге, Рассела и Витгенштейна. Суть этой логики и рассмотрении большинства логических категорий (понятие, предикат, суждение, умозаключение, вывод, доказательство) как логических функций, областью значения которых являются истинностные значения. Как логические функции истолковываются и все логические операторы (термины «Все», «Существует», «Некоторые», «Один», «Ниодин», «и», «или», «если, то», «тождественно», «возможно», «необходимо» и т. д. и т. п.). Все логические функции задаются, в конечном счете, табличным способом с помощью всевозможных сочетаний введенного числа истинностных значений на «входе» и «выходе» этих функций. Так, например, логическое отношение «если, то...» моделируется с помощью функции =), называемой материальной импликацией.