Caros colegas Obrigado pelo feedback.
Renata: Ótimo, é exatamente isso que estamos precisando. Tivemos muitas dificuldades para fazer a proposta em computação. Notamos que não há revista A de lógica e colocamos isso na carta. Realmente não sabiamos bem que tipo de relevância o JPL tem para computação. Colocamos qualquer coisa para não deixar sem nada. Decio: Com relação a Studia Logica. Acho que podemos melhorar a proposta para colocar B1 ou B2, mas vou explicar porque colocamos inicialmente a proposta de manter o B2. Realmente B2 na matemática não é ótimo (também não é péssimo). Acontece que precisamos compará-las com outras revistas para elaborar a proposta. Dei uma olhada no que anda saindo na Studia Logica. Sem dúvida, coisas muito boas, escritas por gente competente, mas que, me parece, estão mais próximas de lógica filosofica e computacional do que de lógica matemática. É claro que a distinção aqui não é totalmente clara, mas há alguma distinção e é preciso leva-la em consideração. Por exemplo, me parece que para a comunidade de lógicos matemáticos a Studia Logica, do ponto de vista matemático, não está no mesmo nível que as sete revistas mencionadas na carta. Comparando com o que anda saindo nessas sete revistas e o que anda saindo na Studia Logica, realmente creio que não dá para colocar junto no mesmo pacote. Mas vamos melhorar a proposta para B1 ou B2. Mais comentários são bem vindos. Abraço Rodrigo 2012/3/21 Renata Wassermann <ren...@ime.usp.br> > Pessoal, > > Parabéns pelo trabalho! Acho que dá para convergir rapidamente. > Não posso julgar pelas áreas de matemática e filosofia, mas vou arriscar > uns palpites em relação a classificação para > a computação. > > Não temos atualmente nenhuma revista de lógica no extrato A da computação. > Nunca me agradou a ideia de separar por áreas, mas mesmo separando, > revistas como o Journal of Symbolic Logic e o Journal of Philosophical > Logic merecem um A, nem que seja A2. Pela tabela atual, os pre-prints do > CLE "valem mais" do que o JPL. > > O Journal of Logic and Computation está classificado melhor na filosofia do > que na computação. Eu deixaria no mínimo igual. > > Abraços, > > Renata. > > > > From: sam...@ufba.br > > To: "Itala M. L. D'Ottaviano" <it...@cle.unicamp.br> > > Cc: Lista acadêmica brasileira dos profissionais e estudantes da área de > > LOGICA <logica-l@dimap.ufrn.br>, Charles Morgan <tch...@gmail.com> > > Date: Tue, 20 Mar 2012 19:00:48 -0300 > > Subject: Re: [Logica-l] documento para a capes > > Olá Itala e demais da lista, > > > > Se não me engano, Studia Logica nao foi incluída na tabela porque já está > > no Qualis, com boa qualificação em Filosofia (A2) e uma qualificação "não > > ruim" em Matemática (B2). > > > > (Foi isso mesmo, não é, Rodrigo e Valeria ?) > > > > Se é o caso de melhorar em computação, alguém poderia nos dar um > > feedback... > > > > Até, > > > > []s Samuel > > > > Quoting "Itala M. L. D'Ottaviano" <it...@cle.unicamp.br>: > > > > Caro Rodrigo: > >> > >> Concordo com os termos do documento. > >> Entretanto, como não está mencionada Studia Logica? > >> > >> Itala > >> > >>> 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 > >>> Logica-l@dimap.ufrn.br > >>> http://www.dimap.ufrn.br/cgi-**bin/mailman/listinfo/logica-l< > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l> > >>> > >>> > >> > >> ++++++++++++++++++++++++++++++**++++++++++++++++++++++++++++ > >> Itala M. L. D'Ottaviano > >> Centre for Logic, Epistemology and the History of Science - CLE > >> State University of Campinas - UNICAMP > >> Sergio Buarque de Holanda, 251 Street > >> ZIP CODE 13083-859 - Campinas-SP, Brazil > >> Fax: +55-19-3289-3269 > >> Tel.:+55–19-3521-6517 > >> > >> > >> > >> > > > > > > ------------------------------**------------------------------**---- > > Universidade Federal da Bahia - http://www.portal.ufba.br > > > > > > > > _______________________________________________ > > Logica-l mailing list > > Logica-l@dimap.ufrn.br > > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > > > > > > > -- > Renata Wassermann > Associate Professor > Computer Science Department > University of São Paulo > _______________________________________________ > Logica-l mailing list > Logica-l@dimap.ufrn.br > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > _______________________________________________ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
