Символическое выражение категорических суждений
Указанные виды суждений принято обозначать гласными буквами латинских слов affirmo (утверждаю) и nego (отрицаю). Первые гласные буквы этих слов обозначают общие суждения, а вторые - частные.
Общеутвердительные суждения обозначаются буквой А.
Общеотрицательные - Е.
Частноутвердительные -1.
Частноотрицательные - О.
Современная символическая логика вводит специальные средства для обозначения А, Е, I, О: кванторы, логические переменные и логические постоянные.
А - Vx(s(x) —> Р(х)) - «Все S суть Р» (для всякого х верно, что если он обладает свойством S, то обладает свойством Р).
I - 3X(S(X)AP(X)) - «Некоторые S суть Р» (существуют х, обладающие свойством S и свойством Р).
Е - Vx(s(x) —> Р(х)) - «Ни одно S не суть Р» (для всякого х верно, что если он обладает свойством S, то не обладает свойством Р).
О - 3x(s(x) лР(х)1- «Некоторые S не суть Р» (существуют х, обладающие свойством S и не обладающие свойством Р).
Еще по теме Символическое выражение категорических суждений:
- 2. Категорические суждения
- а) Категорическое суждение (Das kategorische Urteil)
- § 1 27 Выражение суждений и выражений ноэм душевного
- 2. Языковое выражение суждений
- Суждение как форма выражения истины
- 3.2. Категорический императив права и его отличие от категорического императива морали
- § 3. Отношения суждений. Логические правила определения истинности юридических суждений
- § 1. Сущность суждения. Основания формирования суждений в процессе квалификации преступления
- О числе совершенных фрагментов из 2 и 4 суждений в традиционной интегральной силлогистике из 50 суждений с различной семантикой
- § 35. Номинативное полагание и суждение. Могут ли вообще суждения становиться частями номинативных актов
- ЛЕКЦИЯ № 12Сложные суждения. Образование сложных суждений
- 3.3. Простой категорический силлогизм
- О построении совершенной интегральной силлогистики традиционного типа из 50 базисных суждений на основе силлогистики из 42 суждений
- Символический интеракционизм
- а) Категорическое умозаключение (Der kategorische Schiup)
- § 5. Выражения как знаки, обладающие значением. Отделение не относящегося сюда смысла выражения
- Тема 8. Простой категорический силлогизм.