A ciência lógica, se preocupa em estudar os métodos dos argumentos e o silogismo. Ela não dar destaque como a inferência foi descoberta, mas como ela pode ser justificada logicamente. Ele se preocupa mais com o método. A lógica não se preocupa em mostrar como a inferência foi descoberta, mas como pode ser justificada.
Os argumentos exprimem o processo (mental) de inferência. Ou melhor, ela é a externalização do do processo mental da inferência. Seus argumentos estão embasados no processo (mental) de inferência. Ou melhor, ela é a externalização pelo processo mental da inferência. Os objetivos de sua utilização na formação educacional, é criar profissionais mais críticas, e com senso argumentativo mais aguçado. Com estas característica adquiridas, o sujeito professor/aluno terá de desenvolver capacidades de criar, interpretar, responder e explicar situações problemas no contexto educacional.
A ciência do raciocínio lógico, divide-se: em lógica formal e lógica clássica.
1. A lógica formal – está alicerçada nos métodos e técnicas matemáticas, na qual está inclusa a lógica matemática.
2. Já a lógica clássica – está alicerçada em processos mentais lógicos não matemáticos, e tem, portanto, seu caráter singularmente intuitivo.