Theses
''Formalisations après la Lettre' (.pdf)- Studies in Medieval Logic and Semantics. This is my PhD dissertation to be defended at Leiden University on January 17th 2006. It consists of formalizations of three topics from Medieval Logic, namely suppositio, consequentia and obligationes, plus a fourth chapter on the philosophy of formalization.
- A
Study of William of Ockham's Logic - from Suppositio to Truth Conditions
(.ps and .pdf). This is my Master's thesis defended at the University of Amsterdam
to obtain my MSc degree. It is a reconstruction of Ockham's theory of truth
conditions for propositions, along with the analysis of aspects of his system
that echo modern discussions in philosophy of logic.
- A
Teoria da Suposição de Guilherme de Ockham - Uma Reconstrução (in Portuguese)
(.pdf). This is my Master's thesis defended at the University of São Paulo,
for the obtention of my MA degree in April 2003. It is an improved version
of my thesis defended in Holland, completed by the results described in First Chapter.
- 'Formalisations après la Lettre' (.pdf) - Studies in Medieval Logic and Semantics. This is my PhD dissertation to be defended at Leiden University on January 17th 2006. It consists of formalizations of three topics from Medieval Logic, namely suppositio, consequentia and obligations, plus a fourth chapter on the philopsophy of formalization.