Hércules de Araujo Feitosa é graduado em Matemática pela Fundação Educacional de Bauru (1984), obteve o mestrado em Fundamentos da Matemática pela Unesp/IGCE/Rio Claro (1992) e o doutorado em Lógica e Filosofi a da Ciência pela Universidade Estadual de Campinas/Unicamp/IFCH (1998). Atualmente é professor doutor do Departamento de Matemática da Faculdade de Ciências da Unesp, Câmpus de Bauru. É professor do Programa de Pós-Graduação em Filosofi a da Unesp/FFC/Marília. Tem grande experiência no ensino de Lógica e Fundamentos da Matemática. Suas investigações científi cas estão voltadas para lógica, traduções entre lógicas, modelos algébricos, quantifi cadores e lógicas não clássicas.