Vous êtes sur la page 1sur 8

ANNEXE i

Dfinition de la dimension d'une thorie (voir les articles 38 et 39)


La dfinition qui suit ici doit tre considre comme provisoire 1. C'est une
tentative de dfinir la dimension d'une thorie pour la rendre conforme
la dimension de l'ensemble de courbes qui rsulte si le champ
d'application de la thorie est reprsent par un papier quadrill. Une
difficult rsulte du fait que nous ne devrions pas supposer qu'une
mtrique ou mme une topologie est dfinie pour le champ, pour
commencer ; En particulier, nous ne devons pas supposer que les relations
de voisinage sont dfinies. Et j'avoue que cette difficult est contourne
plutt que surmonte par la dfinition propose. La possibilit de
contourner est lie au fait qu'une thorie interdit toujours certains
vnements homotypiques , comme nous les avons appels (c'est-dire une classe d'occurrences qui ne se distinguent que dans leurs
coordonnes spatio-temporelles, voir les articles 23 et 31). Pour cette
raison, les coordonnes spatio-temporelles apparatront en gnral dans le
schma qui engendre le champ d'application, et par consquent le champ
des noncs relativement atomiques montrera en gnral un ordre
topologique et mme mtrique.
La dfinition propose dit: Une thorie t est appele d-dimensionnelle par
rapport au champ d'application F 'si et seulement si la relation suivante
tient entre t et F: il existe un nombre d tel que (a) la thorie ne (B) tout duplet donn en combinaison avec la thorie divise toutes les autres
dclarations relativement atomiques en deux sous-classes infinies A et B,
de telle sorte que les conditions suivantes soient satisfaites: ( A) toute
affirmation de la classe A forme, lorsqu'elle est jointe au d-tuple donn, un
faux d + 1-tuple, c'est--dire un faux potentiel de la thorie; () la
classe B d'autre part est la somme d'un ou plusieurs, mais toujours un
nombre fini, de sous-classes infinies [Bi] de sorte que la conjonction d'un
nombre quelconque d'noncs appartenant l'une de ces sous-classes
[Bi ] Est compatible avec la conjonction du d-tuple donn et de la thorie.
1 Une dfinition simplifie et lgrement plus gnrale est celle-ci. Soient A et X deux
ensembles d'noncs. (Intuitivement, A est un ensemble de lois universelles, X un
ensemble - gnralement infinie - d'noncs de test singuliers.) On dit alors que X est un
champ d'application (homogne) par rapport A (dans les symboles : X = FA) Et
seulement si, pour toute dclaration a dans A, il existe un nombre naturel d (a) = n qui
satisfait aux deux conditions suivantes : (i) toute conjonction cn de n diffrentes
affirmations de X est compatible avec a; (Ii) pour toute conjonction cn il existe deux
noncs x et y dans X tels que x.cn est incompatible avec a et y.cn est drivable de a.cn,
mais ni de a ni de cn.D (a) est appele la dimension da, ou le degr de composition da,
par rapport X = FA ; Et 1 / d (a) ou, disons, 1 / (d (a) + 1), peut tre pris comme une
mesure de la simplicit de a. Le problme est dvelopp plus en dtail l'annexe viii.

