Логика и метаматематические исследования

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

www.tgoop.com/logic_metamathematics/918

393 viewsFeb 21 at 05:26

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

BY Логика и метаматематические исследования