Главная страница | Контакты | Случайная страница Автомобили Астрономия Биология География Дом и сад Другие языки Другое Информатика История Культура Литература Логика Математика Медицина Металлургия Механика Образование Охрана труда Педагогика Политика Право Психология Религия Риторика Социология Спорт Строительство Технология Туризм Физика Философия Финансы Химия Черчение Экология Экономика Электроника

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

Суждение как форма мышления содержит информацию:

Основную

Дополнительную

Основная информация находит выражение в:

1) Субъекте суждения

2) Предикате

3) Логической связке

4) Кванторе

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

Она может быть выражена отдельными словами или не иметь явного выражения.

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

В общем виде в логике для выражения модальности используются операторы (М): по схеме М(р), например «Необходимо р»

Виды:

Эпистимическая – познавательная – выраженная в суждении дополнительная информация об основаниях принятия и степени его обоснованности.

Вера (мнение авторитетов, прагматичсекий интерес, традиции, коллективное и индивидуальное внушение) – стихийное, некритическое принятие чужих мнений. Знания

Алетическая – истинная – необходимо, случайно, возможно, невозможно и т.д.

Деонтическая – должное – предписание, приказ, совет, пожелание (O – Обязательно, F – запрещено, Р – разрешено

Аксеологическая – ценностные

Тема 3-4. Сложные суждения и их виды. Логические отношения между сложными суждениями.

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

«Не», «и», «или», «если.., то…», «если и только если…, то…». Логические связки и союзы выражают логические операции.

Виды:

1) Суждения отрицательные

2) Соединительные – конъюнкция

3) Разделительные – дизъюнкция

4) Условные – импликация

5) Эквивалентные

6) Смешанные

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

В языке соединительное суждение может быть выражено одной из трех логико-грамматических структур:

1) В форме простого суждения со сложными объектами (С1 и С2 есть П)

2) В форме простого суждения о сложным предикатом (С есть П1 и П2)

3) В форме простого суждения со сложным субъектом и сложным предикатом (С1 и С2 есть П2 и П2)

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

Дизъюнкция:

· Полная/неполная

Полная (<PvQvR>)– дизъюнктивное суждение, в котором перечислены все признаки или все виды определенного рода.

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

· Строгая/нестрогая

Строгая – суждение, в котором связка «или» употребляется в исключающе-разделительном значении

Нестрогая – суждение, в котором связка «или» употребляется в соединительно-разъединительном значении

Члены, входящие в состав сложного разделительного строгого суждения, называются альтернативами, а в состав нестрогой – дизъюнктами.

Может быть выражено одной из трех логико-грамматических структур

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

Дизъюнктивное строгое суждение будет истинным при истинности одного и ложности другого члена дизъюнкции и ложно при ложности или истинности обоих её членов.

Условное (импликативное) суждение – суждения, состоящие из двух простых, соединенных, логической связкой «если…, то…».

· Причинные

· Функциональные

· Пространственные

· Временные

· Правовые

· Семантические

· Логические

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

Антецедент и консеквент

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

Отрицательные суждение или отрицание – это сложное суждение с союзом «неверно, что…», который обозначается условным знаком ך.

Логические отношения между сложными суждениями:

Сравнимые и несравнимые

Сравнимые:

· Совместимые (эквивалентность – полная совместимость; частичная совместимость – субконтрарность; подчинение)

· Несовместимые

Эквивалентные – имеют одинаковые логические характеристики

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

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

Отношение несовместимости:

· Противоположность – не могут быть истинными, но могут быть одновременно ложными

· Противоречие – не могут быть одновременно ни истинными, ни ложными. При истинности одного из них другое ложно, а при ложности первого второе истинно.

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

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

Основные логические законы:

· Закон тождества – каждая объективная истинная и логически правильная мысль или понятие о предмете должны быть определенными и сохранять свою однозначность на протяжении всего рассуждения и вывода (нельзя отождествлять различные мысли; нельзя принимать тождественные мысли за нетождественные)