Cette dfinition a pour but d'exclure la possibilit qu'une thorie ait deux
champs d'application tels que les noncs relativement atomiques d'un
champ rsultent de la conjonction des noncs relativement atomiques de
l'autre (ceci doit tre vit si le champ d'application doit tre Identique
celle de sa reprsentation graphique (voir l'article 39). Je peux ajouter que,
par cette dfinition, le problme des noncs atomiques (voir note 2 la
section 38) est rsolu d'une manire qu'on pourrait qualifier de
dductiviste, puisque la thorie elle-mme dtermine quelles noncs
singuliers sont relativement atomiques (avec Respect de la thorie). Car
c'est la thorie elle-mme travers laquelle le champ d'application est
dfini - et avec lui les noncs qui, cause de leur forme logique, ont un
statut gal par rapport la thorie. Ainsi, le problme des noncs
atomiques n'est pas rsolu par la dcouverte de dclarations d'une forme
lmentaire dont les autres dclarations plus composes sont construites
inductivement ou composes par la mthode des fonctions de vrit. Au
contraire, les noncs relativement atomiques - et avec eux les noncs
singuliers - apparaissent comme une sorte de prcipitation, en quelque
sorte, ou comme un dpt (relativement) solide, tabli par les noncs
universels de la thorie.

ANNEXE ii
Calcul gnral de la frquence des classes finies
(voir les articles 52 et 53) 2
Le thorme gnral de multiplication : Nous dsignons la classe de
rfrence finie par et les deux classes de proprit par et .
Notre premier problme est de dterminer la frquence de ces lments
qui appartiennent la fois et .
La solution est donne par la formule : F(.) = F()..F()
(1)
Ou, puisque et peuvent tre commus : AF "(.) = .F" () .F "()
(1 ')
La preuve rsulte immdiatement de la dfinition donne l'article 52.
D'aprs (1), on obtient, par substitution selon cette dfinition :
N (, , ) N ( , ) N ( , , )
=

(1,1)
N ( )
N ( )
N ( , )
Qui se rvle tre une identit aprs annulation de 'N (.)'. (Contraste
avec cette preuve, et avec la preuve de (2s), par Reichenbach dans
Mathematische Zeitschrift 34, page 593.)
Si nous supposons l'indpendance (voir l'article 53), c'est--dire :
(1S)
On obtient de (1) le thorme spcial de multiplication

. F() = F()

F(.) = F().F()

(1s)

Avec l'aide de l'quivalence de (1) et (1 '), la symtrie de la relation d'indpendance peut tre
prouve (voir note 4 la section 53).
2 Cette annexe a t dveloppe par moi dans un traitement axiomatique de la
probabilit. Voir les annexes * iii * v.

Les thormes d'addition traitent de la frquence des lments qui appartiennent soit
soit . Si l'on dsigne l'association combinatoire disjonctive de ces classes par le symbole
+ , o le signe +, s'il est plac entre des dsignations de classes, ne signifie pas
addition arithmtique, mais le non exclusif ou alors le thorme gnral d'addition est:

F( + ) = F() + F() F(.)

(2)

Cette affirmation dcoule de la dfinition de l'article 52 si l'on utilise la formule


universellement valide du calcul des classes
.( + ) = (.) + (.)
(2,2)
Et la formule (qui est galement universellement valide) N( + ) = N() + N() N(.)
(2,1)
Sous l'hypothse que, dans , et n'ont pas de membre en commun - une condition qui
peut
tre
symbolise
par
la
formule
N(..)
=0
s
(2 )
On obtient de (2) le thorme d'addition spcial

F( + ) = F() + F()

(2S)

Le thorme d'addition spcial est valable pour toutes les proprits qui sont des proprits
primaires dans une classe , puisque les proprits primaires sont mutuellement exclusives.
La somme des frquences relatives de ces proprits primaires est bien entendu toujours
gale 1.
Les thormes de division indiquent la frquence d'une proprit dans une classe choisie
de par rapport la proprit . La formule gnrale est obtenue immdiatement par
inversion de (1).
.

F() = F(.)/F()

(3)

Si nous transformons le thorme de division gnrale (3) l'aide du thorme spcial de


multiplication nous obtenons

F "() = F" ()

(3 s)

Dans cette formule, nous reconnaissons nouveau la condition (1s); On voit ainsi que
l'indpendance peut tre dcrite comme un cas particulier de slection. Les diffrents
thormes qui peuvent tre lis au nom de Bayes sont tous des cas spciaux du thorme
de division. Sous l'hypothse que (.) est une sous-classe de , ou dans des symboles
.

(3 bs)

On obtient d'aprs (3) la premire (spciale) forme de la rgle de Bayes


.

F() = F "() / F" ()

(3 bs)

On peut viter l'hypothse (3bs) en introduisant, la place de '', la somme des classes 1,
2,. . . n. Nous allons, par analogie notre utilisation du signe + entre les dsignations de
classe, utiliser le signe devant les dsignations de classe; Nous pouvons alors crire une
deuxime forme (universellement valide) du thorme de Bayes comme suit:
F(i)
(3b)
.

F"

(i)

"(i)

Au numrateur de cette formule, on peut appliquer le thorme d'addition spcial (2s) si l'on
suppose que les i n'ont pas de membres en commun dans . Cette hypothse peut
scrire :

N (.i.j) = 0. (i j)

(3/2 s)

Sous cette hypothse, on obtient la troisime forme (spciale) du thorme de Bayes, qui
est toujours applicable aux proprits primaires i:
.

F(i) = F "(i) / (F" (i))

(3/2 s)

La quatrime et plus importante forme spciale du thorme de Bayes peut tre obtenue
partir des deux dernires formules avec ses hypothses constitutives (3 / 2s) et 4bs):
, i

