форма мысли в которой что либо утверждается или отрицается о вещах и явлениях носит название

Суждение

Суждение — форма мышления, в которой что-либо утверждается или отрицается о предмете, его свойствах или отношениях между предметами. Виды суждений и отношения между ними изучаются в философской логике.

Содержание

Простые и сложные суждения

Простые суждения — суждения, составными частями которых являются понятия. Простое суждение можно разложить только на понятия.

Сложные суждения — суждения, составными частями которых являются простые суждения или их сочетания. Сложное суждение может рассматриваться как образование из нескольких исходных суждений, соединенных в рамках данного сложного суждения логическими союзами (связками). От того, при помощи какого союза связываются простые суждения, зависит логическая особенность сложного суждения.

Состав простого суждения

Простое (атрибутивное) суждение — это суждение о принадлежности предметам свойств (атрибутов), а также суждения об отсутствии у предметов каких-либо свойств. В атрибутивном суждении могут быть выделены термины суждения — субъект, предикат, связка, квантор.

Состав сложного суждения

Сложные суждения состоят из ряда простых («Человек не стремится к тому, во что не верит, и любой энтузиазм, не подкрепляясь реальными достижениями, постепенно угасает»), каждое из которых в математической логике обозначается латинскими буквами (A, B, C, D… a, b, c, d…). В зависимости от способа образования различают конъюнктивные, дизъюнктивные, импликационные, эквивалентные и отрицательные суждения.

Дизъюнктивные суждения образуются с помощью разделительных (дизъюнктивных) логических связок (аналогичных союзу «или»). Подобно простым разделительным суждениям, они бывают:

Импликационные суждения образуются с помощью импликации, (эквивалентно союзу «если …, то»). Записывается как или . В естественном языке союз «если …, то» иногда является синонимом союза «а» («Погода изменилась и, если вчера было пасмурно, то сегодня не одной тучи») и, в таком случае, означает конъюнкцию.

Конъюнктивные суждения образуются с помощью логических связок сочетания или конъюнкции (эквивалентно запятой или союзам «и», «а», «но», «да», «хотя», «который», «зато» и другим). Записывается как .

Эквивалентные суждения указывают на тождественность частей суждения друг другу (проводят между ними знак равенства). Помимо определений, поясняющих какой-либо термин, могут быть представлены суждениями, соединенными союзами «если только», «необходимо», «достаточно» (например: «Чтобы число делилось на 3, достаточно, чтобы сумма цифр, его составляющих, делилась на 3»). Записывается как (у разных математиков по-разному, хотя математический знак тождества всё-таки ).

Отрицательные суждения строятся с помощью связок отрицания «не». Записываются либо как a

b, либо как a b (при внутреннем отрицании типа «машина не роскошь»), а также с помощью черты над всем суждением при внешнем отрицании (опровержении): «не верно, что …» (a b).

Классификация простых суждений

По качеству

По объёму

По отношению

По отношению между подлежащим и сказуемым

Субъект и предикат суждения могут быть распределены (индекс «+») или не распределены (индекс «-»).

Суждения А (обще-утвердительные суждения) Распределяет свое подлежащее (S), но не распределяет свое сказуемое (P)

Объем подлежащего (S) меньше объема сказуемого (Р)

Объемы подлежащего и сказуемого совпадают

Суждения Е (обще-отрицательные суждения) Распределяет как подлежащее (S), так и сказуемое (P)

В этом суждении мы отрицаем всякое совпадение между подлежащим и сказуемым

Суждения I (частно-утвердительные суждения) Ни подлежащие (S), ни сказуемые (P) не распределены

Часть класса подлежащего входит в класс сказуемого.

Суждения О (частно-отрицательные суждения) Распределяет свое сказуемое (Р), но не распределяет свое подлежащее (S) В этих суждениях мы обращаем внимание на то, что есть несовпадающего между ними (заштрихованная область)

таблица распределения подлежащего и сказуемого

