a logica informal

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.
Alguns autores reservam o termo “validade” para a validade dedutiva, usando termos como “força” para a validade não dedutiva. Esta opção não é a mais indicada porque também nos argumentos dedutivos é necessário falar de maior ou menor força, como veremos. Daí que se opte aqui por usar “validade” para os dois tipos de validade: a dedutiva e a não dedutiva. Veremos mais tarde algumas diferenças centrais entre os dois tipos de validade.
A lógica informal permite definir várias noções centrais que não podem ser definidas recorrendo exclusivamente aos instrumentos da lógica formal. A mais básica dessas noções é a de argumento. A lógica formal define a noção de derivabilidade e de consequência formal, mas não de argumento. Existe uma relação de derivabilidade entre as premissas e a conclusão de alguns argumentos válidos (os argumentos dedutivos formais, como o modus ponens), mas essa relação não existe nos argumentos dedutivos inválidos nem nos argumentos não dedutivos (válidos ou não). Por outro lado, nem todos os conjuntos de proposições deriváveis constituem