Re: [Logica-l] EBL 2014

2013-05-26 Por tôpico Itala M. L. D'Ottaviano
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.:+55–19-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

2013-05-25 Por tôpico Itala M. L. D'Ottaviano
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.:+55–19-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

2013-05-05 Por tôpico Itala M. L. D'Ottaviano
 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.:+55–19-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.:+55–19-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)

2013-05-01 Por tôpico Itala M. L. D'Ottaviano
. 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.:+55–19-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

2013-04-12 Por tôpico Itala M. L. D'Ottaviano
/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.:+55–19-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

2013-04-11 Por tôpico Itala M. L. D'Ottaviano
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.:+55–19-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

2013-04-11 Por tôpico Itala M. L. D'Ottaviano
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.:+55–19-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)

2013-03-05 Por tôpico Itala M. L. D'Ottaviano
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.:+55–19-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

2012-08-08 Por tôpico Itala M. L. D'Ottaviano
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.:+55–19-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

2012-08-08 Por tôpico Itala M. L. D'Ottaviano
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.:+55–19-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

2012-04-24 Por tôpico Itala M. L. D'Ottaviano
 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.:+55–19-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

2012-04-02 Por tôpico Itala M. L. D'Ottaviano
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.:+55–19-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

2012-03-26 Por tôpico Itala M. L. D'Ottaviano
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.:+55–19-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

2012-03-26 Por tôpico Itala M. L. D'Ottaviano
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.:+55–19-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

2012-03-20 Por tôpico Itala M. L. D'Ottaviano
 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.:+55–19-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

2012-02-13 Por tôpico Itala M. L. D'Ottaviano
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.:+55–19-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

2011-10-25 Por tôpico Itala M. L. D'Ottaviano
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.:+55–19-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

2011-10-25 Por tôpico Itala M. L. D'Ottaviano
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.:+55–19-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

2011-10-25 Por tôpico Itala M. L. D'Ottaviano
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.:+55–19-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

2011-10-25 Por tôpico Itala M. L. D'Ottaviano
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.:+55–19-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

2011-08-08 Por tôpico Itala M. L. D'Ottaviano
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.:+55–19-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

2011-08-03 Por tôpico Itala M. L. D'Ottaviano
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.:+55–19-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

2011-07-15 Por tôpico Itala M. L. D'Ottaviano
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.:+55–19-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

2011-06-17 Por tôpico Itala M. L. D'Ottaviano
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.:+55–19-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

2011-06-05 Por tôpico Itala M. L. D'Ottaviano
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.:+55–19-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....

2011-02-06 Por tôpico Itala M. L. D'Ottaviano
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.:+55–19-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

2010-10-01 Por tôpico Itala M. L. D'Ottaviano
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.:+55–19-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

2010-08-05 Por tôpico Itala M. L. D'Ottaviano
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.:+55–19-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

2010-04-13 Por tôpico Itala M. L. D'Ottaviano
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.:+55–19-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)

2010-04-11 Por tôpico Itala M. L. D'Ottaviano
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.:+55–19-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)

2010-04-11 Por tôpico Itala M. L. D'Ottaviano
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.:+55–19-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

2008-10-01 Por tôpico Itala M. L. D'Ottaviano


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.:+55–19-3521-6517

___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l