Para compreender o que são lógicas paraconsistentes, retomemos a definição clássica de validade. Um argumento é válido se e somente se não existir situação em que suas premissas sejam verdadeiras, e sua conclusão falsa. Na lógica clássica, essa definição tem uma consequência particular: considerando um argumento com premissas contraditórias, como não há situação em que ambas as premissas sejam verdadeiras, o argumento é válido, independentemente da conclusão. Dito de outra forma, na lógica clássica, a partir de premissas contraditórias, pode-se deduzir qualquer conclusão, isto é, o sistema se torna trivial. O objetivo das lógicas paraconsistentes, portanto, é constituir-se como sistemas formais subjacentes a teorias que contenham informações contraditórias sem, no entanto, permitir que qualquer informação seja deduzida. O objetivo desta palestra é apresentar, para um público geral, as características gerais das lógicas paraconsistentes, e, então, discutir suas as implicações filosóficas. Em particular, investigaremos as contribuições destas lógicas para a epistemologia, filosofia da ciência e metafísica.