Советский философский словарь - порецкий платон сергеевич

оснований; логич. исчисления не отменяют содержат. формальной логики, но предполагают её. П. считал, что математич. логика по предмету своему есть логика, а по методу математика. П. были полу­чены существ. результаты, относящиеся к алгебре ло­гики; он развил и усовершенствовал методы решения логич. равенств, предлагавшиеся Дж. Булем, У. С. Джевонсом и Э. Шредером. Осн. результат П.на­хождение в алгебре логики оригинального алгоритма, позволяющего эффективно получать все следствия (определ. вида) из данных посылок; все гипотезы, из к-рых может следовать данное заключение; все различные эквивалентные формы, в к-рых могут быть представ­лены данные выражения посылки и заключения.