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

Логические парадоксы и их роль в математическом моделировании Текст научной статьи по специальности «Математика»

CC BY
1289
177
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
КОЛЛЕКТИВНЫЕ РЕШЕНИЯ / ПРОТИВОРЕЧИВЫЕ ТЕКСТЫ / МЕТОД КОМИТЕТОВ / НЕФОРМАЛИЗОВАННЫЕ ФАКТОРЫ / ПАРАДОКСЫ / COLLECTIVE SOLUTIONS / COMMITTEE METHOD / NON-FORMAL FACTORS / PARADOXES

Аннотация научной статьи по математике, автор научной работы — Мазуров Владимир Данилович

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

i Надоели баннеры? Вы всегда можете отключить рекламу.
iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

LOGICAL PARADOXES AND THEIR ROLE IN MATHEMATICAL MODELING

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.

Текст научной работы на тему «Логические парадоксы и их роль в математическом моделировании»

УДК 658.1-50

DOI: 10.14529/ctcr160202

ЛОГИЧЕСКИЕ ПАРАДОКСЫ И ИХ РОЛЬ В МАТЕМАТИЧЕСКОМ МОДЕЛИРОВАНИИ

ВлД. Мазуров

Уральский федеральный университет им. первого Президента России Б.Н. Ельцина, г. Екатеринбург

Даётся краткое изложение существа и истории вопроса о роли логических парадоксов, а также значения противоречивых моделей в оптимизации и классификации. Рассмотрены парадоксы в теории множеств, причина которых в использовании понятия актуальной бесконечности и в перенесении методов, пригодных для конечных множеств, на множества бесконечные. Некоторые логические парадоксы связываются с несобственными системами предикатов, т. е. такими несовместными системами предикатов, поставить которым в соответствие можно лишь несобственный объект. Рассматривается путь анализа таких парадоксов, состоящий в расширении имеющихся представлений об объектах, в ослаблении накладываемых при определении объекта требований, в расширении смысла понятия «существование».

Рассматривается моделирование объектов с помощью несовместных систем линейных неравенств. Разрешение противоречивых систем предлагается на пути введения «размытых» понятий и коллективных решений (это можно считать моделированием консилиума). В последнем случае исследуется более частный подход к разрешению парадоксов. Здесь используются некоторые средства ослабления требования абсолютизации тех или иных критериев решения задачи. Особенно важен случай анализа неформализованных задач и даже неформализуемых. Предложенные подходы к неформализуемым моделям были обсуждены с Н.Н. Непейводой в рамках всемирного конгресса по логике науки.

Ключевые слова: коллективные решения, противоречивые тексты, метод комитетов, неформализованные факторы, парадоксы.

1. Введение

1.1. Логические парадоксы

Термин «парадокс» в [1] производят от греческого «parâdoxos» - неожиданный, странный, а в [2] - от «para» - против и «doxa» - мнение. Парадокс - неожиданное, странное, (по форме или по существу) суждение или высказывание, резко расходящееся с традиционным, ортодоксальным мнением или со здравым смыслом. В более частное понятие логического парадокса вкладывается более точный смысл. Мы рассмотрим и парадоксы в широком смысле, и логические.

Парадоксы в логике - антиномии, т. е. высказывания, из которых некоторое утверждение выводится вместе с его отрицанием.

Софизм отличается от парадокса тем, что представляет собой ложное утверждение со специально замаскированной локальной ошибкой. В [3] отмечается, что парадокс связан с более глубокими недостатками теории. Если парадоксы возникают в теории, построенной аксиоматическим методом, то это свидетельствует о противоречивости системы аксиом. Удаление или ослабление некоторых аксиом может исключить возможность появления парадоксов, но и одновременно привести к слишком слабой теории. В связи с этим в числе требований, предъявляемых к аксиоматической теории, фигурируют как требование полноты, так и непротиворечивости.

