Aos comits relevantes da Capes para o Qualis de Lgica O presente documento tem por finalidades: (i) diagnosticar e avaliar

a situao das publicaes em Lgica perante o Qualis-2009, e (ii) levar aos comits responsveis da Capes uma proposta da comunidade acadmica para a atualizao em curso (2012) do Qualis no que se refere Lgica. Com relao ao primeiro objetivo, notamos que as publicaes em Lgica abrangem as reas de Matemtica, Filosofia e Cincia da Computao e constatamos que nas respectivas listas Qualis a situao da Lgica insatisfatria em mais de um aspecto. Em primeiro lugar, vrias entre as melhores revistas de Lgica sequer possuem uma classificao em pelo menos uma dessas reas. Em segundo lugar, nas listas correspondentes s trs reas acima, as revistas de Lgica no apresentam uma classificao coerente nem com a qualidade das mesmas, nem com a percepo da comunidade internacional a respeito delas. Por ltimo, notamos que, em duas dessas reas (Matemtica e Cincia da Computao), a Lgica aparece desvalorizada com relao s demais subreas, no sendo contemplada com nenhuma revista especializada nos estratos A. A presente proposta elabora em detalhes os pontos de insatisfao levantados acima, considerando a partir de agora a situao da Lgica separadamente em cada uma das trs reas destacadas, comeando pela Matemtica. H, em grande medida, consenso na comunidade internacional de lgicos matemticos sobre quais so as melhores entre as revistas especializadas que publicam pesquisa original em Lgica Matemtica. So elas (em ordem alfabtica): Annals of Pure and Applied Logic, Archive for Mathematical Logic, Fundamenta Mathematicae, Journal of Mathematical Logic, Mathematical Logic Quarterly, Notre Dame Journal of Formal Logic e The Journal of Symbolic Logic. No presente momento, apenas duas entre as sete revistas listadas acima possuem uma classificao segundo Qualis na rea de Matemtica (ambas B1). No documento anexo segue uma proposta de classificao para cada uma dessas sete revistas, divididas em dois grupos: um grupo de trs revistas, que julgamos ter qualidade compatvel com o estrato A1 e um grupo com as quatro revistas restantes, que julgamos ter qualidade compatvel com o estrato A2. No primeiro grupo encontramse Annals of Pure and Applied Logic, Journal of Mathematical Logic e The Journal of Symbolic Logic, conforme indicado no documento anexo. Lembramos que a Lgica Matemtica no uma subdiviso da lgebra ou da Anlise, por isso no est contemplada por revistas especializadas em outras reas. Ao contrrio, trata-se de uma disciplina autnoma com intensa atividade de pesquisa em Computabilidade, Teoria de Conjuntos, Teoria de Modelos e Teoria da Prova. No obstante, a Lgica Matemtica apresenta conexes substanciais com lgebra Universal, Anlise no-Standard, Geometria Algbrica, Teoria de Categorias, Teoria da Computao, Teoria da Medida, Teoria de Espaos de Banach, Topologia Geral, entre outras, e h potencial para estabelecer outras relaes e para aprofundar as relaes j existentes. A Lgica Matemtica comparvel, em extenso e profundidade de seus resultados, a outras disciplinas matemticas atualmente contempladas com vrios peridicos nos estratos A. Com relao Filosofia, a atualizao da lista Qualis ocorrida em 2009 corrigiu algumas distores relativas Lgica. Contudo, h ainda ausncias notveis: as revistas The Review of Symbolic Logic e Notre Dame Journal of Formal Logic no possuem classificao. Essa

situao compreensvel no caso da primeira, pois a mesma foi criada em 2008 e a ltima lista Qualis foi produzida j em 2009, mas totalmente incompreensvel no caso da segunda. O Notre Dame Journal of Formal Logic possui grande tradio na rea de Lgica Filosfica e Fundamentos da Matemtica, e considerado um dos melhores peridicos de Lgica Formal. Portanto, propomos que essas revistas sejam classificadas pelo Qualis e que recebam uma avaliao compatvel com a reconhecida qualidade das mesmas. A proposta completa encontra-se no documento anexo reproduzido na URL: https://docs.google.com/spreadsheet/ccc? key=0AiQvGrHooOoHdEVhUDU2YlUxdHZZbHc1LThUTWx5NGc#gid=0. Finalmente, a lista Qualis em Cincia da Computao apresenta discrepncias similares quelas da Matemtica: apenas uma entre as sete melhores revistas de Lgica Matemtica mencionadas acima possui uma classificao segundo Qualis. No h revista especializada em Lgica nos estratos A. As consideraes expostas acima, somadas importncia do Qualis para os programas de ps-graduao em todo o pas, constituem um quadro negativo para a Lgica e seus pesquisadores no Brasil. Diante dessa situao vimos propor, atravs deste documento, alteraes ao Qualis que sejam justas para com nossas reas de atuao. Para isso realizamos uma extensa consulta a pesquisadores e rankings nacionais e internacionais, e uma anlise das principais publicaes em Lgica, comparando-as com publicaes especializadas em outras subreas. O resultado dessa atividade o documento anexo, que consiste em uma tabela de revistas e propostas para classificao em cada uma das trs reas em questo. Na primeira coluna da tabela encontra-se o nome da revista, na segunda a editora. Em cada uma das trs colunas seguintes h uma proposta de classificao segundo Qualis em Matemtica, Filosofia e Cincia da Computao, nessa ordem. O asterisco indica que essa a classificao atual (2009) e que estamos propondo que seja mantida. Nos outros casos, sempre h duas propostas e a primeira a prioritria. A tabela no tem qualquer pretenso de completude: concentramos-nos naquilo que parece mais urgente. Certos de que os critrios estritamente acadmicos devem prevalecer, assinam esta carta: 1- Rodrigo de Alvarenga Freire Pesquisador associado do Centro de Lgica, Epistemologia e Histria da Cincia, Unicamp. 2- Samuel Gomes da Silva Professor Adjunto do Instituto de Matemtica, UFBA. 3- Valeria de Paiva - Senior Research Scientist Rearden Commerce, CA, USA e Honorary Research Fellow, University of Birmingham, UK.