Сложное суждение. - Лекция, раздел Философия, НИЖЕГОРОДСКИЙ ФИЛИАЛ И.Н. Хряпченкова, А.Н. Штефан ЛОГИКА Курс лекций Сложным Называется Суждение, Состоящее Из Нескольких Простых Суждений. В Зави...
Сложным называется суждение, состоящее из нескольких простых суждений. В зависимости от логического союза (связки) различают конъюнктивные (соединительные), дизъюнктивные (разделительные), импликативные (условные), эквивалентные (равнозначные). Здесь мы будем вторгаться в область математической логики (символической), будем обозначать простые суждения символами p, q, r... Нас будут интересовать их истинность или ложность, а также характер связи между ними. Производя логические (математические) операции, будем отвлекаться от их значения и только в конце расшифровывать результат. Трансформацию суждений или, иначе, высказываний в формулы будем называть формализацией.
1) Конъюнкция - суждение, образованное из простых суждений посредством логического союза «и». Пример: «Платон мне друг, но истина - еще больший друг». p٨ q. Роль логического союза в конъюнктивных суждениях выполняют грамматические союзы «но и; а также; также, как и; вместе с тем; соединенное с; однако». Членами конъюнкции являются простые суждения, их может быть несколько. Если хотя бы одно из них ложно, то вся конъюнкция - ложна (рис. 22). p٨ (q ٨r)= p٨ q٨ r.
Таблица истинности для конъюнкции:
p
q
p^q
И
И
И
И
Л
Л
Л
И
Л
Л
Л
Л
Рис. 22
2) Дизъюнкция (соединительное суждение) нестрогая, или, иначе говоря, слабая - суждение, образованное из простых суждений посредством логического союза «или», «либо». p ۷ q. p и q не исключают друг друга. Пример. «Я пойду на лекцию или на концерт». Нестрогая дизъюнкция истинна в том случае, если истинно хотя бы одно из составляющих ее суждений (рис. 23).
Таблица истинности для нестрогой (слабой) дизъюнкции:
p
q
p۷q
И
И
И
И
Л
И
Л
И
И
Л
Л
Л
Рис. 23
Дизъюнкция строгая (сильная) - p ۷ q - суждение, образованное с помощью логического союза «либо…либо». p и q исключают друг друга. Пример: «Либо я тебя не понимаю, либо ты не хочешь меня понять». Строгая дизъюнкция истинная в том случае, когда одно из составляющих ее суждения истинно, а другое - ложно (рис. 24). Члены строгой дизъюнкции называются альтернативами.
Таблица истинности для строгой дизъюнкции
p
q
p۷q
И
И
Л
И
Л
И
Л
И
И
Л
Л
Л
Рис. 24
3) Импликация (условное суждение) отражает зависимость явления от каких-либо обстоятельств; она образуется посредством логического союза «если…то». p→q. p - основание-антецедент, q - следствие-консеквент. Пример: «Если ты не контролируешь себя, то тебя контролирует кто-то другой». Импликация ложна только в случае, когда основание истинно, а следствие - ложно (рис. 25).
Таблица истинности для импликации
p
q
p→q
И
И
И
И
Л
Л
Л
И
И
Л
Л
И
Рис. 25
4) Эквиваленция (выделяющее условное суждение) образуется с помощью логического союза «если и только если… то», «тогда и только тогда… когда». Если и только если человек достиг пенсионного возраста, то он имеет право на получение пенсии по возрасту. p↔q или p≡q. Эквивалентное суждение истинно, когда оба компонента истинны или оба ложны (рис. 26).
Таблица истинности для эквиваленции
p
q
p≡q
И
И
И
И
Л
Л
Л
И
Л
Л
Л
И
Рис. 26
5) Отрицание суждений - это логическая операция, в результате которой логическое значения суждения меняется на противоречащее. Если p - истинно, то не-p - ложно; если - p ложно, то не-p истинно. Пример. «Все судьи неподкупны. - Неверно, что все судьи неподкупны». Не-p, или «неверно, что р» обозначается знаком «┐p» (рис. 27).
Таблица истинности для отрицания
р
┐р
И
Л
Л
И
Рис. 27
Отрицание простых суждений осуществляется по диагоналям логического квадрата.
Отрицание сложных суждений осуществляется по формулам Моргана:
НИЖЕГОРОДСКИЙ ФИЛИАЛ... И Н Хряпченкова А Н Штефан ЛОГИКА Курс лекций Нижний Новгород г ББК Предмет формальной...
Если Вам нужно дополнительный материал на эту тему, или Вы не нашли то, что искали, рекомендуем воспользоваться поиском по нашей базе работ:
Сложное суждение.
Что будем делать с полученным материалом:
Если этот материал оказался полезным ля Вас, Вы можете сохранить его на свою страничку в социальных сетях:
Курс лекций
Нижний Новгород
2012 г.
ББК: 20
Г 90
И.Н. Хряпченкова, А.Н. Штефан. Логика. Курс лекций – Нижний Новгород: НФ МГЭИ, 2012 – 89 с.
Предмет формальной логики.
В переводе с греч. Logos означает «слово, мысль, разум, речь». Термином «логика» обозначаются формальная логика и логика диалектическая. Формальная в свою очередь подразделяется на традиционную и с
Основные этапы развития логики.
Основными причинами возникновения логики являются: зарождение и первоначальное развитие наук, прежде всего математики. Математика основывается на теоретическом мышлении, которое предполагает
Значение логики.
Использование в умственной работе логического знания повышает продуктивность мышления. Так в самом общем виде можно определить пользу логики. Формально-логические законы лежат в основании мы
Понятие как центральная категория логики.
Объективная возможность возникновения и существования понятий в нашем мышлении обусловлена предметным характером окружающего нас мира, т.е. наличие в нем отдельных предметов, обладающих каче
Виды понятий по объему.
Общие (регистрирующие и нерегистрирующие), единичные и нулевые. Единичные - понятия, в которых мыслится один предмет (Н. Новгород). Нулевые или пустые понятия не содержат ни одного пр
Виды понятий по содержанию.
1) Конкретные и абстрактные. Конкретные - понятия, в которых мыслятся предметы или совокупности предметов (профессор, табурет, Москва). Абстрактные - понятия, в которых мыслятся связи
Логические отношения между понятиями.
Анализируя отношения между понятиями, прежде всего, следует выделить сравнимые и несравнимые. Сравнимые - понятия, имеющие в своем содержании существенные признаки, по к
Общая характеристика суждения
Более сложной по сравнению с понятием формой мышления является суждение. Понятие фиксирует предмет в уме. В суждении выражаются отношения между предметами и их признаками.
Суж
Отношения между суждениями
Отношения по истинности или ложности возможны только для сравнимых суждений - имеющих одинаковые субъект и предикат. У несравнимых суждений субъект и предикат - разные.
Сравн
Модальность суждений.
Модальность суждений - это явно или неявно выраженная дополнительная информация о степени обоснованности суждения, о типе зависимости между субъектом и предикатом. Модальность выражается сло
Логическая сущность вопроса
Развитие научных и практических знаний протекает как переход от ранее установленных суждений к новым, более точным и богатым по содержанию. Этот переход можно упрощенно представить в виде следующей
Виды вопросов
Рассмотрим основные виды вопросов в семантическом, функциональном, структурном и других аспектах.
1) Семантика вопросов.
С точки зрения качества базисного знания вопросы могут быт
Логическая сущность ответа.
Ответ должен строиться в соответствии с поставленным вопросом, тогда он выполняет свое назначение - уточнить неопределенную либо доставить новую информацию.
Ответ - новое суждени
Виды ответов.
1) Истинные и ложные ответы.
Ответ расценивается как истинный, если выраженное в нем суждение адекватно отражает действительность. Ответ расценивается как ложный, если выраженное в нем
Общие правила простого категорического силлогизма.
Правила терминов:
1. В силлогизме должны быть только три термина, т.е. М - средний термин - должен быть тождествен, иметь один смысл.
2. Средний терм
Сокращенные и сложные силлогизмы.
Рассмотрим сокращенный силлогизм (энтимема - «в уме», по-гречески). Силлогизм, в котором выражены все его части – обе посылки и заключение, называется полным. Однако на практике чаще использ
Полная и неполная индукция.
Полная индукция – это умозаключение, в котором на основе принадлежности каждому элементу или каждой части класса определенного признака делают вывод о его принадлежности классу в целом.
Научная индукция.
Научная индукция – это умозаключение, в котором обобщение строится на основе отбора необходимых и исключения случайных обстоятельств. Примером могут служить методы научной индукции Ф.
Понятие логического закона.
Критерием логичности наших рассуждений являются основные законы (принципы) формальной логики. Какое бы из множества существующих логических правил ни нарушил рассуждающий, можно всегда показать, чт
Сущность закона исключенного третьего.
Закон противоречия действует в отношении всех несовместимых суждений и устанавливает, что одно из них необходимо ложно, об истинности второго молчит. Согласно закону исключенного третьего
Закон достаточного основания.
Закон достаточного основания: ни одно суждение не может быть признано истинным без достаточного основания.
Значит, мы вправе опровергать любое утверждение, которое не обоснов
Понятие гипотезы, ее существенные признаки и логическая структура.
Процессу познания в научной или практической области всегда предшествует рациональное осмысление тех фактов, которые человек получает из наблюдения. Анализируя, обобщая догадки и предположения, нау
Виды гипотез: общие, частные, научные, рабочие.
1) По объекту описания различают гипотезы общие и частные.
Общей гипотезой называют обоснованное предположение о закономерных связях и об эмпирических регулярностях. Пример -
Проверка гипотезы.
Проверка гипотезы осуществляется в два этапа:
1) Дедуктивное выведение следствий. Зная особенности гипотезы Н, а также учитывая конкретные условия ее проявления, строят дедуктивный
Способы доказательства гипотезы.
Основные способы доказательства гипотезы: логическое доказательство и непосредственное обнаружение предположенных в гипотезе предметов.
1) Непосредственное обнаружение предполож
Понятие доказательства, его логическая структура.
Аргументировать суждение – это привести другие, логически связанные с ним и подтверждающие его суждения. Аргументация – это операция обоснования каких-либо суждений, в которой, наряду с логи
Прямое и косвенное опровержение тезиса.
Опровержение тезиса может быть прямым («сведение к абсурду») и косвенным.
Прямое опровержение тезиса осуществляется в следующем виде. Вначале делают апагогический шаг, т.е. у
Правила доказательства. Возможные логические ошибки.
Соблюдение правил и избежание ошибок в доказательствах важно при ведении спора.
Спор – это столкновение мнений, позиций, в ходе которого каждая сторона аргументировано отстаивает св
Хотите получать на электронную почту самые свежие новости?
Подпишитесь на Нашу рассылку
Наша политика приватности обеспечивает 100% безопасность и анонимность Ваших E-Mail
Новости и инфо для студентов