En el área del análisis lógico-formal, elaboraron la teoría de los términos, proposiciones y silogismos.