Билет № 11
1. Условно-категоричсекое умозаключение, его модусы и роль в познании. Условно-категорическим называется умозаключение, в котором одна из посылок - условное, а другая посылка и заключение — категорические суждения. Это умозаключение имеет два правильных модуса: 1) утверждающий и 2) отрицающий. 1. В утверждающем модусе (modus ponens) посылка, выраженная категорическим суждением, утверждает истинность основания условной посылки, а заключение утверждает истинность следствия; рассуждение направлено от утверждения истинности основания к утверждению истинности следствия.
p->q, p
q
2. В отрицающем модусе (modus tollens) посылка, выраженная категорическим суждением, отрицает истинность следствия условной посылки, а заключение отрицает истинность основания. Рассуждение направлено от отрицания истинности следствия к отрицанию истинности основания. Например: Если иск предъявлен недееспособным лицом (р), то суд оставляет иск без рассмотрения (q)
Суд не оставил иск без рассмотрения (не-q) Неверно, что иск предъявлен недееспособным лицом (не-р) . Схема отрицающего модуса:
p->q, 7q
7p Нетрудно установить, что возможны еще две разновидности условно-категорического силлогизма: от отрицания истинности основания к отрицанию истинности следствия (3) и от утверждения истинности следствия к утверждению истинности основания(4), т.е.:
(3) p ->q, 7p
7q
(4) p -> q, q
p Однако заключение по этим модусам не будет достоверными Доверные заключения дают два: утверждающий (modus ponens) (1) и отрицающий (modus tollens) (2). Они выражают законы логики и называются правильными модусами условно-категорического умозаключения. Эти модусы подчиняются правилу: утверждение основания ведет к утверждению следствия и отрицание следствия — к отрицанию основания. Два других модуса (3 и 4) достоверных заключений не дают. Они называются неправильными модусами и подчиняются правилу: отрицание основания не ведет с необходимостью к отрицанию следствия и утверждение следствия не ведет с необходимостью к утверждению основания
Если большая посылка является эквивалентным суждением: р = q (если, и только если р, то q), где = — знак эквивалентности, то достоверные заключения получаются по всем четырем модусам:
P=q,P . P=q,-|q . Р = q,-| Р . Р=q,q
q -|Р -|q p Рассмотрим для примера выделяющее условное суждение: «Если лицо виновно в совершении преступления, то оно подлежит уголовной ответственности». Нетрудно установить, что достоверное заключение получается по любому из приведенных модусов.
2. Научная индукция: метод остатков. Применение метода связано с установлением причины, вызывающей определенную часть сложного действия при условии, что причины, вызывающие другие части этого действия, уже выявлены. Схема рассуждения по методу остатков имеет следующий вид:
1) АВС вызывает xyz
2) А вызывает х
3) В вызывает у
Вероятно,С вызывает z. Методом остатков был сделан вывод о существовании некоторых химических элементов — гелия, рубидия и др. Предположение основывалось на результатах, полученных в процессе спектрального анализа: были обнаружены новые линии, которые не принадлежали ни одному из уже известных химических элементов. В практике научных и обычных рассуждений часто встречается модифицированный вывод по методу остатков, когда по известному действию заключают о существовании новой по отношению к уже известной причины. Например, Мария Склодовская-Кюри, установив, что некоторые урановые руды испускают радиоактивные лучи, превышающие по интенсивности излучение урана, пришла к выводу, что в этих соединениях имеются какие-то новые вещества. Так были открыты новые радиоактивные элементы: полоний и радий. Схема модифицированного рассуждения по методу остатков имеет следующий вид:
1) АВС вызывает abсd
2) А вызывает а
3) В вызывает b
4) С вызывает с
Вероятно, существует некий X, который вызывает d. Подобно другим индуктивным выводам метод остатков дает, как правило, проблематичное знание. Степень вероятности заключения в таком выводе определяется, во-первых, точностью знаний о предшествующих обстоятельствах, среди которых идет поиск причины исследуемого явления, во-вторых, точностью знания о степени влияния каждой из известных причин на совокупный результат. Приблизительный и неточный перечень предшествующих обстоятельств, как и неточное представление о влиянии каждой из известных причин на совокупное действие, может привести к тому, что в заключении вывода в качестве неизвестной причины будет представлено не необходимое, а лишь сопутствующее обстоятельство. Рассуждения по методу остатков нередко используются в процессе расследования преступлений, главным образом в тех случаях, когда устанавливают явную несоразмерность причин исследуемым действиям. Если действие по своему объему, масштабу или интенсивности не соответствует известной причине, то ставится вопрос о существовании каких-то других обстоятельств. Например, по уголовному делу о хищении товаров со склада обвиняемый признал факт хищения и показал, что он в одиночку вынес со склада похищенную вещь. Проведенной проверкой было установлено, что вынести такую тяжелую вещь не под силу одному человеку. Следователь пришел к выводу об участии в хищении других лиц, в связи с чем менялась и квалификация деяния. Рассмотренные методы установления причинных связей по своей логической структуре относятся к сложным рассуждениям, в которых собственно индуктивные обобщения строятся с участием дедуктивных выводов. Опираясь на свойства причинной связи, дедукция выступает логическим средством элиминации (исключения) случайных обстоятельств, тем самым она логически корректирует и направляет индуктивное обобщение. Взаимосвязь индукции и дедукции обеспечивает логическую состоятельность рассуждений при применении методов, а точность выраженного в посылках знания определяет степень обоснованности получаемых заключений.