Дадим определение графа:
«Граф это совокупность двух множеств V (точек) и E (линий), между элементами которых определено отношение инцидентности, причем каждый элемент е, принадлежащий Е инцидентен ровно двум элементам v1 и v2 принадлежащим множеству V. Элементы множества V называются вершинами графа G, элементы множества Е – его ребрами. Вершины и ребра графа G называют еще его элементами и вместо v принадлежит множеству V и е принадлежит множеству Е говорят соответственно v принадлежит G и е принадлежит G».
«Миф» Барта представляет собой трехместное соответствие, являющееся неориентированным графом, включающее три вершины (Франция, молодой солдат-африканец, кисть его руки) и два ребра – (молодой солдат-африканец предан Франции, молодой солдат-африканец вскидывает кисть руки).
N-местное соответствие «экипаж» может быть представлено в форме графа. Допустим: седок сидит в коляске, кучер погоняет лошадь, седок говорит кучеру трогаться, лошадь запряжена в коляску.
| седок(А) | коляска(В) | лошадь(C) | кучер(D) |
| А | ||
| D | В | |
| С |
Ребро АВ = седок сидит в коляске.
Ребро BC = лошадь запряжена в коляску.
Ребро АD = седок говорит кучеру трогаться.
Ребро DC = кучер погоняет лошадь.
В граф связываются также то, что фон Вригт называет «положениями дел». Это физические инструкции.
«Можно поставить вопрос: применима ли модель Гемпеля к объектам, не являющимся событиями? Часто мы хотим знать, не почему произошло некоторое событие, а почему достигается или не достигается некоторое положение дел. Очевидно, этот случай также укладывается в схему Гемпеля. Он даже более фундаментальный, так как понятие события можно анализировать (определять) с помощью понятия положения дел. Можно сказать, что событие представляет собой пару последовательных положений дел.
Другой вопрос, возникающий при описании данной модели, состоит в следующем: должны ли события Е1,…, Еm, которые образуют базис объяснения, возникать раньше Е или они могут быть одновременны с ним или даже возникать позже Е? Это важный вопрос, позднее мы обсудим некоторые его аспекты. Если события E1,…, Еm предшествуют объекту объяснения Е, мы будем говорить о них как об антецедентах Е.
Собственный гемпелевский, теперь знаменитый, пример является типичным примером дедуктивно-номологического объяснения. Экспланандум в нем – некоторое событие, а эксплананс состоит из антецедентных событий и состояний. Почему радиатор моего автомобиля ночью лопнул? Бак был полон воды; крышка была плотно завинчена; не был добавлен антифриз; автомобиль был оставлен во дворе; температура в течение ночи неожиданно упала ниже нуля. Это все антецеденты. В сочетании с законами физики, в частности, с законом, по которому вода при замерзании расширяется, эти предшествующие события объясняют разрыв радиатора. Зная антецеденты и соответствующие законы, мы могли бы с определенностью предсказать рассматриваемое событие.»
Построим граф:
| Автомобиль | ||
| Бак (A) | ||
| Вода (B) | Антифриз (C) | Крышка (D) |
| Мороз (E) |
Ребро AB = В бак залита вода.
Ребро AD = Крышка бака плотно завинчена
Ребро AC = В бак не добавлен антифриз
Ребро ЕВ = Мороз расширил воду
Ребро ВА = Расширенная вода разорвала бак.
Разумеется это только фрагмент соответствия автомобиль, включающего в свое содержание радиатор, воду, антифриз, крышку бака и даже мороз. На самом деле если задаться целью построить граф «автомобиль» то он будет огромен, и объемлет собой весь земной шар.
Аксиомы теории n-местного соответствия.
В качестве предварения к аксиомам, которые будут ниже сформулированы, скажу, что один из самых наивных, полусмехотворных взглядов на геометрию высказал Иммануил Кант сведя ее к результату созерцания в пространстве и времени. Это означало по существу не заметить заклинаний Платона «не геометр не войдет», веса геометрических занятий у пифагорейцев, культа геометрии, царившего в ранней Греции. Для меня всегда было интуитивно ясно, что роль геометрии должна быть фундаментальна и в нижеследующих аксиомах я покажу, что действительно общеупотребимые геометрические формы являются формами осмысления действия, которые потом собственно говоря «увидели» странные греческие цари и привнесли в эти формы понятия угла и длины, создав теорию видимых мыслимых форм. Ниже я покажу, что праформа современной геометрии это мысль и это мысль о действии.
Аксиома о существовании веса ребра.
Теория графов обширна и в изложении Татта занимает триста страниц, я не собираюсь пересказывать ее, а лишь сошлюсь на ее существование. В этой работе я намерен расширить эту математическую теорию рядом аксиом.
В теории графов рассматриваются графы с раскрашенными вершинами, но не достаточно продуманы графы с раскрашенными ребрами. Однако очевидно, что раскраска ребер имеет огромный «физический» смысл. Так имеется граф «Я иду в Москву», «Москва столица России». Если раскрашивать ребра в этом графе, то ребра «идти» и «находятся» будут раскрашены в разные цвета. Однако в графе «Я иду к Марии», «Мария идет к Ивану» о ребрах можно говорить как о раскрашенных в один цвет или же как я буду говорить ниже имеющих один вес. Если угодно, то в геометрическом смысле это будут ребра, имеющие равную длину.
Аксиома о существовании графа-круга.
Граф-круг очень легко описать. Допустим, есть вершины «Иван», «Санкт-Петербург» и двухместное соответствие (граф) «Иван едет в Санкт-Петербург». Граф-круг можно построить добавив (бесконечное) количество вершин, но сохранив ребро одного веса. Например: «Иван едет в Москву», «Иван едет в Париж», «Иван едет в Стокгольм» и так до бесконечности. Это соответствие я называю графом-кругом. В самом деле если рисовать этот граф на бумаге, то наиболее ясной для такого соответствия будет такая геометрическая фигура как круг. Ребра одного веса будут зрительно отображены как ребра одной длины. Разумеется если наше соответствие будет всего-лишь трехместным, т. е. представлять собой две инструкции «Иван едет в Санкт-Петербург», «Иван едет в Москву» то это соответствие уже можно называть графом-кругом.
Аксиома о существовании графа-равностороннего треугольника.
Граф-равносторонний треугольник очень прост. Его пример: «Я иду к Ивану», «Иван идет к Марье», «Я иду к Марье».
Аксиома о существовании графа-равнобедренного треугольника.
Здесь я наконец буду говорить об условных инструкциях по аналогии с условным рефлексом Павлова. Вспомним, что его собака вырабатывает слюну для того, чтобы есть мясо. Однако если невозможно есть мясо, то собака и не вырабатывает слюну. В опыте Павлова неясно: собака вырабатывает слюну на дополнительный искусственно сформированный стимул, однако же если ограничиться естественным стимулом, т. е. показывать ей только мясо, но не давать его съесть, то будет ли этот стимул постоянно приводить к выделению слюны. Речь явно идет о двух инструкциях: вырабатывать слюну на мясо и есть мясо, связанных телеологически. Замечу также, что искусственный стимул Павлова оказывается охарактеризован во времени, имеет длительность, с чем я отсылаю вас к пониманию циклов в «бихевиористской теории рационализма».
Приведу простейший пример графа.
Представим себе инструкции: «греки стремятся победить троянцев», «троянцы стремятся победить зулусов», представляющие собой трехместное соответствие или граф.
Их можно записать в форме соответствия, которое я назову «военные противники»:
Военные противники
Греки (А)
Троянцы (B)
Зулусы (C)
Ребро (AB) графа (соответствия) «военные противники» = греки стремятся победить троянцев.