Логические исследования 2015. Т. 21. № 2. С. 21-41 УДК 16
Logical Investigations 2015, vol. 21, no 2, pp. 21-41
А.Б. Бановац
Топологическое представление материальной импликации и правила вывода modus ponens1
Бановац Андрей Борисович
Институт философии РАН.
119991, Российская Федерация, Москва, ул. Волхонка, д. 14, стр. 5. E-mail: pochtamoya@bk.ru
В настоящей статье вводятся и обосновываются некоторые основные элементы методологического подхода, характеризуемого применением топологических средств анализа и представления сущностей посредством актуализации произвольной явной схемы дифференциации (схемы различения). Последняя понимается в качестве множества правил, именуемых критериями дифференциации, выделяющих специфические инварианты (симметрии) исследуемой сущности. Вводится понятие инвариантов дифференциации как символических представителей последних и показывается, что во всех случаях проведения дифференциации на множестве упомянутых инвариантов может быть индуцирована топологическая структура. Отправляясь от полученных результатов, в дальнейшем даем теоретические рамки представления и обращения с объектами логических теорий и систем, а также представления их свойств и взаимоотношений с использованием формальных средств топологии, с целью их описания в терминах топологических свойств. Изложение предложенного метода дано через его применение, в качестве результата которого получается топологическое представление материальной импликации и правила вывода modus ponens.
Ключевые слова: дифференциация, инварианты дифференциации, дельта-функция Кронекера, топологическое пространство, топологическое представление, топологические инварианты, материальная импликация, modus ponens
1. Введение
В цикле своих работ по анализу пространственности и времени применительно к теории и философии искусства П.А. Флоренский пишет: «...Проблема пространства залегает в средоточии миропонимания во всех возникавших системах мысли и предопределяет сложение всей системы. С известными ограничениями и разъяснениями можно было бы даже признать пространство за собственный и первичный предмет философии, в отношении к которому все прочие философские темы приходится оценивать как производные. И чем плотнее сработана та или
1 Работа выполнена при поддержке РГНФ, проект № 13-03-00384.
© Бановац А.Б.
другая система мысли, тем определеннее ставится в качестве ее ядра своеобразное истолкование пространства. Повторяем: миропонимание — пространствопонимание» [4, с. 272]. И далее: «Вся культура может быть истолкована, как деятельность организации пространства» [3, с. 112].
Развивая эти тезисы применительно к онтологии, гносеологии, культурологическим исследованиям и теории искусства, П.А. Флоренский — кроме прочего — связывает смысловую составляющую понятия и действия с их предполагаемыми пространственными особенностями как ключевыми. Анализ последних, в его трактовке, осуществляется применением математического формализма, включающего элементы математического анализа и дифференциальной геометрии. Один из моментов, наглядно представляющий общие черты его методологического приема, находим на первых страницах [3] в проведенном при использовании упомянутых формальных элементов рассмотрении гносеологического значения и ценности перехода из пространства, характеризуемого классической геометрией в пространство, геометрические свойства которого определены конечным, положительным значением кривизны [3, с. 95-104].
Далее, отправляясь именно от концепции пространственности о. Павла, изложенной выше в ее общих чертах, мы изложим некоторые принципы, с помощью которых можно строить топологические представления логических объектов.
Свойства полученных представлений, на наш взгляд, открывают новые возможности для обращения с последними, включая моделирование взаимосвязей между ними, между их семантическим и синтаксическим аспектами, осуществление формальных переходов между логическими системами вообще, а также новый способ их характеризации на общих топологических основаниях.
С другой стороны, по нашему мнению, в рамках упомянутого подхода возникают и новые методологические возможности для логической формализации топологически описуемых объектов, а как будет видно из дальнейшего — любая сущность, в той или иной степени, позволяет такое описание. Именно эта, вторая особенность принципов, о которых пойдет речь, позволяет строить логические формы, отношения и переходы между ними как обладающие релевантным характером, и — конструктивно. Из сказанного понятно, что мы стремимся к построению метода который, между прочим, позволяет:
1) представить логические теории и системы в качестве топологических объектов и их отношений, т.е. позволяет перевести на топологические основания объектный уровень данного формального языка;
2) описывать логические теории и системы на метауровне и осуществлять формальные переходы из одних теорий или систем в другие с использованием топологического формализма.
Именно особенности этих переходов — отображений между предполагаемыми классами топологических объектов, по нашему мнению, предоставят возможность характеризации логических систем в терминах топологических инвариантов их представлений.
В данной статье мы не пытаемся дать сколько-нибудь законченную конструкцию предлагаемого приема, а лишь предварительно очертить его контуры и через приложения, касающиеся топологического представления некоторых логических объектов, представить эффективность его методологических принципов.
Как уже понятно, формальную основу для изложенного метода составляет топологический аппарат. Именно уровень обобщения понятия пространства в топологии, с одной стороны, и применимость этого обобщения по отношению к возможностям моделирования объектов — с другой, представляется нам достаточно формально сильным и в то же время, достаточно емким моделирующим средством, позволяющим структурировать модели объектов разного уровня, не искажая формальными предпосылками своего применения те свойства моделируемого объекта, которые для нас представляются существенными.
Начнем наше рассмотрение с описания дифференциации как необходимого условия познания, принцип действия которого по отношению к объекту результирует формированием его мысленной репрезентации у субъекта. На уровне рудиментарного символического представления последнюю можно рассматривать в качестве топологического пространства.
Поскольку дифференциации подлежат и формальные объекты, в том числе и сама логическая форма, определенная своими семантическими и синтаксическими характеристиками, последняя тоже допускает топологическое описание. Этот момент нам кажется особенно важным, поскольку, по нашим соображениям, топологическое описание логических систем через дифференциацию позволяет трактовку на объектном уровне и метауровне в рамках одной формальной схемы (пункт 2).
Именно на примере топологического описания материальной импликации, правила вывода modus ponens и комментариях к последним мы попытаемся показать как можно осуществить упомянутое. Одновременно обоснуем тезисы о возможностях применения данного приема для установления связей между различными логическими системами, использующими различные связки или различные их определения, а также различные уровни анализа логической формы объектов.
2. Дифференциация как необходимое условие познания сущностей. Необходимые условия дифференциации
Рецепция какой-либо сущности на каком-либо уровне сознания предполагает определенную возможность различения данной сущности по отношению к тому, что ею не является. Способность различения сущностей вообще будем называть дифференциацией, и в этом параграфе покажем, что именно дифференциация представляет необходимое условие познания.
Явно выраженные механизмы дифференциации среды обитания присущи всем видам живых существ, начиная с вирусов и одноклеточных организмов. Наличие этих механизмов и, следовательно, дифференциация физической среды представляет необходимое условие их существования, поскольку в отсутствие данной возможности организмы не были бы в состоянии различать пригодную для жизни среду от непригодной (по ряду существенных параметров).
Когда речь идет о более развитых организмах, механизмы дифференциации усложняются в процессе развития и дифференцирования органов чувств, а у человека эти механизмы включают и присущую ему когнитивную систему, позволяющую, между прочим, осуществлять рефлексию, т.е. дифференциацию мысли. В последнем случае существенную роль играет природный язык, чья феноменальность подразумевает дифференциацию фонетических и морфологических элементов, наделенных знаковыми функциями. В свою очередь, именно возможность (и соответственно способность) различения (дифференциации) является необходимым условием функционирования знака как в семантиче-
2
ском, так и в синтаксическом плане .
Язык выступает как один из важнейших инструментов дифференциации сущностей, которая проводится посредством категориальных схем выражения, и в этом раскрывается его аналитическая и познава-
2Обоснование этого тезиса находим в работах де Соссюра, Якобсона, Трнки (см. [6, с. 340]).
тельная функция. Но даже если согласимся с утверждением Витгенштейна, что «ни о какой деятельности сознания, чем-либо отличимой от употребления языка, говорить не имеет смысла» — вряд ли можно настаивать на том что язык представляет необходимое условие для осуществления дифференциации вообще. Как мы видели выше, способность различения (дифференциации) присуща и организмам, явно не обладающим языковыми компетенциями. То есть приведенные выше рассуждения представляют способность дифференциации как первичную по отношению к естественным языкам.
Неоспоримой нам кажется предпосылка, согласно которой дифференциация аспектов какой-либо сущности является необходимым условием ее восприятия на некотором уровне сознания. Дифференциация является необходимым условием для перцепции и рецепции; именно в силу ее наличия (в зависимости от ее модусов) любая подходящая сущность становится воспринимаемой в условиях чувственно-когнитивных данностей познающего субъекта. Таким образом, дифференцируемость любой сущности равносильна ее феноменальности. Отсюда следует, что дифференциация представляет необходимое условие познания.
В силу ограничений спектров чувствительности органов чувств и ограниченности когнитивного аппарата аспекты каждой сущности, представляющие область приложения дифференциации, должны обладать определенной инвариантностью по отношению к изменениям условий их наблюдения и по отношению к процессам их фиксации на определенном уровне сознания. Иными словами, необходимое условие для дифференциации феноменальных аспектов сущностей на некотором уровне сознания представляется в виде симметрий (ем. [9]), т.е. инвариантностей этих аспектов по отношению к определенному типу преобразований, (непременно) происходящих в процессе их наблюдения и фиксации.
3. Формальное описание дифференциации —
дифференциация как пространствообразующая
функция
Введем понятие схема дифференциации, имея пока в виду любую структуру, состоящую из неких явных критериев (проведения) дифференциации определенной сущности и отношений между ними. Различение между явными и неявными критериями условно и зависит от конкретного случая дифференциации.
Так, например, при изучении какого-либо явления, моделируемого в рамках определенной аксиоматической научной теории, явные критерии дифференциации, в общем случае, даны основными и производными понятиями, принципами (аксиомами) данной теории и выведенными из последних утверждениями, т.е. элементами, выражающими ее аксиоматическую структуру.
К неявным критериям можно отнести череду факторов, в том числе и психо-физических, которые обусловливают более широкий контекст отношения субъекта к дифференцируемой сущности, т.е. таких, которые определяются уровнем восприятия, эстетическими предпочтениями, конкретными целями рассмотрения и т.д. и отражаются в структуре модели сущности, сформированной в итоге ее дифференциации.
Из сказанного следует, что определенный фрагмент реальности, взятый в качестве объекта дифференциации, может быть дифференцирован по-разному, в зависимости от того, какая схема дифференциации при этом применяется.
При наличии даже самого простого уровня механизмов дифференциации и области ее приложения в виде сущностей, обладающих со-оответствующего типа феноменальными аспектами, дифференциация может быть формализована посредством 9-функции Кронекера:
где х и у, в данном формальном представлении, пробегают по определенному множеству знаков, фиксирующих в терминах некоторой системы выражения те аспекты дифференцируемой сущности, которые выявляются в результате применения определенной схемы дифференциации. Данные фиксирующие элементы, поставленные в соотношение с дифференцируемыми аспектами сущности, будем называть инвариантами дифференциации.
Поскольку данная функция удовлетворяет аксиомам метрики, то ею индуцировано метрическое пространство на множестве представлений дифференцируемых аспектов данной сущности; а поскольку любое метрическое пространство, в свою очередь, индуцирует пространство топологическое, то данное формальное представление дифференциации ставит в соответствие представлению в терминах инвариантов дифференциации каждой дифференцируемой сущности определенное топологическое пространство.
(1)
Заметим, что данное формальное описание так же интуитивно, как и само понятие дифференциации. Далее, симметрия как необходимое условие дифференциации и ее формального представления в виде (1) отражается в топологической структуре, определяя ее структурные инварианты (элементы и их отношения). Заметим еще и то, что в данном случае, с формальной точки зрения, топологическое пространство получается конструктивно и в общем зависит, в силу применяемых критериев дифференциации, от «индивидуальной объективной реальности» субъекта [1, с. 173].
Таким образом, данное формальное описание дифференциации как фундаментальное, необходимое начало любой познавательной деятельности представляет ее как активность, образующую и организующую пространство в смысле определения топологической структуры выражения соответствующих сущностей.
Топологический характер и свойства, вытекающие из приведенной формализации дифференциации, представляют, на наш взгляд, формальное обоснование пространственной концепции П.А. Флоренского, которую О.И. Генисаретский характеризует как «Опознание простран-ственности в качестве первичной моделирующей системы...» .
4. Дифференциация феноменов мысли. Топологическое
(мета)описание логики
Как уже было отмечено во введении, мысленные комплексы тоже подлежат дифференциации в вышеуказанном смысле. Приведенная формализация дифференциации элементарным — формально и интуитивно ясным образом наделяет мысль как объект дифференциации пространственной структурой, позволяющей проводить дифференциацию ее аспектов в терминах топологического формализма. Тем самым мы получаем важное методологическое средство для формального метао-писания функции различения, присущей языку и являющейся необходимым условием для выражения мысли во всех последующих логических системах. Заметим, что данный подход, следуя мысли о. Павла,
3Как утверждает О.И. Генисаретский, комментируя тезисы о. Флоренского: «Мы усматриваем здесь одно из важнейших созначений понимающего отношения к действительности, связывающего способность понимания с пространством как собственным и первичным предметом, условием, с одной стороны, и средством смыслодея-тельности понимания, с другой... всякое понимание основано на пространствопони-мании. О чем бы ни шла речь, — о мире в целом или каком-то частном предмете, о знаке или лице, образе или ценности — понять, значит понять в каком-то пространстве, в качестве пространства, посредством пространства» [2, с. 12].
приведенной в самом начале, действительно позиционирует логику как «философскую тему», производную по отношению к пространству как «.. .собственному и первичному предмету философии» [4, с. 272].
Далее приведем пример, указывающий, как полученные результаты могут быть использованы для репрезентации и метаописания некоторых фрагментов логических систем.
4.1. «Язык переменных» В.И. Ш^алака
Формальная структура, подходящая в качестве примера для наглядного представления вышесказанного, дана «Языком переменных» В.И. Шалака [5, с. 23]. Необходимое, но недостаточное условие для данного языка, представляет дифференциация переменных, индуцирующая на синтаксическом уровне дифференциацию их символов, входящих в алфавит. Обозначим через Уат множество символов переменных в данном языке. Определим на Уат 9-функцию Кронекера. Данная формализация структурирует множество Уат как дискретное топологическое пространство (элементами которого являются символы переменных).
4.2. Топологическая репрезентация протологического следования
Пусть £ — множество выражений языка переменных [5, с. 23]. В данном «языке» приведенные В.И. Шалаком свойства протологического следования опираются4 на отношение «быть элементом множества» £ (свойства 1-4). Таким образом, X протологически следует из £ если и только если расстояние между (точкой) X и множеством £ нулевое. Отсюда понятно, что введение протологического следования, индуцирующего логическую структуру (Уат, |=)5 на множестве Уат, представляет собой топологическое преобразование соответствующего дискретного топологического подпространства на Уат в пространство с антидискретной топологией {£,0}.
В случае если X не является элементом £, X протологически не следует из £, т.е. растояние X от £ не нулевое, топологическое пространство, индуцированное £, и {X} представляет дискретное подпространство пространства Уат с топологией {£ и {X}, £, {X}, 0}.
Иными словами, формализация дифференциации выражений языка переменных приводит к присвоению множеству переменных опреде-
4В смысле необходимости.
5Здесь символ = обозначает протологическое следствие В.И. Шалака в случае «Языка переменных».
ленной топологической структуры — дискретной топологии, индуцирующей на любом подмножестве выражений дискретное топологическое подпространство исходного пространства.
Наделение множества Var операцией протологического следования приводит к структуре (Var, |=), которую можно рассматривать в качестве предельного случая языка («Языка переменных» [5, с. 23])6.
В связи с этим для нас является чрезвычайно важным подчеркнуть тот факт, что переход от множества Var к (прото)логической структуре на этом множестве может быть характеризован топологически, причем наделение множества Var отношением протологического следования сопровождается преобразованием топологии соответствующих его подмножеств из дискретной (в случае неструктурированного множества Var) в антидискретную (в случае Var как /прото/логической структуры).
Отметим еще один очевидный и интересный момент данного только что топологического (мета)описания. Поскольку в приведенном примере с протологическим следованием, определенным на некотором множестве, логические свойства могут быть однозначно характеризованы топологическими свойствами, топологические пространства или их определенные сегменты, гомеоморфные топологическому представлению языка переменных, могут быть истолкованы в соответствующих логических категориях.
4.3. Топологическое описание материальной импликации и правила вывода modus ponens
В дальнейшем покажем способ объединения семантических и синтаксических свойств формальных языков в рамках топологического формализма. Приведем примеры такого объединения относительно элементов логики высказываний. Основной замысел состоит в том, чтобы, рассматривая материальную импликацию как отношение между пропозициональными формулами, выявить свойства формул, образованных ею в качестве главной связки, и выразить эти свойства в терминах топологических инвариантов соответствующих топологических пространств. Вслед за этим представим топологическую характеризацию правила вывода modus ponens как гомеоморфного отображения полученных топологических пространств.
6Хотя и, как утверждает В.И. Шалак, с большой натяжкой.
Теорема 1.7 Пусть (X, Тх) — топологическое пространство и Ш, V — собственные подмножества X, такие что и = ШШ = С1Ш, V = СIV = 1пIV.
Тогда существует взаимно однозначное отображение ф множества Ту и Ту топологически связного пространства (У, Ту), У < X, индуцированного множествами Ш и V, на граф булевой функции формулы логики высказываний Р ^ Q (Р и Q — различные формулы), такой, что все образы открытых множеств при отображении ф соответствуют одинаковому значению булевой функции данной формулы.
Доказательство. Определим У = Ш и V и сформируем множество Ту = {Ш и V,U, 0}. Очевидно У = X П У, и € Тх; Ш = Ш П У, т.е. (У, Ту) является топологическим подпространством (X, Тх) и (У, Ту) топологически связное пространство. Семейством замкнутых множеств топологического пространства У является Ту = {Ш и V, V, 0}.
Определим отображение ф : Ту и Ту ^ V (У) х {0,1} такое, что ф (А) = { (А 1)' А €Ту (1)
ф (А) = \ (А, 0), А € Ту. (1)
Множеством значений ф является
1тф = {(Ш и V, 1) , (Ш, 1) , (V, 0) , (0,1)} , (2)
ф является взаимно однозначным отображением множеств Ту и Ту и 1тф С (Ту и Ту) х {0,1}.
Каждому элементу Кк € 1тф; к =1, 4 сопоставляем отображение Хк : (Ту и Ту)\ {У, 0} ^ {0,1}, определенное следующим образом: Хк (В) = 1, в случае если существует О € Кк такое, что В С О, и Хк (В) =0 в противном случае.
Образы соответствующих элементов множества (Ту и Ту)\ {У, 0}, сопоставленные элементам 1тф (обозначенным в порядке, который имеется в (2), через К1, К2, К3, К4), суть:
Х1 (Ш) = 1; Х1 (V) = 1;
7 Тот факт, что некоторое множество М является топологическим пространством будем записывать, как принято, (М, Тм), причем Тм — топологическая структура на М, т.е. множество всех открытых подмножеств данного топологического пространства. Для данного топологического пространства определено множество Тм всех замкнутых его подмножеств. Пусть (М, Тм) и ^, Тг) топологические пространства, причем второе является топологическим подпространством первого; данный факт записываем как Z < М.
Х2 (и) = 1; Хз (и) = 0; Х4 (и) = 0;
Х2 (V) = 0 Хз (V) = 1 Х4 (V) = 0
Определим отображение $ : 1тф — {0,1}3, такое, что для каждого Як € 1тф
$ (Як) = (Хк (и) ,Хк (V) ,г(1к)).
(3)
причем г — тождественное отображение на {0,1}, а Ьк = п2 (Як), где п2 : 1тф — {0,1} — проекция Як на {0,1}.
Определим отображение ф : Ту иТу — {0,1}3, такое, что ф = $◦ ф. Поскольку область определения и множество значений $ имеют одинаковую кардинальность, следует, что $ есть взаимно однозначное отображение; поэтому и ф является взаимно однозначным отображением множества Ту и Ту на множество
1тф = 1т$ = {(1,1,1), (1, 0,1), (0,1,0), (0,0,1)} .
Заметим, что 1тф содержит все элементы, принадлежащие графу булевой функции формулы Р — Q, и только их. Притом, первая координата любой точки графа соответствует значению формулы Q для данной интерпретации, вторая координата соответствует значению формулы Р для той же интерпретации, а третья — значению интерпретации материальной импликации. □
Следствие 1. Пусть А, В — различные формулы логики высказываний, А — В — формула, и X — непустое множество, такое, что А € X и В € X. Тогда булевой функцией П : {0,1}2 — {0,1} формулы А — В индуцирована топология Т^ на множестве {А, В} С X, такая что ({А, В} , Т-^) является топологически связным пространством.
Доказательство. Графом функции П является множество
Гп = {(I(А), I(В), I(А — В))\1 € К} = = {(1,1,1), (0,1,1), (1,0,0), (0,0,1)},
где К — множество всех интерпретаций пропозициональных переменных А и В. Каждой интерпретации I € К присваиваем функцию ¡I : {А, В} — V (X) такую, что
ßi (Ю = { yNIU1 ; N €{ащ •
Определим отображение Л : Гп — V (X) х {0,1} такое, что
Л (I (A) ,I (B) ,I (A — B)) = (ßi (A) U ßi (B) ,i (I (A — B))); I € K
причем i является тождественным отображением на множестве значений интерпретаций данной формулы.
Тогда: 1тЛ = {({A, B} , 1), ({B} , 1), ({A} , 0), (0,1)} .
Из \X\ > 2 следует существование G С V (X) и H с V (X), таких, что 0 € {G, H} и G П H = 0. Определим отображение а : 1тЛ — G U H, такое, что а (U,p) = U € G дляp = 1, а (U,p) = U € H для p = 0. Получаем: {{A, B} , {B} , 0} С G и {{A}} С H.
Определим T= {{A, B} , {B} , 0}. Таким образом, задана топология на множестве {A,B} С X и ({A,B} , T^) является топологическим пространством. Очевидно, нельзя разбить ({A,B} , T^) на два непустых непересекающихся открытых подмножества, т.е. ({A, B} , T^) есть связное топологическое пространство. □
Вышеприведенные рассуждения позволили выявить связность — топологический инвариант — как необходимый признак моделей формул, главной связкой которых является материальная импликация. В Теореме 1, в частности, доказано, что каждое топологически связное пространство, которое может быть разбито на два собственных подмножества, из которых одно является открытым (и не замкнутым), а другое замкнутым (и не открытым), допускает логическую трактовку в виде кондициональной формулы из условий теоремы (в Следствии доказано обратное утверждение).
Заметим также, что если условия Теоремы 1 выполняются тривиально, т.е. если рассматривается пространство с антидискретной топологией, то через отображение ф получается булеан материальной импликации, в качестве антецедента и консеквента которой выступает одна и та же формула. Наоборот, если последняя рассматривается с точки зрения Следствия к Теореме 1, то получается пространство с антидискретной топологией, которое тривиальным образом обладает инвариантом топологической связности.
В дальнейшем приведем топологическую характеризацию правила вывода modus ponens.
Определение 1. Пусть Ь непустое конечное множество формул логики высказываний. Через Кв обозначим множество всех формул Ь, главной связкой которых является кондиционал8, и формул логики высказываний, построенных связыванием элементов Ь кондиционалом.
Теорема 2. Пусть Ь = {Лп\и € М} непустое конечное множество формул логики высказываний, А и В элементы Кв и Та, Тв, Та^б — топологии, индуцированные соответствующими формулами А, В, А — В, в смысле Т^. Тогда существует отображение а а : {А, В} — екь {Аг, {{Аг}}} , такое, что для пары Г, ар определен гомеоморфизм М пространств ( {А, В} , Та^б) и (1шар, Те); Г,Е € {А, В}, который индуцирует формулу В, если и только если Г = А и Е = В.9
Доказательство. Обозначим X = {А, В}. Формула А индуцирует связное топологическое пространство Уа = {А, {{А}}} с топологией Та = {{А, {{А}}} , {А} , 0}. Определим отображение
ал : X — ^а^Кь {Аг, {{Аг}}} такое, что ал (А) = {{А}сх } = {{В}} и ал (В) = В.
В таком случае 1тал = {В, {{В}}}. Топология Та очевидным образом индуцирует топологию Тв = {{В, {{В}}} , {В} , 0} на 1тал.
Определим отображение М : X — 1тал так, что М (А) = ал (А) и М (В) = ал (В). Очевидно, что отображение М является гомеоморфизмом и связное топологическое пространство (1тал, Тв) индуцирует подформулу В формулы А — В (Теорема 1).
Теперь пусть ав : X — {Аг, {{Аг}}} есть отображение,
такое, что ав (А) = А и ав (В) = {{В}сх } = {{А}}. Областью значения ав является 1тав = {А, {{А}}} и Тв индуцирует топологию Та = {{А, {{А}}} , {А} , 0} на 1тав.
Далее, определим отображение N : X — 1тав, такое, что
N (А) = ав (А) и N (В)= ав (В).
Отсюда для
{А} € Та, N-l ({А}) = {А} € Тл^в;
поскольку N не является непрерывным отображением пространств, N не есть гомеоморфизм. □
8 Материальная импликация.
9 В этой теореме используем эквивалентность формул А и (А ^ А) ^ А логики высказываний.
Докажем теперь, что гомеоморфизм M пространств, удовлетворяющих условиям Теоремы 2, сохраняет истинность10.
Пусть I € K есть интерпретация, такая, что
I(A) = 1 и I(A — B) = 1.
Из Следствия к Теореме 1 следует, что функцией Х\ на графе Г булевой функции формулы (A — A) — A и элементами индуцированного ею топологического пространства определено множество
F = {({A} , 1), ({А, {{A}}} , 1)}с 1ш\ъ
Соответственно функцией Л2 на графе Г2 булевой функции формулы A — B и элементами индуцированного ею топологического пространства определено множество
G = {({B} , 1), ({A} U {B} , 1), (9,1)} С 1тЛ2.
Из определения функции % (Теорема 1) следует, что F и G однозначно определяют значения % (A) = 1 и % (B) = 1 соответственно и множество H = {({B} , 1), ({B, {{B}}} , 1) } для топологического пространства (1тол, Tb), которое индуцирует подформулу B формулы A — B. Множеством H однозначно определено значение I (B) = 1 подформулы B (Теорема 1, Следствие). Утверждение доказано.
Таким образом, упорядоченная тройка (X, иa, M) топологического пространства X = ({A, B} , Ta^b), функции &a и гомеоморфизма M представляют топологическое описание правила вывода modus ponens.
4.4. Топологическая характеризация элементов логической структуры
Импликативная связка в Теореме 1 индуцирована топологически, путем дифференциации топологически связного пространства. Во-первых, это означает, что в данном случае импликация определяется конструктивно (через топологические свойства дифференцируемого объекта) и, во-вторых, такое топологическое описание снабжает импликацию релевантным характером и устраняет известные парадоксы, свойственные
10Конечно, имеется в виду, что M ставит в отношение топологические представления логических объектов таким образом, что репрезентируемое M (мета)логическое отношение между соответствующими логическими представляемыми обладает свойством сохранения истинности.
материальной импликации. Последнее свойство следует из конструктивности поскольку, для получения кондиционала в Теореме 1 нуждаемся в двухкомпонентном топологически связном пространстве (т.е. связь между антецедентом и консеквентом опирается на топологические свойства соответствующего объекта).
С другой стороны, Теорема 1 вместе со следствием к ней утверждают эквивалентность двухкомпонентного топологически связного пространства (из условий Теоремы 1) и материальной импликации, т.е., с формальной точки зрения, каждый кондиционал с различными антецедентом и консеквентом индуцирует одно двухкомпонентное топологически связное пространство. Отсюда следует, что любые высказывания, соединенные кондиционалом, образуют топологически связное пространство данного типа (в соответствии с полученным описанием), а значит упомянутые парадоксы материальной импликации не устраняются.
Для разрешения возникшей проблемы необходимо вернуться к понятию схемы дифференциации и разъяснить решающее значение, которое данного рода схемы играют в этом вопросе.
* * *
Но прежде чем продолжить начатое рассмотрение, сделаем небольшое отступление с целью обобщения тех методологических принципов, которые были использованы в предыдущих примерах для получения топологического описания элементов логических структур.
В третьем параграфе мы ввели термин — инвариант дифференциации, относящийся к формальным элементам, поставленным в соответствие тем аспектам дифференцируемой сущности, которые выделяются в результате применения определенных критериев дифференциации.
В общем случае, уровень структурированности инвариантов дифференциации зависит от разных факторов, имеющих отношение к целям и возможностям моделирования дифференцируемой сущности. Так, например, символы переменных в «Языке переменных» В.И. Ша-лака можно рассматривать в качестве инвариантов дифференциации данного языка как дифференцируемой сущности, в соответствии с критерием дифференциации, выраженным через требование различения элементов алфавита.
Дальше, с помощью 9-функции множество инвариантов дифференциации данной сущности-объекта снабжается топологической структурой. Самый простой и одновременно общий случай заключается в
снабжении множества (неструктурированных) инвариантов дифференциации дискретной топологией (пространство Уат на множестве знаков языка переменных В.И. Шалака). Введением дополнительных критериев в исходную схему дифференциации данного объекта, позволяющих, например, дифференциацию отношений инвариантов (дифференциации), пространственная структура, характеризующая сущность, меняется, т.е. инварианты дифференциации образуют пространство, которому в общем случае свойственны иные топологические инварианты (в качестве примера последнего может послужить топологическое преобразование дискретного топологического подпространства на Уат в пространство с антидискретной топологией в результате введения про-тологического следования на множестве Уат в том же «Языке переменных»).
* * *
Вернемся теперь к начальной проблеме этого параграфа. В случае, когда в итоге дифференциации некоторой сущности, осуществленной применением такой схемы дифференциации, критерии которой относятся к (между прочим) ее нелогическим аспектам (например, к элементам нелогического содержания некоторого языкового контекста), на множестве инвариантов дифференциации индуцируется топологическое пространство, удовлетворяющее условиям Теоремы 1, тогда, в соответствии с теоремой, полученные или производные из результатов дифференциации смысловые комплексы могут быть представлены в виде (пропозициональных) переменных и поставлены в отношение с использованием импликативной связки.
Отсюда понятно, что в данном случае исходные топологические пространства образуются конструктивно, в результате проведения дифференциации конкретных сущностей с использованием определенной схемы дифференциации. Очевидно, что в рассматриваемом случае полученное импликативное отношение между упомянутыми (пропозициональными) переменными или формулами обладает релевантным ха-рактером11. Релевантность обеспечена на топологических основаниях тем, что одно из топологических пространств, поставленных в соответствие этим формам, содержит только те инварианты дифференциации,
пОбращаем внимание на то, что говоря о релевантном характере упомянутого импликативного отношения, имеем в виду наличие, в данном случе, содержательной связи между антецедентом и консеквентом. Последнее требование принимаем в качестве необходимого критерия релевантности.
которые содержатся и в другом, т.е. является его подпространством. Таким образом, в данном случае обеспечена содержательная связь между антецедентом и консеквентом. В итоге, данное топологическое представление позволяет обойти известные парадоксы материальной импликации.
С другой стороны, в Следствии к Теореме 1 представлен результат дифференциации материальной импликации в соответствии с только что изложенными началами топологического представления. Критериями дифференциации в этом случае выступают семантические свойства, определяющие связку кондиционала в рамках логики высказываний (аналогичный результат можно получить исходя не из двузначной семантики логики высказываний, а отправляясь от общего понятия модели для классической импликативной связки).
Существенным здесь является тот факт, что топологическая связность как топологический инвариант полученной пространственной структуры, является не характеристикой смысловых комплексов, формально поставленных в отношение связкой кондиционала (т.е. нелогического содержания возможных интерпретаций формул А и В, которое остается вне рамок применяемой в данном случае схемы дифференциации), а характеристикой логической формы, представляющей объект дифференциации (т.е. именно материальной импликации).
Иными словами, в Следствии к Теореме 1 объектом дифференциации является сама материальная импликация (как отношение между элементами соответствующей логической структуры), в качестве критериев дифференциации которой принимаются определяющие ее семантические свойства. Возможное нелогическое содержание формул А и В, определяющее соответствующий характер их отношения, остается в данном случае за рамками примененной схемы дифференциации.
В Теореме 2 логическая форма классической импликативной связки дифференцируется дополнительно, по отношению к синтаксическим ее свойствам (т.е. путем введения в схему ее дифференциации критериев, относящихся к последним).
Учитывая вышесказанное, становится понятным, что парадоксы материальной импликации не устраняются на уровне ее топологического описания, данного в Следствии к Теореме 1, т.е. в случае, когда само отношение материальной импликации становится объектом дифференциации согласно критериям, охватывающим ее семантические (и синтаксические) определяющие. Это вполне закономерно, поскольку данные парадоксы и обусловлены последними и в любой адекватной фор-
мальной характеризации должны возникать тем или иным образом. В нашем случае они высказываются в возможности именно формального образования топологически связных пространств, т.е. возможности их образования без учета внутренней структуры их компонентов.
5. Заключение
В рамках предварительного и пока далекого от законченности представления подхода к применению топологического аппарата для репрезентации логических объектов необходимо упомянуть и проблему, связанную с топологическим представлением отрицания.
Исходя из вышесказанного, нам представляется, что операцию отрицания можно соотнести с отображением на топологических пространствах (получаемых следуя предыдущим указаниям), которое каждому пространству меняет топологическую структуру, причем, таким образом, что из соответствующего пространства устраняются некоторые инварианты дифференциации (элементы пространства) — через простое удаление или путем соответствующих структурных изменений — или некоторые топологические инварианты структуры самого пространства.
Таким образом, предоставляется возможность формального определения различных вариантов отрицания, свойственных различным логическим системам. Характеризация полученных вариантов отрицания проводится в терминах свойств соответствующих пространств, что позволяет одновременно устанавливать и взаимосвязи между данными вариантами, и переходы от одного определения к другому в качестве отображений между их топологическими представлениями.
В той мере, в которой свойства самой логической системы определяются тем или иным вариантом отрицания, пространственные (топологические) характеристики этих вариантов (а также свойства их отображений) будут способствовать формальному осуществлению взаимосвязей между соответствующими логическими системами на уровне
их топологических представлений.
* * *
Из всего сказанного очевидно, что топологические репрезентации логических объектов, индуцированные применением различных схем дифференциации, могут, для одних и тех же объектов, быть различными, и эти различные варианты зависят от содержания и структуры самих схем дифференциации рассматриваемых объектов, т.е. от рамок
контекстуального подхода к ним. Данная особенность описанного приема представляется нам особо важным его свойством.
Топологический формализм предоставляет достаточно наглядное и эффективное средство для осуществления переходов между различными описаниями одного и того же логического объекта, а также между описаниями различных объектов, с целью выявления их взаимосвязей.
Общий «пространственный характер» всего дифференцируемого (параграфы 2 и 3) и применимость выразительных средств топологии к множествам инвариантов дифференциации казусов последнего позволяют приступить к созданию систем топологического описания, в которых, в рамках единой формальной установки, в принципе возможна артикуляция объектного уровня логических систем и их метауровневое рассмотрение и описание в терминах топологических свойств.
Литература
[1] Бескова И.А. Рифы логико-методологического анализа истинности // Многомерность истины / Под ред. А.А. Горелова, М.М. Новосёлова. М.: ИФ РАН, 2008. С. 162-181.
[2] Генисаретский О.И. Пространственность в иконологии и эстетике священника Павла Флоренского // Свящ. Павел Флоренский. Статьи и исследования по истории и философии искусства и археологии / Под ред. иг. Андроника (А.С. Трубачева). М.: Мысль, 2000. С. 9-46.
[3] Флоренский П.А. Анализ пространственности (и времени) в художественно-изобразительных произведениях // Свящ. Павел Флоренский. Статьи и исследования по истории и философии искусства и археологии / Под ред. иг. Андроника (А.С. Трубачева). М.: Мысль, 2000. С. 81-259.
[4] Флоренский П.А. Значение пространственности // Свящ. Павел Флоренский. Статьи и исследования по истории и философии искусства и археологии / Под ред. иг. Андроника (А.С. Трубачева). М.: Мысль, 2000. С. 272-274.
[5] Шалак В.И. Протологика: новый взгляд на природу логического: Авто-реф. дис... д-ра филос. наук. М.: ИФ РАН, 2010. 42 с.
[6] Johansen J.D., Larsen S.E. Uvod u semiotiku. Zagreb: Croatialiber, 2000. 360 pp.
[7] Munkres J.R. Topology. Upper Saddle River: Prentice Hall, 2000. 537 pp.
[8] Rodin A. Axiomatic Method and Category Theory. Springer, 2014. 285 pp.
[9] Rosen J. Symmetry in science. N.Y.: Springer-Verlag, 1995. 213 pp.
A.B. BANOYAC
Topological Representation of Material Implication and the Rule of Inference Modus Ponens
Banovac Andrej Borisovich
Institute of Philosophy, Russian Academy of Sciences. 14/5 Volkhonka St., Moscow, 119991, Russian Federation. E-mail: pochtamoya@bk.ru
In the present paper we introduce and elaborate some basic elements of the methodological approach characterized by the application of topological means in the analysis and representation of entities through the actualization of some explicit differentiation scheme (scheme of discernment). The latter is understood as a set of rules — termed differentiation criteria — that individuate particular invariants (symmetries) of the entity under examination. We introduce the notion of differentiation invariants as symbolic representatives of the latter, and show that, in all instances of differentiation, topological structure can be induced on the set of such invariants. Given that, we proceed in describing the theoretical framework within which objects of logical theories and systems, as well as properties and interrelations between them, can be represented and treated by formal means of topology and characterized in terms of topological properties. Exposition of the proposed method is given through its application, resulting in topological representation of material implication and the rule of inference modus ponens.
Keywords: differentiation, differentiation invariants, Kronecker delta function, topological space, topological representation, topological invariants, material implication, modus ponens
References
[1] Beskova, I.A. "Rify logiko-metodologicheskogo analiza istinnosti" [Reefs of logical and methodological analysis of the truth], Mnogomernost' istiny [Multidimensionality of truth], ed. by A.A. Gorelova, M.M. Novoselov. Moscow: IF RAS, 2008, pp. 162-181. (In Russian)
[2] Genisaretskii, O.I. "Prostranstvennost' v ikonologii i estetike svyashchennika Pavla Florenskogo" [Spatiality in iconology and aesthetics of priest Paul Florensky], Svyashch. Pavel Florenskii. Stat'i i issledovaniya po istorii i filosofii iskusstva i arkheologii [Priest. Paul Florensky. Articles and studies on the history and philosophy of art and archeology], ed. by ig. Andronicus (A.S. Trubachov). Moscow: Mysl' Publ., 2000, pp. 9-46. (In Russian)
[3] Florenskii, P.A. "Analiz prostranstvennosti (i vremeni) v khudozhestvenno-izobrazitel'nykh proizvedeniyakh" [Analysis of the spatiality (and time) in art
and fine work], Svyashch. Pavel Florenskii. Stat'i i issledovaniya po istorii i filosofii iskusstva i arkheologii [Priest. Paul Florensky. Articles and studies on the history and philosophy of art and archeology], ed. by ig. Andronicus (A.S. Trubachov). Moscow: Mysl' Publ., 2000, pp. 81-259. (In Russian)
[4] Florenskii, P.A. "Znachenie prostranstvennosti" [The value of spatiality], Svyashch. Pavel Florenskii. Stat'i i issledovaniya po istorii i filosofii iskusstva i arkheologii [Priest. Paul Florensky. Articles and studies on the history and philosophy of art and archeology], ed. by ig. Andronicus (A.S. Trubachov). Moscow: Mysl' Publ., 2000, pp. 272-274.(In Russian)
[5] Shalack. V.I., Protologika: novyi vzglyad na prirodu logicheskogo [Protologika: a new look at the nature of logic]. Avtoref. dis. ... d-ra filos. nauk. Moscow: IF RAS, 2010. 42 pp. (In Russian)
[6] Johansen, J.D., Larsen, S.E. Uvod u semiotiku. Zagreb: Croatialiber, 2000. 360 pp.
[7] Munkres, J.R. Topology. Upper Saddle River: Prentice Hall, 2000. 537 pp.
[8] Rodin, A. Axiomatic Method and Category Theory. Springer, 2014. 285 pp.
[9] Rosen, J. Symmetry in science. N.Y.: Springer-Verlag, 1995. 213 pp.