Uma formalização da suppositio de Guilherme de Ockham e a resolução do paradoxo do mentiroso (insolubilia), parte I

Resumo

Os trabalhos de lógica de Guilherme de Ockham surgem numa época em que a principal preocupação no campo da lógica era acerca das propriedades semânticas dos termos. Tendo isto em vista, o presente artigo tem como objetivo apresentar as principais implicações de uma importante teoria semântica surgida na Idade Média: a teoria da suppositio. Para tanto, há, a princípio, uma descrição desta teoria e o que ela traz de novidade. Depois, no segundo tópico, é discorrido sobre suas subdivisões com a preocupação de formalizar cada caso. No terceiro tópico, é apresentado de que maneira a suppositio possibilita a Ockham expor uma teoria da verdade distinta da teoria da adequação, teoria esta dominante na Idade Média. Numa segunda parte deste artigo, como consequência dos tópicos anteriores, nomeadamente da formalização da suppositio e da apresentação de uma teoria da verdade distinta da clássica, será apresentado de que modo Ockham resolve uma modalidade específica de um insolúvel (paradoxo do mentiroso).