[obm-l] todo unicornio e' verde

["Jose Francisco Guimaraes Costa" <jfgcosta@xxxxxxxxxxxxx>]

"Todo unicórnio é verde", dado que não existem unicórnios, não seria um
paradoxo semelhante ao Paradoxo de Epimenides, cretense que disse "todo
cretense é mentiroso"?

JF

----- Original Message -----
From: "Nicolau C. Saldanha" <nicolau@sucuri.mat.puc-rio.br>
To: <obm-l@mat.puc-rio.br>
Sent: Saturday, May 24, 2003 5:39 PM
Subject: Re: [obm-l] uma questao de Logica

> [...]
> Mas acho que vale a pena ter um pouquinho de perspectiva histórica.
> Estemos discutindo qual o conceito mais adequado para "para todo".
> A frase "todo unicórnio é verde" (dado que não existem unicórnios) é...?
> O consenso *hoje* entre matemáticos é que esta frase é verdadeira
> (só seria falsa se existisse um unicórnio de alguma outra cor)
> mas isso nem sempre foi assim; no século XIX isso ainda era motivo
> de discussão e Aristóteles achava que esta frase deveria ser considerada
> falsa (interpretando-a, em linguagem moderna, como dizendo
> "existe pelo menos um unicórnio e todo unicórnio é verde").
> [...]
> []s, N.

=========================================================================
Instruções para entrar na lista, sair da lista e usar a lista em
http://www.mat.puc-rio.br/~nicolau/olimp/obm-l.html
=========================================================================