Атрибутивное высказывание вида “Все S есть P”.
Существует, по крайней мере, две трактовки общеутвердительных высказываний.
- Оснавная трактовка общеутвердительных высказываний подразумевает, что истинность общеутвердительного высказывания предполагает непустоту субъекта высказывания. Как считается, этой трактовки придерживались Аристотель (согласно тезису Смирнова–Бочарова), Уильям Оккам, Б. Больцано, Льюис Кэрролл и др.
- В Новое время возникла трактовка общеутвердительных высказываний, подразумевающая, что истинность общеутвердительного высказывания не предполагает непустоты субъекта высказывания. Такая трактовка высказывалась Лейбницем и привела к созданию алгебры множеств. Этот подход разделяли Де Морган, Ф. Брентано, Ч. Пирс, Б. Рассел, Д. Гильберт и др.
Шиян Т.А.