Ainda podemos definir a lógica como “a arte do bem pensar” e que é a “ciência das formas do pensamento”. Sendo o raciocínio a forma mais complexa do pensamento, a lógica estuda a “correção do raciocínio”.

          Entretanto, para trazer uma definição mais objetiva e sucinta, de acordo com MORTARI (2001), a lógica é a ciência que estuda princípios e métodos de inferência, tendo o objetivo principal de determinar em que condições certas coisas se seguem (são consequência), ou não, de outras. 

          Os silogismos irregulares são versões abreviadas ou ampliada dos silogismos regulares, e são subdivididos em quatro categorias:

·        Entima: silogismo incompleto, quando existe uma premissa subentendida;

·        Epiquerema: silogismo estendido, quando as premissas são acompanhadas de provas;

·        Polissilogismo: dois ou mais silogismos em que a conclusão das primeiras premissas seja a preposição do próximo silogismo;

·        Sorites: uma argumentação composta por quatro preposições que são encadeadas até se chegar à conclusão.

 

Os silogismos hipotéticos podem ser:

·        Condicionais: silogismo que não afirma e nem nega as premissas;

·        Disjuntivos: silogismo formado por uma premissa que se apresenta como alternativa;

·        Dilema: silogismos argumentativo onde são apresentadas duas possíveis hipóteses, em que nenhuma é desejável.

          Há dois tipos de processo de inferência, que são chamados de lógica dedutiva, que parte de premissas mais gerais, permitindo obter conclusões particulares, e a lógica indutiva, que parte de premissas mais particulares para obter conclusões mais gerais.