Ещё в античном мире рассматривались такие логические парадоксы, как «Лжец», «Куча», «Ахиллес и черепаха» и др. Эти парадоксы сыграли большую роль в осознании некоторых сторон отражения действительности в логических предложениях. В частности, они акцентировали внимание на возможных недоразумениях, возникающих при абсолютизации в мышлении тех или иных сторон действительности.

Рассмотрим в качестве примера апорию Зенона «Ахиллес и черепаха». Пусть в пункте A находится Ахиллес, а в пункте B на расстоянии s от A - черепаха. В один и тот же момент Ахиллес и черепаха начали двигаться в одном направлении: Ахиллес со скоростью v по направлению

к В, пытаясь догнать черепаху, а черепаха со скоростью у/п , п > 1, удаляясь от А . Когда Ахиллес достигнет В, черепаха удалится в пункт В1 на расстояние я/п . Когда Ахиллес достигнет В1, черепаха удалится от В1 на расстояние я/п2 , и т. д. Таким образом, Ахиллес никогда не догонит черепаху.

Один из путей «преодоления» этого парадокса состоит в использовании аксиомы Архимеда:

Уа > 0, УЬ > 0, Зп е N : ап > Ь , где N - множество всех натуральных чисел. Однако такой подход не исчерпывает существа парадокса. В [3] в связи с этим отмечается, в частности, существование теории неархимедовых упорядоченных полей.

В конце XIX в. возникли парадоксы в теории множеств. Б. Расселом сформулирован следующий парадокс. Пусть а = {х: х £ х} . Спрашивается, какое из высказываний справедливо: а е а или а £ а ? Легко видеть, что любое из этих предположений приводит к противоречию.

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

Позже Рассел и Цермело предложили аксиоматический метод анализа парадоксов теории множеств. Рассел построил теорию типов. Он предложил каждому объекту поставить в соответствие его «тип» - некоторое неотрицательное число; при этом аргументы всякой логической функции должны предшествовать этой функции в иерархии типов. Так, в высказывании « х е у » тип у на единицу больше типа х .

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

Классификацию парадоксов выдвинул Ф. Рамсей, разделив их на логико-математические и семантические.

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

1.2. Подход к парадоксам как к логическим ошибкам

В [4] высказывается мнение, что логических парадоксов не существует, так как противоречия в рассуждениях - следствие нарушения правил формальной логики. Логические парадоксы характеризуются лишь высокой степенью логической «запутанности». Для иллюстрации этой мысли предлагается такой способ анализа парадоксов (интересный и имеющий полное право на существование) как ослабление ограничений в модели, но он не исключает других подходов и далеко не объясняет сущности парадоксов.

2. Несобственные системы предикатов

2.1. О парадоксальных дефинициях

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

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

доступ сразу несколько пользователей. В такой базе данных могут появиться несовместные данные. Наконец, некоторые объекты могут проявлять определённую совокупность свойств лишь в некотором вероятностном смысле.

Итак, абсолютизация требований, предъявляемых к функционированию тех или иных объектов, приводит иногда к возникновению таких определений, что удовлетворяющих им объектов в обычном смысле не существует. Например, исследуя кривую на рис. 1 в точках А и В, мы можем, абсолютизируя её поведение в этих точках касательными ¡1 и ¡2, требовать, чтобы объект совпадал и с , и с /2 одновременно.

Так, например, это могут быть некоторые коллективы, смеси или системы объектов, удовлетворяющие определению в некотором обобщённом смысле.

Такой подход позволяет с большей систематичностью исследовать системы предикатных равенств, анализировать совокупности свойств, выделяя их совместные подсистемы, а также подсистемы, рис 1 определяющие «коллективные» или «размытые» решения. Одна из возможных интерпретаций таких коллективных решений: это случайный объект, который с некоторой вероятностью Р1 проявляет себя в виде / -й реализации определяемого системой предикатов объекта.

2.2. Определения

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

Перейдём к точным определениям.

Пусть X - некоторое множество объектов, {р : / е I} - система предикатов, определённых на элементах х е X:

