Aprioorsus
Nii et ka siin
võib õigustatult ütelda, et analüütilised propositsioonid ei suuren-
da meie teadmist.
Formaalloogika tõdede analüütiline iseloom ähmastus tradit-
sioonilises loogikas, sest too polnud piisavalt formaliseeritud.
Sest propositsioonide asemel otsustustest rääkides ning ebaolu-
lisi psühholoogilisi küsimusi sisse tuues jättis traditsiooniline loo-
gika mulje, et tegeleb mingil eriliselt lähedasel viisil mõtte toi-
mimisega. Tegelikult aga tegeles ta hoopis klasside formaalse
suhtega, mida näitab fakt, et kõik selle tuletusprintsiibid on vii-
dud Boole'i klassi-arvutuse alla, mis omakorda kuulub Russelli
ja Whiteheadi lausearvutuse alla. (Vt Menger s.a.: 9496; ning
Lewis, Langford 1932: ptk v.) Nende süsteem, mis on üksik-
asjalikult esitatud Principia Mathematica's (Russell, Whitehead
191013), teeb selgeks, et formaalloogika ei tegele inimeste vai-
annaabi.ee 
