Caro Jean-Yves,
Com todo respeito, discordo totalmente. Não vejo ambiguidade por esses
motivos.
Veja que há mais de um tipo de geometria. Nem por isso a noção de geometria
é abímgua.
Não há uma definição precisa e universalmente aceite do que seja matemática,
mas todo mundo sabe o que é ma
> A expressao logica intensional e realemente muita ambigua
> devido a confusao entre extensionalidade e verifuncionalidade
De fato, infelizmente a maior parte dos autores que discorrem sobre
"intensionalidade" na literatura parecem não fazer qualquer ideia
clara de qual seria o significado desta
A expressao logica intensional e realemente muita ambigua
devido a confusao entre extensionalidade e verifuncionalidade
Tem muitas logicas que nao sao verifuncionais e que sao extensionais
em particular logicas modais com S5, etc
porque chamar entao essas logicas de logicas intensionais?
E uma trad