10. Условно-категорический силлогизм. Модус поненс и модус толленс.

Условно-категорическим называется такое умозаключение, в котором одна из посылок – условное, а другая посылка и заключение – категорические суждения.

Его логическая структура такова: Если А, то В; А => В.

Данный вид умозаключения имеет два модуса – утверждающий и отрицающий. Каждый из них встречается в двух формах: правильной и неправильной. В правильных формах выводы имеют достоверный характер, а в неправильных – вероятностный.

Правильная формула утверждающего модуса (поненс) – это разновидность условно-категорического умозаключения, в котором ход умозаключения направлен от утверждения основания условной посылки к утверждению следствия условной посылки (Если А, то В; А => В).

Неправильная форма утверждающего модуса (поненс) – это разновидность условно-категорического умозаключения, в котором ход умозаключения направлен от утверждения следствия к утверждению основания).

Правильная форма отрицающего модуса (толленс) – это разновидность условно-категорического умозаключения, в котором ход умозаключения направлен от отрицания следствия к отрицанию основания.

Неправильная форма отрицающего модуса (толленс) – это разновидность условно-категорического умозаключения, в котором ход умозаключения направлен от отрицания основания к отрицанию следствия.

11. Основополагающие логические принципы: принцип тождества, непротиворечивости, исключенного третьего, достаточного основания.

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

Рациональная ошибка – несоответствие субъективных представлений человека объективному положению вещей.

Принцип тождества: каждая объективно истинная и логически правильная мысль или понятие о предмете должны быть определенными и сохранять свою однозначность на протяжении всего рассуждения и вывода.

Запись закона: а есть а или а=а (для суждений)

А есть А или А=А (для понятий)

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

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

Запись закона: а не есть не-а.

Принцип исключенного третьего: два противоречащих суждения об одном и том же предмете, взятом в одно и то же время и в одном и том же отношении, не могут быть вместе истинными или ложными. Одно – необходимо истинно, а другое – ложно. Третьего быть не может.

Запись закона: или а, или не-а.

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

Запись закона: В есть потому, что есть А.

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