Re: [Logica-l] EBL 2014
Caros Colegas: Em minha mensagem anterior, não explicitei que, desde o último EBL e após a Assembléia da SBL, os colegas que foram indicados para apresentar propostas para a realização do XVII EBL, mantiveram diversos contatos comigo e outros diretores da SBL, preocupados com a organização do SBL. A reunião que fizemos no Rio de Janeiro, durante o UNILOG, teve por objetivo finalizar a análise das questões já discutidas. Como o EBL é um evento da SBL, de acordo com os Estatutos da SBL, as propostas gerais e específicas têm que ser democraticamente apresentadas e discutidas em Assembléias Gerais da Sociedade. Itala caros filolistas ja temos data e lugar so falta o resto;-) http://www.uff.br/ebl/ ___ Logica-l mailing list Logica-l@dimap.ufrn.br 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.:+5519-3521-6517 ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] EBL 2014
Caros Colegas: A discussão sobre o XVII EBL, a ser realizado em Petrópolis, no próximo ano de 2014, está bastante interessante! Como Presidente de Sociedade Brasileira de Lógica, encaminho a todos algumas informações necessárias. 1) Durante a Assembléia da SBL, ocorrida durante o XVI EBL, em Petrópolis, quando fui eleita Presidente da SBL, foram discutidas questões relativas à realização do próximo EBL. Como eu não estava presente, pois tinha tido que retornar à Unicamp, o Prof. Walter Carniellil me transmitiu dados sobre as discussões e decisões. . Foi feita a proposta de que o XVII EBL fosse realizado em Natal. Entretanto, os colegas de Natal presentes na reunião, em especial a Prof. Maria da Paz, não concordaram em se responsabilizar pela organização local do evento. . Quanto a outros locais cogitados, não houve colegas que se dispusessem à organização local. . O Prpf. Wagner Sanz se ofereceu para organizar o evento em Goiás. . Foi argumentado que seria bom que o evento ocorresse, uma vez mais, em Petrópolis, face à excelente organização sob a responsabilidade da Renata e do Petrúcio e ao ambiente tão propício de Petrópolis. Renata e Petrúcio, entretanto, não concordaram de imediato. 2) Em Campinas, Walter, Marcelo Coniglio e eu, logo após o retorno de Petrópolis e após conversamos com diversos colegas, fizemos uma reunião para discussão do local do XVII EBL. . Decidimos, pela SBL, que seria interessante que o evento fosse realizado mais uma vez em Petrópolis, aproveitando-se a experiência tão bem sucedida da Renata e Petrúcio. . Caso o Wagner continuasse decidido a assumir a responsabilidade da organização de um EBL, poderia ser o próximo, se aprovado em Assembléia da SBL. Assim nos entendemos, então, com o Wagner. 3) Durante o UNILOG`13, no Rio de Janeiro, tivemos uma reunião com o Petrúcio e Renata, que, finalmente, após também conversarem com o Prof. Oswaldo Chateaubriand, concordaram em organizar o XVII EBL em Niterói/Petrópolis. Assim sendo, colegas, o assunto XVII EBL foi bastante discutido e analisado, tendo o Petrúcio anunciado na lista o resultado de toda essa negociação. A proposta de que os EBL's sejam realizados em lugares distintos, no NE, Norte, ou outras localidades distantes do eixo Rio - São Paulo, terá que ser discutida em Assembléia da SBL. A decisão relativa à realização dos EBL's no eixo Rio-São Paulo foi tomada durante a realização do EBL que ocorreu, exatamente em Fortaleza, em 1981. Na época, foi argumentado que, como grande parte dos lógicos brasileiros atua no eixo Rio-São Paulo, a realização do evento nesse eixo minimizaria os custos, em especial para possibilitar a participação de estudantes. Foi então que alguns eventos foram organizados em Itatiaia. Não nos esqueçamos que é tradição da organização dos EBL obter recursos para o transporte e estadia dos participantes brasileiros, docentes e estudantes, e dos estrangeiros convidados. A concepção dos EBL's é distinta da proposta dos UNILOG's. Assim, sendo, de acordo com nossa decisão, o XVII EBL será realizado em Niteroi/Petrópolis. E lá , durante a Assembléia da SBL, discutiremos as interessantes e instigantes propostas apresentadas nesta lista! E até poderíamos já projetar os locais de vários eventos subsequentes. Abraço amigo, da Itala caros filolistas ja temos data e lugar so falta o resto;-) http://www.uff.br/ebl/ ___ Logica-l mailing list Logica-l@dimap.ufrn.br 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.:+5519-3521-6517 ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] Cor e/ou Raca no Lattes
a alma. --- Julio Stern ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l -- --- 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 -- Marcelo Finger Department of Computer Science, Cornell University on leave from: Departament of Computer Science, IME University of Sao Paulo 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 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 -- Teófilo Reis ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l -- Marcelo Finger Department of Computer Science, Cornell University on leave from: Departament of Computer Science, IME University of Sao Paulo http://www.ime.usp.br/~mfinger -- Teófilo Reis ___ 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 ++ 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.:+5519-3521-6517 ___ Logica-l mailing list Logica-l@dimap.ufrn.br 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.:+5519-3521-6517 ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] Pelo bem da Lista (Re: Doria)
. Como exemplo, uma série de disparates que o fÃsico Lawrence Krauss falou a respeito da filosofia em geral no último ano; outro filósofo-cientista que gosto muito, Massimo Pigliucci, possui um resumo da novela: http://rationallyspeaking.blogspot.com.br/2012/04/lawrence-krauss-another-physicist-with.html Lawrence Krauss depois publicou um mea culpa depois de puxões de orelha por parte de amigos seus e filósofos: http://www.scientificamerican.com/article.cfm?id=the-consolation-of-philos Muito do ensinado no Halliday não é ensinado no EM. Em FÃsica I, por exemplo, problemas de mecânica com massa variável exigem Cálculo. Mas eu diria que o grosso e mais interessante de um bacharelado em FÃsica é aprender a manejar o formalismo analÃtico canônico - algo que é mais raro de ser estudado de forma diletante. Um forte abraço. 2013/4/30 Julio Fontana juliocesarfont...@yahoo.com.br Aqui no Brasil o debate sempre acaba evoluindo do ad hominem para os argumentos de autoridade. E quer dizer que para ser filósofo da ciência tem que ser fÃsico. A maioria dos fÃsicos não conhecem filosofia e não conhecem história da ciência. Uma graduação em fÃsica não quer dizer nada. Em muitas faculdades de fÃsica o curso é o mesmo que o de engenharia. Talvez o cara saiba melhor a parte computacional da fÃsica. O que que tem no Halliday que não tenha sido ensinado no EM? Julio Fontana ___ 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 -- --- 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 ++ 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.:+5519-3521-6517 ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] Cor e/ou Raca no Lattes
/prof/carnielli ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l -- Marcelo Finger Department of Computer Science, Cornell University on leave from: Departament of Computer Science, IME University of Sao Paulo 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 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 -- Teófilo Reis ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l -- Marcelo Finger Department of Computer Science, Cornell University on leave from: Departament of Computer Science, IME University of Sao Paulo http://www.ime.usp.br/~mfinger -- Teófilo Reis ___ 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 ++ 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.:+5519-3521-6517 ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] Cor e/ou Raca no Lattes
Caro Júlio a colegas: A questão me preocupa bastante, como cidadã e como acadêmica! Penso que devemos analisar a justificativa, que consta do próprio LATTES, sobre a qual o Teófilo nos chamou a atenção. Se concordarmos com ela, considero que deve continuar sob a responsabilidade de cada um decidir se declara, ou não, sua suposta raça. Entretanto, no caso específico dos Curricula Lattes, considero improcedente o item, mesmo que optativo. Se concordarem comigo, proponho que iniciemos um movimento acadêmico objetivo, junto ao CNPq, pela RETIRADA desse item do formulário do LATTES. Itala Caros Redistas: Minha opiniao sobre a nova modinha recem introduzida (com uma desculpa pseudo-legalista), a saber, da obrigatoriedade de uma (auto?)-Declaracao de Cor o/ou Raca: Minha filha nasceu nos USA, quando eu fazia o Doutorado. No hospital me exigiram o preenchimento de um formulario de classificacaco racial. Armei a maior confusao, ate ser dispensado dequela anomalia abjeta. No Lattes, se nao houvesse a opcao - Me Recuso a Declarar, eu teria preenchido - Pardo. Afinal, eu sou um Pardo Certificado Tenho o passaporte de meu tio-avo, da Alemanha Nazista, classificando-o como Nao-Ariano e, convenhamos, nao ha orgao certificador mais acreditado para questoes deste tipo do que a Gestapo... O caminho para o inferno esta pavimentado de boas intencoes. Nao importam as (sempre falaciosas) supostas vatagens transientes que se possa enxergar para manobrar a vontade, ou as infindaveis variantes do argumento -- Os Fins Justificam of Meios. Classificacoes raciais, e quaisquer politicas nelas baseadas, sao um veneno para sociedade, e tambem para a alma. --- Julio Stern ___ Logica-l mailing list Logica-l@dimap.ufrn.br 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.:+5519-3521-6517 ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] Mensagem do Júlio
Pois é, Chico! Penso, sim, que devemos reagir, posicionando-nos fortemente pela imediata retirada do item do formulário. E de outros formulários semelhantes sobre os quais tivermos conhecimento. Itala Car@s, Concordo integralmente com o Júlio nas suas considerações de que campos obrigatórios do tipo raça (um pseudo-conceito, fartamente desqualificado), religião, entre outros, não podem constar em questionários de instituições governamentais em uma República laica. Talvez fosse a hora de reagirmos a isto de forma enérgica; a experiência mostra que quando começa, tende a agravar-se. Um grande abraço, Chico Miraglia ___ Logica-l mailing list Logica-l@dimap.ufrn.br 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.:+5519-3521-6517 ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] [seminarios-CLE] CLE passa a integrar a Associação Latino-Americana de Filosofia Anal =?iso-8859-1?Q?=C3=ADtica_?=(ALFAn)
Parabéns, Walter! Itala Caros Colegas e Funcionários: a Diretoria do Centro de Lógica, Epistemologia e História da Ciência (CLE)-Unicamp tem a satisfação de informar que o CLE passa a integrar a Associação Latino-Americana de Filosofia AnalÃtica (ALFAn), juntamente com o Centro de Estudios de FilosofÃa AnalÃtica, a Sociedad Argentina de Análisis Filosófico, a Sociedade Brasileira de Filosofia AnalÃtica e a Universidad Nacional Autónoma de México. A ALFan é uma sociedade sem fins lucrativos, que objetiva fomentar, divulgar e promover o estudo e pesquisa em filosofia analÃtica, assim como a interação entre diferentes especialistas, sociedades e instituições com interesses afins. A integração com a ALFan confirma a vocação do CLE, em seus 37 anos, como uma liderança nas suas áreas de interesse, e seu papel na discussão profunda em temas de ciência e tecnologia que permeiam o desenvolvimento da sociedade. Nessas quase quatro décadas o CLE tem se destacado no estudo e pesquisa sobre a origem e a natureza das ciências naturais e formais, na crÃtica da ciência e de suas consequências, incluindo seu impacto no contexto intelectual e social, e suas relações com a lógica e a filosofia. Nada disso teria sido possÃvel sem o esforço conjunto de seus quase noventa membros e uma dezena de pesquisadores de diversos paÃses e especialidades que fomentam continuamente seus eventos, congressos, cursos, visitantes, seminários e publicações. A eles, nossos agradecimentos. Walter Carnielli Diretor do CLE - Unicamp â - - - - - - - - Centro de Lógica e Epistemologia (CLE)-UNICAMP NOVO MEMBRO INSTITUCIONAL: http://www.alfa-n.org/pt/sobre-alfa/bemvinidos-a-alfa.html Temos a satisfação de informar que o Centro de Lógica e Epistemologia (CLE) da UNICAMP (Brasil) é o mais novo membro institucional de ALFAn. O CLE tem tido nos últimos 35 anos uma importância fundamental na promoção e difusão de pesquisa em lógica e filosofia analÃtica no Brasil e América Latina. Também edita e publica algumas revistas importantes (entre elas MANUSCRITO, CADERNOS DE HISTÃRIA E FILOSOFIA DA CIÃNCIA e KANT E-PRINTS), além de muitos outros livros em lógica, filosofia da lógica, filosofia da linguagem, etc. Aos membros de ALFAn o CLE oferecerá um desconto de 30% na compra de qualquer uma de suas publicações. (Obs.: Esta vantagem se estende a todos os sócios de ALFAn desde que estejam em dia com o pagamento das anuidades. O desconto não se aplica à s tarifas postais de envio.) -- --- 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 ++ 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.:+5519-3521-6517 ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] Logica Universalis: 100 artigos
Parabéns pelo trabalho, Jean-Yves! Itala E com prazer que estamos anunciando a publicacao do centesimo artigo da Logica Univeralis. Por coincidencia se trata da reedicao de um artigo classico de Heijenoort num numero especial dedicado ao 100 anos do nascimento de JvH Este artgio iniciou a mitologia do Frege com pai da logica moderna. Vem ai a primeira sentencia do artigo: Modern Logic began in 1879, the year in which Gottlob Frege (1848â1925) published his Begriffsschrift. In less than ninety pages this booklet presented a number of discoveries that changed the face of logic. Jean van Heijenoort, Historical Development of Modern Logic http://www.springerlink.com/content/v41264457240/?MUD=MP Esse numero especial JvH 100 e editado por Irving Anellis que foi o principal estudante do Heijenoort, e que se tornou tambem grande historiador da logica moderna, mostrando em particular a importancia do trabalho de Peirce. ___ Logica-l mailing list Logica-l@dimap.ufrn.br 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.:+5519-3521-6517 ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] Logica Universalis: 100 artigos
Parabéns pelo trabalho, Jean-Yves! Itala E com prazer que estamos anunciando a publicacao do centesimo artigo da Logica Univeralis. Por coincidencia se trata da reedicao de um artigo classico de Heijenoort num numero especial dedicado ao 100 anos do nascimento de JvH Este artgio iniciou a mitologia do Frege com pai da logica moderna. Vem ai a primeira sentencia do artigo: Modern Logic began in 1879, the year in which Gottlob Frege (1848â1925) published his Begriffsschrift. In less than ninety pages this booklet presented a number of discoveries that changed the face of logic. Jean van Heijenoort, Historical Development of Modern Logic http://www.springerlink.com/content/v41264457240/?MUD=MP Esse numero especial JvH 100 e editado por Irving Anellis que foi o principal estudante do Heijenoort, e que se tornou tambem grande historiador da logica moderna, mostrando em particular a importancia do trabalho de Peirce. ___ Logica-l mailing list Logica-l@dimap.ufrn.br 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.:+5519-3521-6517 ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] CA-CC
PQ-1A UFF Cid Carvalho de Souza PQ-1D UNICAMP *Clarisse Sieckenius de Souza PQ-1C PUC-Rio Claudia Maria Bauzer Medeiros PQ-1A UNICAMP Claudia Maria Lima Werner PQ-1D UFRJ Cláudio Leonardo Lucchesi PQ-1A UFMS Cláudio Rosito Jung PQ-1D UFRGS Corina da Costa Freitas PQ-1C INPE Daniel Schwabe PQ-1C PUC-Rio Djamel Fawzi Hadj Sadok PQ-1D UFPE Edleno Silva de Moura PQ-1D UFAM Edmundo Albuquerque de Souza e Silva PQ-1A UFRJ Eduardo Sany Laber PQ-1D PUC-Rio Ernesto Julián Goldberg Birgin PQ-1C USP Fabian Luis Vargas PQ-1D PUCRS Fabio Gagliardi Cozman PQ-1D USP Fabio Kon PQ-1D USP Fábio Protti PQ-1C UFF Flávio Keidi Miyazawa PQ-1C UNICAMP Flávio Rech Wagner PQ-1C UFRGS Francisco de Assis Tenorio de Carvalho PQ-1C UFPE Francisco Vilar Brasileiro PQ-1D UFCG Geraldo Robson Mateus PQ-1B UFMG Gerson Zaverucha PQ-1D UFRJ Gilberto Camara Neto PQ-1C INPE Guido Costa Souza de Araújo PQ-1C UNICAMP Guilherme Horta Travassos PQ-1D UFRJ Henrique Pacca Loureiro Luna PQ-1B UFAL Jacob Scharcanski PQ-1C UFRGS Jano Moreira de Souza PQ-1D UFRJ Jayme Luiz Szwarcfiter PQ-1A UFRJ Joao Luiz Dihl Comba PQ-1D UFRGS Joni da Silva Fraga PQ-1D UFSC Jorge Stolfi PQ-1B UNICAMP Jose Carlos Maldonado PQ-1B USP José Ferreira de Rezende PQ-1D UFRJ Jose Marcos Silva Nogueira PQ-1D UFMG Jose Neuman de Souza PQ-1D UFC Jose Palazzo Moreira de Oliveira PQ-1C UFRGS Jose Roberto Boisson de Marca PQ-1D PUC-Rio =Judith Kelner PQ-1D UFPE Junior Barrera PQ-1B USP Jussara Marques de Almeida PQ-1D UFMG Lúcia Maria de Assumpção Drummond PQ-1D UFF Luciano da Fontoura Costa PQ-1B USP Luerbio Faria PQ-1D UERJ *Luigi Carro PQ-1C UFRGS LuÃs da Cunha Lamb PQ-1C UFRGS Luis Gustavo Nonato PQ-1D USP Luis Henrique Maciel Kosmalski Costa PQ-1D UFRJ Luiz Fernando Gomes Soares PQ-1B PUC-Rio Luiz Satoru Ochi PQ-1D UFF Luiza de Macedo Mourelle PQ-1D UERJ Manuel Menezes de Oliveira Neto PQ-1D UFRGS Marcelo Finger PQ-1C USP Marcelo Henriques de Carvalho PQ-1D UFMS Marco Antonio Casanova PQ-1C PUC-Rio Marco Aurelio Cavalcanti Pacheco PQ-1D PUC-Rio Marco Tulio de Oliveira Valente PQ-1D UFMG Marcos Roberto da Silva Borges PQ-1D UFRJ Marcus Vinicius Soledade Poggi de Aragao PQ-1D PUC-Rio Maria Cristina Ferreira de Oliveira PQ-1D USP Maria da Graca Campos Pimentel PQ-1D USP Mário Fernando Montenegro Campos PQ-1C UFMG Marley Maria Bernardes Rebuzzi Vellasco PQ-1D PUC-Rio Marta Lima de Queiros Mattoso PQ-1C UFRJ Mauricio Ayala Rincon PQ-1D UNB Nadia Nedjah PQ-1D UERJ Nelson Delfino d'Avila Mascarenhas PQ-1B UFSCAR Nelson Luis Saldanha da Fonseca PQ-1B UNICAMP Nelson Maculan Filho PQ-1A UFRJ Nivio Ziviani PQ-1A UFMG Odemir Martinez Bruno PQ-1D USP Otto Carlos Muniz Bandeira Duarte PQ-1B UFRJ Paulo Augusto Silva Veloso PQ-1A UFRJ Paulo Cesar Masiero PQ-1D USP Paulo Roberto Freire Cunha PQ-1B UFPE Paulo Romero Martins Maciel PQ-1D UFPE Philippe Olivier Alexandre Navaux PQ-1D UFRGS Rafael Dueire Lins PQ-1C UFPE Renato Antonio Celso Ferreira PQ-1D UFMG Renato Portugal PQ-1D LNCC Roberto Marcondes Cesar Junior PQ-1B USP Rosane Minghim PQ-1D USP Sheila Regina Murgel Veloso PQ-1D UERJ Siang Wun Song PQ-1A USP Sulamita Klein PQ-1C UFRJ Susana Scheimberg de Makler PQ-1C UFRJ Teresa Bernarda Ludermir PQ-1B UFPE =Valmir Carneiro Barbosa PQ-1A UFRJ #Virgilio Augusto Fernandes Almeida PQ-1A UFMG Wagner Meira Junior PQ-1C UFMG +Yoshiharu Kohayakawa PQ-1A USP Yoshiko Wakabayashi PQ-1A USP Zhao Liang PQ-1C USP * Atual titular em fim de mandato, não pode ser reconduzido = Atual titular no meio do mandato, não pode ser indicado + Atual suplente, pode ser indicado como titular. # Atual suplente no meio do mandato, não pode ser indicado -- http://sequiturquodlibet.googlepages.com/ ___ Logica-l mailing list Logica-l@dimap.ufrn.br 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.:+5519-3521-6517 ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] Qualis: um exercicio de democraria na lista de Logica
Caros Colegas: Se necessário for votar, voto na Proposta 1. Entretanto, gostaria de salientar o quão importante tem sido o processo desencadeado por Samuel, Robrigo, Charles e Valéria! Nesse sentido, sugiro que acatemos o encaminhamento que estes nossos colegas considerarem mais adequado, face às discussões e propostas por todos apresentadas. Itala Oi a todos, a quantas anda a votação? Eu voto na proposta 1! Abraços, Eduardo Ochs On Sat, Mar 31, 2012 at 10:51 AM, hugo...@ime.usp.br wrote: Ola a todos, Notei que nos ultimos dias cessaram as discussoes em torno da questao Qualis-Logica: isto me surpreendeu *bastante* pois sabemos que algumas areas (Fisica, por exemplo) ja terminaram o processo de revisao de 2012, sugerindo que a comunidade dos logicos (matematicos, filosofos, teoricos da computacao) tambem tem poucos dias para se posicionar quanto ao assunto da nossa avaliacao pelo Qualis (lembro que a proxima avaliaco so ocorrera em 2015). Em email anterior (28 de marco), sugeri 3 propostas (ver email abaixo) para auxiliar, de forma democratica, no processo de posicionamento de nossa comunidade quanto essa grave e urgente questao. Tambem foi sugerido que esta consulta se encerrasse no final do dia 2 de abril (segunda feira). Ate agora, apenas duas pessoas se posicionaram (= votaram), de forma espontanea, sobre esta consulta (Arthur e Decio). Aproveito email para declarar meu voto na *proposta 1*. Convido a todos a declararem suas posicoes!!! Abracos, Hugo Quanto Quoting hugo...@ime.usp.br: Ola a todos, Penso que, apos estas semanas de intensos e democraticos debates em torno das sugestoes de mudancas de avaliacoes dos Qualis das 3 Logicas, caberia mais um importante exercicio democratico sobre o tema: votacoes de propostas concretas. Participaria desta votacao a comunidade dos logicos brasileiros aqui, por questoes praticas, identificada com a totalidade dos participantes da lista de Logica (eleicao viabilizada atraves de algum instrumento google???) Sugiro as 3 propostas abaixo, com eleicao finalizada na segunda-feira, dia 2 de abril: Proposta (1): enviar a Capes no dia 4 de abril (quarta-feira) as 12hs, o trabalho realizado pela Valeria, Rodrigo, Samuel e Charles, com sugestoes de alteracoes de notas aceitas ate as 23:59 de terca-feira (3 de abril). Proposta (2): retrabalhar todo o conteudo da proposta, em cima das sugestoes do Jean-Yves (via fatores de impacto) e outras, a partir da lista ampliada do Joao Marcos, ate dia 2 de maio (quarta-feira), quando o resultado do trabalho seria enviado a Capes. Proposta (3): nenhuma das anteriores. Abracos, Hugo Abracos, Hugo Hugo Luiz Mariano hugo...@ime.usp.br ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l Hugo Luiz Mariano hugo...@ime.usp.br ___ 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 ++ 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.:+5519-3521-6517 ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] Blog para recolher assinaturas - Documento para a CAPES
Caro Samuel; Minha adesão não entrou! Aqui vão meus dados. Itala M. Loffredo D'Ottaviano Professor Titular Departamento de Filosofia Centro de Lógica, Epistemologia e História da Ciência Universidade Estadual de Campinas, UNICAMP Itala Caros, Depois de ouvir a comunidade nesta semana, e considerar boa parte das sugestoes, eu, Rodrigo e Valeria estamos disponibilizando um blog para recolher as assinaturas para o abaixo assinado a ser enviado à CAPES (juntamente com a carta da proposta e a tabela...). Por favor acessem http://qualisabaixoassinado.blogspot.com.br/ e deixem um comentário com seu nome e afiliacao, como forma de participar do abaixo-assinado. Esperamos enviar esse documento para os comitês assessores das três áreas nos próximos dias (já que a atualizacao do Qualis está em curso e o tempo urge). Também pretendemos seguir algumas sugestoes que recebemos no que se refere a divulgar essa nossa mobilizacao, em breve trataremos disso também. Abracos a todos, []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 ++ 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.:+5519-3521-6517 ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] Blog para recolher assinaturas - Documento para a CAPES
Nem a minha! Itala Em 25 de março de 2012 00:39, Francisco Antonio Doria famado...@gmail.com escreveu: Minha adesão não entrou... Nem a minha!! Walter ___ Logica-l mailing list Logica-l@dimap.ufrn.br 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.:+5519-3521-6517 ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] documento para a capes
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 ++ 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.:+5519-3521-6517 ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] Boicote à Elsevier adquirindo momento
Caros: Assinei também, ontem, mesmo antes de escrever aos colegas! Itala Caros: o boicote está de fato tomando proporções que já começam a incomodar a Elsevier. Refiz meu cálculo ético, e decidi assinar o boicote, apesar de me manter por enquanto no Editorial Board do Journal of Applied Logic da Elsevier, e de crer fortemente que a Elsevier tem ótima companhia na Springer e na Wiley- são as três que dominam o mercado! E não se pode esquecer, como postei na Lista, que a Springer força os autores a pagar os serviços da E-danz, uma empresa parceira da Springer que melhora a aceitabilidade de artigo pela própria Springer! à uma maneira suja de vender o próprio prestÃgio e terceirizar o estilo e o cuidado linguÃstico, a que eles deveriam zelar. Mas , como diz a Valéria, a gente tem que começar reclamando de alguém! Assinei o boicote à Elsevier e acrescentei o comentário abaixo: -- I am a member of the editorial board of the Journal of Applied Logic published by Elsevier ( http://www.sciencedirect.com/science/journal/15708683). At the moment I have commitments with several author and I do not find an ethical attitude to resign immediately from the Editorial Board. However, I may resign in the near future- for the moment I will refrain from publishing and refereeing for Elsevier. - Abs, Walter Em 12 de fevereiro de 2012 23:34, Valeria de Paiva valeria.depa...@gmail.com escreveu: Pois 'e, so' pra avisar a todos que resolvi aderir ao boicote da Elsevier iniciado pelo Tim Gowers.. http://gowers.wordpress.com/2012/01/29/whats-wrong-with-electronic-journals/ Sim eu concordo que a Elsevier nao 'e pior do que as outras commercial publishers, mas a gente tem que comecar reclamando de alguem Quem quiser aderir, deve assinar a peticao em http://thecostofknowledge.com/ O modelo comercial deles nao faz sentido nenhum, eles dependem mais da gente do a gente deles. Sim eu concordo que 'e muito dificil pra quem esta' comecando tentar fazer o mesmo, mas a gente que 'e velho, tem que pensar no futuro, ne? The Chronicle of Higher Education says this movement is gathering steam. Wired magazine says it's catching fire. Forbes says Elsevier's business model - getting smart people to work for free - is going up in smoke. Whatever is happening, clearly it's hot. Check it out! -- 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 -- --- 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 ++ 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.:+5519-3521-6517 ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] Procura-se: Marcelo Coniglio
Marcelo: Não se desepere! Nesta quarta-feira encontrar-me-ei pessoalmente com o Coniglio e com o Walter! E transmitirei sua procurância! Abraço, Itala Caros. Será que Campinas sumiu do mapa??? Há dias (semanas?) estou tentando falar com o Marcelo Coniglio, e nada. Também mandei um email pra Juliana, e nada. Eu nem sei em que parte do planeta está o Wlater! Abraços procurantes -- 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 ++ 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.:+5519-3521-6517 ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] Procura-se: Marcelo Coniglio
Marcelo: Não se desespere! Nesta quarta-feira encontrar-me-ei pessoalmente com o Coniglio e com o Walter! E transmitirei sua procurância! Abraço, Itala Caros. Será que Campinas sumiu do mapa??? Há dias (semanas?) estou tentando falar com o Marcelo Coniglio, e nada. Também mandei um email pra Juliana, e nada. Eu nem sei em que parte do planeta está o Wlater! Abraços procurantes -- 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 ++ 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.:+5519-3521-6517 ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] Procura-se: Marcelo Coniglio
Marcelo: Não se desespere! Nesta quarta-feira encontrar-me-ei pessoalmente com o Coniglio e com o Walter! E transmitirei sua procurância! Abraço, Itala Caros. Será que Campinas sumiu do mapa??? Há dias (semanas?) estou tentando falar com o Marcelo Coniglio, e nada. Também mandei um email pra Juliana, e nada. Eu nem sei em que parte do planeta está o Wlater! Abraços procurantes -- 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 ++ 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.:+5519-3521-6517 ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] Verbete Combining Logics (revisado) na Stanford Encyclopedia of Philosophy
Parabéns, caros colegas! O texto está ótimo! Itala Caros colegas: temos a satisfação de participar a todos que uma versão revisada da nossa entrada Combining Logics para a Stanford Encyclopedia of Philosophy em http://plato.stanford.edu/entries/logic-combining/ acaba de ser publicada no link acima. Abs, Walter e Marcelo -- --- 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 ++ 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.:+5519-3521-6517 ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] Premiacao no Concurso de Teses e Dissertações 2011 da SBC
Foi mesmo fantástico! Mas os dois, você e o Márcio - e o trabalho - merecem! Itala Obrigada a todos pelos parabéns. Estou muito orgulhosa pelo Márcio e por termos uma tese de lógica reconhecida como trabalho de computação! Abraços, Renata. 2011/8/3 Walter Carnielli walter.carnie...@gmail.com Caros Márcio Moretto Ribeiro e Renata Wassermann parabéns ao Márcio pale premiacao (primeiro lugar) no Concurso de Teses e Dissertações do XXXI Congresso da Sociedade Brasileira de Computação de 2011! pela sua tese de doutorado Revisão de Crenças em Lógicas de Descrição e em Outras Lógicas não Clássicas, e parabéns `a Renata pela orientacao! Sinto-me horado em ter participado da Banca de Defesa da tese e em ter sido co-responsável pela vinda do Márcio ao CLE como pos-doc! Um abraco, Walter -- Prof. Dr. Walter Carnielli Visiting Scholar School of Historical and Philosophical Studies Room G06 Ground Floor Old Quad Building The University of Melbourne 3010 VIC Melbourne, Australia Website: http://www.cle.unicamp.br/prof/carnielli --- -- 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 ++ 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.:+5519-3521-6517 ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] Premiacao no Concurso de Teses e Dissertações 2011 da SBC
Caros Márcio e Renata: Quero cumprimentá-los, pela merecida premiação recebida pela Tese do Márcio! Uma alegria e orgulho, para todos nós. Parabéns para o Márcio! Parabéns para a Renata! Itala Caros Márcio Moretto Ribeiro e Renata Wassermann parabéns ao Márcio pale premiacao (primeiro lugar) no Concurso de Teses e Dissertações do XXXI Congresso da Sociedade Brasileira de Computação de 2011! pela sua tese de doutorado Revisão de Crenças em Lógicas de Descrição e em Outras Lógicas não Clássicas, e parabéns `a Renata pela orientacao! Sinto-me horado em ter participado da Banca de Defesa da tese e em ter sido co-responsável pela vinda do Márcio ao CLE como pos-doc! Um abraco, Walter -- Prof. Dr. Walter Carnielli Visiting Scholar School of Historical and Philosophical Studies Room G06 Ground Floor Old Quad Building The University of Melbourne 3010 VIC Melbourne, Australia Website: http://www.cle.unicamp.br/prof/carnielli --- ++ 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.:+5519-3521-6517 ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] Lançamento de livro de Teoria dos Conjuntos
Parabéns aos 3 autores! Um bom livro sobre Teoria de Conjuntos, em Português, para utilizarmos. Itala Estamos lançando o livro: Teoria dos Conjuntos - Sobre a Fundamentaç?o Matemática e a Construç?o de Conjuntos Numéricos Hércules de Araújo Feitosa / Mauri Cunha do Nascimento / Alexys Bruno Alfonso 288 páginas - 1aª edição - 2011 ISBN: 978853998 - Formato: 16 x 23 que pode ser adquirido pelos professores com desconto diretamente na Editora Ciência Moderna: http://www.lcm.com.br/versao_nova/index.php?Escolha=6PHPSESSID=vo31aae4kftgpab5gv7b4fkv10 Informações: http://www.lcm.com.br/versao_nova/index.php?Escolha=20Livro=L00928PHPSESSID=vo31aae4kftgpab5gv7b4fkv10 Mauri. This message was sent using IMP, the Internet Messaging Program. ___ Logica-l mailing list Logica-l@dimap.ufrn.br 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.:+5519-3521-6517 ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] Logic in Rio
Jean-Yves: Meus sinceros parabéns pela iniciativa e pelo criativo e original site! Itala Começou essa semana os encontros dos lógicos do Rio de Janeiro: http://www.rio-logic.org ___ Logica-l mailing list Logica-l@dimap.ufrn.br 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.:+5519-3521-6517 ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] Proposta de criação da Comissão Especial de Lógica na Computação
Cara Ana: Obrigada pela informação! Itala Para os interessados na criação da Comissão Especial de Lógica e Computação, Entrei em contato com o vice-presidente da SBC, prof. Marcelo Walter, e com o diretor de Eventos e Comissões Especiais da SBC, prof. Lisando Granville, e eles me informaram que, no momento, está congelada a criação de novas comissões especiais. Há uma discussão de uma nova proposta na qual, antes de se criar uma CE, deveria ser criado um grupo de interesse. Esta proposta está em análise e o prof. Lisando espera que a mesma fique concretizada durante o congresso de julho da SBC. Abraços a todos, Ana -- Forwarded message -- From: Marcelo Finger mfin...@ime.usp.br Date: 2011/5/12 Subject: [Logica-l] Proposta de criação da Comissão Especial de Lógica na Computação To: logica-l@dimap.ufrn.br Caros. Conforme combinado reunião que tivemos no EBL2011, montamos uma página com a proposta inicial de criação da Comissão Especial de Lógica na Computação junto à SBC. Esta proposta encontra-se na página http://www.tecmf.inf.puc-rio.br/CELC . à IMPORTANTÃSSIMO QUE AS PESSOAS INTERESSADAS SE CADASTREM NA PÃGINA. CrÃticas e sugestões são muito bem vindas, e serão discutidas no próximo LSFA em Belo Horizonte. Abraços cordiais Alexandre Rademaker Marcelo Finger Mário Benevides -- 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 mailing list Logica-l@dimap.ufrn.br 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.:+5519-3521-6517 ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] Novo Livro: Brazilian Studies....
Caros Décio e Antonio: Parabéns pelo trabalho e pelo belo volume! Itala Caros Comunico que apareceu o volume Brazilian Studies in Philosophy and History of Science. Podem ver em http://www.amazon.co.uk/Brazilian-Studies-Philosophy-History-Science/dp/9048194210/ref=sr_1_9?s=booksie=UTF8qid=1296998777sr=1-9 Abraços, D. 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 Você não está pensando. Está meramente sendo lógico! (Bohr para Einstein) ___ Logica-l mailing list Logica-l@dimap.ufrn.br 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.:+5519-3521-6517 ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] Nova equivalência para o Axioma da Es colha
Caro Samuel: Com muita alegria, meus parabéns! Abraço, da Itala Caros, Tenho o prazer de anunciar que o número de matemáticos brasileiros com equivalências originais para o Axioma da Escolha acaba de subir de dois para quatro*... Acabo de receber o aceite de um artigo no periódico Acta Mathematica Hungarica, em co-autoria com Joao Paulo Cirineu de Jesus, que foi meu aluno de mestrado na UFBA (e atualmente é doutorando na USP). Uma parte de sua dissertacao de mestrado continha uma nova equivalência para o Axioma da Escolha. A nova proposicao equivalente ao Axioma da Escolha é: Se um produto cartesiano de uma família de conjuntos é fechado num produto topológico (de Tychonoff), entao pelo menos um dos fatores é fechado. * Os dois matemáticos brasileiros a que me refiro sao Edison Farah e Ofélia Teresa Alas, da USP. Abracos a todos, []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 ++ Itala M. L. D'Ottaviano Centre for Logic, Epistemology and the History of Science - CLE State University of Campinas - UNICAMP P.O. Box 6133 13083-970 - Campinas-SP, Brazil Fax: +55-19-3289-3269 Tel.:+5519-3521-6517 ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] Volumes 1 e 2 de Principia: Newton 80anos
Caro Décio: Parabéns pelo trabalho! Itala Caros todos Saiu o segundo volume de Principia homenageando os 80 anos do Prof. Newton da Costa, que pode ser visto em http://www.cfh.ufsc.br/~principi/olvol133.html O volume 1 está em http://www.cfh.ufsc.br/%7Eprincipi/olvol132.html e o terceiro está em preparo. Abraços, Décio Decio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-990 Florianópolis, SC -- Brasil deciokra...@gmail.com www.cfh.ufsc.br/~dkrause Doctor Bell say we?re connected, He called me on the phone, But if we?re really together baby, How can I feel so all alone? (Bell's Theorem Blues) ___ Logica-l mailing list Logica-l@dimap.ufrn.br 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 P.O. Box 6133 13083-970 - Campinas-SP, Brazil Fax: +55-19-3289-3269 Tel.:+5519-3521-6517 ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] Marcelo Finger, novo Professor Titular da USP
Querido Marcelo: Parabéns, pelo merecido título! Itala Pessoal. Muito obrigado a todos! Estamos aí para o que precisar. Abraços Marcelo 2010/4/12 Walter Carnielli walter.carnie...@gmail.com: Colegas: quero aqui deixar nossos parabéns ao prezado Marcelo Finger, novo e recente membro do seleto grupo de Professores Titulares da USP. Parabéns, Marcelo!! Walter -- + Walter Carnielli Centre for Logic, Epistemology and the History of Science ? CLE State University of Campinas ?UNICAMP P.O. Box 6133 13083-970 Campinas -SP, Brazil Phone: (+55) (19) 3788-6519 Fax: (+55) (19) 3289-3269 e-mail: carni...@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 -- 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 ++ Itala M. L. D'Ottaviano Centre for Logic, Epistemology and the History of Science - CLE State University of Campinas - UNICAMP P.O. Box 6133 13083-970 - Campinas-SP, Brazil Fax: +55-19-3289-3269 Tel.:+5519-3521-6517 ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] A questão dos pareceristas (en volvendo Dualising Intuitionistic Negation de Graham Priest)
Caros Colegas: Quando a Tese do Giovanni Queiroz (defendida em 1998) estava sendo finalizada, recebi o artigo do Urbas (publicação datada de 1996), mencionado pelo Walter, para report, e tivemos (eu e Giovanni) a oportunidade de analisar as relações entre o artigo e o trabalho do Giovanni. Quando o Andreas Brunner desenvolvia seu trabaho com o Walter, chamei a atenção, em nossos seminários de lógica, sobre como os sistemas introduzidos pelo Andreas constituiam, de fato, generalizações, para os cálculo Cn de da Costa, do sistema introduzido pelo Giovanni; também chamei a atenção sobre a semântica que estava sendo proposta por Brunner para tais sistemas. Brunner e Carnielli mencionam, em seu artigo, a tese de Giovanni. Como o Giovanni, apesar de minha insistência continuada, não publicou os resultados de sua Tese, no artigo Deductive systems and translations, publicado em Pespectives on Universal Logic, Polimetrica, p. 125-157, 2007, em co-autoria com Hércules Feitosa, dedicamos um sessão sobre o sistema de Giovanni e o estudo de suas inter-relações com outras lógicas. Quando Graham Priest proferiu sua conferência no Evento em homenagem a da Costa, em agosto 2009 na UNICAMP, publicamente falei-lhe sobre o trabalho do Giovanni e, mais do que isso, disse-lhe que pensava que o sistema que ele acabara de apresentar era o próprio sistema do Giovanni. Após o evento, encaminhei ao Priest o arquivo de meu artigo com o Hércules, para que ele pudesse conhecer o sistema introduzido pelo Giovanni e as relações de tal sistema com o sistema C1 de da Costa e com outros sistemas não-clássicos. Nosso artigo também menciona o artigo do Brunner e Carnielli. Sem dúvida, causa surpresa que Priest não mencione nossos artigos, ainda mais considerando-se a forte semelhança da abordagem e dos resultados por ele obtidos. Abraços, da Itala Gostaria de levantar uma questão, envolvendo o artigo Dualising Intuitionistic Negation de Graham Priest, que acaba de aparecer no primeiro volume (de três) de Principia, em homenagem aos 80 anos do Prof. Newton da Costa: http://www.cfh.ufsc.br/%7Eprincipi/olvol132.html, conforme gentilmente postado pelo Décio. É claro que cada autor é livre para escolher suas referências. Mas como é possível que a ciência e os critérios de publicação sejam tais, que um autor como Priest vem ao Brasil, publicar numa revisa brasileira como Principia, e desconsidere olimpicamente o que autores brasileiros já disseram sobre a tal dualidade intuiocionismo X paraconsistência? Não se seu ao trabalho de procurar, ou não leu e não gostou? Refiro-me à tese de Giovanni da Silva de Queiroz Sobre a dualidade entre intuicionismo e paraconssistencia defendida em i998 na UNICAMP (disponível on line, orientado pela nossa colega Itala Maria Loffredo D'Ottaviano). E refiro-me também ao artigo Anti-intuitionism and paraconsistency (Andreas B.M. Brunner e Walter A. Carnielli Journal of Applied Logic volume 3, Issue 1, March 2005, Pages 161-184. Ainda mais que o referido artigo foi publicaod nos proceedings do WoPaLo de Trento (cf. editorial A Paraconsistent Decagon, The Workshop on Paraconsistent Logic cujos editores foram João Marcos, Diderik Batens e eu mesmo). E a desconsideração é mais profunda: desconsidera até a contribuição de Urbas de 1996, Dual-intuitionistic logic (Notre Dame Journal). Espero que não me compreendam mal: não se trata aqui de nenhuma atitude hipócrita de cite-me, por favor. Priest poderia ter criticado, esculhambado e mostrado que seu enfoque fosse melhor--mas não vejo que em publicações científicas se possa desconsiderar, e repetir o que foi dito... Digo isso para levantar uma questão: até que ponto nosso sistema de pareceristas funciona? Abraços, Walter -- + Walter Carnielli Centre for Logic, Epistemology and the History of Science ? CLE State University of Campinas ?UNICAMP P.O. Box 6133 13083-970 Campinas -SP, Brazil Phone: (+55) (19) 3788-6519 Fax: (+55) (19) 3289-3269 e-mail: carni...@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 ++ Itala M. L. D'Ottaviano Centre for Logic, Epistemology and the History of Science - CLE State University of Campinas - UNICAMP P.O. Box 6133 13083-970 - Campinas-SP, Brazil Fax: +55-19-3289-3269 Tel.:+5519-3521-6517 ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] A questão dos pareceristas (en volvendo Dualising Intuitionistic Negation de Graham Priest)
Caros Colegas: Quando a Tese do Giovanni Queiroz (defendida em 1998) estava sendo finalizada, recebi o artigo do Urbas (publicação datada de 1996), mencionado pelo Walter, para report, e tivemos (eu e Giovanni) a oportunidade de analisar as relações entre o artigo e o trabalho do Giovanni. Quando o Andreas Brunner desenvolvia seu trabaho com o Walter, chamei a atenção, em nossos seminários de lógica, sobre como os sistemas introduzidos pelo Andreas constituiam, de fato, generalizações, para os cálculo Cn de da Costa, do sistema introduzido pelo Giovanni; também chamei a atenção sobre a semântica que estava sendo proposta por Brunner para tais sistemas. Brunner e Carnielli mencionam, em seu artigo, a tese de Giovanni. Como o Giovanni, apesar de minha insistência continuada, não publicou os resultados de sua Tese, no artigo Deductive systems and translations, publicado em Pespectives on Universal Logic, Polimetrica, p. 125-157, 2007, em co-autoria com Hércules Feitosa, dedicamos um sessão sobre o sistema de Giovanni e o estudo de suas inter-relações com outras lógicas. Quando Graham Priest proferiu sua conferência no Evento em homenagem a da Costa, em agosto 2009 na UNICAMP, publicamente falei-lhe sobre o trabalho do Giovanni e, mais do que isso, disse-lhe que pensava que o sistema que ele acabara de apresentar era o próprio sistema do Giovanni. Após o evento, encaminhei ao Priest o arquivo de meu artigo com o Hércules, para que ele pudesse conhecer o sistema introduzido pelo Giovanni e as relações de tal sistema com o sistema C1 de da Costa e com outros sistemas não-clássicos. Nosso artigo também menciona o artigo do Brunner e Carnielli. Sem dúvida, causa surpresa que Priest não mencione nossos artigos, ainda mais considerando-se a forte semelhança da abordagem e dos resultados por ele obtidos. Abraços, da Itala Gostaria de levantar uma questão, envolvendo o artigo Dualising Intuitionistic Negation de Graham Priest, que acaba de aparecer no primeiro volume (de três) de Principia, em homenagem aos 80 anos do Prof. Newton da Costa: http://www.cfh.ufsc.br/%7Eprincipi/olvol132.html, conforme gentilmente postado pelo Décio. É claro que cada autor é livre para escolher suas referências. Mas como é possível que a ciência e os critérios de publicação sejam tais, que um autor como Priest vem ao Brasil, publicar numa revisa brasileira como Principia, e desconsidere olimpicamente o que autores brasileiros já disseram sobre a tal dualidade intuiocionismo X paraconsistência? Não se seu ao trabalho de procurar, ou não leu e não gostou? Refiro-me à tese de Giovanni da Silva de Queiroz Sobre a dualidade entre intuicionismo e paraconssistencia defendida em i998 na UNICAMP (disponível on line, orientado pela nossa colega Itala Maria Loffredo D'Ottaviano). E refiro-me também ao artigo Anti-intuitionism and paraconsistency (Andreas B.M. Brunner e Walter A. Carnielli Journal of Applied Logic volume 3, Issue 1, March 2005, Pages 161-184. Ainda mais que o referido artigo foi publicaod nos proceedings do WoPaLo de Trento (cf. editorial A Paraconsistent Decagon, The Workshop on Paraconsistent Logic cujos editores foram João Marcos, Diderik Batens e eu mesmo). E a desconsideração é mais profunda: desconsidera até a contribuição de Urbas de 1996, Dual-intuitionistic logic (Notre Dame Journal). Espero que não me compreendam mal: não se trata aqui de nenhuma atitude hipócrita de cite-me, por favor. Priest poderia ter criticado, esculhambado e mostrado que seu enfoque fosse melhor--mas não vejo que em publicações científicas se possa desconsiderar, e repetir o que foi dito... Digo isso para levantar uma questão: até que ponto nosso sistema de pareceristas funciona? Abraços, Walter -- + Walter Carnielli Centre for Logic, Epistemology and the History of Science ? CLE State University of Campinas ?UNICAMP P.O. Box 6133 13083-970 Campinas -SP, Brazil Phone: (+55) (19) 3788-6519 Fax: (+55) (19) 3289-3269 e-mail: carni...@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 ++ Itala M. L. D'Ottaviano Centre for Logic, Epistemology and the History of Science - CLE State University of Campinas - UNICAMP P.O. Box 6133 13083-970 - Campinas-SP, Brazil Fax: +55-19-3289-3269 Tel.:+5519-3521-6517 ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
[Logica-l] Revista Ciência Vida- Filosofia
Caros Colegas: A revista Ciência Vida - Filosofia, acaba de lançar um volume especial sobre Filosofia Analítica, com artigos de alguns de nossos colegas filósofos e uma entrevista que concedi ao jornalista Faoze Chibli. O número da revista já está nas bancas. Abraço, da Itala ++ Itala M. L. D'Ottaviano Centre for Logic, Epistemology and the History of Science - CLE State University of Campinas - UNICAMP P.O. Box 6133 13083-970 - Campinas-SP, Brazil Fax: +55-19-3289-3269 Tel.:+5519-3521-6517 ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l