A descrição "É a ciência das leis ideais do pensamento e a arte de aplicá-las à pesquisa e à demonstração da verdade" se refere à lógica, que estuda as regras do raciocínio e do pensamento correto. Analisando as alternativas: A) Lógica - Esta opção está correta, pois se refere exatamente ao que foi descrito. B) Informática - Não se relaciona com a definição apresentada. C) Aritmética - Trata de operações numéricas, não da ciência do pensamento. D) Matemática - Embora envolva raciocínio, não é especificamente sobre as leis do pensamento. Portanto, a alternativa correta é: A) Lógica.