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
|
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
