Тема 7. Дедуктивные умозаключения
Умозаключение - это мыслительный процесс, в котором из одного или нескольких суждений, называемых посылками, выводится новое суждение, называемое следствием или заключением, например, в умозаключении «Все рыбы живут в воде, следовательно, среди обитателей воды есть рыбы», «все рыбы живут в воде» это посылка, а «среди обитателей воды есть рыбы» – заключение. Различают дедуктивные и недедуктивные умозаключения. Дедуктивным называется умозаключение, в котором из истинных посылок с необходимостью следует истинный вывод. В основе дедуктивного умозаключения лежит отношение логического следования (подчинения) между посылками и заключением; поэтому здесь, как правило, посылки умозаключения по степени общности превосходят заключение. Среди дедуктивных выделяют непосредственные умозаключения, категорический силлогизм и его производные, условные, разделительные и условно-разделительные умозаключения. Недедуктивными называют умозаключения, имеющее такие связи между посылками, которые не гарантируют истинности заключения при истинных посылках. В недедуктивных умозаключениях, к которым относят индуктивные умозаключения, умозаключения по аналогии, отношение логического следствия отсутствует, и заключение по общности превосходит посылки. Необходимо уметь различать виды умозаключений и степень их достоверности.
Среди дедуктивных умозаключений центральным считается простой категорический силлогизм – умозаключение, в котором из двух категорических суждений выводится третье категорическое суждение. Например: «Все металлы электропроводны; медь – металл, следовательно, медь электропроводна». Категорический силлогизм содержит три термина, два из которых (крайние термины) связаны определенным отношением с термином, общим для обеих посылок. Этот термин носит название среднего (обозначается буквой М), в нашем примере данным термином является металл. Субъект вывода называют меньшим термином (S), в нашем примере это медь, предикат вывода — большим термином (Р), в нашем примере это электропроводник. При этом посылка, содержащая больший термин, называется большей, а посылка, содержащая меньший термин, — меньшей.
Для получения достоверного заключения из истинных посылок необходимо соблюдать общие правила силлогизма:
терминов должно быть в силлогизме только три;
средний термин должен быть распределен хотя бы в одной из посылок;
термин, не распределенный в посылке, не может быть распределен в выводе.
из двух отрицательных, равно как и частных посылок, нельзя сделать никакого заключения;
если одна из посылок является отрицательным или частным суждением, то и заключение должно быть, соответственно, отрицательным или частным суждением.
По месту, который занимает средний термин, различают четыре фигуры категорического силлогизма, каждая из которых имеет собственные правила и модусы, т. е. разновидности в зависимости от количественной и качественной характеристик суждений, входящих в его состав. В первой фигуре средний термин является субъектом большей посылки и предикатом меньшей; во второй фигуре – предикат обеих посылок; в третьей фигуре – субъект обеих посылок; в четвертой фигуре – предикат большей и субъект меньшей посылок. В первой фигуре большая посылка должна быть общей, а меньшая – утвердительной; Во второй фигуре большая посылка должна быть общей, а одна из посылок – отрицательной. В третей фигуре меньшая посылка должна быть утвердительным, а заключение – частным суждениями. В четвертой фигуре если большая посылка – утвердительное суждение, то меньшая должна быть общим, а если одна из посылок – отрицательная, то большая посылка должна быть общей.
Среди дедуктивных умозаключений различают выводы, в которых одна или несколько посылок являются сложными суждениями. К таким умозаключениям относят:
1) чисто условное умозаключение, посылки и заключение которого являются условными суждениями. При этом действует правило, согласно которому следствие следствия является следствием основания. Например, если давление растет, то осадки маловероятны; если осадки маловероятны, то мы пойдем в лес; следовательно, если давление будет расти, мы пойдем в лес. Чисто условное умозаключение может содержать неограниченно большое число посылок, но при его построении необходимо следить за тем, чтобы основанием каждой последующей посылки было следствие предыдущей;
2) условно-категорическое умозаключение, одна из посылок которого условное, а вторая — категорическое суждение. Это умозаключение имеет два достоверных модуса: утверждающий, при котором утверждение истинности основания импликации ведет к утверждению ее следствия, например, «если пойдет дождь, то тротуары намокнут; дождь прошел, следовательно, тротуары мокрые»; и отрицающий, при котором отрицание следствия импликации ведет к отрицанию ее основания: например, «если пойдет дождь, то тротуары намокнут; тротуары сухие, следовательно, дождя не было». Достоверные модусы следует отличать от недостоверных. В утверждающем модусе к заключению ведет утверждение истинности следствия, а в отрицающем – отрицание истинности основания. Такие модусы ведут лишь к вероятностным заключениям;
3) разделительно-категорическое умозаключение, где одна из посылок — разделительное суждение, а вторая — категорическое. Оно имеет два модуса: утверждающе-отрицающий, где утверждение истинности какого-либо члена дизъюнкции ведет к отрицанию остальных ее членов. Например, преступник мог выпрыгнуть в окно или выбежать через дверь; под окном обнаружены его следы, следовательно, через дверь он не выходил. Этот модус является правильным только для строгой дизъюнкции. Второй модус — отрицающе-утверждающий, при котором отрицание какого-либо члена дизъюнкции ведет к утверждению истинности остальных ее членов. Например, преступник мог выпрыгнуть в окно или выбежать через дверь; под окном не обнаружено его следов, следовательно, он вышел через дверь. Этот модус является правильным как для строгой, так и для нестрогой дизъюнкций.
Что такое умозаключение и каковы важнейшие элементы этой формы мышления; чем дедуктивные умозаключения отличаются от недедуктивных?
Что такое простой категорический силлогизм, каков его состав, фигуры и правила?
Каковы разновидности и условия правильности выводов из сложных суждений?
Какое умозаключение называется условно-разделительным?