[Logica-l] Estamos sim ouvindo a comunidade! - Rodrigo

2012-03-27 Por tôpico Rodrigo Freire
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 revist

[Logica-l] Estamos sim ouvindo a comunidade !

2012-03-27 Por tôpico samuel
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 Theoretica

[Logica-l] tomando uma decisao junto

2012-03-27 Por tôpico jean-yves beziau
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 complic

Re: [Logica-l] Baixo assinado de logica estou fora

2012-03-27 Por tôpico Décio Krause
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:

Re: [Logica-l] Baixo assinado de logica estou fora

2012-03-27 Por tôpico Joao Marcos
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

Re: [Logica-l] Thought: A Journal of Philosophy

2012-03-27 Por tôpico Décio Krause
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 -

Re: [Logica-l] outro pato do mar

2012-03-27 Por tôpico Valeria de Paiva
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 >

[Logica-l] outro pato do mar

2012-03-27 Por tôpico 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 p

[Logica-l] Quem é o Paul Bernays?

2012-03-27 Por tôpico jean-yves beziau
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 Berna

Re: [Logica-l] Baixo assinado de logica estou fora

2012-03-27 Por tôpico 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 m

[Logica-l] Paul Bernays award 2011: Alessandro Facchini

2012-03-27 Por tôpico jean-yves beziau
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

Re: [Logica-l] Parabéns à LOGICA-L, ao João e a todos nós que a mantemos em pé

2012-03-27 Por tôpico FAD 2
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. >>> >>> ___

[Logica-l] Sobre a discussao do(s) Qualis-LOGICA(S)

2012-03-27 Por tôpico hugomar
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 cur

[Logica-l] Entrevista interessante com Graham Priest

2012-03-27 Por tôpico Manuel Doria
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 w

Re: [Logica-l] Parabéns à LOGICA-L

2012-03-27 Por tôpico Manuel Doria
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 fu

[Logica-l] Baixo assinado de logica estou fora

2012-03-27 Por tôpico 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 assi

[Logica-l] Sim, a discussao deve ser contínua

2012-03-27 Por tôpico samuel
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 moment

Re: [Logica-l] Parabéns à LOGICA-L, ao João e a todos nós que a mantemos em pé

2012-03-27 Por tôpico Marcelo Finger
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

Re: [Logica-l] Parabéns à LOGICA-L, ao João e a todos nós que a mantemos em pé

2012-03-27 Por tôpico FAD 2
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.u

[Logica-l] Thought: A Journal of Philosophy

2012-03-27 Por tôpico Joao Marcos
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 - Metaphys

[Logica-l] Especial de Logica Universalis sobre o hexagono das opposicoes

2012-03-27 Por tôpico jean-yves beziau
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

[Logica-l] Call for Participation- Philosophy and Mathematics of Uncertainty and Vagueness

2012-03-27 Por tôpico Walter Carnielli
“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 Hi

Re: [Logica-l] Numerologia cientifica

2012-03-27 Por tôpico FAD 2
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 cienciomet

Re: [Logica-l] Numerologia cientifica

2012-03-27 Por tôpico Joao Marcos
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

Re: [Logica-l] Parabéns à LOGICA-L, ao João e a todos nós que a mantemos em pé

2012-03-27 Por tôpico Decio Krause
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 b

[Logica-l] Parabéns à LOGICA-L, ao João e a todos nós que a mantemos em pé

2012-03-27 Por tôpico Walter Carnielli
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 ac

[Logica-l] Avaliacao internacional

2012-03-27 Por tôpico jean-yves beziau
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 inter

Re: [Logica-l] Parabéns à LOGICA-L

2012-03-27 Por tôpico 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 :

[Logica-l] Numerologia cientifica

2012-03-27 Por tôpico 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 mode

[Logica-l] Parabéns à LOGICA-L

2012-03-27 Por tôpico 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

Re: [Logica-l] LSFA2011 @ EPTCS

2012-03-27 Por tôpico Elaine Pimentel
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 > volum

Re: [Logica-l] Electronic Notes in Theoretical Computer Science

2012-03-27 Por tôpico Valeria de Paiva
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

[Logica-l] LSFA2011 @ EPTCS

2012-03-27 Por tôpico Joao Marcos
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 > --

Re: [Logica-l] Electronic Notes in Theoretical Computer Science

2012-03-27 Por tôpico Joao Marcos
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 m

[Logica-l] CRASP=B2 !? Medalha Fields nao reconhecida no Brasil?

2012-03-27 Por tôpico jean-yves beziau
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é

Re: [Logica-l] logicos e revistas: newton da costa fora do jogo?

2012-03-27 Por tôpico Rodrigo Freire
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 revist