Подлежащее (S) Сказуемое (P)
о-у А распределено нераспределено
о-о Е распределено распределено
ч-у I нераспределено нераспределено
ч-о О нераспределено распределено

Другие

1) S есть или А, или В, или С

2) или А, или В, или С есть Р когда в суждении остается место неопределенности

Если А есть В, то С есть D или Е есть F

если есть А, то есть а, или b, или с Прим: « Если кто желает получить высшее образование, то он должен учиться или в университете, или в институте, или в академии»

Модальность суждений

Модальные понятия, или модальности — понятия, выражающие контекстную рамку суждения: время суждения, место суждения, знание о суждении, отношение говорящего к суждению.

В зависимости от модальности выделяются следующие основные виды суждений:

Источник

9. Краткий курс классической логики. Суждение

Суждение – это форма мышления, в которой что-либо утверждается или отрицается. Примеры суждений: «Некоторые студенты – отличники», «Все люди – смертные».
Суждения составляется из понятий, оно предоставляет собой чаще всего повествовательное предложение. В редких случаях оно бывает риторическое-восклицательное или риторическое-вопросительное предложение, которое что-то утверждает или отрицает.
Бывают простые и сложные суждения, сложные суждения складываются из двух или более простых суждений соединённых союзом.
Суждение на отмену от понятий бывают истинные и ложные, а так же имеют сложную структуру, которая складывается из таких понятий:

Субъект и предикат суждения могут состоять в отношениях:
1.Равнозначности – когда объем субъекта равен объёму предиката. «Все квадраты – равносторонние прямоугольники».
2.Подчинения – когда объем субъекта входит в объем предиката или наоборот. «Все березы – это деревья». Объем понятия деревья больше понятия березы, так как береза только одно из разновидностей деревьев.
3.Пересечения – когда объемы субъекта и предиката пересекаются частично, к примеру, «Некоторые литераторы – это лауреаты нобелевской премии». Литераторы могут быть лауреатами нобелевской премии, но могут и не быть, так же как и лауреаты нобелевской премии могут быть литераторами, но могут ими и не быть. Объем этих понятий совпадает только в некоторых случаях, потому субъект и предикат находятся в отношении пересечения.
4.Несовместимости – когда объемы субъекта и предиката не имеют общих точек соприкосновения. «Звезды – это не планеты». Чаще субъект и предикат, входя в третье более общее понятия, в нашем случае – это небесные тела.

Важно заметить, что при обращении, суждения меняют свой тип, согласно ниже приведенных примеров:
Суждения типа А:
равнозначности – обращается в самое себя.
подчинения – обращается в суждения типа I.
Суждения типа I:
пересечения – обращается в самое себя.
подчинения – обращается в суждения типа I.
Суждения типа Е:
несовместимости – обращается в самое себя.
Суждения типа О:
пересечения – обращению не поддается.
подчинения – обращению не поддаётся.

Второе действие над суждениями — превращения. Оно заключается в том, что у суждения меняется связка, положительная на отрицательную или наоборот. При этом предикат суждения меняется на противоречащий, перед ним ставиться частица «не». Вернемся к нашему исходному суждению: «Все акулы – являются рыбами». Результатом превращения будет суждения: «Все акулы не являются не рыбами». Выглядит это суждения непривычно, однако это более короткое изречение той мысли, что если какое-то животное не являются акулой, то оно не являются и рыбой. Или, что если какое-то животное является акулой то оно обязательно должно являться рыбой, ни одна акула не может быть таким существом, которое бы не являлось при этом рыбой.

В отличие от обращения превращение не зависит от характера отношения субъекта и предиката простого суждения:
Суждения типа А всегда превращается в суждения типа Е, и наоборот.
Суждения типа I всегда превращается в суждения типа О, и наоборот.

При действии противоставления предикату суждения меняют свой тип, аналогично обращении.

В итоге, из одного суждения, мы можем получить четыре:
1. Исходное суждение: «Все акулы являются рыбами».
2. Результат обращения: «Некоторые рыбы – это акулы».
3. Результат превращения: «Все акулы не являются не рыбами».
4. Результат противоставления предикату: «Все не рыбы не являются акулами».

