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

2.Признав первое суждение в каждой паре нижеследующих суждений ложным , определите, что может быть высказано при этом условии относительно истинности (или ложности) второго суждения той же пары: «ни один атом не делим», «все атомы делимы»; «ни один ученик не может решить этой задачи», «некоторые ученики могут решить эту задачу»; «ни один ученик не может решить этой задачи», «каждый ученик может решить эту задачу»; «некоторые планеты светят собственным светом», «все планеты светят собственным светом»; «все змеи ядовиты», «ни одна змея не ядовита»; «у всех композиторов абсолютный слух», «у некоторых композиторов абсолютный слух»; «все композиторы были пианистами», «некоторые композиторы не были пианистами»; «все композиторы были пианистами», «ни один композитор не был пианистом»; «некоторые тела неизменны», «все тела изменчивы»; «некоторые тела неизменны», «некоторые тела изменчивы»; «все двигатели — двигатели внутреннего сгорания», «некоторые двигатели — двигатели внутреннего сгорания».

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

§ 1.Некоторые истины устанавливаются прямо, без всяких рассуждений, путём простого усмотрения того, что показывает наблюдение, или того, что представляется очевидным для мысли. Таковы суждения: «сейчас небо пасмурно»; «эта книга стоит на полке»; «целое больше своей части» и т. д. Истинность подобных суждений не приходится доказывать, так как она очевидна.

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

Логическое мышление осуществляется и тогда, когда высказываются очевидные истины, и тогда, когда истины не очевидны, а добываются более сложным путём. В последнем случае логическое мышление принимает форму рассуждения . Рассуждением называется ряд суждений, которые все относятся к определённому предмету или вопросу и которые идут одно за другим таким образом, что из предшествующих суждений необходимо вытекают или следуют другие, а в результате получается ответ на поставленный вопрос. Что организм состоит из клеток, что площадь треугольника равняется половине произведения основания на высоту, что Пётр I был одним из величайших русских государственных деятелей — все эти и многие другие суждения не просто провозглашаются в качестве истин, но обосновываются при помощи особых рассуждений.

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

Во множестве случаев мы даже не можем убедиться в истинности данного суждения до тех пор, пока мы не рассмотрим его отношения к другим суждениям. Предположим, например, что мы не знаем, какая связь существует между понятием «бамбуки» и понятием «растения, цветущие колосками». Цветут ли бамбуки так же, как цветут рожь, пшеница, или же формой соцветия бамбуков не являются колоски?

До тех пор, пока мы рассматриваем только отношение между понятием «бамбуки» и понятием «цветущие колосками», мы не можем ответить на поставленный вопрос и, следовательно, не можем сказать, в каком отношении находятся «бамбуки» к «цветущим колосками». Станем теперь поступать иначе. Рассмотрим, до того ещё как отвечать на поставленный вопрос, два другие суждения: «все бамбуки — злаки» и «все злаки цветут колосками». Предположим, что мы уже убедились ранее в истинности этих двух суждений. Но если нам известно, что все бамбуки — злаки и что все злаки цветут колосками, то можем ли мы сказать что-нибудь об отношении понятия «бамбуки» к понятию «цветущие колосками»? — Очевидно, можем. Основываясь на том, что все бамбуки — злаки и что все злаки цветут колосками, мы можем высказать суждение: «все бамбуки цветут колосками». Суждение это будет истинным. Но истинность этого суждения мы усмотрели не прямо. Из понятий «бамбуки» и «цветущие колосками» мы не могли сразу видеть, каким будет отношение между этими понятиями.