Виды суждения по характеру предиката

Кемерово 2016

Иванов Артем Алексеевич

Ю 1602

Ответы на вопросы контроля знаний

по теме:

по теме «Суждение»

Выполнил студент группы

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

2. В свою очередь, предложение - это грамматическая форма суждения, а суждение - это логическое содержание предложения. Это единство суждения и предложения конкретно выражается в том, что и в суждении, и в предложении основные элементы выражают одно и то же качество. Однако состав суждения и предложения не тождествен: каждой части суждения могут не соответствовать главные члены предложения — подлежащее и сказуемое.

3. Структура суждения состоит из четырех элементов:

a. Субъект (S)- это понятие, отражающее предмет мысли, то, о чем подразумевается в данном суждении.

b. Предикат (P) - это понятие, отражающее признак предмета мысли, то, что мыслится о субъекте суждения.

c. Связка - это отношение, которое существует между субъектом и предикатом. Оно подразумевает принадлежность предмету мысли какого-либо признака (свойства). Обозначается знаком «тире», а также может подразумеваться или быть выраже­на словом или группой слов: «есть», «суть», «не являются», «имеется» и т.д.

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

a. Суждение свойства (атрибутивное) - это суждение, в котором указывается на свойство или состояние, присуще или не присуще некоторому предмету. Часть атрибутивного суждения, в которой отображается предмет мысли, называется субъектом, а часть, в которой отображается свойство или состояние предмета, — предикатом. Связь предмета с его свойством (состоянием) выражается с помощью связки «есть» («не есть») или словами ее заменяющими.

b. Суждение отношения (релятивное) - это суждение, в котором указывается на отношение, которое имеет место между некоторыми предметами мысли. В зависимости от числа предметов, вступающих в то или иное отношение, различают двухчленные, трехчленные и вообще n-членные отношения.

c. Суждение существования (экзистенциальное) - это суждение, в котором отражается факт существования (несуществования) того или иного предмета мысли.

5. Виды атрибутивных суждений по качеству:

a. Утвердительные - это суждения, говорящие о принадлежности предиката субъекту суждения.

b. Отрицательные - это суждения, говорящие об отсутствии данного предиката у субъекта.

Виды атрибутивных суждений по количеству:

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

b. Частные - это суждения, в которых предикат высказывается о некоторых элементах объема субъекта.

c. Общие - это суждения, в которых предикат высказывается обо всем объеме субъекта.

6. Распределение субъекта и предиката в атрибутивном суждении:
Объем субъекта включается в объем предиката. Например: “Россия - это суверенное государство” Субъект (Россия) имеет более узкое определение, нежели предикат (суверенное государство).

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

a. Общеутвердительные (A)
Структура: “Все S суть P”

b. Частноутвердительные (I)
Структура: “Некоторые S есть P”

c. Общеотрицательные (E)
Структура: “Ни одно S не есть P”

d. Частноотрицательные (O)
Структура: “Некоторые S не есть P”

8. Логический квадрат A,I,E,O

a. Отношение противности (A-E) - это отношения, которые могут быть одновременно ложными, но не могут быть одновременно истинными.

b. Отношение подпротивности (I-O) - это отношения, которые могут быть одновременно истинными, но не могут быть одновременно ложными

c. Отношения противоречия (A-O и E-I) - это отношения, в которых одно непременно должно быть истинным, а другое ложным.

d. Отношения подчинения (A-I и E-O)

i. С истинности подчиняющего суждения следует истинность подчиненного ему суждения, но истинности подчиненного суждения не следует истинность подчиняющего суждения, оно может быть как истинным, так и ложным.

ii. С ложности подчиняющего суждения следует ложность подчиненного ему суждения, но ложности подчиненного суждения не следует ложность подчиняющего суждения, оно может быть как истинным, так и ложным.

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

a. Соединительным (конъюнктивным) суждением называют суждение, включающее в качестве составных частей другие суждения, объединяемые связкой “И”.

b. Разделительным (дизъюнктивным)сужденем называют суждение, включающее в качестве составных частей суждения, объединяемые связкой «или».

c. Условным (импликативным)называют суждение, включающее в качестве составных два суждения – антецедент (основание) (a) и консеквент (заключение) (b), объединяемые связкой «если..., то...».

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

10. Таблицы сложных суждений:

a. Соединительные суждения:

a	b	a и b
и	и	и
и	л	л
л	и	л
л	л	л

b. Разделительные суждения:

a	b	a или b
и	и	и
и	л	и
л	и	и
л	л	л

c. Условные суждения:

a	b	если a, то b
и	и	и
и	л	л
л	и	и
л	л	и

