Головна |
« Попередня | Наступна » | |
Розподіл атрибутивних суджень за якістю та кількістю |
||
Розподіл атрибутивних суджень за якістю проводиться залежно від характеру зв'язки, що вказує на наявність або відсутність властивості предмета думки і виражається словами «є», «суть», «бути», «бути». Відповідно з цим судження поділяються на позитивні і негативні. Наприклад, «всі люди суть розумні істоти» - стверджувальне судження, а судження «жоден папороть ніколи не цвіте» - негативне. Негативні судження не слід змішувати з заперечують і заперечують судженнями, суть яких визначається характером взаємовідносин між судженнями. Отрі- цающім називається судження, яке вказує на хибність іншого судження, а це інше судження називаються заперечують. Залежно від того, стверджується або заперечується що-небудь про один предмет, або про частину предметів, або про всі предмети певного класу, судження поділяються на одиничні, приватні і загальні. Наприклад, судження «Всі метали є провідниками» є загальним; «Деякі люди не знають грамоти» - приватним; «Іван Сергійович Тургенєв - автор роману" Батьки і діти "» - одиничним. Об'єднана класифікація суджень за якістю та кількістю утворює категоричні судження: общеутвердітельние (А), общеотріцательние (Е), частноутвердітельние (I) і частноот-ріцательно (О). Одиничні судження в окрему групу не виділяються і аналізуються як загальні. Сучасна символічна логіка вводить спеціальні засоби для позначення суджень типу А, Е, I, О: квантори, логічні змінні та логічні постійні. У результаті всі чотири зазначених типу суджень можна представити символічно: Покликаний тим, що в цьому випадку мимоволі домислюється, що: «а деякі автомобілі марки" Тойота "не є японськими автомобілями», - а це не відповідає дійсності. Така заважає правильному розумінню супутня думка легко знімається додаванням до кванторного слову «деякі» фрази «можливо навіть все ...» і перетворене таким чином судження - «деякі, можливо навіть все, але принаймні один автомобіль марки" Тойота "є японським автомобілем »- вже не викликає заперечень і труднощів у розумінні. Е - Vx (. V (x) -> - «Жодне S не суть Р» або «для всяко го х вірно, що якщо він володіє властивістю S, то не має властивість Р ». Про - Зх (Л '(х) Л / J (x) j-« Деякі S не суть Р »або« існують х, що володіють властивістю S і не володіють властивістю Р ». У логіці існує об'ємне тлумачення цих чотирьох видів суджень. Так, в Общеутвердітельное судженні (А) стверджується, що має місце включення класу S в клас Р - це рівнозначно тому, що перетинання класів S і Р '(Не-Р), тобто доповнення до Р, порожньо. Таким чином, серед властивостей общеутвердітельного судження слід зазначити: S П Р = 0 - перетин класу S і класу не-Р - порожньо; S Г \ Р = S - результатом перетину класу S і класу Р є клас S; S ^ JP = 1 - додавання класу не-S і класу Р дає універсальний клас; S ^ J Р = Р - результатом складання класу S і класу Р є клас Р. У Частноутвердітельное судження (I) підкреслюється непустоту перетину класів S і Р. Серед властивостей частноутверді-тельного судження слід зазначити: S СЛР Ф S - припинення класу S і класу не-Р НЕ рівносильно класу S; S ^ Р 1 - результат складання класу не-S і класу не-Р не складає універсального класу; S ^ J Р Ф Р - додавання класу S і класу не-Р НЕ рівносильно Класу не-Р. У Общеотріцательное судженні (Е) клас S цілком виключається з класу Р - це означає, що перетинання класів S і Р порожньо. Серед властивостей общеотріцательного судження слід зазначити: S Г) IІ = О - перетин класу S і класу Р - порожньо; S гл Р = S - результатом перетину класу S і класу не-Р є клас S; S ^ JP = 1 - результат складання класу не-S і класу не-Р становить універсальний клас; S ^ J Р = Р - результатом складання класу S і класу не-Р є класи не-Р. У частноотріцательних судженні (О) клас S виключається частково з Р, тобто перетин S і Р '(іс-Р) непорожньо. Серед властивостей частноотрицательного судження слід зазначити: S Г) 1} Ф 0 - перетин класу S і класу не-Р - непорожньо; S Г) IІ Ф S - перетин класу S і класу Р НЕ рівносильно класу S; S І IІ Ф 1 - результат складання класу не-S і класу Р не складає універсального класу; S ^ J Р Ф Р - додавання класу S і класу Р НЕ рівносильно класу Р. |
||
« Попередня | Наступна » | |
|
||
Інформація, релевантна "Розподіл атрибутивних суджень за якістю і кількістю" |
||
|