[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
=========================================================================