Analisando as opções apresentadas: A) A lógica, como filosofia, procura estabelecer sempre do mesmo jeito. - Esta afirmação não está correta, pois a lógica não busca estabelecer sempre da mesma maneira, mas sim estabelecer relações válidas entre proposições. B) Uma das formas de usarmos a lógica é no procedimento de correção do nosso modo de pensar para a construção de algoritmos de programação. - Esta afirmação está correta, pois a lógica é fundamental para a construção de algoritmos de programação, ajudando a organizar o pensamento de forma coerente. C) A lógica não pode ser considerada como arte do pensar pois é exata demais. - Esta afirmação está incorreta, pois a lógica é sim uma forma de arte do pensar, mesmo sendo uma disciplina exata. D) A forma mais complexa do pensamento não é o raciocínio, portanto a lógica não corrige o raciocínio. - Esta afirmação está incorreta, pois a lógica é justamente a disciplina que estuda o raciocínio válido e correto. Portanto, a alternativa correta é: B) Uma das formas de usarmos a lógica é no procedimento de correção do nosso modo de pensar para a construção de algoritmos de programação.