Introdução à lógica
A tradução da obra de Sherwood visa auxiliar a formação dos estudantes em geral, assim como contribuir para o conhecimento de distinções e conceitos operativos presentes na filosofia medieval, área em que ainda são raros textos disponíveis em língua portuguesa apesar da redescoberta da lógica medieval, impulsionadas pelo desenvolvimentos feitos em lógica e filosofia da linguagem no século XX. A escolha pelo tratado de Sherwood deve-se ao fato de Introductiones in logicam serem uma passagem obrigatória no desenvolvimento da história da lógica medieval. A obra é composta por seis tratados, dos quais cinco são organizados na forma de comentários, incluindo não apenas os textos já mencionados, como também a chegada das traduções de novos textos, como os Segundos analíticos, Tópicos e as Refutações sofísticas.