É um tema comum mas importante, Luis: a questão de saber se a racionalidade
coincide com as lógicas conhecidas ou se há uma dimensão da racionalidade
extra-lógica. Recomendo a leitura dos artigos do Walter Carnielli:
CARNIELLI, Walter (2009). *Uma lógica da modalidade econômica?* In *Revista
Brasi
Caro João,
Não li o capítulo 3 da tese que você recomendou, mas queria observar: em
epistemologia analítica alguns autores (Goldman, Harman) não só observam
que inferência não é a mesma coisa que derivação ou dedução lógica, mas
também que inferências racionais não necessariamente obedecem aos pad
> O meu artigo de 1999
> RULES, DERIVED RULES, PERMISSIBLE RULES
> AND THE VARIOUS TYPES OF SYSTEMS OF DEDUCTION
Sobre este tema recomendo a leitura do ótimo artigo de Jean-Yves, e
sugiro também a leitura de:
R. Fagin, J.Y. Halpern, M.Y. Vardi, What is an inference rule?, J.
Symbolic Logic 57 (3)
Estou lendo agora o seu artigo.
Em 3 de janeiro de 2013 20:24, jean-yves beziau escreveu:
> 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
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
> Obrigado, mas não são dúvidas o que eu expressei. As minhas mensagens
> referiam-se a uma leitura de c
PS:
Novamente, como referência histórica, vide as regras de inferência dos
Estóicos, que eram chamadas de "indemonstráveis", ou seja, verdades que não
necessitavam de demonstração, a mesma definição que muitas vezes é
apresentada na lógica tradicional para o termo "axioma".
Em 3 de janeiro de 201
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 chegu