Если мы разобрались с этим, то совершить превращения и противоставления предикату этого суждения совсем не проблематично. Получиться, как и в первом варианте — четыре суждения:

Исходное суждение: «Идти назад – значит не идти вперед»
Обращения: «Иногда не идти вперед, значит идти назад».
Превращения: «Идти назад не означает, не идти вперед».
Противоставление предикату: «Иногда не идти вперед не означает, не идти назад».

Несовместимые суждения находятся в отношениях:
Противоположности (контарность) – суждения, в которых, так же как при отношении частичного совпадения, субъект и предикат совпадает, а связка отличается, но в этом случае суждения могут быть только общими: общеутвердительными (А) или общеотрицательными (О). «Все люди – лгут», «Все люди – не лгут». Важным признаком противоположных суждений является то, что они не могут быть одновременно истинные как несовместимые, но при этом могут быть одновременно ложными. Между этими суждениями всегда можно вставить третье, нейтральное утверждение. В нашем примере это «Некоторые люди лгут, а некоторые не лгут». Это суждение, будучи истинным, доказывает ложность двух первых.
Противоречия (контрадикторность) – это отношения между двумя суждениями в которых предикаты совпадают, связки отличаются, а субъекты находятся в родовом, видовом отношении, то есть отличаются объемами. «Все люди – являются разумными существами», Некоторые люди – не являются разумными существами». На отмену от противоположных суждений противоречивые, не могу быть одновременно ложными. Ложность одного непременно будет доказательством истинности другого, и наоборот.
Возможные отношения между простыми суждениями отображают посредством, так называемого логического квадрата:

Истинное значение суждения, связано с истинностью значений всех других сравнимых суждений. К примеру если суждения типа А: «Все акулы – являются рыбами» истинно, смотря на логический квадрат, можно определить, что суждения типа I: «Некоторые рыбы – являются акулами», тоже будет истинным. Суждения типа Е: «Все акулы – не являются рыбами», точно так же как и суждения типа О: «Некоторые акулы – не являются рыбами», будут ложными.

Еще несколько слов о сложных суждениях. В зависимости от союза, которым соединяются простые суждения в сложные, выделяют пять видов сложного суждения:

Источник

— «Ни один закон не может быть гарантом законности»;

— «Исполнительные документы, по которым истек срок давности, судом в производство не принимаются»;

— «Тот, кто совершает подлог, не может счи­таться законопослушным гражданином».

Как видно из примеров, языковой формой выражения суждения является предложение. Од­нако не всякое предложение выражает суждение. Суждение выражаются повествовательным пред­ложением, в котором содержится какое-то сооб­щение, информация. Например: «Адвокат выясняет условия, способствовав­шие совершению преступления», «Ваша версия не подтверждается факта­ми», «Договор купли-продажи может быть подтвержден документально или нет» и т. д.

Кроме повествовательных, как известно, бывают вопросительные и по­будительные предложения, которые суждений не выражают. В них ничего не утверждается и не отрицается, они не истинны и не ложны. Например: «По какой статье квалифицируется данное преступление?», «Кто является соучастником кражи?», «Какая наглая ложь!», «Это просто возмутительно!». Однако здесь есть определенные исключения:

— если в предложении выражен риторический вопрос, например: «Как же тебе не стыдно?», то в нем содержится суждение, но в особой, специфи­ческой форме, так как присутствует утверждение, уверенность, что «ты дол­жен этого стыдиться»;

— побудительные предложения, выражающие призывы, лозунги и при­казы, также содержат суждения. Например: «Ни шагу назад!», «Берегите мир!». Данные предложения выражают суждения, но суждениямодальные,включающие в себя модальное слово-запрещение или слово побуждение: «Нельзя делать ни одного шага назад» или «Необходимо беречь мир».

Во-вторых, суждение отличается от понятия по генетической и функци­ональной характеристикам.

