Читаем Логика полностью

Возникает, однако, вопрос: благодаря каким свойствам математических понятий парадоксы, подобные описанным, не могут появиться в математике? В чем состоит та особая жесткость математических объектов, которая дает возможность распространить на них математическую индукцию? Или, говоря иначе, какие именно объекты являются "математическими", подпадающими под действие принципа математической индукции?

Из этих вопросов можно сделать, в частности, вывод, что при обосновании математики принцип математической индукции не должен приниматься в качестве самоочевидного и исходного.

Оказывается в итоге, что древние парадоксы, касающиеся неточных имен, перекликаются с самыми современными спорами по поводу оснований математики.

Неточными являются не только эмпирические имена, подобные "дому", "куче", "старику" и т. д., но и многие теоретические имена, такие как "идеальный газ", "материальная точка" и т. д.

Характерная особенность неточных имен заключается в том, что с их помощью можно конструировать неразрешимые высказывания. Относительно таких высказываний невозможно решить, истинны они или нет, как, скажем, в случае высказываний: "Человек тридцати лет молод" и "Тридцать лет — это средний возраст".

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

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

Особенно остро стоит в этом плане вопрос о приложимости к эмпирической реальности наиболее абстрактных теорий — логических и математических.

Эти мнения являются, конечно, крайними. Но они хорошо подчеркивают серьезность тех проблем, которые связаны с неточностью имен.

Иногда неточные имена, подобные "молодому", удается устранить. Как правило, это бывает в практических ситуациях, требующих однозначности и точности и не мирящихся с колебаниями.

Можно, во-первых, прибегнуть к соглашению и ввести вместо неопределенного имени новое имя со строго определенными границами.