Re: [Logica-l] logicos e revistas: newton da costa fora do jogo?
Caro Walter A idéia da tabela *não é de comparar pesquisadores*. Retiro a seguinte frase do texto do Blog que precede a tabela: "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. " Enfim, gostaríamos de ver que revistas são consideradas por que áreas de pesquisa em lógica na hora de publicar. Desse modo podemos avaliar se a nossa proposta é coerente com o que os lógicos consideram na hora de publicar. Por exemplo, estamos propondo uma classificação (na Matematica) maior para Archive for Mathematical Logic do que para Journal of Logic and Computation. A tabela parece ser consistente com isso: ela indica que AML está fortemente no radar dos lógicos de perfil mais matemático enquanto o JLC está pouco no radar desses mesmos lógicos. Por sua vez, estamos propondo uma classificação para o APAL maior que para o AML: novamente, a tabela é consistente com isso. Por isso consideramos 15 pesquisadores produtivos (de fora do Brasil) representando diversas áreas e olhamos para o perfil de publicações nessas revistas que estamos propondo B1 ou acima na Matemática. A tabela pode ser ampliada para incluir revistas que propomos B2 ou acima na Matemática, incluindo assim Logica Universalis, Review of Symbolic Logic, TAC, entre outras. Também é possível ampliar o número de pesquisadores. Contudo lembro que a Logica Universalis e o Review of Symbolic Logic são muito jovens para esse tipo de análise. Depois posso fazer uma análise mais detalhada do que "eu leio" da tabela. Abraço Rodrigo ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
[Logica-l] CRASP=B2 !? Medalha Fields nao reconhecida no Brasil?
Se a gente considera uma avaliacao de revista de logica latu sensu , incluindo revistas que nao sao specializadas em logicas (Como esta sendo feito pelos nossos colegas) sugero incluir na lista de revistas cuja qualificacao precisa se revista pelo QUALIS/CAPES a segunite: Comptes Rendus de l'Académie des Sciences de Paris - Série Mathématiques No momento esta classificada B2 na matematica (!?) Publicaram artigos la, Medalhas Fields tais que Jean-Pierre Serre, Laurent Schwarz, Alain Connes, Jean-Chistophe Yoccoz, Pierre-Louis Lions, Cédric Villani, Laurent Lafforgue, Wendelin Werner ... Este journal publica artigos de todas aereas da matematica, inclusivo a logica. Lembro que e neste journal foi publicado em 1963 ou artigo do Newton da Costa sobre logica paraconsistente, que pode ser considerado de fato a primeira publicacao de um artigo de logica paraconsistente numa revista cientifica de alto padrao. Essa publicacao do da Costa foi seguido de cerca de mais dez nesta mesma resvista. Ver a lista completa no artigo do Marcel Guillaume, Regard en arrière sur quinze années de coopération douce avec l'école brésilienne de logique paraconsistante. [A look back on fifteen years of congenial cooperation with the Brazilian school of paraconsistent logic]. Logique et Anal. (N.S.) 39 (1996), no. 153-154, 5–14. Special Issue Contemporary Brazilian research in logic J.-Y-Beziau and F.A.Doria (eds)]. ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] Electronic Notes in Theoretical Computer Science
Olá, Vivek: Você está essencialmente correto na sua descrição da percepção internacional do ENTCS, na área de Computação. No entanto, a percepção da comunidade brasileira de computação parece ter sido, até hoje, a de que vale a pena torcer ou ignorar quaisquer critérios que sejam necessários de modo a conseguir valorizar um veículo (por acaso, da Elsevier) no qual se publicam frequentemente anais de congressos --- lembre-se de que a comunidade de computação brasileira tem imensas dificuldades de publicar em periódicos, e "valoriza a publicação em conferências". Algo politicamente semelhante, mas um pouco mais absurdo, ocorre na extra-valorizada comunidade de "lógica filosófica". Como já foi apontado aqui antes por outrem, nesta comunidade um simples servidor de preprints é capaz de contar como B2, mesmo em inconsistência com os (suaves) critérios do documento de área do CA-FI. Infelizmente, nem nestes casos mais flagrantes a nota é revisada para baixo na planilha que consta da carta dos colegas. JM 2012/3/27 Vivek Nigam : > Caros colegas brasileiros, > > Ao verificar a lista de jornais e suas notas no Qualis, acessando o link > abaixo, > > http://www.dainf.ct.utfpr.edu.br/~adolfo/etc/docs/WebqualisComputacao.html > > eu fiquei surpreso que Electronic Notes in Theoretical Computer Science > (ENTCS) tem uma > nota tão alta: B2. > > ENTCS são usados geralmente para a publicação de papers em pequenos > workshops. > Alguns dos meus colegas aqui na LMU em Munique (quer dizer todos) nem o > consideram > como um jornal propriamente dito, apesar do sistema DBLP considera-lo como > tal. > Atualmente, ENTCS tem a mesma nota que alguns jornais da ACM(!). > > Eu sugeriria a redução da sua nota para algo mais adequado, tipo B4 ou B5. > > Abracos, > > Vivek > ___ > Logica-l mailing list > Logica-l@dimap.ufrn.br > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l -- http://sequiturquodlibet.googlepages.com/ ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
[Logica-l] LSFA2011 @ EPTCS
Parabéns a Elaine e demais envolvidos no LSFA pela publicação do volume de anais do último LSFA! Só podemos lamentar que ---diferentemente do ENTCS--- o EPTCS, cujo material é de livre acesso na net, não possui qualquer classificação segundo o Qualis. JM > -- > \\ > arXiv:1203.5423 > Date: Sat, 24 Mar 2012 15:27:21 GMT (3kb) > > Title: Proceedings 6th Workshop on Logical and Semantic Frameworks with > Applications > Authors: Simona Ronchi della Rocca (UNITO), Elaine Pimentel (UFMG) > Categories: cs.LO cs.CC cs.PL > ACM-class: F.3.1, F.3.2, F.4.1 > Journal-ref: EPTCS 81, 2012 > DOI: 10.4204/EPTCS.81 > \\ > This volume contains the proceedings of the Sixth Workshop on Logical and > Semantic Frameworks with Applications (LSFA 2011). The workshop will be hold > in > Belo Horizonte, on August 27th 2011. > Logical and semantic frameworks are formal languages used to represent > logics, languages and systems. These frameworks provide foundations for formal > specification of systems and programming languages, supporting tool > development > and reasoning. > The objective of this one-day workshop is to put together theoreticians and > practitioners to promote new techniques and results, from the theoretical > side, > and feedback on the implementation and the use of such techniques and results, > from the practical side. > \\ ( http://arxiv.org/abs/1203.5423 , 3kb) > -- -- http://sequiturquodlibet.googlepages.com/ ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] Electronic Notes in Theoretical Computer Science
Caro Vivek, Sim, eu concordo que a classificacao do ENTCS, assim como outras, esta' errada pra cima. e nos nao mexemos em nada que achamos "super-corrigido". Mas estamos tendo difficuldades suficientes de encontrar apoio para a correcao *minimal* que estamos propondo, como voce deve ter percebido. ;) A sua correcao me parece de "segunda ordem" no estado geral em que nos encontramos. Mas fique a vontade pra deixa-la registrada no abaixo-assinado, se quiser. e obrigada por ter assinado! Temos mais de 40 assinaturas. 'e pouco, 10% do total de assinantes da lista(nao e' JM?). mas pelo menos, tendem a ser os mais participantes. abracos minimais, Valeria 2012/3/26 Vivek Nigam > Caros colegas brasileiros, > > Ao verificar a lista de jornais e suas notas no Qualis, acessando o link > abaixo, > > http://www.dainf.ct.utfpr.edu.br/~adolfo/etc/docs/WebqualisComputacao.html > > eu fiquei surpreso que Electronic Notes in Theoretical Computer Science > (ENTCS) tem uma > nota tão alta: B2. > > ENTCS são usados geralmente para a publicação de papers em pequenos > workshops. > Alguns dos meus colegas aqui na LMU em Munique (quer dizer todos) nem o > consideram > como um jornal propriamente dito, apesar do sistema DBLP considera-lo como > tal. > Atualmente, ENTCS tem a mesma nota que alguns jornais da ACM(!). > > Eu sugeriria a redução da sua nota para algo mais adequado, tipo B4 ou B5. > > Abracos, > > Vivek > ___ > Logica-l mailing list > Logica-l@dimap.ufrn.br > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > -- Valeria de Paiva http://www.cs.bham.ac.uk/~vdp/ http://valeriadepaiva.org/www/ ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] LSFA2011 @ EPTCS
Em tempo: eu sou contra proocedings serem classificados no Qualis... Mas, se tem que ser, concordo com o Vivek, no maximo B4... Abracos, Elaine. Enviado desde mi iPhone El 27/03/2012, a las 7:07, Joao Marcos escribió: > Parabéns a Elaine e demais envolvidos no LSFA pela publicação do > volume de anais do último LSFA! Só podemos lamentar que > ---diferentemente do ENTCS--- o EPTCS, cujo material é de livre acesso > na net, não possui qualquer classificação segundo o Qualis. > > JM > > >> -- >> \\ >> arXiv:1203.5423 >> Date: Sat, 24 Mar 2012 15:27:21 GMT (3kb) >> >> Title: Proceedings 6th Workshop on Logical and Semantic Frameworks with >> Applications >> Authors: Simona Ronchi della Rocca (UNITO), Elaine Pimentel (UFMG) >> Categories: cs.LO cs.CC cs.PL >> ACM-class: F.3.1, F.3.2, F.4.1 >> Journal-ref: EPTCS 81, 2012 >> DOI: 10.4204/EPTCS.81 >> \\ >> This volume contains the proceedings of the Sixth Workshop on Logical and >> Semantic Frameworks with Applications (LSFA 2011). The workshop will be hold >> in >> Belo Horizonte, on August 27th 2011. >> Logical and semantic frameworks are formal languages used to represent >> logics, languages and systems. These frameworks provide foundations for >> formal >> specification of systems and programming languages, supporting tool >> development >> and reasoning. >> The objective of this one-day workshop is to put together theoreticians and >> practitioners to promote new techniques and results, from the theoretical >> side, >> and feedback on the implementation and the use of such techniques and >> results, >> from the practical side. >> \\ ( http://arxiv.org/abs/1203.5423 , 3kb) >> -- > > -- > http://sequiturquodlibet.googlepages.com/ > ___ > 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
[Logica-l] Parabéns à LOGICA-L
2012/3/27 Valeria de Paiva : > > Temos mais de 40 assinaturas. 'e pouco, 10% do total de assinantes da > lista(nao e' JM?). mas pelo menos, tendem a ser os mais participantes. Sim, Valeria e demais colegas: no dia de hoje a lista tem exatamente 400 membros inscritos. E comemora justo agora 6 anos de funcionamento. Parabéns a todos! Joao Marcos -- http://sequiturquodlibet.googlepages.com/ ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
[Logica-l] Numerologia cientifica
Caros colegas, so' mais um dado cienciometrico pra todos: Quem tiver dez minutos e quiser se divertir pode ler esse paper-sacanagem sobre o Ike Antkare http://membres-lig.imag.fr/labbe/Publi/IkeAntkareV2.pdf comeca assim: How Ike Antkare became one of the most highly cited scientists in the modern world and how you could become like him. E' baseado no trabalho de colegas da pouco conhecida instituicao MIT. (mas confesso que nao verifiquei quao fidedigno 'e o relato...) Abracos patafisicos, Valeria -- Valeria de Paiva http://www.cs.bham.ac.uk/~vdp/ http://valeriadepaiva.org/www/ ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] Parabéns à LOGICA-L
2012/3/27 Valeria de Paiva > Parabens a voce Joao Marcos, por manter a lista funcionando e sendo util! > > Muito atrasados os meus parabens, mas realmente sinceros. > > Feliz sexto aniversario! > > beijos, > > Valeria > sem cupcakes... > > 2012/3/27 Joao Marcos : > > 2012/3/27 Valeria de Paiva : > >> > >> Temos mais de 40 assinaturas. 'e pouco, 10% do total de assinantes da > >> lista(nao e' JM?). mas pelo menos, tendem a ser os mais participantes. > > > > Sim, Valeria e demais colegas: > > no dia de hoje a lista tem exatamente 400 membros inscritos. > > E comemora justo agora 6 anos de funcionamento. > > > > Parabéns a todos! > > > > Joao Marcos > > > > -- > > http://sequiturquodlibet.googlepages.com/ > > ___ > > Logica-l mailing list > > Logica-l@dimap.ufrn.br > > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > > > > -- > Valeria de Paiva > http://www.cs.bham.ac.uk/~vdp/ > http://valeriadepaiva.org/www/ > -- Valeria de Paiva http://www.cs.bham.ac.uk/~vdp/ http://valeriadepaiva.org/www/ ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
[Logica-l] Avaliacao internacional
JM: Muito bom entrar os dados do CRASP (veja em baixo) na sua planilha de revistas de logica latu sensu Imagino de fato que a classificacao Qualis/CAPES nao interesse muito as pessoas de fora. De outro lado e bom botar essa informacao se a gente quer conselhos e suggestoes de pesquisadores internacionais. Alias me parece que o aviso de pesquisadores de fora do Brasil deveria ser levado em conto. O e-mail do Vivek Nigam mostra de fato que tipo de absurdidades foram promovidos no Brasil. Me parece tambem que corrigir a avaliacao, nao e so elevar, mas tambem rebaixar ! Fazer algumas correcoes parcais e rapidinho nao me parece uma boa opcao, porque daqui alguns anos, na proxima evalucao, a gente vai ter que trabalhar a partir deste bricolage. Acredito que devemos trabalhar seriamente e sistematicamente ja que começamos a discutir, seria bom continuar a discussao e desenvolver este trabalho ate chegar num nivel sensato. Um abraço, JY * Os dados dos CRASP Comptes rendus de l'Académie des Sciences - Mathématiques se encontram em: http://www.elsevier.com/wps/find/journaldescription.cws_home/600301/description#description os arquivos da revista 1835-1965 sao disponiveis gratuitamente no site da Biliotthèdque de France http://gallica.bnf.fr/ark:/12148/cb343481087/date.r=compres+rendus+de+l%27acad%C3%A9mie+des+sciences+de+paris++1963.langFR o artigo origina do Newton da Costa http://gallica.bnf.fr/ark:/12148/bpt6k4009k/f1058.image ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
[Logica-l] Parabéns à LOGICA-L, ao João e a todos nós que a mantemos em pé
Parabéns à LOGICA-L, ao João e a todos nós que a temos mantido funcionando. A Lista de fato tem sido um enorme fator de coesão a todos os que se ocupam da Lógica, independente de rótulos. Como então Presidente da Sociedade Brasileira de Lógica (SBL), propus que a "LOGICA-L- Lista acadêmica Brasileira dos Profissionais e Estudantes da Área de Lógica" fosse considerada como de interesse da SBL, e fosse usada como veículo de comunicação da SBL (o que obviamente não dá à SBL nenhum poder sobre a Lista). Após estes 6 anos, creio que foi uma decisão acertada da SBL. Walter --- Prof. Dr. Walter Carnielli Director Centre for Logic, Epistemology and the History of Science – CLE State University of Campinas –UNICAMP 13083-859 Campinas -SP, Brazil Phone: (+55) (19) 3521-6517 Fax: (+55) (19) 3289-3269 Institutional e-mail: walter.carnie...@cle.unicamp.br Website: http://www.cle.unicamp.br/prof/carnielli ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] Parabéns à LOGICA-L, ao João e a todos nós que a mantemos em pé
Apoiadíssimo. Decio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-940 Florianópolis, SC -- Brasil deciokrause[at]gmail.com www.cfh.ufsc.br/~dkrause "We are intrinsically spatial and temporal beings. We can only observe particular entities, handle spatial things, and our thinking depends on the concept of individuals. How to reconcile nonspatial quantum characteristics with spatio- temporal individuation is perhaps the next great problem physics has to overcome." (S. Auyang, "How is quantum field possible?"(Princeton Un. Press, 1995, p.165). Em 27/03/2012, às 10:23, Walter Carnielli escreveu: > Parabéns à LOGICA-L, ao João e a todos nós que a temos mantido > funcionando. > A Lista de fato tem sido um enorme fator de coesão a todos os que se > ocupam da Lógica, > independente de rótulos. > > Como então Presidente da Sociedade Brasileira de Lógica (SBL), propus que a > "LOGICA-L- Lista acadêmica Brasileira dos Profissionais e Estudantes > da Área de Lógica" > fosse considerada como de interesse da SBL, e fosse usada como > veículo de comunicação > da SBL (o que obviamente não dá à SBL nenhum poder sobre a Lista). > Após estes 6 anos, > creio que foi uma decisão acertada da SBL. > > > Walter > > --- > Prof. Dr. Walter Carnielli > Director > Centre for Logic, Epistemology and the History of Science – CLE > State University of Campinas –UNICAMP > 13083-859 Campinas -SP, Brazil > Phone: (+55) (19) 3521-6517 > Fax: (+55) (19) 3289-3269 > Institutional e-mail: walter.carnie...@cle.unicamp.br > Website: http://www.cle.unicamp.br/prof/carnielli > ___ > 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
Re: [Logica-l] Numerologia cientifica
Sensacional. Sugiro colaborarmos citando pelo menos um paper de Ike Antkare em cada paper que doravante escrevamos. JM 2012/3/27 Valeria de Paiva : > Caros colegas, > > so' mais um dado cienciometrico pra todos: > Quem tiver dez minutos e quiser se divertir pode ler > esse paper-sacanagem sobre o Ike Antkare > http://membres-lig.imag.fr/labbe/Publi/IkeAntkareV2.pdf > > comeca assim: > How Ike Antkare became one of the most highly cited scientists in the > modern world and > how you could become like him. > > E' baseado no trabalho de colegas da pouco conhecida instituicao MIT. > (mas confesso que nao verifiquei quao fidedigno 'e o relato...) > > Abracos patafisicos, > Valeria > -- > Valeria de Paiva > http://www.cs.bham.ac.uk/~vdp/ > http://valeriadepaiva.org/www/ > ___ > Logica-l mailing list > Logica-l@dimap.ufrn.br > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l -- http://sequiturquodlibet.googlepages.com/ ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] Numerologia cientifica
Tou nessa! Sent from my iPhone On 27/03/2012, at 10:53, Joao Marcos wrote: > Sensacional. > > Sugiro colaborarmos citando pelo menos um paper de Ike Antkare em cada > paper que doravante escrevamos. > > JM > > 2012/3/27 Valeria de Paiva : >> Caros colegas, >> >> so' mais um dado cienciometrico pra todos: >> Quem tiver dez minutos e quiser se divertir pode ler >> esse paper-sacanagem sobre o Ike Antkare >> http://membres-lig.imag.fr/labbe/Publi/IkeAntkareV2.pdf >> >> comeca assim: >> How Ike Antkare became one of the most highly cited scientists in the >> modern world and >> how you could become like him. >> >> E' baseado no trabalho de colegas da pouco conhecida instituicao MIT. >> (mas confesso que nao verifiquei quao fidedigno 'e o relato...) >> >> Abracos patafisicos, >> Valeria >> -- >> Valeria de Paiva >> http://www.cs.bham.ac.uk/~vdp/ >> http://valeriadepaiva.org/www/ >> ___ >> Logica-l mailing list >> Logica-l@dimap.ufrn.br >> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > > > > -- > http://sequiturquodlibet.googlepages.com/ > ___ > 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
[Logica-l] Call for Participation- Philosophy and Mathematics of Uncertainty and Vagueness
“Philosophy and Mathematics of Uncertainty and Vagueness" CLE- UNICAMP, Campinas, SP, Brazil, August 6th-15th, 2012 http://www.cle.unicamp.br/principal/pmuv/#! ** Call for Participation** This event will be held from August 6th to August 9th at the Centre for Logic, Epistemology and the History of Science – CLE, State University of Campinas –UNICAMP within the scope of the international project “MaToMUVI - Mathematical Tools for the Management of Uncertain and Vague Information”. MaToMUVI is a research project involving 13 Universities in Argentina, Brazil, Italy and Spain funded by Marie Curie International Research Staff Exchange Scheme (IRSES) 2009 project and co-funded by the European Commission within "Marie Curie" actions of the Seventh Framework Programme Research topics areas include: - Semantics for Uncertain and Vague Reasoning (including fuzzy, paraconsistent, etc.); - Logics and Mathematics of Uncertainty and Vagueness; - Philosophy of Inexactness = SCIENTIFIC COMMITTEE Walter CARNIELLI (coordinator) - State University of Campinas (Brazil) Sergio CELANI - National University of Central Buenos Aires (Argentina) Roberto CIGNOLI - CONICET (Argentina) Marcelo CONIGLIO - State University of Campinas (Brazil) Lluís GODO - IIIA-CSIC (Spain) Franco MONTAGNA - University of Siena (Italy) Daniele MUNDICI - University of Florence (Italy) Luca SPADA - University of Salerno (Italy) = ORGANIZING COMMITTEE Walter CARNIELLI (coordinator) - State University of Campinas Marcelo CONIGLIO - State University of Campinas Fabio BERTATO - State University of Campinas Juliana BUENO-SOLER - Federal University of ABC Rodolfo ERTOLA BIRABEN - State University of Campinas = Schedule: From August 6th to August 9th: Tutorials and mini-courses (for students and young researchers) 1 - PROBABILISTIC SATISFIABILITY Glauber de Bona and Marcelo Finger 2 - POSSIBLE-TRANSLATIONS SEMANTICS AS A TOOL FOR UNCERTAINTY Walter Carnielli 3 - NEW PERSPECTIVES ON POSSIBLE-TRANSLATIONS SEMANTICS Hugo Mariano 4 - TOPICS IN PARACONSISTENCY Marcelo Coniglio = Main talks/Conferences: Starting August 10th (Friday), and from August 13th to 15th (Monday to Wednesday) Social Activities August 11th and 12th: Saturday/Sunday Period of staying for European and Argentinian researchers: From August 05th to September 05th (about 1 month) = For any information concerning registration, accommodation, etc. please refer to: http://www.cle.unicamp.br/principal/pmuv/#! ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
[Logica-l] Especial de Logica Universalis sobre o hexagono das opposicoes
Nosso numero especial de Logica Universalis sobre o hexagono esta progredindo. Je temos 8 artigos publicados, recomendo am particulo o artigo do René Guitart A Hexagonal Framework of the Field F4 and the Associated Borromean Logic http://www.springerlink.com/content/120443/?Content+Status=Accepted René Guitart é um dos melhores epecialisto mundial da teoria das categorias ele tambem se interessa por didactico da matematica e filosofia http://rene.guitart.pagesperso-orange.fr/ ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
[Logica-l] Thought: A Journal of Philosophy
Acabou de ser lançado mais um periódico na área de "lógica filosófica". Thought: A Journal of Philosophy http://onlinelibrary.wiley.com/journal/10.1002/(ISSN)2161-2234 As áreas de interesse são: - Logic - Philosophy of Maths - Philosophy of Mind - Epistemology - Philosophy of Language - Metaphysics JM -- http://sequiturquodlibet.googlepages.com/ ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] Parabéns à LOGICA-L, ao João e a todos nós que a mantemos em pé
Digo o mesmo! Sent from my iPhone On 27/03/2012, at 10:26, Decio Krause wrote: > Apoiadíssimo. > > > Decio Krause > Departamento de Filosofia > Universidade Federal de Santa Catarina > 88040-940 Florianópolis, SC -- Brasil > deciokrause[at]gmail.com > www.cfh.ufsc.br/~dkrause > > "We are intrinsically spatial and temporal > beings. We can only observe particular > entities, handle spatial things, and our > thinking depends on the concept of > individuals. How to reconcile nonspatial > quantum characteristics with spatio- > temporal individuation is perhaps the next great problem physics has to > overcome." (S. Auyang, "How is quantum > field possible?"(Princeton Un. Press, 1995, p.165). > > > > > > > > Em 27/03/2012, às 10:23, Walter Carnielli escreveu: > >> Parabéns à LOGICA-L, ao João e a todos nós que a temos mantido >> funcionando. >> A Lista de fato tem sido um enorme fator de coesão a todos os que se >> ocupam da Lógica, >> independente de rótulos. >> >> Como então Presidente da Sociedade Brasileira de Lógica (SBL), propus que a >> "LOGICA-L- Lista acadêmica Brasileira dos Profissionais e Estudantes >> da Área de Lógica" >> fosse considerada como de interesse da SBL, e fosse usada como >> veículo de comunicação >> da SBL (o que obviamente não dá à SBL nenhum poder sobre a Lista). >> Após estes 6 anos, >> creio que foi uma decisão acertada da SBL. >> >> >> Walter >> >> --- >> Prof. Dr. Walter Carnielli >> Director >> Centre for Logic, Epistemology and the History of Science – CLE >> State University of Campinas –UNICAMP >> 13083-859 Campinas -SP, Brazil >> Phone: (+55) (19) 3521-6517 >> Fax: (+55) (19) 3289-3269 >> Institutional e-mail: walter.carnie...@cle.unicamp.br >> Website: http://www.cle.unicamp.br/prof/carnielli >> ___ >> 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 ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] Parabéns à LOGICA-L, ao João e a todos nós que a mantemos em pé
Hear, hear. On 27 March 2012 12:12, FAD 2 wrote: > Digo o mesmo! > > Sent from my iPhone > > On 27/03/2012, at 10:26, Decio Krause wrote: > >> Apoiadíssimo. >> >> >> Decio Krause >> Departamento de Filosofia >> Universidade Federal de Santa Catarina >> 88040-940 Florianópolis, SC -- Brasil >> deciokrause[at]gmail.com >> www.cfh.ufsc.br/~dkrause >> >> "We are intrinsically spatial and temporal >> beings. We can only observe particular >> entities, handle spatial things, and our >> thinking depends on the concept of >> individuals. How to reconcile nonspatial >> quantum characteristics with spatio- >> temporal individuation is perhaps the next great problem physics has to >> overcome." (S. Auyang, "How is quantum >> field possible?"(Princeton Un. Press, 1995, p.165). >> >> >> >> >> >> >> >> Em 27/03/2012, às 10:23, Walter Carnielli escreveu: >> >>> Parabéns à LOGICA-L, ao João e a todos nós que a temos mantido >>> funcionando. >>> A Lista de fato tem sido um enorme fator de coesão a todos os que se >>> ocupam da Lógica, >>> independente de rótulos. >>> >>> Como então Presidente da Sociedade Brasileira de Lógica (SBL), propus que a >>> "LOGICA-L- Lista acadêmica Brasileira dos Profissionais e Estudantes >>> da Área de Lógica" >>> fosse considerada como de interesse da SBL, e fosse usada como >>> veículo de comunicação >>> da SBL (o que obviamente não dá à SBL nenhum poder sobre a Lista). >>> Após estes 6 anos, >>> creio que foi uma decisão acertada da SBL. >>> >>> >>> Walter >>> >>> --- >>> Prof. Dr. Walter Carnielli >>> Director >>> Centre for Logic, Epistemology and the History of Science – CLE >>> State University of Campinas –UNICAMP >>> 13083-859 Campinas -SP, Brazil >>> Phone: (+55) (19) 3521-6517 >>> Fax: (+55) (19) 3289-3269 >>> Institutional e-mail: walter.carnie...@cle.unicamp.br >>> Website: http://www.cle.unicamp.br/prof/carnielli >>> ___ >>> 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 > ___ > Logica-l mailing list > Logica-l@dimap.ufrn.br > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l -- Marcelo Finger Departamento de Ciencia da Computacao Instituto de Matematica e Estatistica Universidade de Sao Paulo Rua do Matao, 1010 05508-090 Sao Paulo, SP Brazil Tel: +55 11 3091-9688, 3091-6135, 3091-6134 (fax) http://www.ime.usp.br/~mfinger ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
[Logica-l] Sim, a discussao deve ser contínua
Olás a todos, Sim, concordo que devemos continuar a discussao até chegar num nível sensato. No entanto, com a atualizacao em curso, acreditamos, eu, Valeria e Rodrigo, e acho que quase todos os demais que estao assinando no blog, que é interessante sim a comunidade ser ouvida neste momento, para melhorar um pouquinho que seja a nossa situacao, mas mantendo as antenas ligadas para as próximas atualizacoes. Essa nossa discussao deve ser contínua... Mas a atualizacao em curso nos deu esse sentimento de urgência. E também estamos demonstrando interesse em "participar do jogo" no momento, achamos isso importante. Para pedir para mudar o jogo, tem que sentar pra jogar primeiro. E observo que o exemplo citado pelo JY (a revista francesa Comptes Rendus) mostra como é difícil lidar com o Qualis: olhando agora pelo nosso trabalho pelo lado bom, vejam que estamos propondo um indicativo de B2 para Logica Universalis em Matemática, a *igualando* aí à Comptes Rendus, com toda a meia-vida e as medalhas Fields envolvidas !!! Se existem erros, creio que estao mais do lado da CAPES do que "na lista preparada pelos colegas". Até, e quem ainda nao assinou pedimos a assinatura... []s Samuel 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
[Logica-l] Baixo assinado de logica estou fora
Baixo assinado de logica estou fora Nao ha discussao, podemos falar qualquer coisa, a proposta fica a mesma viva a didatura do baixo assinado! As pessoas do baixo assinado decidem, e querem aprovacao, nao reagem a cricitas, nao modificam o baixo assinado dizem que nao ha tempo, que temos que assinar, concordar ... Nao e a melhor solucao, mas com nao ha tempo temos que escolher essa... Sempre ha tempo de discutir e de refletir O que vale uma solucao proposta a cima da hora dizendo que na tempo para pensar? JYB ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] Parabéns à LOGICA-L
Parabéns ao administrador e todos os membros pelas discussões de qualidade e notificações de interesse a todos os estudantes e pesquisadores interessados em lógica. Um forte abraço. 2012/3/27 Valeria de Paiva > 2012/3/27 Valeria de Paiva > > > Parabens a voce Joao Marcos, por manter a lista funcionando e sendo util! > > > > Muito atrasados os meus parabens, mas realmente sinceros. > > > > Feliz sexto aniversario! > > > > beijos, > > > > Valeria > > sem cupcakes... > > > > 2012/3/27 Joao Marcos : > > > 2012/3/27 Valeria de Paiva : > > >> > > >> Temos mais de 40 assinaturas. 'e pouco, 10% do total de assinantes da > > >> lista(nao e' JM?). mas pelo menos, tendem a ser os mais participantes. > > > > > > Sim, Valeria e demais colegas: > > > no dia de hoje a lista tem exatamente 400 membros inscritos. > > > E comemora justo agora 6 anos de funcionamento. > > > > > > Parabéns a todos! > > > > > > Joao Marcos > > > > > > -- > > > http://sequiturquodlibet.googlepages.com/ > > > ___ > > > Logica-l mailing list > > > Logica-l@dimap.ufrn.br > > > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > > > > > > > > -- > > Valeria de Paiva > > http://www.cs.bham.ac.uk/~vdp/ > > http://valeriadepaiva.org/www/ > > > > > > -- > Valeria de Paiva > http://www.cs.bham.ac.uk/~vdp/ > http://valeriadepaiva.org/www/ > ___ > 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
[Logica-l] Entrevista interessante com Graham Priest
http://www.3ammagazine.com/3am/logically-speaking/ Highlights: "*GP:* Well, for a start, I don’t think that logic has anything to do with the way that people actually reason. Standard work in cognitive psychology (e.g., the Wason Card Test) shows that people often reason invalidly in systematic ways. Logic is about the norms of correct inference. But the word ‘logic’ is ambiguous. It can mean our theories of inference, or it can mean the subject of these. Compare ‘dynamics’. Sometimes this means a theory of how things move (as in ‘Newtonian dynamics’). Sometimes it means how things actually move (as in ‘the dynamics of the earth’)." ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
[Logica-l] Sobre a discussao do(s) Qualis-LOGICA(S)
Ola a todos,
Tenho acompanhado a intensa (e interessante) movimentacao na lista de
logica sobre a questao do Qualis da(s) Logica(s) (matematica,
computacional, filosofica). Acredito que seria boa estrategia colocar
os esforcos coletivos da nossa comunidade em demandas para a Capes de
curto prazo e medio prazo.
(I) Curto prazo (proximas semanas): como a avaliacao trienal ja esta
em curso, por uma questao de pragmatismo, parece ser mais
razoavel/seguro trabalhar em cima de aperfeicoamentos pontuais do
trabalho da Valeria, Rodrigo, Samuel e Charles. Listas mais longas e
completas de periodicos poderiam ser adicionadas a essa proposta
basica para "apontar" que pretendemos ainda mais no futuro proximo
(2015) . Uma lista extensa e substancial de apoios dificilmente sera
completamente ignorada e nossos colegas da Capes terao clareza que o
movimento esta (e estara) "mobilizado" para futuras demandas
(melhores, mais profundas). Assim, o fundamental aqui e que
consigamos garantir que seremos ouvidos, antes desta revisao de 2012
terminar: seria apenas uma solucao parcial e transitoria (3 anos), em
funcao da urgencia. Em resumo, precisamos ser cautelosos para nao
sermos mais um caso onde o "otimo" inviabiliza o "bom" (ou
possivel).
(II) Medio prazo (avaliacao de 2015): teremos tempo suficiente para
debate e reflexao e gerar uma proposta mais consistente e estavel. Por
exemplo:
- Demandar o status que cada uma das 3 Logicas merecem (por exemplo,
no caso da Matematica, a Logica Matematica eh classificada no CNPQ
como subarea da Algebra: propor a grande area "Logica e Fundamentos").
- Produzir listas de periodicos de Logica(s) bem mais extensas (para
as 3 logicas) ;
- Propor a criacao de um mix de indicadores *completamente* objetivos
para avaliacao: uma media adequadamente ponderada de fatores de
impacto, fator 5 anos, tabela com pesquisadores internacionais e onde
publicararam (estes 2 ultimos capturariam de alguma forma a questao
da "meia vida"), etc... Aqui tratariamos de algo nos moldes de um
"IDH" para ciencia e nao apenas algo centrado o "PIB" (= fatores de
impacto). Assim como em Economia, caberia defender o
"reescalonamento" do PIB em funcao de algum numero estimado de
pesquisadores de cada grande area (um "MaC-dolar" para a ciencia):
novamente exemplificando com a situacao da Matematica, certamente ha
muito mais analistas e geometras no mundo que logicos. Assim,
poderiamos propor no estrato A1, 8 revistas "generalistas" e 2 para
cada grande area (Geometria, Analise, Algebra, Logica+Fundamentos); no
estrato A2 poderiam ser 12 generalistas e 3 de cada grande area; os
estratos B e C nao teriam limitacoes de quantidades. Espera-se que
varios indices de revistas devam subir, alguns devam descer, mas uma
objetidade (mesmo que " meio burra") eh bem superior que decisoes
subjetivas e personalisticas.
- Defender reavaliacoes automaticas e anuais.
- Articular como outras areas descontentes e/ou subrepresentadas no
Qualis (ex, no caso da Matematica, ha setores da Algebra em situacao
analoga a da Logica).
Como muitos, nao sou muito afeito a "numerologias" enrigecidas, mas
com certeza isto ja seria um avanco importante em relacao a situacao
surreal do momento ("nao conheco, mas nao gosto da area tal, logo seu
indice Qualis sera baixo"), centrado, em ultima instancia, em um
misto de desconhecimento, preconceito e personalismo.
Por fim, acredito que as tentativas de desmontar o "sistema" sao
possiveis (como no caso Gowers e Elsevier), e ha indicios de
movimentos na direcao anti-numerologia (fatores de impacto, etc) na
comunidade internacional. Nao eh necessario que tomemos a vanguarda
deste processo ainda nebuloso, podemos conviver bem com um sistema
"numerologico" razoavel por um tempo indeterminado. Mas estar "bem
posicionado" dentro do "sistema" certamente facilitaria este novo
processo de reforma, quando este obtiver massa critica internacional...
Abracos,
Hugo
Hugo Luiz Mariano
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] Parabéns à LOGICA-L, ao João e a todos nós que a mantemos em pé
Oyez oyez! Sent from my iPhone On 27/03/2012, at 13:04, Marcelo Finger wrote: > Hear, hear. > > On 27 March 2012 12:12, FAD 2 wrote: >> Digo o mesmo! >> >> Sent from my iPhone >> >> On 27/03/2012, at 10:26, Decio Krause wrote: >> >>> Apoiadíssimo. >>> >>> >>> Decio Krause >>> Departamento de Filosofia >>> Universidade Federal de Santa Catarina >>> 88040-940 Florianópolis, SC -- Brasil >>> deciokrause[at]gmail.com >>> www.cfh.ufsc.br/~dkrause >>> >>> "We are intrinsically spatial and temporal >>> beings. We can only observe particular >>> entities, handle spatial things, and our >>> thinking depends on the concept of >>> individuals. How to reconcile nonspatial >>> quantum characteristics with spatio- >>> temporal individuation is perhaps the next great problem physics has to >>> overcome." (S. Auyang, "How is quantum >>> field possible?"(Princeton Un. Press, 1995, p.165). >>> >>> >>> >>> >>> >>> >>> >>> Em 27/03/2012, às 10:23, Walter Carnielli escreveu: >>> Parabéns à LOGICA-L, ao João e a todos nós que a temos mantido funcionando. A Lista de fato tem sido um enorme fator de coesão a todos os que se ocupam da Lógica, independente de rótulos. Como então Presidente da Sociedade Brasileira de Lógica (SBL), propus que a "LOGICA-L- Lista acadêmica Brasileira dos Profissionais e Estudantes da Área de Lógica" fosse considerada como de interesse da SBL, e fosse usada como veículo de comunicação da SBL (o que obviamente não dá à SBL nenhum poder sobre a Lista). Após estes 6 anos, creio que foi uma decisão acertada da SBL. Walter --- Prof. Dr. Walter Carnielli Director Centre for Logic, Epistemology and the History of Science – CLE State University of Campinas –UNICAMP 13083-859 Campinas -SP, Brazil Phone: (+55) (19) 3521-6517 Fax: (+55) (19) 3289-3269 Institutional e-mail: walter.carnie...@cle.unicamp.br Website: http://www.cle.unicamp.br/prof/carnielli ___ 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 >> ___ >> Logica-l mailing list >> Logica-l@dimap.ufrn.br >> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > > > > -- > Marcelo Finger > Departamento de Ciencia da Computacao > Instituto de Matematica e Estatistica > Universidade de Sao Paulo > Rua do Matao, 1010 > 05508-090Sao Paulo, SP Brazil > Tel: +55 11 3091-9688, 3091-6135, 3091-6134 (fax) > http://www.ime.usp.br/~mfinger ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
[Logica-l] Paul Bernays award 2011: Alessandro Facchini
Gostaria de parabenizar meu ex-aluno Alessandro Facchini conhecido com o grande yeti tessinense (GYT) da logica que ganhou recetemmente o Paul Bernays Award 2011 http://www.sslps.unibe.ch/Bernays.html Saudades do evento de logica fondue universal que organizamos em Neuchatel em 2003 com ele e o Alexandre e a presenca do Petrucio, Arthur, Velosos --- http://costaleite.info/aspects.pdf JYB ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] Baixo assinado de logica estou fora
Jean-Yves, Lamento muito saber que voce esta fora! Preferiria muito que voce continuasse dentro, mas respeito a sua decisao. Pra efeito de continuacao, acho melhor deixar as suas duas mensagens no blog e quando a gente contar o numero de assinaturas, desconta as suas duas mensagens. Me parece o mais razoavel, desta forma quem nao le a lista consegue entender a situacao. Mas me avise se quiser que as duas mensagens sejam deletadas. Abracos logicos, Valeria 2012/3/27 jean-yves beziau : > Baixo assinado de logica estou fora > Nao ha discussao, podemos falar qualquer coisa, a proposta fica a mesma > viva a didatura do baixo assinado! > As pessoas do baixo assinado decidem, e querem aprovacao, nao reagem a > cricitas, > nao modificam o baixo assinado > dizem que nao ha tempo, que temos que assinar, concordar ... > > Nao e a melhor solucao, mas com nao ha tempo temos que escolher essa... > Sempre ha tempo de discutir e de refletir > O que vale uma solucao proposta a cima da hora dizendo que na tempo para > pensar? > > JYB > ___ > Logica-l mailing list > Logica-l@dimap.ufrn.br > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l -- Valeria de Paiva http://www.cs.bham.ac.uk/~vdp/ http://valeriadepaiva.org/www/ ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
[Logica-l] Quem é o Paul Bernays?
Paul Bernays (1888-1977) http://en.wikipedia.org/wiki/Paul_Bernays foi o principal collaborador do Hilbert no dominio da logica. os dois ecreveram junto Grundlagen der Mathematik onde se encontra pela primeira vez (e a ultima vez?) a prova detaladha do segundo teorema de incompletude do Gödel Bernays foi amigo do Gödel e sempre ficou em contacto com ele ver o artigo do Soloman Feferman Lieber Herr Bernays! Lieber Herr Gödel! http://math.stanford.edu/~feferman/papers/bernays.pdf Paul Bernays foi o principal conceptualizador da teoria dos conjuntos von Neumann-Bernays-Godel, conhecida com NBG. Bernays provou a maior parte dos resultados sobre a logica proposicional classica antes do Emil Post, na dissertacao dele (1918). Bernays orientou os trabalhos do Paul Hertz e do Gerhard Gentzen que revolucionaram a teoria da prova. A maior parte dos trabalhos do Paul Bernays, escritos em alemao, ainda nao foram traduzido sem ingles. Mesmo Grundlagen der Mathematik escrito em conjunto com o Hilbert ainda nao foi traduzido em ingles existe uma traducao em Russo e em Frances (traducao devido ao Marcel Guillaume). Existe o Paul Bernays project http://www.phil.cmu.edu/projects/bernays/ liderado em particular pelo Richard Zach que fiz a traducao inedita do artigo do Paul Bernays publicado em 1926 Axiomatische Untersuchungen des Aussagen-Kalkuls der ‘PrincipiaMathematica’ (primeira publicacao dos resultados da dissertacao dele de 1918) para a antologia de logica universal: http://www.springer.com/mathematics/book/978-3-0346-0144-3 onde este artigo do Bernays e apresentado e commentado pelo Walter Carnielli, num excellente artigo chamado: "Paul Bernays and the eve of non-standard models in logic". JYB ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
[Logica-l] outro pato do mar
Valeria Melhor que se lamentar seria mudar de posicao. Porque voces nao estao querendo modificar a proposta e so recolher assinaturas? Tem um animal considerado com o simbolo da stagnacao: o burro e a mulher dele se chama a burricia felizemente por natureza nao tem filhos ... Minha piada pode parecer idiota mas sera que e mais idiota que esse joguinho de crianca do Ike Antkare que pretenda mostrar que o fator de impacto nao tem valor? usado por pessoas que vao nos numerisar dizendo que a numerizacao nao tem sentindo. Vamos avançar privilegiando outro pato do mar ! Jean-Yves ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] outro pato do mar
Jean-Yves, Nao estou me lamentando de nada, so' tentando ser educada. Porque 'e o que espero de colegas cientistas. Saudacoes, Valeria 2012/3/27 jean-yves beziau : > Valeria > > Melhor que se lamentar seria mudar de posicao. > Porque voces nao estao querendo modificar a proposta e so recolher > assinaturas? > > Tem um animal considerado com o simbolo da stagnacao: o burro > e a mulher dele se chama a burricia > felizemente por natureza nao tem filhos ... > > Minha piada pode parecer idiota > mas sera que e mais idiota que esse joguinho de crianca do Ike Antkare que > pretenda > mostrar que o fator de impacto nao tem valor? > usado por pessoas que vao nos numerisar dizendo que a numerizacao nao tem > sentindo. > > Vamos avançar privilegiando outro pato do mar ! > > Jean-Yves > ___ > Logica-l mailing list > Logica-l@dimap.ufrn.br > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l -- Valeria de Paiva http://www.cs.bham.ac.uk/~vdp/ http://valeriadepaiva.org/www/ ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] Thought: A Journal of Philosophy
Parece ser uma coisa muito boa. Pelo menos o pessoal envolvido é top. 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 27/03/2012, às 12:05, Joao Marcos escreveu: > Acabou de ser lançado mais um periódico na área de "lógica filosófica". > > Thought: A Journal of Philosophy > http://onlinelibrary.wiley.com/journal/10.1002/(ISSN)2161-2234 > > As áreas de interesse são: > > - Logic > - Philosophy of Maths > - Philosophy of Mind > - Epistemology > - Philosophy of Language > - Metaphysics > > > JM > > -- > http://sequiturquodlibet.googlepages.com/ > ___ > 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
Re: [Logica-l] Baixo assinado de logica estou fora
Jean-Yves tem seu modo idiossincrático e muitas vezes divertido de se expressar, mas a verdade é que: (1) a petição foi proposta aqui na lista, e pedidos de sugestões e de adesões foram solicitados (2) muitas adesões foram prontamente registradas --- e mesmo daqueles que não estavam inteiramente de acordo com o teor do documento (3) as sugestões dos colegas em geral parecem ter sido em grande parte rebatidas sem chance para alterações no documento original Se queremos criar as condições para um debate público e contínuo neste fórum, contudo, de acordo com o item 1, parece que teremos que continuar trabalhando o item 2, como desejam os autores do manifesto, mas também dar um pouco mais de devida atenção ao item 3. JM 2012/3/27 Valeria de Paiva : > Jean-Yves, > > Lamento muito saber que voce esta fora! > Preferiria muito que voce continuasse dentro, mas respeito a sua decisao. > > Pra efeito de continuacao, acho melhor deixar as suas duas mensagens > no blog e quando a gente contar o numero de assinaturas, desconta as > suas duas mensagens. > Me parece o mais razoavel, desta forma quem nao le a lista consegue > entender a situacao. > Mas me avise se quiser que as duas mensagens sejam deletadas. > > Abracos logicos, > Valeria > > > > 2012/3/27 jean-yves beziau : >> Baixo assinado de logica estou fora >> Nao ha discussao, podemos falar qualquer coisa, a proposta fica a mesma >> viva a didatura do baixo assinado! >> As pessoas do baixo assinado decidem, e querem aprovacao, nao reagem a >> cricitas, >> nao modificam o baixo assinado >> dizem que nao ha tempo, que temos que assinar, concordar ... >> >> Nao e a melhor solucao, mas com nao ha tempo temos que escolher essa... >> Sempre ha tempo de discutir e de refletir >> O que vale uma solucao proposta a cima da hora dizendo que na tempo para >> pensar? >> >> JYB >> ___ >> Logica-l mailing list >> Logica-l@dimap.ufrn.br >> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > > > > -- > Valeria de Paiva > http://www.cs.bham.ac.uk/~vdp/ > http://valeriadepaiva.org/www/ > ___ > Logica-l mailing list > Logica-l@dimap.ufrn.br > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l -- http://sequiturquodlibet.googlepages.com/ ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] Baixo assinado de logica estou fora
JY, caro amigo Acho que você está sendo muito rigoroso. Claro que a seleção deveria ser mais criteriosa (o que sempre é muito subjetivo), ou melhor ainda, não deveria haver Qualis coisa nenhuma.quem faz sabe o que acontece e o que tem mérito. Mas veja o que nossos colegas estão tentando fazer: melhorar o que está rolando por aí, e isso constitui tarefa nobre e que merece elogios. Com o tempo, quem sabe possamos dar uma resposta melhor à questão da classificação e dos critérios vigentes, mas trata-se de um avanço e seria bacana se você, por tudo o que representa em nosso meio, reconhecesse isso. Em que me engano? 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 27/03/2012, às 14:00, jean-yves beziau escreveu: > Baixo assinado de logica estou fora > Nao ha discussao, podemos falar qualquer coisa, a proposta fica a mesma > viva a didatura do baixo assinado! > As pessoas do baixo assinado decidem, e querem aprovacao, nao reagem a > cricitas, > nao modificam o baixo assinado > dizem que nao ha tempo, que temos que assinar, concordar ... > > Nao e a melhor solucao, mas com nao ha tempo temos que escolher essa... > Sempre ha tempo de discutir e de refletir > O que vale uma solucao proposta a cima da hora dizendo que na tempo para > pensar? > > JYB > ___ > 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
[Logica-l] tomando uma decisao junto
Caro Decio Tudo o que voce esta dizendo nao poderia tambem se aplicar a Dilma e amigos dela? Porque nao reconhecer o trabalho dela? Ela nao esta querendo o melhor para tudo mundo? Governo do Brasil e uma coisa complicada ... Mas no caso de avaliacao de revistas de logica nao me parece tao complicado modificar a realidade discutindo na base de uma argumentacao racional , escutando o outro, evaluando as coisas e tomando uma decisao junto. E importante de mostrar que nossos, logicos, somos capaz de fazer isso. Um abraço, JY ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
[Logica-l] Estamos sim ouvindo a comunidade !
Caros, Vou responder por mim, ainda nao sei o que Rodrigo e Valeria responderiam aqui neste momento... Quando nos foram apresentadas propostas, nesses últimos cinco ou seis dias, respondemos sim: respondemos sobre a Studia Logica e incluímos a Studia Logica, respondemos sobre a Theoretical Computer Science que já é A1 em Matemática e Computacao, assim nao necessitaríamos incluí-la na tabela, discutimos algumas coisas, sim. Nao estamos de ouvidos fechados. Também dissemos claramente que tivemos dificuldade para fazer a tabela para os periódicos da área de Computacao: Valeria está fora do Brasil há muito tempo e com certeza existem pessoas mais atualizadas do que ela no que se refere à producao nacional, e essas pessoas poderiam ter nos ajudado a fazer a parte específica da Computacao, mas alguns preferem criticar depois a participar, enfim. (Nas primeiras mensagens separadas sobre Qualis, nao estávamos apenas eu, Rodrigo e Valeria, outras pessoas estavam claramente convidadas a colaborar... Sobraram apenas nós três e fomos até o fim.) O que nós nao nos propusemos a discutir, e isso é verdade, seria entrar numa postura de confronto com a CAPES: desde o início dissemos, esta é uma proposta "dentro do jogo", "sem querer mudar as regras do jogo". Se a proposta for outra, entao nosso trabalho tem que ser abandonado, de fato. Se a idéia é convencer a CAPES a mudar a sistemática de avaliacao, nao é isso que estamos querendo fazer, pelo menos nao *agora*. O problema é quando alguém chega e fala: nao gostei da sua tabela, prefiro a minha. "Acatar a sugestao", nesse caso, seria simplesmente jogar fora todo o nosso trabalho de semanas. Jean Yves em nenhum momento aceitou a existência de nossa tabela, e sim apenas, aparentemente, ele queria que substituíssemos a nossa tabela pela tabela dele. Se isso faz parte da maneira idiossincrática ou divertida dele trabalhar ou apresentar as coisas, garanto a vocês que nao nos divertimos nada com isso. Também, ele nao nos convenceu que a Logica Universalis deva ser A2 em Matemática, enquanto a própria Comptes Rendus que ele citou depois é B2 !!! No CA de Matemática o pessoal olha para essa coisa da meia-vida, por mais absurda que essa coisa seja, e nao estamos numa estratégia de enfrentamento... Estratégia parece coisa de homens maus por aqui. Fazer escolhas pontuais em situacao de desvantagem também. Ou seja, nao fomos convencidos (eu, Valeria e Rodrigo) de que, estrategicamente, seja o momento de discutir as regras do jogo (o que aparentemente também é o que Joao Marcos deseja, "discutir as regras do jogo", "nao podemos mudar nada profundamente sem mudar as regras do jogo" ou algo assim). Proponho entao aos dois, Joao Marcos e Jean Yves, que tentem entao convencer outras pessoas que nós somos os "ditadores do abaixo assinado": nós nao estamos convencidos disso. A maioria das pessoas que nos escrevem estao escrevendo na linha do que o Décio acabou de escrever, reconhecendo que estamos tentando fazer um pequeno avanco numa situacao que nao nos é favorável. Talvez isso nos faca também "descendentes dos patafísicos primitivos"... Destaco também a mensagem de Hugo Mariano, com um plano claro a médio prazo, muito bem !!! E observo que para fazer mudancas nos comitês, necessitaríamos do auxílio de outras comunidades... Para mudar o Qualis de Matemática, por exemplo, necessitaríamos conversar com geômetras, analistas, algebristas... Isso nao pode ser feito antes da próxima atualizacao do Qualis. Será assim tao criminoso ou ditatorial tentar um pequeno avanco agora ? Eu nao me envergonho de tentar fazer isso. Eu lanco um compromisso público: Se houver um pedido claro *da* *comunidade* no sentido de: "nao vale a pena fazer o que se está fazendo, vamos fazer tudo com calma, discutir tudo como lógicos que somos e tentar mudar o Qualis, mudar toda a sistemática da CAPES, acabar com o Qualis ou seja lá o que for", bem, aí sim nós pensaremos em mudar *a* *estratégia*. Mas vamos esperar que isso venha *da* *comunidade*. Se tentar fazer um pequeno avanco numa situacao que nao nos é favorável, e ter um pouco de urgência nisso, nos torna "ditadores do abaixo assinado", gostaria de que houvesse mais gente nos dizendo isso, nao apenas Jean Yves (e talvez Joao Marcos). Por enquanto, acho que está tudo bem. Mas, se a comunidade assim o desejar, tudo o que fizemos pode ser engavetado para se comecar do zero com *outra* *estratégia*. Que *a* *comunidade* nos peca isso claramente. Até, []s Samuel 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
[Logica-l] Estamos sim ouvindo a comunidade! - Rodrigo
Caros Talvez alguns não tenham notado, mas não estamos propondo rebaixar a revista Logica Universalis no comitê de Matemática (ou em qualquer outro comitê). Ao contrário, estamos propondo subir do atual B5 para B2. Não é verdade que não levamos em consideração o feedback da lista: várias revistas foram modificadas, a Studia Logica é um exemplo. Na computação há várias outras. O que não concordamos é que devemos levar em conta índice de impacto e outros índices. Há um motivo simples para isso: como o grupo que elaborou a proposta não acredita nesses índices, para considerar os tais índices seria preciso jogar nossa proposta no lixo fazer outra proposta do zero. Nada contra outras propostas. Por outro lado, sou contra jogar nossa proposta no lixo porque acho que o trabalho foi bem feito. Desconheço outra proposta para o Qualis em andamento, por favor corrijam-me se eu estiver errado. Colocar todas as revistas de Lógica no mesmo pacote não parece muito sábio: primeiro o Qualis *separa* Matemática, Filosofia e Computação. Depois é óbvio, a tabela que coloquei no blog mostra e o João Marcos bem observou, os pesquisadores *sabem* muito bem onde publicar seus trabalhos. O índice de impacto, entre outras coisas, é cego para essa distinção, coloca tudo em um pacote só, como podemos ler da lista do Jean-Yves: http://www.dimap.ufrn.br/pipermail/logica-l/2012-March/007338.html Alguém realmente acredita que em termos de *conteúdo matemático* o Journal of Applied Logic é a melhor revista de Lógica? Pois isso seria adotar o impact factor em Lógica. Negar que as revistas de lógica tem um perfil não me parece sensato e não irá ajudá-las. Tive a curiosidade de olhar o perfil de publicações (segundo a minha tabela no blog) associado ao Journal of Applied Logic, campeão de impact factor entre as revistas especializadas de Lógica, conforme relatou o Jean-Yves. O resultado é o seguinte: SHELAH - 0 artigos no JAL GABBAY - 0 BLASS - 0 PILLAY - 0 GUREVICH - 0 HINTIKKA - 0 VAN BENTHEM - 0 SUPPES - 1 MINTS - 0 MUNDICI - 0 SLAMAN - 0 MOERDIJK - 0 VAANANEN - 0 FEFERMAN - 0 FINE - 0 Pergunta inevitável: o que acontece com os Lógicos de perfil mais matemático Shelah, Blass, Pillay, Gurevich, Mints, Mundici, Slaman, Moerdijk, Vaananen e Feferman que nunca destinaram um único dos seus pelo menos 669 artigos destinados a revistas especializadas de lógica ao journal de lógica de maior impact factor? Na elaboração da proposta, nós tomamos o caminho inverso: para nós a referência são os pesquisadores e as revistas é que são avaliadas. Por isso, concordo com o Jean-Yves: se o Hintikka não publicou no JSL, pior para o JSL. Tomar os pesquisadores como o padrão é incompátivel com impact factor, conforme o exemplo acima mostra. Os lógicos listados acima estão ativos e possuem trabalhos que seriam aceitos em qualquer revista de lógica. Contudo, eles escolheram publicar em apenas algumas revistas, de modo muito claro. Não dá para esconder isso. É como o João Marcos bem observou: os pesquisadores sabem muito bem onde publicar. Abraço Rodrigo ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
