OK, Tony, anota que no meu artigo tem toda uma parte historica, analisando como as coisas estao apresentadas (e a terminologia usada) por Kleene, Church, etc Um abraço, JY
2013/1/3 Tony Marmo <[email protected]> > Obrigado, mas não são dúvidas o que eu expressei. As minhas mensagens > referiam-se a uma leitura de como essas terminologias foram usadas > historicamente e sobre o fato de que a diferença entre elas, quando aceite > numa terminologia, é e precisa ser relativa. Não quer dizer que as > diferenças não cheguem a existir, ou que eu tenha dúvidas sobre elas. Mas, > agradeço a referência do fundo do coração. > > 2013/1/3 jean-yves beziau <[email protected]> > >> Ola Tony >> O meu artigo de 1999 >> RULES, DERIVED RULES, PERMISSIBLE RULES AND THE VARIOUS TYPES OF SYSTEMS >> OF DEDUCTION >> esta agora on-line no meu website >> http://www.jyb-logic.org >> Pode ajudar voce a esclarecer muitas duvidas. >> Em particular esclarece a confusao muito frequente entre >> sistema de deducao à la Gentzen >> e relacao de consequencia à la Tarski. >> >> Abstract: >> We fïrst define the notions of rule, derived rule, >> permissible rule for any system whatsoever; >> then we state the exact distinction >> between two kinds of systems stronly connected: >> first level and second level systems. >> This abstract setting is illustrated by the example >> of the implicative intuitionistic propostional logic. >> Then we have a look at some historical developments. >> > > _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
