Логические парадоксы и их роль в математическом моделировании

Abstract

Даётся краткое изложение существа и истории вопроса о роли логических парадоксов, а также значения противоречивых моделей в оптимизации и классификации. Рассмотрены парадоксы в теории множеств, причина которых в использовании понятия актуальной бесконечности и в перенесении методов, пригодных для конечных множеств, на множества бесконечные. Некоторые логические парадоксы связываются с несобственными системами предикатов, т. е. такими несовместными системами предикатов, поставить которым в соответствие можно лишь несобственный объект. Рассматривается путь анализа таких парадоксов, состоящий в расширении имеющихся представлений об объектах, в ослаблении накладываемых при определении объекта требований, в расширении смысла понятия «существование». Рассматривается моделирование объектов с помощью несовместных систем линейных неравенств. Разрешение противоречивых систем предлагается на пути введения «размытых» понятий и коллективных решений (это можно считать моделированием консилиума). В последнем случае исследуется более частный подход к разрешению парадоксов. Здесь используются некоторые средства ослабления требования абсолютизации тех или иных критериев решения задачи. Особенно важен случай анализа неформализованных задач и даже неформализуемых. Предложенные подходы к неформализуемым моделям были обсуждены с Н.Н. Непейводой в рамках всемирного конгресса по логике науки. A short explanation of essence and history of logical paradoxes and of contradictory models of optimization and classification is given. Paradoxes are considered in set theory, the cause of which is to use the concept of actual infinity and transferring methods suitable for finite sets on the endless sets. Some logical paradoxes are associated with improper predicate systems, i.e. such inconsistent systems of predicates which only improper object can be put in compliance. The way of analysis of these paradoxes is considered which consists of the expansion of existing ideas about objects in easing of the requirements imposed while determining of the object , in the expansion of the meaning of the concept of “existence”. We consider the modeling of objects with incompatible systems of linear inequalities. The solution of contradictory systems is proposed on the way of fuzzy conceptions and the collective solutions (this can be considered as modeling of consultation). In the latter case more individual approach to resolve the paradoxes is investigated. Some means of easing of the requirements of certain absolute criteria for solving the problem are used. The case of the analysis of non-formalized and even non-formalizable problems is especially important. Proposed approaches to non-formalizable models were discussed with N.N. Nepeivoda within the World Congress of the science logic.