Контрольная «тема Доказательство»,
Логика в Нижнем Новгороде

1.Можно ли считать доказательствами соответствующих тезисов следующие рассуждения: Если ниобий – металл, он пластичен. Ниобий - металл. Значит, он пластичен. Если число делится на 9, оно делится на 3. Число делится на 3. Значит, оно делится на 9. Если завтра будет холодно и сыро, мы пойдем в кино или в цирк. Но завтра не будет холодно и сыро. Значит, мы не пойдем ни в кино, ни в цирк. Если посылки правильного умозаключения истинны, то и его заключение истинно. Значит, если неверно, что заключение правильного умозаключения истинно, то неверно, что его посылки истинны. Ни один треугольник не является квадратом. Ни один квадрат не является трапецией. Значит, ни один треугольник не является трапецией. 2. По какой схеме идет доказательство? Является оно прямым или косвенным? Один английский экономист сказал: «Любая короткая фраза об экономике внутренне лжива». Но сама эта фраза, являющаяся короткой, есть фраза об экономике, точнее говоря, фраза о фразах об экономике. Как таковая, она тоже должна быть внутренне лживой. Но то, что она лжива, означает, что есть короткие фразы об экономике, не являющиеся лживыми. Следовательно, некоторые короткие фразы об экономике не являются внутренне лживыми. 3. Определите, какие ошибки допущены в следующих доказательствах: А) То, что должно быть, является добром. Но зло должно быть. Значит, зло есть добро. Б) Если бы не было времени, то не было бы ни одного дня. Если бы не было ни одного дня, то всегда стояла бы ночь. Но если бы всегда стояла ночь, было бы время. В) Что является естественным, то является хорошим. Делать ошибки естественно. Значит, делать ошибки хорошо. Г) Пегас есть крылатый конь. Следовательно, пегас есть (существует). Д) Вор не желает приобрести ничего дурного. Приобретение хорошего – дело хорошее. Следовательно, вор желает хорошего.