р (х) е {0,1} (V/ е I, Ух е X). Пусть J с I. Систему предикатов {р : / е I} будем называть несобственной, если система

р1 (х) = 1(У/ е J), х е X, (1)

несовместна. Будем говорить в этом случае, что система (1) определяет несобственный объект.

Из множества возможных определений, позволяющих уточнить понимание несобственного объекта, выберем определение р -комитета [5]:

р -комитетом системы (1) называется такое конечное множество К с X , что

|{х е К : рг (х) = 1}|> р-1 К | (V/ е J). Здесь р - фиксированное число, | К | означает число элементов (в общем случае - мощность) множества К .

Несобственному объекту, определяемому системой (1), это определение придаёт вид некоторого множества К с X . Следует отметить, что р -комитет определяется, вообще говоря, неоднозначно. Поэтому можно добавлять некоторые критерии, выделяющие р -комитеты с дополнительными специальными свойствами. Так, с многих содержательных точек зрения, имеет смысл находить минимальные комитеты как объекты, наименее отличающиеся от обычных решений.

При р = 0,5 : р -комитет называется комитетом. Интерпретация его такова: каждому предикату удовлетворяет большинство членов комитета (за него «голосует» большинство). При р = 0,5 можно снять требование конечности, записав определение в виде:

|{х е К: рг(х) = 1}|>|{х е К: рг(х) = 0}|.

Пример: транспортная задача при нарушении баланса. Объект: план перевозок.

................................................ b

al X

a2 y

а1 + а2 > Ь .

2.3. Одно применение понятия несобственного объекта

Рассмотрим такой способ анализа одного известного парадокса, при котором определяемый в парадоксе объект с неоднозначным и противоречивым поведением.

«Парадокс парикмахера», сформулированный Б. Расселом, таков. В деревне имеется только один парикмахер. Издано постановление: парикмахер должен брить только тех, кто не бреется сам. Спрашивается: кто должен брить самого парикмахера?

Примем следующую упрощенную для данной ситуации модель человека: х = $2) , где

^ Г 1, если человек бреется сам;

1 [-1, если человек не бреется сам;

| 1, если человека бреет парикмахер;

2 [-1, если человека не бреет парикмахер.

Вектор х = (^1, $2), описывающий парикмахера, должен удовлетворять следующим условиям:

1) парикмахер бреется сам: $1 = 1;

2) парикмахера бреет парикмахер: $2 = 1;

3) согласно постановлению, если человек бреется сам, то его не бреет парикмахер, а если его бреет парикмахер, то он не бреется сам:

$1 + $2 = 0.

Мы получили противоречивую систему уравнений $1 = 1, $2 = 1, $1 + $2 = 0 .

Однако существует комитет этой системы:

К = {х1, х2, хз}, х = (1,1), х2 = (1,-1), хз = (-1,1).

Применение этого комитета можно трактовать следующим образом: в многократно повторяемой житейской ситуации выполнение постановления происходит с вероятностью, большей 1/ 2, если каждый член комитета применяется с вероятностью 1/ 3 . Здесь х1 означает, что парикмахер бреется сам, х2 - что парикмахер бреется не сам, хз - что не парикмахер бреется сам.

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

Так как парадокс парикмахера есть вариант парадокса Рассела для теории множеств, попробуем применить к последнему тот же подход. Пусть а = {х: х £ х} . Для любого множества х положим

Г 1, если х е х;

Р1( х) Ч 1 £

[-1, если х £ х; 1, если х е а;

Р (х) = •, , £

[-1, если х £ а.

Потребуем, чтобы множество а удовлетворяло соотношениям:

Р = 1, Р2 = 1, р + Р2 = 0.

Соотношение р + р = 0 вытекает из определения множества а . Интерпретация комитета К = |(1,1),(1, -1),(-1,1)} в данном случае не является столь понятной (может быть, она вообще

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

3. Моделирование объектов с помощью несовместных систем линейных неравенств

Пример из предыдущего параграфа может быть связан с нижеследующими конструкциями. Пусть вектор состояния того или иного объекта имеет вид

х = ($1,-, $п ),

где $г- - вещественное число, являющееся значением i -го параметра, измеренного на объекте (i = 1,-,п ). Математическое моделирование самых различных ситуаций (жизненных, производственных, природных и т. д.) использует составление систем вида

f] (х) - а} > 0(У е I), ~

