A lógica informal é o estudo dos aspectos lógicos da argumentação que não dependem exclusivamente da forma lógica, contrastando assim com a lógica formal, que estuda apenas esses aspectos. Os aspectos lógicos em causa são os que contribuem para a validade e a força da argumentação, distinguindo-se dos aspectos psicológicos, históricos, sociológicos ou outros.
A argumentação é um encadeamento de argumentos. Um argumento é um conjunto de proposições em que se pretende que uma delas (a conclusão) seja justificada ou sustentada pela outra ou outras (a premissa ou premissas). “Argumento”, “inferência” e “raciocínio” são termos aproximados, pois em todos os casos se trata de procurar chegar a uma afirmação com base noutras. Contudo, um argumento é diferente de um raciocínio ou inferência porque envolve a persuasão de alguém (incluindo nós mesmos), ao passo que um raciocínio ou inferência não envolve tal aspecto.
