Luiz Henrique da Cruz Silvestrini

Possui graduação em Licenciatura Plena em Matemática pela Universidade Estadual Paulista Júlio de Mesquita Filho - UNESP - FC (2002), Mestrado em Filosofia, com área de concentração em Lógica e Epistemologia, pela Universidade Estadual Paulista Júlio de Mesquita Filho - UNESP - FFC (2005), Doutorado em Filosofia, com área de concentração em Lógica, pela Universidade Estadual de Campinas - UNICAMP - IFCH (2011). Atualmente é Professor Assistente Doutor na UNESP, Faculdade de Ciências, Departamento de Matemática, campus de Bauru. É credenciado no Programa de Pós-Graduação em Filosofia da UNESP - FFC - Marília. Tem experiência no ensino de Lógica e Teoria do Conhecimento. Atua principalmente nos seguintes temas: lógica, linguagens formais - semântica, métodos de prova, teorias da verdade, estruturas parciais, algoritmos, raciocínio indutivo, quantificadores e tableaux analíticos.

Undergraduated in Mathematics (Full Licentiate), UNESP, FC, Bauru, 2002. Master´s Degree in Philosophy (Philosophy of Mind, Epistemology and Logic), UNESP, FFC, Marília, 2005. Ph.D in Philosophy (Logic), UNICAMP, IFCH, Campinas, 2011. Assistant Professor at the São Paulo State University (UNESP), School of Sciences, Department of Mathematics. Experienced in Logic and Epistemology. Proficient on the following subjects: non-classical logics, theories of truth, quantifiers, and tableaux method.