Lógicos e Revistas

            A tabela abaixo foi elaborada quando a nossa proposta para o Qualis já estava pronta. Portanto, essa tabela não é apresentada, de maneira alguma, como um argumento ou uma justificativa para nossa proposta. Ao contrário, montamos a tabela para ver se era consistente com nossa proposta.

            As colunas da tabela correspondem a onze revistas específicas de Logica que estamos propondo classificação no mínimo B1 em Matemática. As linhas correspondem a pesquisadores em Lógica destacados por sua produtividade e que ainda estão ativos: os primeiros dez foram retirados de uma lista que o professor Jean-Yves Beziau apresentou na Logica-l. Outros cinco pesquisadores importantes foram incluídos por nós.  As revistas estão identificadas por siglas e uma legenda é apresentada logo abaixo da tabela. A tabela apresenta um perfil das publicações desses pesquisadores nas revistas consideradas. A pesquisa foi feita no MathScinet. No caso de revistas que mudaram de nome, os números referem-se a toda a história da revista.

            A finalidade da tabela é a de retratar quais são as revistas que estão no radar das diversas áreas de pesquisa em Lógica Formal. Claro que cada uma dessas revistas tem sua ênfase e seu perfil, por isso buscamos considerar um grupo de lógicos que represente várias áreas de pesquisa em Lógica Formal e ver onde eles publicam. Por exemplo, vemos que a Studia Logica está fortemente no radar de pesquisadores em lógicas não-clássicas, álgebra da lógica, fundamentos da lógica, mas aparece pouco no radar de teóricos de modelos, conjuntos e recursão. Por outro lado vemos que The Journal of Symbolic Logic, pelo menos em algum momento, esteve no radar de todas as áreas.

Lembramos que a tabela não tem potencial de um argumento, mas achamos que é consistente com nossa proposta. Esse é um retrato da vida inteira desses pesquisadores. Além disso, algumas dessas revistas mudaram de perfil ao longo dos últimos anos, outras são ainda muito jovens e a tabela não é exaustiva, em nenhum sentido. Por isso é só uma imagem, não muito precisa, do que está no radar das diversas áreas da Lógica Formal. Contudo, pode ser uma confirmação de que nossa proposta provavelmente está no caminho certo.

	JSL	APAL	JML	FM	MLQ	AML	JLC	IGPL	NDJFL	SL	BSL	TOT
SHELAH	130	80	5	52	13	46	1	0	26	0	1	354
GABBAY	12	2	0	1	4	3	6	21	1	27	0	77
BLASS	19	10	1	6	1	2	0	1	2	0	1	43
PILLAY	40	18	2	4	2	8	0	0	3	0	2	79
GUREVICH	20	6	0	1	0	3	1	0	1	1	3	36
HINTIKKA	2	2	0	1	1	0	0	0	1	1	2	10
VAN BENTHEM	7	1	0	1	1	0	3	0	4	16	0	33
SUPPES	4	0	0	0	0	0	0	0	0	1	0	5
MINTS	3	10	0	0	0	4	0	0	1	2	0	20
MUNDICI	4	5	0	3	1	4	1	0	0	8	0	26
MOERDIJK	4	6	0	1	0	0	0	0	1	0	0	12
SLAMAN	17	8	2	2	0	3	0	0	2	0	2	36
VAANANEN	8	7	2	4	6	3	0	1	2	1	2	36
FEFERMAN	9	5	0	6	0	2	0	0	2	0	3	27
FINE	3	0	0	0	1	0	0	0	5	1	0	10
TOTAL	282	160	12	82	30	78	12	23	50	58	16

JSL =  THE JOURNAL OF SYMBOLIC LOGIC
APAL = ANNALS OF PURE AND APPLIED LOGIC
JML = JOURNAL OF MATHEMATICAL LOGIC
FM = FUNDAMENTA MATHEMATICAE
MLQ = MATHEMATICAL LOGIC QUARTERLY
AML = ARCHIVE FOR MATHEMATICAL LOGIC
JLC =  JOURNAL OF LOGIC AND COMPUTATION
IGPL = LOGIC JOURNAL OF THE IGPL
NDJFL = NOTRE DAME JOURNAL OF FORMAL LOGIC
SL = STUDIA LOGICA
BSL = THE BULLETIN OF SYMBOLIC LOGIC