Numa gaveta encontrei diversos objectos, entre eles um manual de instruções de uma máquina de barbear, que irá directamente para o lixo, e um caderno com coisas escritas por alguém com uma letra completamente igual à minha. São diversos os assuntos que por lá estão. Todos desinteressantes. O que mais me chamou a atenção foi a frase Não-P é verdadeira se e somente se P é falsa. É uma afirmação da lógica proposicional clássica segundo a qual, se a proposição P é falsa, então a proposição não-P é verdadeira. Um exemplo: a proposição «O copo não é de vidro» é verdadeira se a proposição «O copo é de vidro» for falsa. Claro que nada disto é exaltante e não há coisa menos exaltante do que a tal lógica proposicional clássica. Um mundo em que as duas proposições fossem falsas ou verdadeiras ao mesmo tempo seria muito mais interessante, embora mais exigente para nele se viver. Um habitante desse mundo estaria, no entanto, preparado para lidar com a situação. Seria mais feliz do que nós? Não se sabe. Pelo menos, eu não sei. Contudo, teria copos muito mais desafiantes do que os nossos. Tendo copos mais desafiantes, podemos supor que teria também bebidas mais interessantes para neles colocar e beber. Mesmo que essas bebidas fossem e não fossem ao mesmo tempo bebidas. Vou também deitar o caderno para o lixo.
Sem comentários:
Enviar um comentário
Nota: só um membro deste blogue pode publicar um comentário.