No episódio de hoje conversamos com Kherian Gracher (UFRJ) sobre os conceitos de identidade e indiscernibilidade, negação e contradição na Lógica, tratamos das lógicas clássica, paraconsistente e paracompleta. Conversamos também sobre a proposta de Kherian do Sistemas KG a fim de solucionar o problema das negações clássica, paraconsistente e paracompleta, simultaneamente.
