Цитаты из книги «Удивительная логика»

Б́ольшая часть современного научного знания построена с помощью гипотетико-дедуктивного метода, предполагающего выполнение алгоритма, который состоит из четырех звеньев. Сначала обнаруживаются определенные факты, относящиеся к какой-то области действительности. Затем выдвигается первоначальная гипотеза, обычно называемая рабочей, которая на основе некоей повторяемости найденных фактов конструирует наиболее простое их объяснение. Далее устанавливаются факты, которые не встраиваются (не вписываются) в него. И наконец, уже с учетом этих выпадающих из первоначального объяснения фактов, создается новая, более разработанная, или научная, гипотеза, которая не только согласует все имеющиеся эмпирические данные, но и позволяет предсказать получение новых, или, говоря иначе, из которой можно вывести (дедуцировать) все известные факты, а также указать на неизвестные (т. е. пока не открытые).

Искусство ведения спора, как и раздел логики, посвященный изучению его условий, закономерностей, методов и приемов, называется эристикой (от греч. eristikos – «спорящий»).

Отдельной группой парадоксов являются апории (от греч. aporia – «затруднение, недоумение») – рассуждения, которые показывают противоречия между тем, что мы воспринимаем органами чувств (видим, слышим, осязаем и т. п.), и тем, что можно мысленно проанализировать (проще говоря – противоречия между видимым и мыслимым).

Парадоксы «лжеца» и «деревенского парикмахера» вместе с другими подобными им парадоксами также называют антиномиями (от греч. antinomia – «противоречие в законе»), т. е. рассуждениями, в которых доказывается, что два высказывания, отрицающие друг друга, вытекают одно из другого.

От софизмов следует отличать паралогизмы (от греч. paralogismus – «неправильное рассуждение») – логические ошибки, допускаемые непроизвольно, в силу незнания, невнимательности или иных причин.

софизмы (от греч. sophisma – «измышление, хитрость»)

Закон тождества утверждает, что любая мысль (любое рассуждение) обязательно должна быть равна (тождественна) самой себе, т. е. она должна быть ясной, точной, простой, определенной.

Предмет А имеет признаки а, b, с, d. Предмет В имеет признаки а, b, с. => Вероятно, предмет В имеет признак d. В данной схеме А и В – это сравниваемые или уподобляемые друг другу предметы (объекты); а, b, с – сходные признаки; d – это переносимый признак.

Набор простых суждений, входящих в силлогизм, называется модусом простого силлогизма

Все дедуктивные умозаключения называются силлогизмами