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

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, discorre-sesobre 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 (no prelo),como consequência dos tópicos anteriores, nomeadamente da formalização da suppositioe da apresentação de uma teoria da verdade distinta da clássica, será apresentado de que modo Ockham resolve uma modalidadeespecífica de um insolúvel (o paradoxo do mentiroso)