Obrigado, Walter, respondeu por mim. Em 22 de dezembro de 2012 18:19, Walter Carnielli < [email protected]> escreveu:
> Parece que falta você levar em conta o metateorema da dedução.. > > Em 22/12/2012 17:52, "Luis Rosa" <[email protected]> escreveu: > > > > O "if, ..., then..." usado por Russel & Whitehead no Principia geralmente > > refere à relação de entailment - não a um condicional. Isso é mostrado > por > > Sanford no seu livro *If P than Q: Conditional and The Foundations of > > Reasoning*. Parece que o trabalho de R&W não é muito preciso em > distinguir > > entailment de condicionais, em que o primeiro conceito refere a uma > relação > > entre sentenças (ou proposições), e o segundo refere a um conectivo que > faz > > parte de uma sentença (ou proposição). > > > > Veja essa distinção com uma certa importância para a distinção relevante > > entre axiomas e regras de derivação. Axiomas são sentenças com > determinados > > conectivos, e regras de derivação podem ser precisamente expostas por > meio > > do sinal de acarretamento. Parece que todo axiomas pode dar origem a uma > > regra de inferência (com o conjunto vazio de premissas); mas nem toda > regra > > de inferência pode dar origem a um axioma (embora toda regra de > inferência > > possa dar origem a um teorema) - em que os axiomas que podem ser > mostrados > > como tendo alguma relação direta com regras de inferência são sentenças > > condicionais. Assim, > > > > (AX1) p->p > > > > é um axioma que corresponde à regra de derivação expressa por > > > > (RD1) p |- p > > > > Que lhes parece? > > > > Abraço > > -- > > *Luis Rosa * > > @fsopho // prof <https://sites.google.com/site/fsopho/> // lattes > > <http://lattes.cnpq.br/9235142514779816> > > FsOpHo Epistemology Blog <http://fsopho.wordpress.com/> > > Blog Distropia <http://distropia.wordpress.com/> > > Greek van Peixe - Gamer Rock <http://greekvanpeixe.com/> > > _______________________________________________ > > Logica-l mailing list > > [email protected] > > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > _______________________________________________ > Logica-l mailing list > [email protected] > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