d. Эквивалентные суждения

a	b	если и только если a, то b
и	и	и
и	л	л
л	и	л
л	л	и

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

12. Виды модальности и их применения:

a. Алетическая модальность - это выраженная с помощью операторов «необходимо», «случайно», «возможно», «невозможно» информация о логической, либо фактической обосно­ванности суждения.

i. Фактически истинные - это суждения, в которых связь между терминами суждения соответствует действитель­ным отношениям между явлениями.

ii. Фактически ложные - это суждения, в которых связь между субъектом и предикатом не соответствует реальности.

iii. Фактически необходимые - это это суждения, в которых гово­рится о связи явлений, определяемой их устойчивой внутренней основой и совокупностью условий их развития.

iv. Фактически случайные - это суждения, в которых гово­рится о связи, определяемой внешними, побочными для данного яв­ления причинами.

v. Фактически возможные- это суждения, содержащие ин­формацию о единой основе развития явлений.

vi. Фактически невозможные - это суждения, содержащие ин­формацию об отсутствии единой основы развития явлений.

b. Эпистемическая модальность - это выраженная в суж­дении информация обосновании и степени его достоверности.
Операторы таких суждений: доказуемо, недоказуемо, неразрешимо, опровержимо.

i. Достоверное суждение - это такое высказывание, в кото­ром содержится твердо установленная информация.

ii. Проблематичные суждения - это такие высказывания, кото­рые нельзя считать достоверными в силу того, что истинность или ложность таких суждений точно не установлена.

c. Деонтическая модальность -это выраженная в суждении информация, побуждающая людей к определенным по­ступкам. В таких суждениях часто присутствуют операторы запрещено, разрешено, имеет право, обязан, должен.

d. Аксиологическая модальность - это выражение в суждении, которое характеризуют суждения с точки зрения той или иной системы ценностей. Операторы суждений: хорошо, плохо, превосходно.

e. Темпоральная модальность - это выражение в суждении, которое характеризуют фактор времени в рассуждениях. Они используются для установления отношений во временных рядах: прошлое, настоящее и будущее, а также раньше, одновременно и позже. Операторы: всегда, никогда, одновременно, раньше, позже.

13. Отношения суждений в процессе полемики:

a. Сравнимые суждения

i. Совместимые - это суждения, которые одновременно могут быть истинными.

1. Эквивалентные суждения выражают одну и ту же мысль в различной форме.

2. Частичная совместимость характерна для суждений, которые могут быть одновременно истинными, но не могут быть одновременно ложными.

3. Отношения подчинения характерны для суждений, которые имеют общий предикат, а понятия, выражающие субъекты двух таких суждений, находятся в отношении логического подчинения.

ii. Несовместимыми являются суждения, которые одновременно не могут быть истинными.

1. Несовместимость как противоположность характерна для суждений, выражающих противоположные мысли. Эти суждения не могут быть одновременно истинными, но могут быть одновременно ложными.

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

b. Несравнимыми среди простых суждений являются такие, которые имеют различные субъекты и предикаты.

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

Правила отрицания сложных суждений:

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

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

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

15. Выражение суждений на языке предикатов:

a. Алфавит языка предикатов составляют следующие символы: p,q, r, s, p1,…препозиционные переменные, при исследований предложений этим символами заменяются целые предложения; a, b, c, d, a1, b1, …индивидные константы, этими символами заменяют единичные имена; Х, y, z, x1, y1… К-местные предикатные символы

b. Суждение с союзом ∩ называется импликативным. Часть импликативного суждения, находящаяся между словами "если" и "то", называется антецедентом, а часть, находящаяся после слова "то", - консеквентном.

A	B	А∩В
И	И	И
И	Л	Л
Л	И	И
Л	Л	И

c. Знак материальной эквивалентности ≡

A	B	А≡В
И	И	И
И	Л	Л
Л	И	Л
Л	Л	И

16. Правильно построенные формулы на языке логики предикатов - это формулы, при построении которых опирались на все факторы и особенности языка логики предикатов.

Формализованный язык классической логики предикатов является фрагментом и результатом некоторой реконструкции естественного языка. Специфика его состоит, прежде всего, в наличии точных правил построения высказываний (формул) и сложных имен (термов). Этот язык предназначен для аксиоматического построения теорий, для анализа содержания высказываний естественного языка и выявления логических отношений между ними, для описания правил рассуждения, построения выводов и доказательств и т.д.

Язык классической логики предикатов обычно характеризуют как символический язык, потому что здесь используется особая символика.

Дата добавления: 2017-01-14