f] (х) - а] > 0(У] е 3), I (2)

f] (х) - а] = 0(У] е 5X

где х - вектор состояния, а соотношения системы характеризуют некоторые требования, накладываемые на состояние моделируемого объекта. Например, если fj (х) означает выход ] -го вида

продукта, получаемый при функционировании объекта в состоянии х, то fj (х) - а] > 0 означает, что мы пытаемся найти состояние х, обеспечивающее выход ] -го вида продукта в количестве не менее а].

Во многих случаях приходится иметь дело с системами неравенств вида (2), не обладающими решениями. Существуют различные подходы к анализу таких систем [6], причём выбор формального подхода диктуется содержательным смыслом модели (2) , практическими целями её анализа. Так, можно рассмотреть чебышевское уклонение

^ > 0: /] (х) - а] > t(У] е I),/] (х) - а] > t(У] е 3), -t < /] (х) - а] < t(У] е 5)} = Е

и соответствующие чебышевские приближения, т. е. решения системы

^ (х) - а] > Е(У] е I), ^ (х) - а} > Е(У] е ]), -Е < ^ (х) - а} < Е(У] е 5).

Можно также рассматривать максимальные совместные подсистемы системы (2) . Несовместность системы (2) может указывать на большую размерность исследуемого объекта, чем размерность, учтённая в модели вектора состояния х, на наличие неучтённых существенных признаков объекта.

Системами неравенств можно моделировать поведение весьма сложных систем, в частности, биологических. В [7] высказывается мысль, что критерии функционирования живых систем (или сложных технико-экономических систем, перед которыми стоит цель выживания, в конечном счёте), как правило, являются противоречивыми, т. е. описывающие их системы неравенств могут оказаться несовместными. В этом случае возникает мысль находить решения максимальных совместных подсистем и использовать стратегию применения этих решений с такими вероятностями, чтобы каждое условие выполнялось с вероятностью, большей чем 1 / 2 .

Таким образом, мы приходим к понятию комитета системы линейных неравенств [6]: Комитетом системы (2) называется такое множество К = {х1,-,} с Rn векторов состояний, что каждому соотношению системы (2) удовлетворяют более половины элементов множества К .

Аналогично этому, если рассматривается задача максимизации нескольких целевых критериев, можно использовать коллективы векторов, каждый из которых является допустимым по системе ограничений (2) и оптимальным по одному определённому целевому критерию.

Такие конструкции могут играть роль компромиссных решений в условиях системы противоречивых критериев нескольких лиц.

Для анализа парадоксальных определений объекта х, имеющих вид

х е Dj (У] е I), (3)

большое значение имеет также операция выделения минимальных несовместных подсистем системы (3), т. е. таких несовместных подсистем

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

х е Dj (У] е 3),3 с I, (4)

что если из системы (4) убрать хотя бы одно соотношение x е Dj , то оставшаяся система является совместной.

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

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

4. «Размытые» определения

4.1. О парадоксах в широком смысле

Для системы включений

x е Dj (Vj е J),

определяющей, в случае её несовместности, некоторый несобственный объект, мы вводим в рассмотрение комитетные конструкции. Однако в этом случае можно использовать и другие понятия, например, понятие «размытого множества» (fuzzy set) [8]. Считая Dj размытым множеством, вместо x е Dj пишут x е Dj), понимая под этим расплывчатый предикат, принимающий не только значения 0 и 1, но и любые значения це [0,1]. Расплывчатое множество представляет собой некоторую область, граница которого «размыта».

В [9] делается такое замечание, что фактически все житейские понятия расплывчаты.

