> A propósito da mensagem do Rafael Testa, é interessante notar que muitos
> termos são utilizados em lógica sem cuidado lexical.

Sem dúvida!

> O termo `instância', por exemplo, também não existe em nossa língua.
> Penso que a tradução por
> `exemplo' daria conta da idéia que o seu cognato inglês exprime e que
> prescindimos em lógica nos contextos em que o utilizamos.  `Instância' em
> português é um termo jurídico: tribunais ou juizados de primeira, segunda,
> terceira instâncias, por exemplo.

Não tenho o Uais em mãos para conferir os significados não-jurídicos
do termo já registrados e consagrados, mas o Aurélio registra dois
significados para "instância" (do latim medieval "instantia") na área
de Informática:

"Cada um dos objetos criados durante a execução de um programa."
"Cada uma das execuções de um programa, realizadas durante uma mesma
seção do sistema operacional."

Você sugeriria, "for instance" (também dito, em bom inglês, "e.g.",
para "exempli gratia"), outra tradução para aquilo que em
inglês-lógico chamamos de "instance"?

Saudações lógico-linguísticas,
Joao Marcos

-- 
My homepage:
http://sequiturquodlibet.googlepages.com/
_______________________________________________
Logica-l mailing list
[email protected]
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Responder a