Professional Documents
Culture Documents
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:
(2)
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)
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)
(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:
.
(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)
(4 bs.1)
(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.
(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
"(
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).