Действительно, парадоксы в широком смысле связаны с абсолютизацией некоторых положений. Примерами абсолютизации этических требований могут служить максимы, изрекаемые наивными воспитателями; к примеру: «Всегда будь правдив». Парадоксальность таких максим, выражаемых пословицами, в некотором смысле снимается тем, что как было замечено, для многих пословиц имеются противоположные им по смыслу.

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

Для иллюстрации обратимся, к примеру, забастовок типа «работа по правилам». Если пытаться работать, выполняя абсолютно все имеющиеся предписания и правила, то порой нельзя сделать ни одного конструктивного шага. Применяемые в реальных жизненных ситуациях стратегии поведения являются «размытыми», и это их свойство является полезным, а попытки поддаться соблазну регламентации всего и вся обычно заканчивается весьма печально. Теории управления должны учитывать это обстоятельство. Математическая формализация размытых стратегий управления использует достаточно широкий спектр приёмов: применение смешанных стратегий поведения, где каждая чистая стратегия используется с некоторой вероятностью; последовательное выполнение различных совместных подсистем требований; приближённое (в смысле той или иной конкретной топологии) выполнение требований; выполнение требований в большинстве случаев или с вероятностью, большей чем 1/2 (последнее условие связано с понятием комитета).

Приведём ещё один пример нестандартного использования понятия «комитет». Пусть K -некоторый класс реальных ситуаций,

P = {pj : j е /} -

то или иное множество вероятно истинных индуктивных заключений Pj . Тогда K является комитетом для системы P, если, в силу определения, при всяком Pj е P выражение « Pj (k) = 1»

истинно для большинства элементов к е K . таким образом, речь здесь идёт об определении совокупности реальных ситуаций служащей (в комитетном смысле) некоторым обобщённым объектом, для которого справедливы полученные индуктивным образом заключения. В этом случае имеет смысл рассматривать задачу максимального множества K с K, удовлетворяющего условию: K - комитет для системы P . Здесь множество K задано заранее.

Отметим, что прогресс в науке и в искусстве часто достигается в результате снятия каких-то интеллектуальных запретов. Возникающие при этом «неклассические» приёмы и объекты на начальном этапе могут казаться негармоничными, вульгарными и шокирующими, это напоминает процесс усвоения моды.

4.2. Противоречивые и синтетические сущности

С вопросом о выполнении противоречивых систем установлений и правил связан вопрос о существовании людей или коллективов, выполняющих в том или ином смысле эти системы правил. Людей, удовлетворяющих всем требованиям, можно считать либо реальными, но противоречивыми в своём поведении объектами, либо некоторыми мифическими личностями. Выполнение противоречивых систем возможно коллективами (комитетами) такими, что каждому требованию удовлетворяют более половины членов коллектива.

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

4.3. Некоторые соображения об «априорных» формах сознания и методах

распознавания образов

Рассмотренные выше комитетные конструкции вначале возникли как некоторые аналоги решающих правил в задачах распознавания образов [10]: решение о принадлежности объекта к одному или другому классу принимается «большинством голосов» членов комитета. Это, в частности, модель консилиума. С помощью методов распознавания образов могут быть обнаруживаемы инварианты, закономерности, структуры в эмпирических данных и в логических системах. Эти закономерности могут быть обнаруживаемы и как не лежащие на поверхности формы бессознательного отражения действительности, возникающие исторически, а реальные решающие правила и в процессе накопления опыта.

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

Трансцендентное может возникнуть как аналог реального объекта в тех формах, где в результате абсолютизации возникают несовместные (противоречивые, парадоксальные) системы предикатов (определения).

