Словарь по логике

Частноутвердительное атрибутивное высказывание

Атрибутивное высказывание вида “Некоторые S есть P”.

В зависимости от понимания слова “некоторые” высказывание может выражать разные виды частных суждений.

Если слово “некоторые” понимается традиционным, аристотелевским образом как‘некоторые, а может быть все’, то смысл частноутвердительного высказывания на языке алгебры множеств выражается формулой SPØ. В этом случае логический смысл частноутвердительного высказывания совпадает с логическим смыслом неопределенного утвердительного высказывания: оба они выражают традиционное частноутвердительное атрибутивное суждение.
Если слово “некоторые” понимается неаристотелевским, так называемым васильевским образом как‘только некоторые’, то смысл частноутвердительного высказывания на языке алгебры множеств выражается формулой (SPØ)&(SPØ). В этом случае логический смысл частноутвердительного высказывания совпадает с логическим смыслом частноотрицательного атрибутивного высказывания: оба они выражают частное атрибутивное суждение так называемого васильевского типа.

Шиян Т.А.