(4 bs)

Qui est toujours satisfaite si i est satisfaite.


En remplaant dans (3 / 2s) 'i' par 'i', nous appliquons au ct gauche du rsultat la
formule
(4bs) .i. = ..

(4 bs.1)

Pour le ct droit du rsultat, nous appliquons (1 '), la fois au numrateur et au


dnominateur. On obtient ainsi :
,

F(i) = .iF().F(i)/(.iF ().F(i))

(4s)

Ainsi, si i est un systme exclusif de classes de proprit, et toute classe de proprit qui
est (dans ) partie de i, alors (4s) donne la frquence de chacune des proprits i dans
une slection par rapport .

ANNEXE iii
Drivation de la premire forme de la formule binomiale
(pour les squences finies de segments superposs,
voir l'article 56)
La premire formule binomiale * 13.
(n)

F "(m) = nCmpmqn m

(1)
O p = F "(1), q = F" (0), m n, peut tre considr comme prouv sous
l'hypothse que est (au moins) n-I-libre (ngligeant les erreurs
apparaissant au dernier terme (Voir l'article 56), si nous pouvons montrer
que (n)F(m) = pmqn m
(2)
O 'm' dsigne un n-tuple particulier (bien que arbitrairement choisi) qui contient m. (Le
symbole est destin indiquer que ce qui est donn est l'agencement complet de ce n-tuple,
c'est--dire non seulement le nombre de uns mais aussi leurs positions dans le n-tuple).

Supposons que (2) est valable pour tout n, m et (c'est--dire les diverses
dispositions des uns). Alors il y aura, selon un thorme combinatoire bien connu, des voies distinctes de
3 * 1 Noter que (n m) est un autre moyen d'crire le coefficient binomial nCm, c'est-dire le nombre de manires dont m choses peuvent tre disposes en n lieux,
pourvu m n.

de m en n lieux ; Et en vue du thorme d'addition spcial, on


pourrait alors affirmer (1). Supposons maintenant que (2) soit prouve
pour tout n, c'est--dire pour un n particulier et pour tout m et tout
compatibles avec ce n. Nous montrons maintenant que, compte tenu de
cette hypothse, elle doit galement tenir pour n + 1, c'est--dire que
nous allons prouver
distribution

(n

1)

"(m

pmqn

(3,0)
Et
(n

1)

"(m

pm+1q(n

1)

(m+1)

(3.1)
O 'm+0' ou 'm+1' signifient respectivement les squences de longueur n
+ 1 qui rsultent de m en ajoutant son extrmit un zro ou un.
Supposons, pour toute longueur n des n-tuples (ou segments) considrs,
que soit (au moins) n-1-libre (d'aprs-effet); Donc pour un segment de
longueur n + 1, doit tre considr comme tant au moins n libres. Soit
m la proprit d'tre un successeur d'un n-tuple m.
Ensuite, nous pouvons affirmer
F
"(
(4,0)

m.0)

F
"(
(4,1)

m.1)

F"

(m)

.F

"(0)

F"

(m)q

F"

(m)

.F

"(1)

F"

(m)p

Nous considrons maintenant qu'il doit y avoir videmment autant de m,


c'est--dire des successeurs de la squence ' m' dans , car il existe des
squences m dans (n), et donc que

"(

m)

(n)

F"

(m)

(5)
Avec cela nous pouvons transformer le ct droit de (4). Pour la mme
raison, nous avons

"(

m .0)

(n+1)

F"

(m+0)

"(

m.1)

(n+1)

F"

(m+1)

(6,0)

(6,1)
Avec ceux-ci nous pouvons transformer le ct gauche de (4). C'est--dire,
on obtient en substituant (5) et (6) dans (4)

(n)

"(

m).q

(n+1)

F"

(m+0)

"(

m).p

(n+1)

F"

(m+1)

(7,0)
(n)

(7,1)
On voit donc que, en supposant que (2) tient pour un certain n (et tous les
arrangements m qui lui appartiennent), on peut driver (3) par induction
mathmatique. (2) est en fait valable pour n = 2 et pour tout m (o m 2)
est vu en supposant que m = 1 et m = 0. On peut donc affirmer (3) et par
consquent (2) et (1).