Генетически понятие возникает на базе логических приемов по выявле­нию существенных признаков предметов (анализ, синтез, сравнение, абст­рагирование и обобщение), а суждение образуется на основе установления связи между понятиями путем их сочетания. При этом формирование поня­тия проходит исторически длительный путь, включающий опыт многих лю­дей. Рождение же суждения сиюминутно-конкретно и связано с опытом и знаниями отдельного человека.

Функционально понятие отражает предмет только в существенных при­знаках, суждение же отражает любые признаки предметов.

Понятие Суждение
Состоявшееся плодотворное заседание Государственной Думы Состоявшееся заседание Государственной Думы было плодотворным.
Важная задача вуза, связанная с формированием личности современного юриста Формирование личности современного юриста является важной задачей вуза.
Отправляющийся на зимние каникулы студент Михайлов Студент Михайлов отправляется на зимние каникулы.

Источник

Теоретическая контрольная по логике, Суждение как форма мышления, 4 вариант

1.Виды суждений и их логическая характеристика

Суждение — это форма мышления, в которой утверждается или отрицается связь между предметом и его признаком или отношение между предметами.
Любое суждение может быть расценено как истинное (соответствующее действительности) или ложное
Языковой формой суждения является повествовательное предложение (косвенно суждение содержит и риторический вопрос, поскольку он по смыслу является утверждением или отрицанием). Предложения в других грамматических формах (собственно вопросительные, побудительные и т.д.) непосредственно суждениями не являются, поскольку ничего не утверждают и не отрицают.

Простые суждения подразделяются по качеству на: утвердительные и отрицательные,

а по количеству на:

По характеру предиката различают суждения:

2. Простое атрибутивное суждение (ПАС). Его структура и виды по количеству и качеству.

Полная структура простого суждения включает четыре элемента:

Объединяя количественную и качественную характеристики, атрибутивные суждения ()делятся на:

В Средние века были приняты эти буквенные обозначения по первым гласным латинских слов affirmo — утверждаю и nego — отрицаю.

(А): Все люди (S) дышат воздухом (Р)

(I): Некоторые люди (S) любят ходить в театр (Р)

(Е): Ни один из людей (S) не умеет дышать под водой (Р)

(О): Некоторые люди (S) не умеют ходить на руках (Р)

3. Распределенность терминов в ПАС. Суждения выделяющие и невыделяющие, истинные и ложные

Термин считается распределенным (обозначается»+»), если он взят в полном объеме. Термин считается нераспределенным (обозначается»-«), если он взят в части объема.

Суждение А: Общеутвердительное
Все студенты нашей группы (S+)сдали зачет по логике(P-)
Суждение I: Частноутвердительное
Некоторые студенты(S-) сдали зачет(P-)
Суждение Е: Общеотрицательное
Ни один студент (S+)не сдал зачет(P+)
Суждение О: Частноотрицательное
Некоторые студенты (S-) не сдали зачет(P+)

Особое место в классификации суждений по количественной характеристике занимают выделяющие и исключающие суждения.
Выделяющие суждения — те, в которых утверждается, что признак присущ данным предметам объема (всем или некоторым), только им и больше никому на свете (или отсутствует у них и только у них, а всем остальным присущ).

Выделяющие суждения могут быть единичными, частными и общими, например: «Только Иванов написал эту контрольную на отлично» — выделяющее единичное суждение, «Некоторые учащиеся (и только учащиеся) являются школьниками» — выделяющее частноутвердительное суждение, «Все квадраты (и только квадраты) являются прямоугольными ромбами» — выделяющее общеутвердительное суждение (определение).

Невыделяющие суждения — те, в которых утверждается, что признак присущ данным предметам объема, но не только им (или отсутствует у них, но не только у них).

Например: «Все студенты нашей группы, кроме Иванова, сдали зачет по логике». Невыделяющие (исключающие) суждения выражаются предложениями со словами «кроме», «за исключением», «помимо», «не считая» и т.п. Значение выделяющих и исключающих суждений состоит в том, что содержащиеся в них мысли не допускают их неоднозначного понимания. Именно поэтому ряд научных положений, а также законов государства, статей Конституции, уголовно-процессуального и других кодексов выражен в этой логической форме.

