Chora Menino, São Paulo, Brazil
  •  21
    Espinosismo da Física de Schelling
    Cadernos Espinosanos 48 181-207. 2023.
    O seguinte texto analisa uma passagem da _Introdução ao esboço do sistema da filosofia da natureza _ de 1799 escrito por Schelling, em que este equipara o projeto de sua filosofia da natureza à realização de um “espinosismo da física”. A compreensão de tal designação passa por, pelo menos, dois momentos. O primeiro se refere à sistematicidade pressuposta da forma de sua filosofia, que, por sua vez, se propõe rigorosamente científica. O segundo apresenta sua oposição à compreensão materialista e …Read more
  •  22
    First-order unification in the PVS proof assistant
    with A. B. Avelar, A. L. Galdino, and F. L. C. de Moura
    Logic Journal of the IGPL 22 (5): 758-789. 2014.