Математический плюрализм –

современный вызов математике?

В.Л.ВасюковИнститут философии РАН e-mail: vasyukov4@gmail.com

Неевклидовы геометрии

Нечеткая теория множеств

A1. Аксиомы равенства: u (u = u); u.v(u = v v = u), u,v,w(u = v v = w u = w); u,v.w(u = v u w v w); u,v,w(u = v w u w v).A2. Экстенсиональность: u,v(z(z wzv) u = v).A3. Аксиома пары: u,vxz(zx z = u z = v).A4. Объединение: uxz(zx yu(zy).A5. Степень: uxz(zx yz(yu).A6. Индукция: Ext(x) x(yx(y) (x)) x(x).A6. Отделение: xyz(zy zx z’(z = z’ (z’))). A7. Аксиома выделения: u[yExt(x,y) v(xuy(x,y) xuy((yv) (x,y)))].A8. Бесконечность: x(y(yx yx(z(yz)).A8. Двойное долполнение: uxz(zx (zu)).A7. Лемма Цорна: y(Chain(y,x) yx zMax(z,x), гдеChain(y,x): t(ty (y x) t,uy(t u u t),Max(z,x): zx tx(z t z = t)” (здесь w u означает (w u), а x z означает (x z))

Petr Hajek

В работе Г. Такеути «Квантовая теория множеств» доказано, что квантовая теория множеств (сконструированная mutatis mutandis таким же образом, что и нечеткая теория множеств) выполняется в квантовозначном универсуме.

Квантовая математика

G.Takeuti

«…математика, основанная на квантовой логике, имеет очень

богатое математическое содержание. Это ясно демонстри-

руется тем фактом, что имеется много полных булевых

алгебр внутри квантовой логики. Для каждой полной булевой

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

Cитуация, по-видимому, выглядит следующим образом.

Математика, основанная на квантовой логике, чересчур огромна, чтобы довести ее до конца»

Паранепротиворечивая математика«Перефразируя Маркса: философы до сих пор пытались объяснить природу противоречия, но задача заключается в том, чтобы изменить ее» - К.Мортенсен. Глава 2: релевантная арифметикаГлава 3: эквациональные теории, сконструированные из противоречивых моделей по модулю бесконечных простых чиселГлава 4: результаты классической теории моделей (случай плотного упорядочения без конечных точек) не проходят в противоречивом случаеГлава 5: параполные теории дифференцированияГлава 6: противоречивые функцииГлава 7: дельта функции, рассматриваемые как паранепротиворечивые производные противоречивых непрерывных функцийГлава 8: противоречивые системы линейных уравненийГлава 9: противоречивые векторные пространстваГлава 10: противоречивые фактор-топологииГлава 11,12,13: паранепротиворечивые топосыГлава 12: методы Гёделя в случае противоречивой арифметики, предикат истинности для теории Крипке в случае параполной теории, противоречивая теория множеств с множеством Рассела

Релевантная арифметика

Арифметика Пеано (PA)Первопорядковая классическая логика (FOL) +Аксиомы Пеано-Дедекинда:(A0): ¬(x’ = 0)(A1): x’ = y’ x = y(A2): x + 0 = x(A3): x + y’ = (x + y)’(A4): x · 0 = 0(A5): x · y’ = x · y + x(A6): x = y x’ = y’(A7): x = y (x = z z = y)(A8): A[0] x(A[x] A[x’]) xA[x]

Релевантная арифметика Пеано R# FOL заменяется на R Предупреждение: теперь означает релевантную, а не классическую импликацию (A0): ¬(x’ = 0)(A1): x’ = y’ x = y(A2): x + 0 = x(A3): x + y’ = (x + y)’(A4): x · 0 = 0(A5): x · y’ = x · y + x(A6): x = y x’ = y’(A7): x = y (x = z z = y)(A8): A[0] x(A[x] A[x’]) xA[x]

PA├ A не влечет R#├ A

Р. Мейер

ФОРМАЛЬНАЯ ТОПОЛОГИЯ

• A = (S,,1,,Pos) является формальной топологией тогда и только тогда, когда (S,,1) есть коммутативный моноид, (формальное покрытие) удовлетворяет следующим условиям:

• aU (рефлексивность)

• aU

• aU (bU)(bV) (транзитивность)

• aV

• aU ( - слева)

• abU

• aU aV ( - справа)

• a{bc:bU,cV}

• а Pos (предикат позитивности) удовлетворяет условиям

• Pos(a) aU (монотонность)

• (bU)Pos(b)

• Pos(a) aU (позитивность)

• aU

Если в топологии само понятие топологии обычно задается с помощью постулирования множества открытых множеств и их замкнутости относительно теоретико-множественного пересечения, то, модифицируя пересечение, мы получим различные топологии в тех же самых исходных рамках

Giovanni Sambin

Формальная топология

Для данной формальной предтопологии A = (S,,1,) и множества A S мы называем xA граничным элементом A, если все предпокрытия x пересекаются как с A, так и с его дополнением S\A. Граница A множества A представляет собой совокупность всех граничных элементов A, т.е. A = {xS: U(xU U A и U (S\A) )}.Подходя к этому определению более формально (т.е. обобщая его), мы можем определить формальную границу A как A = {xS: U(xU U A и U A )}, где A = {xS: –xA} и – есть унарная операция на S, например, заимствованная из моноида де Моргана D = S, , , –, 1 определенного на S

Формальная топология

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

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

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

Формальная топологияКак показали Г. Биркгоф и И. фон

Нейман, математическими

эквивалентами экспериментальных

высказываний о квантовомеханической системе

являются векторные подпространства гильбертова

пространства. Теоретико-

множественное пересечение двух

экспериментальных высказываний

(представленных как замкнутые

векторные подпространства

гильбертова пространства) также

будет экспериментальным

высказыванием (т. е. замкнутым

векторным подпространством

гильбертова пространства).

Отсюда можно стандартно

определить топологию, используя

стандартное определение границы

Отрицанием некоторого

экспериментального

высказывания является его

ортогональное дополнение

(т.е. ортогональное

дополнение некоторого

замкнутого векторного

подпространства). Если на

основании ортогонального

дополнения определить

формальную квантовую

границу как это делается в

формальной топологии, то

полученная квантовая

топология будет отличаться

от «классической»

топологии.

Элементарная теория категорий

С точки зрения логики теория категорий может рассматриваться как элементарная теория, чьи категорные» нелогические аксиомы добавлены к первопорядковому исчиcлению с равенством. Подобный подход был реализован еще в 60-70-е годы У. Хэтчером, Ж.Блан и М.Р. Донадью и др.

Язык элементарной теории категорий ETAC состоит из:(i) счетного множества переменных двух типов: переменных типа объект: x1, x2, …переменных типа стрелки: f, g, h, …(ii) логических констант: , , , , , , , ;(iii) тернарного предиката D(-, -, -), где первая переменная имеет тип стрелки, а две других переменных являются переменными типа объект (D(f,x1,x2) означает «f есть стрелка из x1 в x2 »);(iv) тернарного предиката (-, -, -), где все переменные имеют тип стрелки ((f,g,h) означает «h является композицией f и g»).

Аксиомы ЕТАС

•Ах1. f !x1,x2 [D(f,x1,x2)]•Ax2. x1 i [x1,i) D(i,x1,x1)], где x1,i) представляет собой формулу f,g,x2,x3[D(f , x1, x2)D(g, x3, x1) (i,f,f)(g,i,g)]•Ax3. h (f, g, h) x1, x2, x3 [D(f, x1, x2) D(g, x2, x3)D(h, x1, x3)]•Ax4. D(f,x1,x2) D(g,x2,x3) h (f,g,h)•Ax5. (f,g,h) (f,g,h) h = h•Ax6. (f,g,k) (g,h,l) (f,l,m) (k,h,m) m = m

Элементарная теория категорий

N.C.A.da Costa

Otavio Buenoi

Anelice Volkov

Паранепротиворечивая элементарная теория категорий получается при замене классической первопорядковой логики с равенством, лежащей в основании элементарной теории категорий на паранепротиворечивую логику С1

=

Паранепротиворечивая элементарная теория категорий получается при замене классической первопорядковой логики с равенством, лежащей в основании элементарной теории категорий на паранепротиворечивую логику С1

=

Пусть *A есть A A0 (где A0 есть (АCА)).

Формула F* является той же формулой F, в

которой все заменены на *.Паранепротиворечивая элементарная

теория категорий получается путем

удвоения аксиом обычной теории категорий,

когда аксиомы паранепротиворечивой

теории категорий включают в себя все

старые аксиомы с и новые аксиомы, в

которых заменено на *.

Теория топосов

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

Релевантная алгебра

Паранепротиворечивая алгебра

Ортомодулярные решетки

Адаптивная математика?

D.Batens

Адаптивная логика характеризуется верхней граничной логикой, нижней граничной логикой и адаптивной стратегией. Верхняя логика определяет множество логических предпосылок. Нижняя логика отменяет некоторые из этих предпосылок. Интуитивная идея заключается в том, что множество предпосылок истолковывается «насколько это возможно» в соответствии с предпосылками верхней логики. Адаптивная стратегия устанавливает точное значение этой «максимальной возможности».Если, например, классическая логика служит верхней граничной логикой, а паранепротиворечивая логика - нижней, то если предпосылки непротиворечивы, то адаптивная логика дает все классические следствия, если же они противоречивы, то адаптивная логика все равно дает больше следствий, чем паранепротиворечивая.

Адаптивная логика характеризуется верхней граничной логикой, нижней граничной логикой и адаптивной стратегией. Верхняя логика определяет множество логических предпосылок. Нижняя логика отменяет некоторые из этих предпосылок. Интуитивная идея заключается в том, что множество предпосылок истолковывается «насколько это возможно» в соответствии с предпосылками верхней логики. Адаптивная стратегия устанавливает точное значение этой «максимальной возможности».Если, например, классическая логика служит верхней граничной логикой, а паранепротиворечивая логика - нижней, то если предпосылки непротиворечивы, то адаптивная логика дает все классические следствия, если же они противоречивы, то адаптивная логика все равно дает больше следствий, чем паранепротиворечивая.

Адаптивная математика

Нижняя классическаяВерхняя неклассическаяАдаптивная стратегия –выявить все возможные нестандартные математические результаты

Математический плюрализм

Математический плюрализм

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

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