Caros colegas
Nos últimos dias, eu, Samuel, Valéria e o Charles elaboramos uma proposta
para o qualis que deverá ser encaminhada a capes. O documento contém dois
componentes: uma carta e uma tabela com revistas e propostas de
classificação. Estou encaminhando a carta no corpo dessa mensagem. Como
essa lista não aceita anexos, estamos pensando como vamos disponibilizar a
tabela.
A idéia é ouvir as opiniões da lista e depois preparar um documento
contendo um abaixo assinado que deverá ser encaminhado a capes e divulgado
no jornal da ciência.
Lembro que a atualização do qualis está em processo, por isso temos *pouco
tempo* para ajustes. (Aparentemente o qualis da física já foi atualizado).
Manifestem-se.
Abraço
Rodrigo
[Aos comitês relevantes da Capes para o Qualis]
O presente documento tem por finalidades: (i) diagnosticar e avaliar a
situação
das publicações em Lógica perante o Qualis-2009, e (ii) levar aos comitês
responsáveis
da Capes uma proposta da comunidade acadêmica para a atualização em curso
(2012)
do Qualis no que se refere à Lógica. Com relação ao primeiro objetivo,
notamos que as
publicações em Lógica abrangem as áreas de Matemática, Filosofia e Ciência
da
Computação e constatamos que nas respectivas listas Qualis a situação da
Lógica é
insatisfatória em mais de um aspecto. Em primeiro lugar, várias entre as
melhores
revistas de Lógica sequer possuem uma classificação em pelo menos uma
dessas áreas.
Em segundo lugar, nas listas correspondentes às três áreas acima, as
revistas de Lógica
não apresentam uma classificação coerente nem com a qualidade das mesmas,
nem com
a percepção da comunidade internacional a respeito delas. Por último,
notamos que, em
duas dessas áreas (Matemática e Ciência da Computação), a Lógica aparece
desvalorizada com relação às demais subáreas, não sendo contemplada com
nenhuma
revista especializada nos estratos A.
A presente proposta elabora em detalhes os pontos de insatisfação levantados
acima, considerando a partir de agora a situação da Lógica separadamente em
cada uma
das três áreas destacadas, começando pela Matemática. Há, em grande medida,
consenso na comunidade internacional de lógicos matemáticos sobre quais são
as
melhores entre as revistas especializadas que publicam pesquisa original em
Lógica
Matemática. São elas (em ordem alfabética): 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 classificação segundo Qualis na área de
Matemática
(ambas B1). No documento anexo segue uma proposta de classificação para
cada uma
dessas sete revistas, divididas em dois grupos: um grupo de três revistas,
que julgamos
ter qualidade compatível com o estrato A1 e um grupo com as quatro revistas
restantes,
que julgamos ter qualidade compatível 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 Lógica
Matemática não é uma subdivisão da Álgebra ou da Análise, por isso não está
contemplada por revistas especializadas em outras áreas. Ao contrário,
trata-se de uma
disciplina autônoma com intensa atividade de pesquisa em Computabilidade,
Teoria de
Conjuntos, Teoria de Modelos e Teoria da Prova. Não obstante, a Lógica
Matemática
apresenta conexões substanciais com Álgebra Universal, Análise não-Standard,
Geometria Algébrica, Teoria de Categorias, Teoria da Computação, Teoria da
Medida,
Teoria de Espaços de Banach, Topologia Geral, entre outras, e há potencial
para
estabelecer outras relações e para aprofundar as relações já existentes. A
Lógica
Matemática é comparável, em extensão e profundidade de seus resultados, a
outras
disciplinas matemáticas atualmente contempladas com vários periódicos nos
estratos A.
Com relação à Filosofia, a atualização da lista Qualis ocorrida em 2009
corrigiu
algumas distorções relativas à Lógica. Contudo, há ainda ausências
notáveis: as revistas
The Review of Symbolic Logic e Notre Dame Journal of Formal Logic não
possuem
classificação. Essa situação é compreensível no caso da primeira, pois a
mesma foi
criada em 2008 e a última lista Qualis foi produzida já em 2009, mas é
totalmente
incompreensível no caso da segunda. O Notre Dame Journal of Formal Logic
possui
grande tradição na área de Lógica Filosófica e Fundamentos da Matemática, e
é
considerado um dos melhores periódicos de Lógica Formal. Portanto, propomos
que
essas revistas sejam classificadas pelo Qualis e que recebam uma avaliação
compatível
com a reconhecida qualidade das mesmas. A proposta completa encontra-se no
documento anexo.
Finalmente, a lista Qualis em Ciência da Computação apresenta discrepâncias
similares àquelas da Matemática: apenas uma entre as sete melhores revistas
de Lógica
Matemática mencionadas acima possui uma classificação segundo Qualis. Não há
revista especializada em Lógica nos estratos A.
As considerações expostas acima, somadas à importância do Qualis para os
programas de pós-graduação em todo o país, constituem um quadro negativo
para a
Lógica e seus pesquisadores no Brasil. Diante dessa situação vimos propor,
através
deste documento, alterações ao Qualis que sejam justas para com nossas
áreas de
atuação. Para isso realizamos uma extensa consulta a pesquisadores e
rankings
nacionais e internacionais, e uma análise das principais publicações em
Lógica,
comparando-as com publicações especializadas em outras subáreas. O
resultado dessa
atividade é o documento anexo, que consiste em uma tabela de revistas e
propostas para
classificação em cada uma das três áreas em questão. Na primeira coluna da
tabela
encontra-se o nome da revista, na segunda a editora. Em cada uma das três
colunas
seguintes há uma proposta de classificação segundo Qualis em Matemática,
Filosofia e
Ciência da Computação, nessa ordem. O asterisco indica que essa é a
classificação atual
(2009) e que estamos propondo que seja mantida. Nos outros casos, sempre há
duas
propostas e a primeira é a prioritária. Portanto, [A2 ou B1] e [B1 ou A2]
são diferentes:
no primeiro caso a proposta é "prioritariamente A2" e no segundo "B1, mas
não menos
que B1". A tabela não tem qualquer pretensão de completude: concentramos-nos
naquilo que parece mais urgente.
Certos de que os critérios estritamente acadêmicos devem prevalecer, assinam
esta carta:
1- Rodrigo de Alvarenga Freire Pesquisador associado do Centro de Lógica,
Epistemologia e História da Ciência, Unicamp.
2- Samuel Gomes da Silva Professor Adjunto do Instituto de Matemática,
UFBA.
3- Valeria de Paiva - Senior Research Scientist Rearden Commerce, CA, USA e
Honorary Research Fellow, University of Birmingham, UK.
_______________________________________________
Logica-l mailing list
[email protected]
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