Всякое суждение может быть либо истинным, либо ложным, т.е. соответствовать действительности либо не соответствовать ей. Если в суждении утверждается связь, существующая в действительности, или отрицается связь, которая в действительности отсутствует, то такое суждение будет истинным. Например, «Кража — преступление», «Астрология — не наука» — истинные суждения. Если же в суждении утверждается связь, которая в действительности не имеет места, или отрицается существующая связь, то такое суждение является ложным. Например, «Кража не является преступлением», «Астрология — наука» — ложные суждения, они противоречат реальному положению вещей.

Существуют суждения, истинность или ложность которых очевидна или может быть легко установлена (например, «Сегодня солнечный день» или «Федоров — сотрудник милиции»), но нередко они нуждаются в обосновании (например, «Н. совершил должностной подлог» или «К. — соучастник преступления»). Истинность или ложность таких суждений должна быть подтверждена другими суждениями, истинность которых установлена.

4.Соотношения между суждениями по правилам логического квадрата.

Несравнимыми среди простых суждений являются суждения, имеющие различные субъекты или предикаты.
Сравнимыми являются суждения с одинаковыми субъектами и предикатами.
Для иллюстрации отношений между простыми суждениями используется логический квадрат:

Среди сравнимых различают совместимые суждения, которые могут быть одновременно истинными, и несовместимые суждения, которые одновременно истинными быть не могут.
Совместимость бывает трех видов: полная совместимость (эквивалентность); подчинение; частичная совместимость (субконтрарность). Несовместимость бывает двух видов: противоположность (контрарность) и противоречивость (контрадикторность).

I. Отношением подчинения связаны суждения А и I, Е и О. Общие суждения (А и Е) являются подчиняющими, а частные (I, О) подчиненными. Для суждений находящихся в отношении подчинения, имеет значение условие истинности: Если истинно А(Е), то истинно и I(O), но не наоборот.

III. Отношением контрарности (противоположности) связаны только общие суждение А и Е. Закон исключения третьего к таким суждениям не применим. А и Е могут оказаться одновременно ложными, но не могут быть одновременно истинными (пример: оба суждения «Все любят логику» и «никто не любит логику» — ложны).

IV. Отношение субконтрарности существует между частными суждениями I и О. I и О могут быть одновременно истинными, но не могут быть одновременно ложными (пример: оба суждения «Некоторые люди любят логику» и «некоторые люди не любят логику» — истинны)

Решение задачи по логическому квадрату

Если А — истина, то какое значение принимают Е, I и О.
Решение: по квадрату получается: если А — истина, то Е-ложь, I-истина, О-ложь.

Итак,
Если А — истина, то Е-ложь, I-истина, О-ложь.
Если E истинно, то А — ложь, I — ложь, О — ложь
Если I истинно, то Е — ложь, А — неопределенно, О — неопределенно
Если O истинно, то А — ложь, Е — неопределенно, I — неопределенно
Если A ложно, то О — истина, Е — неопределенно, I — неопределенно
Если E ложно, то I — истина, А — неопределенно, О — неопределенно
Если I ложно, то О — истина, Е — истина, А — ложь
Если O ложно, то А — истина, Е — ложь, I – истина

5.Логические операции с ПАС: обращение, превращение, противопоставление субъекту и противопоставление предикату.

Обращение

Обращение подчиняется правилу распределенности терминов. Различают простое (чистое) обращение (без ограничения) и обращение с ограничением. Без ограничения обращаются общеотрицательные (Е) и частноутвердительные (1) суждения. С ограничением — общеутвердительные суждения (А). Частноотрицательные суждения (О) не обращаются.
Обращение подчиняется правилу: термин, не распределенный в посылке, не может быть распределен в заключении

Схемы обращения суждений:

(А) Все S суть Р …………………….(I) Некоторые Р суть S

(I) Некоторые S суть Р ……………..(I) Некоторые Р суть S

