Peirce desarrolló múltiples métodos para hacer una lógica formal.