Выше я сказал, что мне пришлось расширить сферу внимания логики с ориентацией на язык опытных наук, включая науки социальные. Я имею в виду множество языковых выражений, фигурирующих в наше время в опытных науках и в общеразговорных языках. Я их называю логическими терминами (в отличие от логических операторов), поскольку они могут быть определены достаточно полно и точно лишь в сфере профессиональной логики, а в отличие от логических операторов для определения их необходимо установление их смысла. Приведу примеры таких терминов: предмет, признак, событие, состояние, организация, порядок, движение, изменение, переход, объединение, группа, комплекс, скопление, иерархия, качество, количество, величина, степень, структура, отношение, связь, прогресс, регресс, эволюция, развитие, скачок, тип, часть, целое, клеточка, необходимость, случайность, возможность, закон, время, пространство, настоящее, прошлое, будущее, становление, интеграция, дезинтеграция, подъем, спад, простое, сложное, содержание, форма, норма, отклонение, дивергенция, конвергенция, сущность, явление и т.п. Такого рода общих языковых выражений насчитываются многие десятки. Они употребляются с весьма смутным смыслом, просто как слова общеразговорного языка, а не как научные термины, в лучшем случае - как термины той или иной конкретной сферы науки. Многие из таких слов фигурируют в философских и социологических сочинениях как специальные термины (например, как «категории» диалектического материализма). Но мне не встретился ни один случай, когда они были бы определены в соответствии с критериями логики. Впрочем, в самой логике и методологии науки положение таково, что найти там такие критерии невозможно.
Рассмотрим такой пример. На вопрос о том, может ли физическое тело одновременно находиться в разных местах, обычно отвечают отрицательно: не может. Но почему? На этот вопрос обычно отвечают: так устроен мир. Но дело тут не в устройстве мира. Да и откуда взять гарантии, что наше утверждение будет верно на все времена в прошлом и в будущем и во всех местах пространства? Наша уверенность в том, что физическое тело не может одновременно находиться в разных местах, есть логическое следствие неявного определения выражений «разные места» и «физическое тело». В самом деле, в каком случае места (области пространства) считаются разными? Неявно предполагается, что два места А и В различны, если и только если они не имеют общих точек. Но реальные «точки» суть физические тела. Так что если определение выражения «разные места» записать явно (эксплицировать), то получим следующее. Два места А и В считаются (называются) разными местами, если и только если для любого физического тела Х имеет силу утверждение: если Х находится в одном из А и В, то в то же самое время оно не находится в другом из них. Из этого определения логически следует, что физическое тело не может одновременно находиться в разных местах. Но стоит дать более слабое определение разных мест (например, два места А и В различны, если и только если по крайней мере для одного физического тела имеет силу утверждение: если оно находится в одном из А и В, то оно не находится в другом), как окажется возможным логически такое, что некоторое тело может находиться одновременно в разных местах.
