Формальная и материальная консеквенция

материя высказывания

Это понимает и его современник Альберт Саксонский, автор работы под названием «Perutilis logica» . Он говорит, что формальной является такая консеквенция, которая имеет значение для всякого высказывания подобной формы, а материальной — консеквенция, которая не имеет значения для каждого высказывания подобной формы. Например: человек бежит, следовательно, бежит какое-то существо — это не является формальной консеквенцией, ибо, взяв «дерево» вместо «существо», мы получим неистинное высказывание: человек бежит, следовательно, бежит какое-то дерево. А далее он декларирует, что под материей высказывания или консеквенции он понимает одни только категорематические выражения, что означает субъекты и предикаты без синкатегорематических выражений, соединяющих или разделяющих их или обозначающих род их су позиции. Остальное принадлежит к форме. Следовательно, к форме принадлежит связка в категорическом высказывании или в высказывании условном, далее — отрицание, слова, обозначающие общий или частный характер высказывания и т. д. Разве не свидетельствует эта выдержка достаточно ясно, что уже в то время понимали — хотя и не выражали этого именно таким образом,— что логическую структуру высказывания определяют не составные высказывания и не составные имена, а функторы и квантификаторы. В заключение этого параграфа добавим, что первым логиком, который изложение учения о консеквенции и, следовательно, исчислении высказываний поместил в начале системы, трактуя категорическую силлогистику как часть этого раздела, был Вальтер Бурлайг, автор работы «De puritate artis logicae» .