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

 

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

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

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

© Автор статьи.