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) _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
