Валентин Асмус - ЛОГИКА

«Все сильные шахматисты хорошо знают теорию шахматной игры, Николаев — не сильный шахматист, следовательно, Николаев не знает теории шахматной игры»; «Все умеющие играть в хоккей — конькобежцы, Сергеев — не конькобежец, следовательно, Сергеев не умеет играть в хоккей»; «Белые ночи наблюдаются не южнее параллели Полтавы, Киев находится не южнее параллели Полтавы, следовательно, в Киеве наблюдаются белые ночи»; «Некоторые растения размножаются спорами, все папоротники — растения, следовательно, все папоротники размножаются спорами»; «Все папоротники — споровые, все хвощи — споровые, следовательно, некоторые хвощи — папоротники»; «Все герои Советского Союза награждаются орденом Ленина, товарищ N награждён орденом Ленина, следовательно, товарищ N — Герой Советского Союза»; «Тяжёлые бомбардировщики не бывают одномоторные, самолёт Михайлова — одномоторный, следовательно, самолёт Михайлова — не тяжёлый бомбардировщик»; «Все членистоногие — беспозвоночные, все пауки — членистоногие, следовательно, все пауки— беспозвоночные»; «У всех рек нашего полушария, текущих с севера на юг, правый берег гористый, а левый — низменный, река Днепр — одна из рек нашего полушария, текущих с севера на юг, следовательно, правый берег Днепра — гористый, а левый—низменный»; «Во всех древнеиндийских рукописях слова не отделяются одно от другого, в этой рукописи слова не отделяются одно от другого, следовательно, эта рукопись — древнеиндийская»; «Газовые фонтаны являются признаком близких нефтерождений, в посёлке N забил газовый фонтан, следовательно, вблизи посёлка N имеются нефтерождения; «Все великие учёные — глубокомысленные люди, все великие учёные рассеянные люди, следовательно, некоторые рассеянные люди — глубокомысленные люди»; «Все планеты имеют быстрое видимое движение, ни одна планета — не звезда, следовательно, некоторые звёзды не имеют быстрого видимого движения» .

§ 1.Кроме простых категорических силлогизмов существуют ещё условные и разделительные силлогизмы.

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

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

Но силлогизм возможен и в том случае, если истины, выражаемые его посылками, стоят в зависимости от условий, которые тут же, в самих посылках, указываются и отмечаются в самой форме суждения.

Рассмотрим, например, умозаключение:

Это умозаключение — силлогизм. В нём выясняется в выводе отношение между двумя понятиями (понятием «угол АСВ » и понятием «прямой угол»). Отношение это раскрывается через отношение каждого из обоих понятий к третьему понятию (понятию «вписанный в круг угол, опирающийся на диаметр круга»).

Как всякое умозаключение из двух посылок, умозаключение это — простой силлогизм. Однако, в отличие от простого категорического силлогизма, где обе посылки — категорические , в нашем примере силлогизм имеет другое строение.

Одна из посылок нашего силлогизма — вторая — есть суждение категорическое. Посылка эта устанавливает отношение принадлежности угла АСВ к углам, опирающимся на диаметр круга. Отношение это мыслится здесь как нечто, уже установленное и не зависящее ни от каких условий.

Напротив, первая посылка нашего силлогизма есть суждение условное . В посылке этой принадлежность угла к прямым углам высказывается не безусловно, но как такое отношение, которое имеет место при условии, если вписанный угол опирается на диаметр круга. Условие это тут же указывается, и наличие условия отмечается уже самой формой посылки, которая есть суждение условное.

Сопоставляя обе посылки и находя (из второй посылки), что указанное в первой посылке общее условие во второй посылке имеет место, мы в выводе заключаем — на этот раз уже категорически, а не только условно, — что данный угол АСВ есть прямой.

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

§ 2.В условном силлогизме по крайней мере одна из посылок — условная. Что касается другой посылки, то она может быть либо условной, либо категорической.

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

Рассмотрим, например, такое умозаключение:

Это умозаключение — чисто условный силлогизм, в котором отношение S к Р выводится из отношения этих понятий к понятию М («центробежная сила, развивающаяся при вращении земли»).

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

С другой стороны, зависимость мыслимого в заключении отношения от сформулированного в самом же заключении условия устанавливается не непосредственно. Уже в первой посылке вращение земли вокруг оси мыслится как некоторое условие, а именно как условие развития центробежной силы.