<<
>>

4.4. Правила выводов логики высказываний

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

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

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

Схема правил вывода:

посьшки

А, А2 Аз

А„

В

заключение

Данная схема означает, что из посылок вида А}, А2, А-,...Ап

можно вывести заключение В.

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

<< | >>
Источник: М.Д. Купарашвили, А.В. Нехаев, В.И. Разумов, Н.А. Черняк.. Логика: учебное пособие М.Д. Купарашвили, А.В. Нехаев, В.И. Разумов, Н.А. Черняк. - Омск: Изд-во ОмГУ,2004. - 124 с.. 2004

Еще по теме 4.4. Правила выводов логики высказываний:

  1. Интуиционистская логика (высказываний
  2. Язык и логика высказываний
  3. § 1. Язык классической логики высказываний: алфавит и определение правильно построенной формулы
  4. § 3. Формализация логики высказываний методом аналитических таблиц
  5. Классическая логика высказываний
  6. Правила построения формул логики предикатов
  7. Выводы, касающиеся политической логики
  8. ЧАСТЬ ЧЕТВЕРТАЯ. УМОЗАКЛЮЧЕНИЯ ЛОГИКИ СУЖДЕНИЙ. ВЫВОДЫ ИЗ СЛОЖНЫХ СУЖДЕНИЙ
  9. УМОЗАКЛЮЧЕНИЯ ЛОГИКИ СУЖДЕНИЙ. ВЫВОДЫ ИЗ СЛОЖНЫХ СУЖДЕНИЙ
  10. КЛАУС ШУБЕРТ ЛОГИКА СТРУКТУРЫ, ЛОГИКА СУБЪЕКТОВ И ЛОГИКА ИННОВАЦИИ: КОНЦЕПЦИИ СЕТЕЙ И АНАЛИЗ СФЕР ПОЛИТИКИ
  11. Выведите, если возможно, заключение по правилам силлогизма. Если вывод невозможен, определите какие правила (общие /посылок, терминов/ и частные/фигур/) нарушаются.
  12. 32. Условно-категорический силлогизм. Сделать вывод, записать формулу, определить модус и характер вывода.
  13. Задания 34: Разделительно-категорическое умозаключение. Сделайте вывод. Запишите формулу,определите модус и характер вывода.
  14. § 4. Натуральное исчисление высказываний
  15. Разделительно-категорическое умозаключение. Сделайте вывод. Запишите формулу, определите модус и характер вывода.
  16. «ЛОГИКА ПОР-РОЯЛЯ» И ЕЕ МЕСТО В ИСТОРИИ ЛОГИКИ
  17. Задание 36. Определите вид дилеммы. Сделайте вывод, постройте схему. Определите характер вывода.
  18. «Ты»- и «Я»-высказывания -48-