Teoria da figuração e a teoria dos tipos: o Tractatus no contexto do projeto logista