Словари

Архитектурный словарь
Бизнес словарь
Биографический словарь
Медицинский словарь
Морской словарь
Психологический словарь
Религиозный словарь
Сексологический словарь
Словарь Даля
Словарь имён
Словарь компьютерного жаргона
Словарь логики
Словарь мер
Словарь нумизмата
Словарь Русских фамилий
Словарь символов
Словарь синонимов
Строительный словарь
Финансовый словарь
Энциклопедический словарь
Этнографический словарь


А Б В Г Д Е Ж З И К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Э Ю Я Ы

Словарь логики

    (всего слов: 420)

Приведение К Абсурду

или: Редукция к абсурду, приведение к нелепости (лат. reductio ad absurdum),  — рас­суждение, показывающее ошибочность какого-то положения путем выведения из него абсурда, т. е. противоречия. Если из высказывания А выводится как высказывание B, так и его отрицание, то верным является отрицание A. Напр., из высказывания «Треугольник — это окружность» вытекает как то, что треугольник имеет углы (так как быть треугольником значит иметь три угла), так и то, что у него нет углов (поскольку он окружность); следовательно, верным явля­ется не исходное высказывание, а его отрицание «Треугольник не является окружностью». Закон П. к а. с применением символики логической (р, q — некото­рые высказывания; —> импликация, «если, то»; ~ отрицание, «не­верно, что») представляется формулой: (р -> q) -> ((р -> ~ q) -> ~ р), если (если р, то q), то (если (если р, то не-q), то не-р).  представля­ется формулой: (р -> р) -> ~ р, если (если р, то не-р), то не-р. Напр., из положения «Всякое правило имеет исключения», которое само является правилом, вытекает выс­казывание «Есть правила, не имеющие исключений»; значит, после­днее высказывание истинно. В романе И. С. Тургенева «Рудин» име­ется такой диалог: «— Стало быть, по-вашему, убеждений нет? - Нет и не существует. — Это ваше убеждение? — Да. — Как же вы говори­те, что их нет? Вот вам уже одно на первый случай». Ошибочному мнению, что никаких убеждений нет, противопоставляется его отри­цание: есть по крайней мере одно убеждение, а именно — что убеж­дений нет. Коль скоро утверждение «Убеждения существуют» выте­кает из своего собственного отрицания, это утверждение, а не его отрицание, является истинным.


назад