Имеется четыре вида отношений между основными суждениями: противности(контрарные), противоречивости(контрадикторные), подпротивности (субконтрарные), подчинения. Контрарные отношения существуют между суждениями, которые не могут быть вместе истинными (если одно истинно, то другое ложно), но оба вместе могут быть ложными. Контрадикторные отношения существуют между суждениями, которые вместе не могут быть ни истинными, ни ложными (из двух суждений, находящихся в контрадикторных отношениях, одно и только одно истинно, другое непременно ложно). Суждения, находящие в отношениях субконтрарности. не могут быть одновременно ложными. но могут быть одновременно истинными. Отношения, которые существуют между общим и частным суждениями соответствующего качества, называются отношениями подчинения. Из истинности общего суждения следует истинность подчиненного ему частного суждения: из истинности частного суждения не следует истинность соответствующего ему общего суждения; из ложности общего суждения не следует ни истинность, ни ложность подчиненного ему частного суждения. Умозаключение - форма мышления, которая обеспечивает получение из одного или нескольких суждений нового суждения. Исходные суждения называются посылками, новое суждение - выводом. Для того чтобы из одного или нескольких суждений был возможен вывод нового суждения, между ними должна существовать логическая связь, которую и отражает умозаключение. Истинность выводов в умозаключении зависит от истинности посылок и правильности применения законов мышления. Только соблюдение обоих этих условий может привести к правильному выводу. Умозаключение вероятности - это умозаключение, в выводе которого содержится вероятное знание, умозаключение достоверности в выводе содержит достоверное(аподиктическое или ассерторическое)знание, умозаключение модальности основано на, изменении модальности суждений, образующих посылки и вывод. Можно умозаключать от 1) необходимого к действительному и возможному, 2) невозможного к недействительному, 3) невозможного к недействительному и ненеобходимому. Ошибочно умозаключать от 1) возможного к действительному, 2) действительного к необходимому, 3) от ненеобходимого к недействительному, 4) от недействительного к невозможному. Умозаключения подразделяются на непосредственные и опосредствованные. Непосредственными умозаключениями являются те, в которых делается вывод из одной посылки. Кроме тех непосредственных умозаключений, о которых мы уже упомянули, выделяют еще умозаключения обращения и превращения. При обращении субъект вывода является предикатом посылки, и наоборот. Правила умозаключений, являющихся обращениями. следующие: — 116 —
|