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
