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