Filosofia e matemática - Sobre lógica, número e prova

A nova publicação da Coleção Diálogos contempla tópicos variados acerca da natureza da lógica e da matemática: entre outros, a negação como conectivo lógico, suas implicações em filosofia da matemática e o estatuto ontológico dos entes matemáticos, o ponto de partida foi a divergência. Esse diálogo adotou por escrito a forma de observações e respostas. Com efeito, três dos capítulos são respostas do primeiro autor a outras tantas observações do segundo. No entanto, esses seis capítulos supõem uma dimensão dialógica verbal prévia que não pode ser reproduzida, mas cuja ausência pensamos que pode ser parcialmente suprida com a inclusão de outros sete capítulos, os quais servem de contexto para melhor compreender as respectivas posições filosóficas a partir das quais foram feitas tanto as observações quanto as respostas dadas.