В [11] отмечается, что сам Леви-Стросс согласен с характеристикой его философской позиции как «кантианства без трансцендентального субъекта», и следующим образом разъясняется смысл этой характеристики. По Канту, априорные формы чувств и разума накладываются на эмпирический наблюдательный материал. У Леви-Стросса вместо этих априорных форм используются структуры бессознательного. Бессознательное, по Леви-Строссу, это «символическая функция..., которая у всех людей осуществляется по одним и тем же законам и фактически сводится к совокупности этих законов» (цитируется по [11]). Бессознательное - скрытый механизм знаковых систем, которым пользуются автоматически, неосознанно. Следовательно, вопрос, исследуемый Леви-Строссом, таков: выявить закономерности функционирования человеческого интеллекта через исследование скрытых механизмов знаковых систем.

Ф. Гиренок утверждает, что нас сегодня интересуют не основания, а пределы возможного. То, что есть, на пределе возможного перестаёт быть тем, чем оно является. В граничной предельной области мышление носит парадоксальный характер.

Наконец, предлагаемые методы используются при идентификации неформальных (может быть, заданных лишь вербально) условий. Здесь применялось. Ещё интереснее то, что известное гёделевское доказательство очень устойчиво и может годиться также для анализа неформализуе-мых соотношений.

Работа поддержана РНФ № 14-11-00109.

Литература

1. Парадоксы //БСЭ. - 3-е изд. - М.: Сов. энциклопедия, 1975. - Т. 19.

2. Кондаков, Н.И. Логический словарь-справочник /Н.И. Кондаков. -М.: Наука, 1975.

3. Драгалин, Л.Г. Антиномия / Л.Г. Драгалин // Математическая энциклопедия. - М.: Наука,

1977.

4. Ханагов, А.А. Существуют ли в формальной логике парадоксы? / А.А. Ханагов //Природа. -

1978. - № 10.

5. Мазуров, Вл.Д. Методы математического программирования и распознавания образов в планировании производства / Вл.Д. Мазуров // Математические методы в планировании промышленного производства: Труды ИММ УНЦ АН СССР. - 1977. - Вып. 22.

6. Мазуров, Вл.Д. Комитеты систем неравенств и задача распознавания / Вл.Д. Мазуров // Кибернетика. - Киев, 1971. - № 3.

7. Бир, С. Кибернетика и управление производством / С. Бир. - М. : Наука, 1975.

8. Zadeh, L.A. Similarity relations and fuzzy ordering / L.A. Zadeh // Form. Sci. - 1971. - Vol. 3.

9. Гастев, Ю.А. Гомоморфизмы и модели /Ю.А. Гастев. -М. : Наука, 1975.

10. Нильсон, Н. Обучающиеся машины /Н. Нильсон. - М. : Мир. - 1968.

11. Мазуров, Вл.Д. Метод комитетов в задачах оптимизации и классификации / Вл.Д. Мазуров. - М. : Наука, 1990.

12. Гиренок, Ф. Удовольствие мыслить иначе / Ф. Гиренок. - М. : Академический проект. -2008.

13. Леви-Стросс, К. Печальные тропики /К. Леви-Стросс. -М., 1980.

14. Ерёмин, И.И. Несобственные задачи линейного и выпуклого программирования / И.И. Ерёмин, Вл Д. Мазуров. - М. Наука, 1983.

15. Goedel, К. Uber Vollsteandigkeit und Widerspruchsfreiheit / К. Goedel. - Koll. - Ht 3.- 1949.

16. Непейвода, Н.Н. Прикладная логика / Н.Н. Непейвода. - Новосибирск: Изд-во Новосибирского ун-та. - 2000.

17. Френкель, А. Основания теории множеств /А. Френкель, И. Бар-Хиллел. - М., 2006.

18. Логиновский, О.В. Динамика глобального мира / О.В. Логиновский. - М.: Изд-во «Машино-строение-1», 2011.

Мазуров Владимир Данилович, д-р физ.-мат. наук, профессор, профессор кафедры эконометрики и статистики высшей школы экономики и менеджмента, Уральский федеральный университет им. Первого Президента России Б.Н. Ельцнна, г. Екатеринбург, vldmazurov@gma1l.com.

Поступила в редакцию 5 марта 2016 г.

DOI: 10.14529/ctcr160202

