Obrigado Decio, Subi para B1.
Abraço Rodrigo 2012/3/21 Décio Krause <[email protected]> > Rodrigo > Sim, você está certo,mas sugiro B1. Abraço > D > > > > ------------------------------------------------------ > Décio Krause > Departamento de Filosofia > Universidade Federal de Santa Catarina > 88040-900 Florianópolis - SC - Brasil > http://www.cfh.ufsc.br/~dkrause > ------------------------------------------------------ > > Em 21/03/2012, às 15:43, Rodrigo Freire <[email protected]> escreveu: > > > 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 <[email protected]> > > > >> 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: [email protected] > >>> To: "Itala M. L. D'Ottaviano" <[email protected]> > >>> Cc: Lista acadêmica brasileira dos profissionais e estudantes da área > de > >>> LOGICA <[email protected]>, Charles Morgan <[email protected]> > >>> 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" <[email protected]>: > >>> > >>> 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 > >>>>> [email protected] > >>>>> 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 > >>> [email protected] > >>> 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 > >> [email protected] > >> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > >> > > _______________________________________________ > > Logica-l mailing list > > [email protected] > > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
