Sim, JY, vou participar do workshop, e sim, eu adoraria que desenvolvêssemos uma colaboração sobre o assunto, sobre o qual eu também trabalhei bastante.
Sua mensagem foi respondida pelo menos umas três ou quatro vezes, mas aparentemente você não está recebendo mensagens minhas... Os organizadores do workshop são Maria da Paz e Daniel Durante, sugiro que você entre em contato diretamente com eles. Estarão presentes também Frank Sautter e Wagner Sanz, entre outros. Forte abraço, Joao Marcos 2009/4/11 BEZIAU Jean-Yves <[email protected]>: > > Caro Joao Marcos > > Mandei este e-mail abaixo dia 16 de março de 2009 > nunca recebi resposta. > Eu trabalhei muito sobre a negacao e tem interesso de discutir este assunto. > Fortaleza e Natal sao cidades proximas > Nao seria possivel densovolver colaboracao juntos? > > Um abraço, JY > > Bolsita DCR/CNPQ/ FUNCAP - Nivel A > Chief-Editor > Logica Universalis > http://www.birkhauser.ch/LU > Studies in Universal Logic > http://www.springer.com/series/7391 > > > > ________________________________________ > De : BEZIAU Jean-Yves > Date d'envoi : lundi, 16. mars 2009 23:21 > À : Joao Marcos > Cc : [email protected] > Objet : RE : verifuncionalidade > > Caro JM > > > Vi a informacao a respeito do workshop sobre negacao em Natal. > Voce vai participar? > Vale la pena ir la? > > > > Um abraco, JY > ****************************** > > ------------------------------------------------------- > WORKSHOP - ASPECTOS LÓGICOS DA NEGAÇÃO > 20 e 21 de Abril de 2009 > Natal-RN - Departamento de Filosofia > ------------------------------------------------------- > A Base de Lógica, Conhecimento e Ética da Universidade Federal do Rio > Grande do Norte (UFRN) promoverá nos dias 20 e 21 de abril de 2009 o > Workshop ASPECTOS LÓGICOS DA NEGAÇÃO. Trata-se de uma reunião de > pesquisa vinculada ao projeto SIMULAÇÕES POSITIVAS DA NEGAÇÃO, > financiado pelo CNPq e pela FAPERN e coordenado pelos Professores Maria > da Paz N. de Medeiros e Daniel Durante P. Alves. > O Projeto Simulações Positivas da Negação é um estudo filosófico sobre a > negação cujas análises se inserem na tradição lógica da Teoria da Prova. > Investiga-se a possibilidade de simular positivamente a negação em > sistemas formais de lógica e avaliar o sucesso e o caráter positivo > destas simulações, com o intuito de ampliar a compreensão da negação > enquanto operação racional passível de formalização. Busca-se > compreender a negação mediante uma análise dos efeitos de sua ausência > nos sistemas lógicos, procurando suprir ou minorar estes efeitos > simulando-a por via de artifícios formais supostamente positivos. > Pretende-se que a comparação destes sistemas 'positivos' com conhecidos > sistemas de lógica intuicionista, clássica, paraconsistentes e > relevantes forneça esclarecimentos sobre o exato papel da negação nestes > sistemas, enquanto ferramenta dedutiva. > CONVIDADOS: > O evento terá como convidados os professores > Wagner da Campos Sans - Universidade Federal de Goias > Frank Thomas Sauter - Universidade Federal de Santa Maria > INSCRIÇÕES: > Estamos aceitando inscrições de pesquisadores com interesse na área, > para comunicações (20 min + 10 min p/ debate). > As inscrições devem ser feitas enviando um e-mail para > durante em ufrnet.br com as seguintes informações: > 1. Nome completo > 2. Posição (professor, pós-graduando, pesquisador,...) > 2. Instituição a que esteja vinculado > 4. Título e Resumo da Comunicação (10 a 20 linhas) > DEADLINE: > As inscrições devem ser feitas até 31/03/2009. > RESULTADOS: > Os resultados, assim como o calendário completo do evento serão > divulgados, por e-mail, em 06/04/2009. > PATROCINADORES: > CNPq - Conselho Nacional de Desenvolvimento Científico e Tecnológico > FAPERN - Fundação de Apoio à Pesquisa do Estado do Rio Grande do Norte > COMISSÃO ORGANIZADORA: > Maria da Paz N. de Medeiros (UFRN) > Daniel Durante P. Alves (UFRN) > Sanderson Molick Silva (grad-UFRN) > Maria Isabel dos S. Gomes (grad-UFRN) > Julieverson Brigido (grad-UFRN) -- My homepage: http://sequiturquodlibet.googlepages.com/ _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
