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