Taifead r-phoist: Russell e a análise proposicional