Artwork

Conteúdo fornecido por PPGLM Mídia UFRJ. Todo o conteúdo do podcast, incluindo episódios, gráficos e descrições de podcast, é carregado e fornecido diretamente por PPGLM Mídia UFRJ ou por seu parceiro de plataforma de podcast. Se você acredita que alguém está usando seu trabalho protegido por direitos autorais sem sua permissão, siga o processo descrito aqui https://pt.player.fm/legal.
Player FM - Aplicativo de podcast
Fique off-line com o app Player FM !

Ep. 64 - Lógica, Identidade e Negação. Entrevista com Kherian Gracher

43:50
 
Compartilhar
 

Manage episode 344916628 series 2775596
Conteúdo fornecido por PPGLM Mídia UFRJ. Todo o conteúdo do podcast, incluindo episódios, gráficos e descrições de podcast, é carregado e fornecido diretamente por PPGLM Mídia UFRJ ou por seu parceiro de plataforma de podcast. Se você acredita que alguém está usando seu trabalho protegido por direitos autorais sem sua permissão, siga o processo descrito aqui https://pt.player.fm/legal.

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.

  continue reading

77 episódios

Artwork
iconCompartilhar
 
Manage episode 344916628 series 2775596
Conteúdo fornecido por PPGLM Mídia UFRJ. Todo o conteúdo do podcast, incluindo episódios, gráficos e descrições de podcast, é carregado e fornecido diretamente por PPGLM Mídia UFRJ ou por seu parceiro de plataforma de podcast. Se você acredita que alguém está usando seu trabalho protegido por direitos autorais sem sua permissão, siga o processo descrito aqui https://pt.player.fm/legal.

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.

  continue reading

77 episódios

Todos os episódios

×
 
Loading …

Bem vindo ao Player FM!

O Player FM procura na web por podcasts de alta qualidade para você curtir agora mesmo. É o melhor app de podcast e funciona no Android, iPhone e web. Inscreva-se para sincronizar as assinaturas entre os dispositivos.

 

Guia rápido de referências