Ошибки: Логомахия (если не уточнили исходные понятия); Амфиболия (двойственность – «подмена тезиса»); Эквивокация (использование одного и того же слова в разных значениях – «подмена понятия»)

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

· Закон исключенного третьего

· Закон достаточного основания

Тема. Умозаключения

1) Общая характеристика умозаключений

2) Основные виды умозаключений

3) Непосредственные умозаключения

Третьей формой абстрактного мышления является умозаключение.

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

Умозаключение есть новое предложение.

В состав любого умозаключения входят 3 элемента:

1) Посылки

2) Заключения

3) Вывод

В структуре умозаключения мы не уидим уывода. Уывод – мыслительный переход от посылки к заключению.

Посылка – исходное суждение.

Заключение – новое суждение, полученное из исходных суждений.

Требования, предъявляемые к умозаключению:

· Исходные суждения должны быть ыстинными суждениями

· Должно быть логическое исследование

· При построении умозаключения необходимо соблюдать правила (законы) умозаключений

Уиды умозаключений, какие же они бывают:

1) По направленности вывода умозаключения бывают:

· Дедуктивные – умозаключения, в которых ход наших рассуждений и мыслей строится от общих правил от общего к единичному (обязательно имеется посылка и заключение)

· Индуктивные – вид умозаключений, когда мы строим свои мысли на основании единичного и перехода к общему (полные – когда перечисляем все функции и неполные – индуктивное умозаключение, где рассматривается обобщается информация о предмете на основании принадлежности этого признака части предмета)

Неполные индукции бывают: научные и популярные

· Традуктивные (умозаключение по аналогии) – умозаключения, когда ход мысли строится с переносом на основании известных признаков ко второму предмету неизвестных признаков

2) По количеству посылок:

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

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

Бывают состоящие только из сложных (чисто условные умозаключения, чисто категорические умозаключение, условно разделительные умозаключения)

Умозаключения с пропущенными суждениями (эмкимема)

3) Умозаключение в зависимости от строгости вывода:

· Демонстративные – умозаключения, вывод в которых следуеть с необходимостью истинно (достоверно)

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

Бывают: традуктивные, индуктивные, за исключением полной индукции

Непосредственные умозаключения

1) Превращение – действия происходят над простыми суждениями типа А типа I типа Е и типа О

Правила превращения:

Правило тройного отрицания: два знака отрицания и буква P

Отрицание связки и отрицание предиката. Это действия над качеством, количество не меняется.

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

Все 4 суждения превращаются.

2) Обращение: полное и с остатком.

Это всегда действие над количеством. Меняется количество субъектов.

Частноотрицательные суждение не обращаются.

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

Чистое (полное) обращения происходит, если оба термина, входящие в состав суждения, распределены или не распределены.

Это общеотрицательные обращаются чисто и частноутвердительные обращаются без остатка.

С остатком обращаются суждения, в котором один термин распредельон, а второй – не распредельон (общеутвердительные суждения)

3) Превращение + обращение = противопоставление предикату.

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

4) Умозаключение по логическому квадрату – непосредственное умозаключение, в котором в результате отношений между суждениями выводится их истинность или их ложность

Тема 4.

Простой категорический силлогизм

1) Состав и структура

2) Общие правила простого категорического силлогизма

3) Фигуры силлогизма и правила фигур

Пкс – опосредованное дедуктивное умозаключение, об отношении двух крйних терминов на основании их отношения к среднему термину

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

Структура:

1) Большая посылка – суждение, в котором содержится больший термин

2) Меньшая посылка – суждение, куда входит субъект (меньший термин)

3) Заключение –

S, P – крайние термины

Термины силлогизма: меньший (S) – понятие, которое является в заключении субъектом, больший (P) – понятие, которое является в заключении предикатом, средний (M) – понятие, входящие в обе посылки, но отсутствующие в заключении

Фигуры силлогизма – разновидности силлогизма, различающиеся положением среднего термина в посылках

