PS:
Aproveito a ocasião para desejar um FELIZ NATAL a todos!
Em 24 de dezembro de 2012 23:25, Tony Marmo escreveu:
> Você usou "substituir" informalmente então. Tudo bem. Você então quer
> dizer que preferiu usar um caminho a outro. Mas, aí não acho que seja um
> erro, pois no seu trabalho, pel
Você usou "substituir" informalmente então. Tudo bem. Você então quer dizer
que preferiu usar um caminho a outro. Mas, aí não acho que seja um erro,
pois no seu trabalho, pelo menos naquela altura, era muito importante para
você e o Walter compararem sistemas. Seguindo a convenção mais usual
atualm
> Eu acho que aí o seu último comentário tem um pequeno detalhe: o que é
> substituir um axioma por uma regra? Eu sei intuitivamente o que é relacionar
> axiomas e regras, mas não sei o que seria substituir uns pelos outros. Você
> teria uma definição em mente?
Não tenho, Tony, eu baseei meu comen
Eu acho que aí o seu último comentário tem um pequeno detalhe: o que é
substituir um axioma por uma regra? Eu sei intuitivamente o que é
relacionar axiomas e regras, mas não sei o que seria substituir uns pelos
outros. Você teria uma definição em mente?
Em 24 de dezembro de 2012 15:27, Joao Marcos
Viva, Luis:
> 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 precis
A título de ilustração, veja a Regra da Disjunção de Lemmon e Scott:
Seja S um sistema: sen S⊢ NecA1 ou...ou NecAn então S⊢Ai para algum i
(1≤i≤n).
Essa regra é admissível em vários sistemas modais, como os seus proponentes
demonstraram. Não é óbvio que, por exemplo olhando para um teorema de uma
Não entendi a pergunta muito bem. Acho que você se refere a regras
admissíveis. Segundo algumas propostas, regras admissíveis não são
derivadas de outras regras do sistema, mas se elas se ajuntam a um sistema
não alteram o conjunto de teoremas. Essas regras não se enxergam
imediatamente a partir do
Caros Walter e Tony,
Obrigado pela observação! No entanto, não me foi mostrado porquê a
observação de que nem toda regra de inferência possui um axioma
correspondente (para qualquer sistema S) não leva em conta o metateorema da
dedução. Gostaria de ouvir sua explicação.
Abraço!
--
*Luis Rosa
(Favor divulgar. Perdão pelas eventuais duplicações.)
*WoLLIC 2013 *
*20**th** Workshop on Logic, Language, Information and Computation *
*August 20**th** to 23**rd**, 2013*
*Technische Universität Darmstadt
Darmstadt, Germany*
*Scientific Sponsorship*
*Interest Group in Pure and Applied Logi