Aprioorsus
giliste partiklite abil analüütilisteks propositsioonideks ja nende
analüütiliste propositsioonide vahelise formaalse suhte uurimi-
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-
annaabi.ee 