Общие правила категорического силлогизма:

1) В силлогизме должно быть только 3 термина (произведение солженицина М нельзя прочитать за 1 день P «матренин двор» S – произведение солженицина М

Матренин двор S нельзя прочитать за 1 день P)

Ошибка: учетверение терминов

2) Средний термин должен быть распределен хотя бы в одной из посылок

3) Термин, не распределенный в посылке, не может быть распределен и в заключении

Ошибка: незаконное расширение термина

Правила посылок:

1) Хотя бы одна из посылок должна быть утвердительными суждением

Следствие 1: из двух отрицательных посылок заключение с необходимостью не следует

Следствие 2: если 1 из посылок – отрицательное суждение, то и заключение должно быть отрицательным

2) Хотя бы одна из посылок должна быть общим суждением

Следствие 1: из двух частных посылок заключение с необходимостью не следует

Следствие 2: если одна из посылок – частное суждение, то и заключение должно быть частным

Правила первой фигуры:

Большая посылка – общее суждение (Е, А)

Меньшая посылка – утвердительное суждение (A, I)

Правила второй фигуры:

Большая посылка – общее суждение (А, Е)

Одна из посылок – отрицательное суждение (Е, О)

Правила третьей фигуры

Меньшая посылка – утвердительное суждение (А, I)

Заключение - частное суждение (I, O)

Правила четвертой фигуры

Если меньшая посылка – общее суждение (А Е), то большая посылка – утвердительное суждение (А I)

Если одна из посылок – отрицательное суждение, то большая посылка – общее суждение

Заключение не может быть общеутвердительным суждением

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

Всего модусов 64. Правильных модусов – 19:

1 фигура: AAA (Barbara) EAE (Celarent) AII (Darii) EIO (Ferio)

2 фигура: EAE (Cesare) AEE (Camestres) EIO (Festimo) AOO (Baroco)

3 фигура: AAI (Darapti) IAI (Disamis) AII (Datisi) EAO (Felapton) EIO (Bokardo) OAO (Ferison)
4 фигура: AAI (Bramantip) AEE (Camentes) IAI (Dimaris) EAO (Fesaro) EIO (Fresison)

Выводы из сложных суждений

1) Условные ссилогизмы

2) Разделительные силлогизмы

3) Сокращенный силлогизм (энтимема)

4) Сложные и сложносокращенные силлогизмы

Виды умозаключений из сложных суждений:

1) Чисто условное

2) Условно-категорическое

3) Чисто разделительное

4) Разделительно-категорическое

5) Условно-разделительное

6) Сокращенный силлогизм

7) Сложный силлогизм

8) Сложносокращенный силлогизм

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

Выделяют:

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

Обща часть двух посылок связывает основание первой и следствие второй посылки

Схема: Вывод в чисто условном умозаключении основывается на правиле: следствие следствия есть следствие основания

· Условно-категорические – дедуктивные опосредованные умозаключения, в котором одна из посылок условное, а другая посылка и заключение – категорические суждения (Если что-то развивает мышление, то оно полезно. Шахматы развивают мышление. | Шахматы полезны.)

Умозаключение имеет 4 модуса, два и которых правильные, то есть ают достоверные выводы.

Правильные:

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

Рассуждение направлено от утверждения истинности основания к утверждению истинности следствия

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

Рассуждение направлено от отрицания истинности следствия к отрицанию истинности основания.

Третий модус – от отрицания истинности основания к отрицанию истинности следствия

Четвертый – от утверждения следствия к утверждению основания

Разделительный силлогизм – это опосредованное дедуктивное умозаключение, в котором, по крайней мере, одна из посылок – разделительное суждение

Выделяют:

· Чисто разделительные умозаключения – опосредованное дедуктивное умозаключение, в котором обе посылки и заключение – разделительные суждения

· Разделительно-категорические – в котором одна из посылок – разделительное, а другая посылка и заключение – категорические суждения.