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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

14. Понятие научного термина. Предметность, однозначность, относительность терминов.

Научный термин: слово или словосочетание, являющееся названием некоторого понятия в области науки.

Предметность: символ есть термин лишь в том случае, если существует денотат данного символа (объект обозначения).

Однозначность термина: Термин не должен быть многозначным. Особенно неудобна в данном случае категориальная многозначность, когда в пределах одной терминосистемы одна и та же форма используется для обозначения операции и ее результата: облицовка (конструкция) и облицовка (операция), гидроизоляция (работа и конструкция); процесса и явления: обвал (в геологии), карст (там же); объекта и его описания: грамматика (строй языка) и грамматика (наука, описывающая этот строй). Упорядочивая терминологию, т. е. фиксируя значение каждого термина данной системы понятий, устанавливают однозначность термина.

Относительность термина: рассмотрение терминов во взаимосвязи, в сравнении.