В грамматически преобразованном виде эти суждения будут иметь следующий вид:

1) лицом, имеющим высшее юридическое образование (S), является Степанов (Р);

2) юридическое образование, которое имеет Степанов (S), является высшим (Р);

3) высшее образование, которое имеет Степанов (S), является юридическим (Р).

Различие между суждением и предложением состоит и в том, что грамматический строй предложения в разных языках различен. Логическая же структура суждения одинакова независимо от его выражения в том или ином языке.

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

Суждения делятся на простые и сложные.

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

17. Простые суждения и их виды.

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

Например, "Некоторые звери делают запасы корма на зиму" - простое суждение.

Состав:

Субъект (S) – логическое подлежащее, т. е. предмет мысли;

Предикат (P) – логическое сказуемое, т. е. свойства предмета или отношения между предметами.

Виды простых суждений

По характеру предиката:

1) атрибутивные, т. е. суждения, указывающие на свойство, присущее или не присущее предмету (субъекту); (например, «Иркутск – красивый город»)

2) реляционные или с отношениями – суждения, указывающие на отношения между предметами; (например, «Иркутск расположен восточнее Крас

ноярска»);

3) существования (экзистенциальные суждения), отображающие факт существования или несуществования того или иного предмета мысли. (например, «Города Барабишкек не существует»)

18. Категорические суждения, их виды.

(Сначала важно сказать про атрибутивные, так как категорические “вытекают” из атрибутивных)

Наиболее распространенными являются атрибутивные суждения.

Атрибутивные суждения делятся

По качеству:

1) утвердительные – наличие признака у предмета утверждается (используется связка «есть»);

2) отрицательные – наличие признака у предмета отрицается (используется связка «не есть».

По количеству:

1) единичные – что-либо утверждается или отрицается об одном предмете («Этот свидетель дал показания»);

2) общие – что-либо утверждается или отрицается обо всех предметах некоторого класса («Все свидетели дали показания»);

3) частные – что-либо утверждается или отрицается о части предметов некоторого класса («Некоторые свидетели дали показания»)

Категорические суждения – атрибутивные суждения, определенные по количеству и качеству.

Виды категорических суждений:

1. Общеутвердительные суждения. Стандартная форма: «Все S есть Р». Их также принято сокращенно обозначать латинской буквой А. Пример: «Все люди есть существа, добрые по природе».

2. Общеотрицательные суждения. Стандартная форма: «Ни один S не есть Р». Сокращенно обозначаются буквой Е. Пример: «Ни один человек не есть совершенное существо».

3. Частноутвердительные суждения. Стандартная форма: «Некоторые S есть Р». Обозначаются буквой I. Пример: «Некоторые люди есть существа, имеющие преступные наклонности».

4. Частноотрицательные суждения. Стандартная форма: «Некоторые S не есть Р». Обозначаются буквой О. Пример: «Некоторые люди не есть существа, имеющие преступные наклонности».

19. Распределенность терминов в категорических суждениях.

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

Если распределенный термин «+», а нераспределенный «-»:

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

Общеутвердительные суждения – субъект всегда распределен, предикат в стандартном случае не распределен, но в общевыделяющих суждениях (Все S(+), и только S(+), есть Р(+)) распределено и то, и то.

Частноутвердительные суждения – субъект всегда не распределен, предикат в стандартном случае не распределен, но в частновыделяющих (Некоторые S(-), и только S(-), есть Р(+)) предикат может быть распределен.

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

25. Семантические таблицы истинности.

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

1) Соединительное суждение – конъюнкция.

Ему соответствует союз «И». Логическая форма: (А&В) Суждение будет истинным, если оба его составляющие будут истинной. Если одно из них или оба – ложь, то и суждение будет ложным.

Семантическая таблица для конъюнкции. (и – истина, л – ложь)

2) Разделительное суждение – дизъюнкция.

Соответствует союз «или». Логическая форма: (А \/ В). Если хотя бы одно из суждений – истина, то суждение истинно..

Семантическая таблица для дизъюнкции.

3) Строго-разделительное суждение - строгая дизъюнкция.

Соответствует союз «либо...,либо…».Логическая форма: ( А _\/_ В )

Предполагает выбор альтернатив, но не обеих вместе.

Семантическая таблица для строгой дизъюнкции.

4) Условное суждение – импликация.

Соответствует союз «Если…, то…». Логическая форма: (А→ В). Первый аргумент импликации (А) называется антецедентом/условием, а второй (В) – консеквентом/следствием. Импликация будет ложной только в том случае, если условие выполнено, а следствие не наступило.

Семантическая таблица для импликации.

20. Отношения между простыми суждениями. «Логический квадрат».

Сравнимые суждения– это суждения, имеющие одинаковые термины, но различающиеся по количеству и качеству. Среди сравнимых суждений возникают отношения совместимости и несовместимости.

Совместимость суждений означает что они могут быть вместе истинными. К такому типу относятся отношения подчинения и противности (субконтрарности).

Несовместимость – не могут быть вместе истинными. Несовместимыми являются отношения противоположности (контрарности) и противоречия (контрадикторности).

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

2) Суждения А и Е находятся в отношении Противоположности (контрарности). Это означает, что они не могут быть вместе истинными, но могут быть вместе ложными.

3) Суждения I и О находятся в отношении противности (субкотрарности), т. е. они могут быть вместе истинными, но не могут быть вместе ложными.

4. Контрадикторные - являются отрицанием друг друга

21. Модальность суждений. Виды модальностей.

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

Наиболее важными и распространенными выступают такие виды модаль­ности, как алетическая, деонтическая, эпистемическая и аксиологическая.

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

Деонтическая модальность распространяется только на деятельность лю­дей, нравственные и правовые нормы их поведения в обществе. Она выра­жается с помощью таких слов, как «разрешается», «запрещается», «обяза­тельно» и т. п.

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

Аксиологическая модальность выражает отношение человека к матери­альным и духовным ценностям. Она включает такие слова, как «хорошо», «плохо» и т.п.

22.Основные эквивалентности для алетических и эпистемических модальностей

По эпистемической модальности, выражающей степень обоснованности суждения, суждения делятся на достоверные и проблематичные (вероятные). Достоверные суждения выражаются с помощью операторов: доказано (верифицировано)- V и опровергнуто (фальсифицировано)- F (Vp- доказано, что р; V p- доказано, что не-р; Fp- опровергнуто, что р; F p- опровергнуто, что не-р). Проблематичные суждения выражаются с помощью оператора вероятно- Р (Рр- вероятно, что р; Р р- вероятно, что не-р). Достоверные суждения могут быть выражены с помошью оператора опровергнутости: Vp≡F p и Vp≡Fp, проблематичные суждения- с помощью оператора доказанности и опровергнутости: Рр≡Vр ^Fp.

Алетическая модальность выражается в терминах "необходимо", "случайно", "возможно", "невозможно" и делится на логическую и фактическую, которая выражается операторами: необходимо (□р- необходимо р, □р- необходимо не-р), случайно (□р и □ р); возможно ( «знак ромбик» р, «знак ромбик»р),невозможно ( «знак ромбик» р, «знак ромбик» р)