O ENIGMA DE HEMPEL, SEGUNDO ANTÓNIO CÍCERO

∀x(Cx → Px) ≡ ∀x(¬Px → ¬Cx)


ANTÓNIO CÍCERO - "Nasceu no Rio de Janeiro, em 1945.
Poeta e ensaísta, participa em diversas antologias de poemas e colectâneas de ensaios. Foi contemplado, por ocasião da primeira edição de GUARDAR (Rio de Janeiro, Record, 1996), com o prémio Nestlé de Literatura."



O ENIGMA DE HEMPEL

Todo o corvo é preto
e cada corvo preto
confirma o negrume dos corvos.

Se todo o corvo é preto então
todo não-preto é não-corvo
e se todo não-preto é não-corvo
então todo corvo é preto.

Todo corvo é preto
Todo não-preto é não-corvo
e cada não-preto não-corvo
- cada folha verde cada onda azul cada gota de sangue -
prova o negrume dos corvos.

António Cícero, Guardar.