lcavalheiro
(usa Slackware)
Enviado em 09/02/2016 - 02:01h
Arthur e Sam, vocês não estão se ligando em um detalhe. Vocês não criam novos mundos possíveis alterando as variáveis, vocês criam novas interpretações de mundos possíveis. Logo, se eu interpreto (lembrem-se que atribuir valor de verdade para uma variável é interpretá-la) que o céu é azul eu tenho uma interpretação de mundo possível. Se outra pessoa interpreta que o céu é verde, ela tem uma outra interpretação de mundo possível. Porém, nem a minha interpretação, nem a interpretação da outra pessoa são mundos em si, mas são leituras e interpretações de um mesmo mundo.
Peguemos um exemplo mais prático. Eu, lcavalheiro, tenho uma condição oftalmológica rara chamada acromatopsia total: eu (e 0,3% da população mundial) só enxergo em tons de cinza, nenhuma cor. Eu interpreto a cor do céu como sendo cinza. Isso muda a interpretação da cor do céu dos senhores, que não têm essa condição? Não. Se a cor do céu for na verdade verde vômito, mas eu a interpreto como cinza e vocês como azul... a cor do céu factualmente vai deixar de ser verde vômito só porque uns a interpretam como azul e outros como cinza? Não.
Interpretações de mundos possíveis são apenas isso: interpretações. As variáveis não vão mudar, apenas o valor de verdade atribuídos a elas. Modus ponens (em notação prefixada: and(if(p,q),p)=q), por exemplo, sempre vai ser modus ponens não importa o valor das variáveis. Se eu só saio de casa com um guarda-chuva quando vai chover e eu saí de casa com um guarda-chuva, então vai chover. Se todo profissional de TI engana um trouxa e eu fui enganado por um profissional de TI, então eu sou um trouxa. Se (p → q)^p, então q. Sempre. Modus ponens é uma
forma proposicional para* descrever fenômenos do mundo, independente do valor de verdade atribuído a p e q. Ou seja: ainda que a interpretação de modus ponens mude, modus ponens em si não muda.
Outro exemplo: portas lógicas (isso, agora estamos em eletrônica digital). Imaginem uma porta lógica AND com duas entradas e uma saída. As duas entradas recebem um sinal qualquer e sinalizam por meio da saída quando as duas entradas estão recebendo sinal simultaneamente. A porta AND vai funcionar sempre da mesma maneira, não importa de onde venha o sinal das entradas. Não importa se as entradas são 00, 01, 10 ou 11, a porta AND vai ter sempre as mesmas saídas (respectivamente, 0, 0, 0 ou 1). Se a porta AND estiver conectada em um controle de esgotos ou em um controle remoto de televisão, tanto faz.
São apenas interpretações. E cada leitura gera uma nova interpretação de mundo possível, não um novo mundo possível.
*EDIT: quase quarenta litros de Heineken desde sexta... é claro que eu ia dar um molezinho besta como dizer que modus ponens é uma proposição, e não uma forma proposicional... enfim, corrigido.
--
Dino®
Vi veri universum vivus vici
Public GPG signature: 0x246A590B
Só Slackware é GNU/Linux e Patrick Volkerding é o seu Profeta
