Правило отделения. В математике посылками служат в конечном счете аксиомы, принимаемые истинными без доказательства, постольку само доказательство сводится к проверке правильности логического вывода

  Вся электронная библиотека >>>

 Логика и аргументация

 

 

 

Логика и аргументация

Учебное пособие для вузов


Раздел: Учебники



 

Правило отделения

 

Правило отделения (modus ponens – МР) разрешает из двух высказываний вида А и АВ, как посылок, вывести заключение В. Схематически это правило можно представить так:

А, АВ

В

Горизонтальная черта здесь отделяет заключение от посылок. В качестве посылок выступают антецедент А и сама импликация АВ, заключением служит консеквент импликации. Таким образом, это правило разрешает нам отделить заключение от его посылок как самостоятельное знание. Так, в математике мы постоянно формулируем теоремы без указания тех посылок, из которых они выведены. Если при доказательстве ограничиваются только правилом отделения, тогда для этого необходимо убедиться в истинности посылок и правильности логического вывода. Поскольку в математике посылками служат в конечном счете аксиомы, принимаемые истинными без доказательства, постольку само доказательство сводится к проверке правильности логического вывода. В эмпирических науках, кроме того, необходимо обосновать истинность посылок, которыми могут служить различного рода допущения (эмпирические законы или обобщения, гипотезы, принципы, постулаты или даже целые теории).

 

 

 

 

 

 

 

 

  

К содержанию:  Логика и аргументация: пособие для вузов

 

Смотрите также:

 

Логика

 

Логика. Принципы логики. Законы формальной логики.

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

 

Логика и научный метод. Систематизация методов построения теорий...

формальной логики к решению повседневных проблем, с которыми я. сталкиваюсь и как человек, и как ученый? Если подумать, меня. большему научила практика, а не логика.

 

Формальная и полуинтуитивная логика. Абстрактные критерии. Проблемы...

служит нам основным ориентиром в лабораторной практике. Та полуинтуитивная логика, которой пользуется каждый.

 

...и книги Милля. Основания политической экономии. Система логики....

позитивизма, последователь Огюста Конта. В "Системе логики" (т 1-2,1843) разработал.сменялась логикой, логика математикой, математика языками.

 

...Чарлза Пирса. Основатель семиотики. Американский философ, логик...

Американский философ, логик, математик, естествоиспытатель Родоначальник. прагматизма Выдвинул принцип, согласно которому содержание понятия целиком.

 

Основные логические законы в русском языке. Логические законы.

Поэтому говорят не просто о законах логики, а о законах и правилах логики (см. об этом: Свинцов В.И. Логика.

 

Общий характер философии Аристотеля и сравнение ее с философией...

Этим он оказал величайшую услугу -знанию. Указав философии новую цель, Аристотель дал ей и средства для достижения этой дели, которое заключаются в его логике.

 

Интуиция - что это такое

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

 

...аспекты философского анализа. Аналитическая философия и логика....

На начальном этапе эти взаимоотношения были максимально тесными (упомянем хотя бы позицию раннего Рассела, считавшего логику "сущностью философии").

 

...Биография и сочинения Гегеля. Феноменология духа, Наука логики...

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

 

Последние добавления:

 

 Педагогика

Деловая психология

Политология

Политология Западная и Восточная традиции