Sobre a história da lógica no Brasil: de lógica das faculdades à lógica positiva 91808-1909)