- Заглавие: ПРАВИЛА ВЫВОДА
- Год актуализации: 2017
- УДК: 10 Философия
- ББК: 87 Философия
- Тематики:
- ПЕДАГОГИКА И ОБРАЗОВАНИЕ. ОРГАНИЗАЦИЯ НАУКИ. МУЗЕЙНОЕ ДЕЛО. КОЛЛЕКЦИОНИРОВАНИЕ
- ФИЛОСОФИЯ
- Биб. карточка:
ПРАВИЛА ВЫВОДА [Специальная и общая философия науки. Энц.словарь:Словарь / В.А.Канке-М.:НИЦ ИНФРА-М,2017.-630 с.(П)]
- Источник публикации: Специальная и общая философия науки: энциклопедический словарь
- Фрагмент статьи: ПРАВИЛА ВЫВОДА — правила, по которым из посылок получают заключения. Такими правилами являются, в частности, правило подстановки и правило заключения. Первое состоит в том, что при некоторых условиях, которые мы в данном случае не оговариваем, если истинная формула содержит букву А, то допустимо ее всюду заменять произвольной формулой. В результате такой подстановки получается вновь истинная формула. Правило заключения состоит в том, что если A и A → B (A влечет B) являются истинными формулами, то истинно и B.