Re: [Logica-l] Presença de mais um embaixador no congresso sobre o quadrado no Vaticano

2014-04-29 Por tôpico Walter Carnielli
Que  belo!

Vamos  levar a Lógica ao Conselho de  Segurança da  ONU (nem que eles
não precisem...)


Em 29 de abril de 2014 12:05, jean-yves beziau beziau...@gmail.com escreveu:
 Depois da participacao do Embaixador da Polonia no Vaticano
 Piotr Nowina-Konopka
 http://en.wikipedia.org/wiki/Piotr_Nowina-Konopka
 no nosso evento sobre o quadrado das oposicoes recebemos a confirmacao da
 presença
 do  Embaixador da França no Vaticano Bruno Joubert
 https://www.youtube.com/watch?v=om2Y-Z-OJhs

 A presença desses embaixadores e o fato que eles oferecem coqueteis aos
 participantes do SQUARE 2014
 nas respectivas Embaixadas me parece muito importante para fazer melhor
 conhecer a logica -
 nossos eventos sobre o quadrado promovendo a logica em todos os seus
 aspectos.

 No congresso anterior, em Beirut, no Libano,
 foram oferecidas coqueteis pela Embaixadora da Suiça no Libano, Ruth Flint
 assim que pelo Embaixador do Brasil no Libano  Paulo Roberto Campos
 Tarrisse da Fontoura
 qui ficou feliz de saber que a lógica é um disciplina muito desenvolvida no
 Brasil

 Jean-Yves
 ___
 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


[Logica-l] texto

2014-04-29 Por tôpico Abílio
Carissimos
Por acaso alguem teria o txt abaixo em pdf?
Abraços
Abilio


Negation and separation of concepts in constructive
systems, in A. Heyting, editor, Constructivity in
Mathematics, Proceedings of the Colloquium held in Amsterdam, NL,
1957, Studies in Logic and the Foundations of Mathematics. Amsterdam:
North-Holland, 1959.
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l