xxx/ellauri128.html on line 474: Saarnio keskeytti oppikoulun kolmannelta luokalta ja työskenteli sitten Kansallis-Osake-Pankin konttoristina Turussa 1912–1920 ja Turun kaupunginkirjastossa harjoittelijana 1920–1921. Hän valmistui ylioppilaaksi yksityisesti Forssan yhteislyseosta 1921. Saarnio opiskeli tämän jälkeen filosofiaa ja matematiikkaa Turun yliopistossa ja valmistui filosofian kandidaatiksi 1927. Opintojen ohella Saarnio oli työssä Turun yliopiston kirjastossa amanuenssina 1921–1928. Valmistuttuaan hän oli Turun kaupunginkirjaston palveluksessa varakirjastonhoitajana 1928–1939.
xxx/ellauri128.html on line 476: Saarnio väitteli filosofian tohtoriksi 1937, väitöskirja Untersuchungen zur symbolischen Logik I käsitteli merkkien ja merkityssuhteiden logiikkaa. Hän työskenteli Tampereen kaupunginkirjaston johtajana 1939–1940 ja sen jälkeen Helsingin kaupunginkirjaston johtajana 1940–1963. Saarnio toimi myös Helsingin yliopiston logiikan dosenttina 1945–1966 ja hän sai professorin arvonimen 1957. Eläkkeelle jäätyään Saarnio toimi vielä Bonnin yliopiston vierailevana filosofian professorina 1964–1966 ja Helsingin yliopiston teologisen tiedekunnan filosofian historian luennoitsijana 1967–1969.
2