A Lógica e as lógicas: sobre a noção de sistema formal e principio de liberdade

possui Graduação em Física (Bacharelado) e Graduação em Matemática (não concluído) pela Universidade Estadual de Campinas (1992), Mestrado em Psicologia pela Universidade de São Paulo (1998) e Doutorado em Filosofia pela Universidade Estadual de Campinas (2003). Em 2010, realizou Pós-Doutorado nos Arquivos Jean Piaget da Universidade de Genebra,  Suíça. Atualmente é Professor Assistente Doutor do Departamento de Filosofia e do Programa de Pós-Graduação em Filosofia da Universidade Estadual Paulista Júlio de Mesquita Filho (UNESP) e pesquisador junto ao Centro de Lógica, Epistemologia e História da Ciência da Universidade Estadua de Campinas. Tem experiência na área de Filosofia, com ênfase em Lógica, Filosofia da Ciência e Teoria do Conhecimento.

Possui Graduação em Matemática pela Pontifícia Universidade Católica de ampinas (1966), Graduação em Música-Piano pelo Conservatório Musical Carlos Gomes, Campinas (1960), Mestrado em Matemática pela Universidade Estadual de Campina (1974) e Doutorado em Matemática pela Universidade Estadual de Campinas (1982). Realizou  Pós-Doutorado na Universidade da Califórnia-Berkeley, na Universidade de Stanford e na Universidade de Oxford. Atualmente é Professora Titular em Lógica e Fundamentos da.Matemática do Departamento de Filosofia da Universidade Estadual de Campinas (Unicamp). Suas áreas.de atuação são Lógica e fundamentos da Matemática, história e filosofia da ciência, álgebra de lógica, lógicas não-clássicas, lógica universal, teoria da autoorganização e sistêmica. É atualmente Coordenadora da Coordenadoria de Centros e Núcleos Interdisciplinares de Pesquisa (COCEN) da Unicamp (2009-2013) e Presidente da Sociedade Brasileira de Lógica (SBL) (2011-2013). É membro (eleito) da Academia Internacional de Filosofia da Ciência.(AIPS).