Aprioorsus
sega, mille põhjal ühte saab teisest tuletada. Nende protseduur
seisneb formaalloogika propositsioonide esitamises deduktiivse
süsteemina, mis põhineb viiel primitiivsel propositsioonil, mis
seejärel ühele taandatakse. Seega läheb loogiliste tõdede ja tule-
tusprintsiipide vaheline eristus, mida nõuti aristotellikus loogikas,
põhjalikult kaotsi. Iga tuletusprintsiip esitatakse loogilise tõena
ning iga loogiline tõde võib täita tuletusprintsiibi osa. Aristotel-
ese kolm "mõtlemisseadust", samasusseadus, välistatud kolman-
10
Alfred J. Ayer
da seadus ja vasturääkivusseadus on lülitatud sellesse süsteemi,
kuid neid ei peeta tähtsamaks kui teisi analüütilisi propositsioone.
Neid ei arvestata süsteemi eelduste hulka. Ning Russelli ja Whi-
teheadi süsteem ise on arvatavasti ainult üks paljude võimalike
annaabi.ee 
