Широкую известность получил случай с древнегреческим философом Диогеном, которого однажды, как говорит предание, за подмену тезиса в споре даже побили. Его оппонент утверждал, что в мире, как он представляется нашему мышлению, движение невозможно. В качестве возражения Диоген встал и начал не спеша ходить. Подмена тезиса была очевидной. Речь шла о том, что для человеческого ума мир неподвижен. Диоген же своей ходьбой пытался подтвердить другую мысль: в чувственно воспринимаемом мире движение есть. Но это и не оспаривалось. Сторонник идеи, что движения нет, считал, что чувства, свидетельствующие о противоположном, просто обманывают нас. Разумеется, мнение, будто движения нет, ошибочно, как ошибочна идея, что чувства не дают нам правильного представления о мире. Но раз обсуждалось такое мнение, нужно было говорить о нем, а не о чем-то ином, хотя бы и верном.

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

Неправильным является, в частности, рассуждение: «Если страна развитая, она имеет многопартийную политическую систему; в Англии многопартийная политическая система; значит, Англия – развитая страна». Заключение является верным, но оно не следует из принятых посылок. Нельзя рассуждать по схеме: «если есть первое, то есть и второе; есть второе; значит, есть первое». Эта схема не представляет собой закона логики и не обеспечивает истинности следствия при истинных посылках.

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