A linguagem Loc: uma proposta de formalização para a linguagem ockhamiana

Trata-se de fazer um estudo da suppositio por Guilherme de Ockham. Para tanto, duas estratégias básicas são adotadas. Na primeira, faz-se um recorte na Parte I e II da sua Suma de Lógica, retirando-se os capítulos necessários para a compreensão do comportamento da suppositio em dois momentos, a saber, nas proposições categóricas do tipo S é P e no critério de valoração das proposições modais. A segunda estratégia refere-se à construção de uma linguagem formal de segunda ordem, denominada para as proposições categóricas do tipo S é P, com o intuito de retratar a maneira como Ockham abordava a suppositio em tais proposições.