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
