Правила выводов логики высказываний - раздел Философия, ЛОГИКА Логика Высказываний – Это Логическая Система, Которая Анализ...
Логика высказываний – это логическая система, которая анализирует процессы рассуждения, опираясь на истинностные характеристики логических связок и отвлекаясь от субъектно-предикатной структуры суждений. Логика высказываний может строиться табличным методом или как исчисление, то есть как система, позволяющая получать одни выражения из других на основании известных правил, – данная система называется системой натурального вывода; аппаратом в ней служат правила вывода, каждое из которого является элементарной формой умозаключения.
Правила вывода – это предписания или разрешения, позволяющие из суждений одной логической структуры как посылок вывести суждение некоторой логической структуры как заключение. Их особенность заключается в том, что признание истинности заключения производится на основании не содержания посылок, а их логической структуры. Правила вывода записываются в виде схемы, которая состоит из двух частей (верхней и нижней), разделенных горизонтальной линией – над чертой выписываются логические схемы посылок, под ней – заключение.
Схема правил вывода:
Данная схема означает, что из посылок вида можно вывести заключение В.
Правила выводовлогики высказываний делят на основные и производные, введение которых позволяет сократить процесс вывода. Как основные, так и производные правила выводов делятся в свою очередь на прямыеи непрямые (косвенные). Прямыеуказывают на непосредственную выводимость некоторых высказываний из других высказываний, а непрямые (косвенные) правила выводов дают возможность заключить о правомерности некоторых выводов из правомерности других выводов.
Основные прямые правила
· Правило введения конъюнкции (ВК):
· Правило удаления конъюнкции (УК):
,
· Правило введения дизъюнкции (ВД):
· Правило удаления дизъюнкции (УД):
,
· Правило удаления импликации (УИ):
· Правило введения эквивалентности (ВЭ):
· Правило удаления эквивалентности (УЭ):
,
· Правило введения двойного отрицания (ВО):
· Правило удаления двойного отрицания (УО):
Основные непрямые правила
· Правило введения импликации (ВИ):
· Правило reduction ad absurdum – «сведения к абсурду» (СА):
Производные правила
· Правило условного силлогизма:
Доказательство:
· Правило «modus tоllens» (MT):
Доказательство:
· Правило отрицания дизъюнкции (ОД):
Доказательство:
· Правило отрицания конъюнкции (ОК):
Доказательство:
· Правила контрапозиции:
1.
Доказательство:
2.
Доказательство:
· Правила сложной контрапозиции:
1.
2.
Доказательство:
Доказательство:
· Правило «рассуждения по случаям» (РПС):
Доказательство:
· Правило конструктивной дилеммы:
Доказательство:
· Правило простой деструктивной дилеммы:
Доказательство:
· Правило сложной деструктивной дилеммы:
Доказательство:
· Правило импортации (конъюнктивного отделения условий):
Доказательство:
· Правило экспортации (разъединения условий):
Доказательство:
Доказательство некоторых законов логики методом «от противного»
Федеральное агентство по образованию... ЛОГИКА... Учебное пособие для студентов ОмГУ...
Если Вам нужно дополнительный материал на эту тему, или Вы не нашли то, что искали, рекомендуем воспользоваться поиском по нашей базе работ:
Правила выводов логики высказываний
Что будем делать с полученным материалом:
Если этот материал оказался полезным ля Вас, Вы можете сохранить его на свою страничку в социальных сетях:
Общая характеристика понятий
Переход от чувственной ступени познания к абстрактному мышлению характеризуется, прежде всего, как переход отражения мира в формах ощущений, восприятий и представлений к отражению его в понятиях и
Отношения между понятиями по содержанию и объему
Отношения между понятиями, устанавливается по содержанию и объему.
По содержанию: Для выяснения логических отношений между понятиями различают отношения
AÈA=A AÈ1=1
· Операция объединения (сложения) над классами, объемы которых находятся в разных отношениях:
Равнозначность: AÈB=A, AÈB=B
AÇ(BÇC)=(AÇB)ÇC AÇ1=A
AÇ0=A AÇB=ù (ùAÈùB)
· Операция пересечения (умножения) над классами, объемы которых находятся в разных отношениях:
Суждение как форма мышления
Суждение можно определить, как форму мысли, содержащую описание некоторой ситуации и утверждение или отрицание наличия этой ситуации в действительности, в связи с чем
Распределенность терминов в суждении
Распределенность терминов – это количественная характеристика субъекта и предиката в суждении.
Термин считается распределенным, если его объем либо по
Непосредственные умозаключения
Непосредственным называется умозаключение, в котором вывод делается из одной посылки путем преобразования исходного суждения по форме при сохранении смысла.
Спо
Правила терминов
1. В простом категорическом силлогизме должно быть три термина. Нарушение этого правила ведет к ошибке называемой «учетверение термина». Она происходит из-за н
Правила посылок
1. Из двух отрицательных посылок заключение не следует с необходимостью. Следовательно, одна из посылок должна быть утвердительной.
Нарушение этого правила можно продемонстрировать
Правильные (сильные) модусы
Модусы обозначаются тремя буквами, каждая из которых указывает тип суждения, играющего соответственно роль большей посылки, меньшей посылки и заключения.
· Модусы
Сокращенные, сложные и сложносокращенные силлогизмы
Наряду с простым категорическим силлогизмом существует различные виды сложных силлогизмов. Среди них, полисиллогизмы – сложные силлогизмы, представляющие собой так
Чисто-условный и условно-категорический силлогизмы
1. Чисто-условный силлогизм – это умозаключение, посылками и заключением которого являются условные суждения. Следует отметить, что заключение в данном виде силлогизма может
Виды индукции и их характеристика
Индукция – это такое умозаключение, где вывод делается от частного (или отдельного) к общему.
В самом общем виде структура индуктивного вывода тако
Аналогия
Выводы по аналогии – являются одной из самых распространенных форм правдоподобных умозаключений. Умозаключения по аналогии играют очень важную рол
Методы установления причинной связи
Общая характеристика причинной связи
Среди различных форм связи и взаимозависимости явлений природы и общества одно из важнейших мест занимает причинная свя
Виды аргументации
Аргументация – это форма мыслительной деятельности, цель которой состоит в обосновании утверждения об истинности или ложности некоторого высказывания, и, в особых случаях, об об
Уловки в процессе аргументации
В процессе аргументации, особенно в публичных дискуссиях, зачастую противоборствующие стороны используют уловки разного характера в целях обеспечения убедительности защищаемых ими положений.
ЧАСТЬ СЕДЬМАЯ. СОФИЗМЫ И ПАРАДОКСЫ
Логические ошибки могут быть и преднамеренными, и произвольными. Непреднамеренная ошибка называется паралогизмом и, как правило, она является результатом наруш
Хотите получать на электронную почту самые свежие новости?
Подпишитесь на Нашу рассылку
Наша политика приватности обеспечивает 100% безопасность и анонимность Ваших E-Mail
Новости и инфо для студентов