Em uma série de seminários e conferências no Brasil em 2008, Jaakko Hintikka, em uma série de palestras no Brasil em 2008, defendeu que a “IF-lógica” (“independence friendly logic”) e a lógica paraconsistente são, em certo sentido, bastante similares. A partir do esboço de um novo sistema paraconsistente, ele afirma que várias potencialidades da IF-lógica podem ser reproduzidas na lógica paraconsistente. Uma das grandes dificuldades, deixada como um desafio, seria a formulação de condições de verdade para esta nova linguagem paraconsistente de primeira ordem, com vistas a garantir uma maior inter-relação entre esta e a IF-lógica. Argumento que tais condições de verdade não somente sugerem uma abordagem inovadora em semântica de jogos para a paraconsistência, mas também que a partir deste ponto de vista as “Lógicas da Inconsistência Formal” podem modelar a lógica interna dos elencos socráticos. Pretendo discutir estes e outros pontos levantados por Hintikka, tomando-os como desafios e oportunidades para o paraconsistentismo e para a IF-lógica, bem como levantar algumas críticas sobre a visão de Hintikka sobre a paraconsistência.