Caríssimos, mais um seminário do LoLITA, desta vez:
--------------------------- Experimentações com a Noção de Verofuncionalidade João Marcos (DIMAp / UFRN) Local: Sala de reuniões do DIMAp Data: 03-Dez-10, 09:00-10:00 http://groups.google.com/group/lolita-ufrn/web/lolita-seminars#JM-03122010 Resumo: Cada maneira como formulamos a gramática e atribuímos significado à sintaxe de um sistema formal dedutivo traz embutidas características bem próprias. Do ponto de vista semântico, por exemplo, algumas vantagens imediatas são inerentes à abordagem funcional, determinística --- dentre as quais se destacam uma conexão imediata com o bem conhecido princípio linguístico da Composicionalidade do Significado e ao mesmo tempo a apresentação de um bom comportamento computacional que dá vezo à verificação de diversas meta-propriedades interessantes. Por outro lado, algumas desvantagens da abordagem puramente funcional à interpretação veritativa dos sistemas formais incluem as reduzidas modularidade e flexibilidade deste arcabouço, bem como o fato de que muitos sistemas simplesmente não se conformam, sem violência, a tais interpretações. Outras qualidades teóricas que tornam a verofuncionalidade uma característica bastante desejável incluem a existência de contrapartes bem conhecidas tanto em termos de propriedades abstratas da relação de consequência associada, quanto em termos de formalismos dedutivos bem conhecidos em teoria da demonstração, com as propriedades da subfórmula, da invertibilidade das regras de inferência características, da admissibilidade da regra do corte, da analiticidade, e da existência, quando factível, de sistemas de decisão efetivos associados. Esta apresentação exemplificará algumas das muitas formas possíveis de se estender a noção usual de verofuncionalidade, levando em conta elementos de intensionalidade ou sub-determinação interpretativa. Veremos, em cada caso, como a consideração de generalizações computacionalmente bem-comportadas dos princípios básicos, negociando e controlando as parcelas de não-determinismo legalizadas pelas formas como atribuímos significado aos nossos sistemas formais, nos permitem o tratamento e o uso uniforme de uma ampla variedade de lógicas não-clássicas. Cada maneira como formulamos a gramática e atribuímos significado à sintaxe de um sistema formal dedutivo traz embutidas características bem próprias. Do ponto de vista semântico, por exemplo, algumas vantagens imediatas são inerentes à abordagem funcional, determinística --- dentre as quais se destacam uma conexão imediata com o bem conhecido princípio linguístico da Composicionalidade do Significado e ao mesmo tempo a apresentação de um bom comportamento computacional que dá vezo à verificação de diversas meta-propriedades interessantes. Por outro lado, algumas desvantagens da abordagem puramente funcional à interpretação veritativa dos sistemas formais incluem as reduzidas modularidade e flexibilidade deste arcabouço, bem como o fato de que muitos sistemas simplesmente não se conformam, sem violência, a tais interpretações. Outras qualidades teóricas que tornam a verofuncionalidade uma característica bastante desejável incluem a existência de contrapartes bem conhecidas tanto em termos de propriedades abstratas da relação de consequência associada, quanto em termos de formalismos dedutivos bem conhecidos em teoria da demonstração, com as propriedades da subfórmula, da invertibilidade das regras de inferência características, da admissibilidade da regra do corte, da analiticidade, e da existência, quando factível, de sistemas de decisão efetivos associados. Esta apresentação exemplificará algumas das muitas formas possíveis de se estender a noção usual de verofuncionalidade, levando em conta elementos de intensionalidade ou sub-determinação interpretativa. Veremos, em cada caso, como a consideração de generalizações computacionalmente bem-comportadas dos princípios básicos, negociando e controlando as parcelas de não-determinismo legalizadas pelas formas como atribuímos significado aos nossos sistemas formais, nos permitem o tratamento e o uso uniforme de uma ampla variedade de lógicas não-clássicas. ----------------- Atenciosamente, Regivan ********************************************************************************* Prof. Dr. Regivan Hugo Nunes Santiago Group of Logic, Language, Information, Theory and Applications - LoLITA Department of Informatics and Applied Mathematics - DIMAp Federal University of Rio Grande do Norte - UFRN Campus Universitario, Lagoa Nova, 59.072-970, Natal, RN, Brasil Phone: +55 84 3215-3814 Ext. 228 Fax: +55 84 3215-3813 http://www.dimap.ufrn.br/~regivan e-mail: regivan AT DOMAIN=dimap,ufrn,br. ********************************************************************************* _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