(Е) Ни одно S не есть Р …………….(Е) Ни одно Р не есть S

ПРИМЕРЫ:

(А) Все студенты нашей группы (S ) сдали экзамены (Р-).

(I) Некоторые сдавшие экзамены (Р-) — студенты нашей группы (S-)

(I) Некоторые студенты нашей группы (S-) — отличники (Р

(I) Некоторые отличники (Р-) — студенты нашей группы (S-)

(Е) Ни один студент нашей группы (S ) не является неуспевающим (Р)

(Е) Ни один неуспевающий (Р ) не является студентом нашей группы (S )

Превращение

Преобразование суждения в суждение, противоположное по качеству с предикатом, противоречащим предикату исходного суждения, называется превращением. Чтобы превратить суждение, нужно изменить его связку на противоположную, а предикат — на противоречащее понятие.

A все S суть P……………………E ни одно S не есть не-P

E ни одно S не суть P……………A все S суть не-P

I некоторые S суть P…………….O некоторые S не суть не-P

O некоторые S не суть P …………I некоторые S суть не-P

ПРИМЕРЫ:

(А) Все сотрудники нашего коллектива — квалифицированные специалисты. Превращение:

(Е) ни один сотрудник нашего коллектива не является неквалифицированным специалистом

(Е) Ни одно религиозное учение не является научным.

(А) всякое религиозное учение является ненаучным

(I)Некоторые государства являются федеративными.

(О) Некоторые государства не являются нефедеративными

(О) Некоторые преступления не являются умышленными.

(I) Некоторые преступления являются неумышленными

Противопоставление субъекту —это преобразование категорического суждения, в результате которого субъектом становится предикат исходного суждения, а предикатом — понятие, противоречащее субъекту исходного суждения.

Такой вывод можно осуществить, последовательно применяя обращение исходного суждения, а затем — превращение полученного результата, либо сразу следуя правилам для противопоставления субъекту:

(А) Все S есть Р…………..….Некоторые Р не есть не-S.

(Е)Ни одно S не есть Р……….Все Р есть не-S.

(I)Некоторые S есть Р………..Некоторые Р не есть не-S.

Для частноотрицательных суждений не используются выводы с применением противопоставления субъекту, так как в процессе этого вывода мы должны были бы сделать обращение частноотрицательного суждения, для которого не применяется вывод посредством обращения.

ПРИМЕРЫ:

(Е)Ни один человек, являющийся злым (S),

не есть человек, который может быть вполне справедливым (Р).

Все люди, которые могут быть вполне справедливыми (Р),

есть люди, не являющиеся злыми (не-S).

Противопоставление Предикату— вид непосредственно­го умозаключения, в котором субъектом вывода является понятие, противоречащее предикату посылки, предикатом является субъект посылки, а связка изменяется на противоположную символически:

Противопоставление предикату представляет собой соединение превращения с обра­щением, поэтому при его выполнении следует сначала произвес­ти превращение посылки, а затем обратить получившееся суждение: превращаем «S есть Р», получаем «S не есть не-Р», затем обращаем последнее суждение и приходим к выводу «не-Р не есть S». Затруд­нения здесь носят чисто грамматический характер. Чтобы избежать их, следует формулировать связку в явном виде и фиксировать отрицания. Из общеутвердительного суждения следует общеотрица­тельный вывод; из общеотрицательного суждения следует частноутвердительный вывод; из частноотрицательного суждения следует частноутвердительный вывод; из частноутвердительного суждения нельзя получить вывод путем противопоставления предикату

A все S суть P………………..ни одно не-P не есть S

E ни одно S не есть P………некоторые не-P суть S

O некоторые S не суть P……некоторые не-P суть S

I некоторые S суть P ………..не используют выводы с применением противопоставления предикату

Термины:

Суждение — это форма мышления, в которой утверждается или отрицается связь между предметом и его признаком или отношение между предметами.

Высказывание — упрощение термина «Суждение» из формальной логики, используется в математической логике. Высказыванием является повествовательное предложение, которое формализует некоторое выражение мысли. Это утверждение, которому всегда можно поставить в соответствие одно из двух логических значений: ложь (0, ложно, false) или истина (1, истинно, true).

Экзистенциальное суждение — — суждение, которое относится к существованию как таковому. Оно имеет форму: «Л есть» (а именно: налично, сущее, существующее), в отличие от суждения определенного бытия, форма которого: «Л есть Р» (напр., «А есть зеленое»). Логистика различает два вида экзистенциальных высказываний: сингулярное экзистенциальное суждение типа «существует нечто такое, как элементарное количество» и универсальное экзистенциальное суждение типа «существует нечто такое, как цвет».

Суждение отношения суждение, в котором говорится о том, что определенные отношения имеют место (или не имеют места) между элементами двух, трех и т. д. предметов. Таковыми являются, например, суждения: «Москва больше Рязани», «Каждый следователь знает некоторого адвоката лучше, чем некоторого прокурора». В первом суждении утверждается, что отношение «больший» имеет место между Москвой и Рязанью, во втором утверждается, что отношение «знающий лучше, чем» имеет место между каждым следователем, некоторым адвокатом и некоторым прокурором.

Атрибутивное суждение суждение, в котором утверждается или отрицается принадлежность свойства предмету. Например: «Роза красная», «Преступник должен быть наказан»

Субъект – это то, о чем что-то утверждается в высказывании

Предикат – это то, что утверждается о субъекте. Например, в высказывании «7 – простое число», «7» – субъект, «простое число» – предикат. Это высказывание утверждает, что «7» обладает свойством «быть простым числом».

Связка суждения – является показателем качества суждения

Квантор суждения — это количественная характеристика суждения

Общеутвердительное суждение — общее по объему и утвердительное по качеству связки. Его структура: «Все S есть Р«, а символом служит латинская буква «А«.

Общеотрицательное суждение — общее по объему субъекта и отрицательное по качеству связки. Его структура: «Ни одно S не есть Р«. Символом общеотрицательных суждений служит буква «Е«.

Частноутвердительное суждение — частное по объему субъекта и утвердительное по качеству связки. Его структура: «Некоторые S есть Р«. Символом частноутвердительных суждений служит буква «I«.

Частноотрицательное суждение — частное по объему и отрицательное по качеству связки. Его структура: «Некоторые S не есть Р«, а символом служит буква «О«.

Выделяющие суждения — те, в которых утверждается, что признак присущ данным предметам объема (всем или некоторым), только им и больше никому на свете (или отсутствует у них и только у них, а всем остальным присущ).

Невыделяющие суждения — те суждения, в которых утверждается, что признак присущ данным предметам объема, но не только им (или отсутствует у них, но не только у них).

Распределенность терминов – используется для характеристики соотношения объемов субъекта и предиката. Термин считается распределенным, если его объем полностью включается в объем другого термина или полностью исключается из него. Термин считается нераспределенным, если его объем лишь частично включается в объем другого термина или частично исключается из него.

Обращение подчиняется правилу распределенности терминов. Различают простое (чистое) обращение (без ограничения) и обращение с ограничением. Без ограничения обращаются общеотрицательные (Е) и частноутвердительные (1) суждения. С ограничением — общеутвердительные суждения (А). Частноотрицательные суждения (О) не обращаются.

Превращение — преобразование суждения в суждение, противоположное по качеству с предикатом, противоречащим предикату исходного суждения. Чтобы превратить суждение, нужно изменить его связку на противоположную, а предикат — на противоречащее понятие.

Противопоставление субъекту — это преобразование категорического суждения, в результате которого субъектом становится предикат исходного суждения, а предикатом — понятие, противоречащее субъекту исходного суждения.

Противопоставление предикату — вид непосредственно­го умозаключения, в котором субъектом вывода является понятие, противоречащее предикату посылки, предикатом является субъект посылки, а связка изменяется на противоположную символически.

12,210 просмотров всего, 13 просмотров сегодня

Источник

Операционные системы и программное обеспечение