LOGICAL PARADOXES AND THEIR ROLE IN MATHEMATICAL MODELING

V.D. Mazurov, vldmazurov@gmail.com

Ural Federal University named after the First President of Russia Boris Yeltsin, Ekaterinburg,

Russian Federation

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.

Keywords: collective solutions, committee method, non-formal factors, paradoxes.

References

1. Paradoksy [Paradoxes]. Moscow, Sov. Encyclopedia Publ., 1975, vol. 19.

2. Kondakov N.I. Logicheskiy slovar'-spravochnik [Logical Dictionary-Directory]. Mosocw, Nauka Publ., 1975.

3. Dragalin L.G. Antinomiya [Antinomy]. Matematicheskaya entsiklopediya [Encyclopaedia of Mathematics]. Moscow, Nauka Publ., 1977.

4. Khanagov A.A. [Are There Paradoxes in Formal Logic?]. Nature, 1978, no. 10. (in Russ.)

5. Mazurov V.D. [Methods of Mathematical Programming and Images Recognition in Production Planning]. Coll. "Mathematical Methods in the Planning of Industrial Production ", Proc. of IMM UC USSR Academy of Sciences, 1977, vol. 22. (in Russ.)

6. Mazurov V.D. [Committees of Inequalities Systems and Recognition of the Problem]. Cybernetics, 1971, no. 3. (in Russ.)

7. Bir S. Kibernetika i upravlenie proizvodstvom [Cybernetics and Production Management]. Moscow, Nauka Publ., 1975.

8. Zadeh L.A. Similarity Relations and Fuzzy Ordering. Form. Sci., 1971, vol. 3.

9. Gastev Yu.A. Gomomorfizmy i modeli [Homomorphisms and Models]. Moscow, Nauka Publ., 1975.

10. Nilsson N. Obuchayushchiesya mashiny. [Students Machines]. Moscow, Mir Publ., 1968.

11. Mazurov V.D. Metod komitetov v zadachakh optimizatsii i klassifikatsii [Committees Method in Problems of Optimization and Classification]. Moscow, Nauka Publ., 1990.

12. Girenok F. Udovol'stvie myslit' inache [Fun to Think Differently]. Moscow, Academic Project, 2008.

13. Levi-Strauss C. Pechal'nye tropiki [Tristes Tropiques]. Moscow, 1980.

14. Eremin I.I., Mazurov V.D. Nesobstvennye zadachi lineynogo i vypuklogo programmirovaniya [Improper Problems of Linear and Convex Programming]. Moscow, Nauka Publ., 1983.

15. Goedel K. Uber Vollsteandigkeit und Widerspruchsfreiheit. Koll, 1949, Ht 3.

16. Nepeivoda N.N. Prikladnaya logika [Applied Logic]. Novosibirsk, Novosibirsk University Publ., 2000.

17. Frenkel A., Bar-Hillel J. Osnovaniya teorii mnozhestv [Foundations of Set Theory]. Moscow, 2006.

18. Loginovskiy O.V. Dinamika global'nogo mira [The Dynamics of the Global World]. Moscow, Mashinosroenie-1 Publ., 2011.

Received 5 March 2016

ОБРАЗЕЦ ЦИТИРОВАНИЯ

Мазуров, Вл.Д. Логические парадоксы и их роль в математическом моделировании / Вл.Д. Мазуров // Вестник ЮУрГУ. Серия «Компьютерные технологии, управление, радиоэлектроника». - 2016. - Т. 16, № 2. -С. 15-23. Ш1: 10. 14529/СЕГ1 60202

FOR CITATION

Mazurov V.D. Logical Paradoxes and Their Role in Mathematical Modeling. Bulletin of the South Ural State University. Ser. Computer Technologies, Automatic Control, Radio Electronics, 2016, vol. 16, no. 2, pp. 15-23. (in Russ.) DOI: 10.14529/ctcr160202

i Надоели баннеры? Вы всегда можете отключить рекламу.