O princípio do terceiro excluído diz que, para toda proposição, ou essa proposição ou sua negação é verdadeira. Em símbolos do cálculo proposicional:
(PTE) P v ~P
O princípio de bivalência diz que, para toda proposição, ou ela é verdadeira, ou ela é falsa:
(PB) P é verdadeira v P é falsa
Uma lógica bivalente, ou seja, um lógica que aceita o PB, é uma em que uma proposição só pode ter um de dois possíveis valores de verdade, ou o verdadeiro, ou o falso. A lógica clássica é uma lógica bivalente. Numa lógica bivalente, a negação de uma proposição (a negação que ela seja verdadeira) implica que ela é falsa:
(1) ~P -> é falso que P
E a negação de que uma proposição seja falsa implica que ela é verdadeira:
(2) ~(é falso que P) -> P
É por causa disso que podemos apresentar o PTE dizendo que, de acordo com ele, para toda proposição, não é o caso que ela e sua negação sejam ambas falsas (o princípio de não contradição diria que não é o caso que sejam ambas verdadeiras). Mas se (1) é verdadeira, então a negação do PTE implica uma contradição. Se o PTE diz que, para toda proposição, não é o caso que ela e sua negação sejam falsas, então o PTE equivale a (3):
(3) ~(~P & ~(~P))
A negação do PTE, portanto, equivaleria a (4), que é uma contradição:
(4) ~P & ~(~P)
Para evitar essa contradição, Lukasiewicz introduz um terceiro valor de verdade: a possibilidade. Mas antes, vejamos por que ele nega o princípio de bivalência. Isso está relacionado ao modo como ele trata o determinismo causal.
Lukasiewicz [1] acredita que é um erro pensar que, necessariamente, todos os eventos futuros têm uma causa presente. Um evento futuro tem uma causa presente quando está em uma cadeia causal de eventos em que ao menos um dos eventos é um evento presente. Isso é garantido pela transitividade da causalidade:
(TC) Se A é causa de B e B é causa de C, então A é causa de C.Lukasiewicz argumenta que uma cadeia causal pode estar totalmente contida no futuro. Se isso for o caso, então nada no presente determina que uma cadeia possível de eventos ocorrerá no futuro. Mas Lukasiewicz não quer admitir a tese que uma possível cadeia causal futura tenha um início no tempo. Se tivesse, haveria um primeiro evento dessa cadeia e ele não teria causa (caso contrário, não seria o primeiro) e isso contraria o princípio de causalidade, que diz que todo evento tem uma causa.[2] Para dar sentido à idéia de uma possível cadeia causal futura sem início, Lukasiewicz lança mão de um modelo matemático dessa cadeia baseado em uma reta dos números reais. O ponto 0 seria um instante presente, o ponto 1 seria um instante no futuro e todos os eventos da possível cadeia causal futura ocorreriam em instantes depois do instante correspondente ao ponto 1/2. Dado que não há o menor número real maior que 1/2, a possível cadeia de eventos futuros não tem começo, um primeiro evento. Suponhamos que a proposição P diga que um evento de uma possível cadeia futura ocorre num instante depois de 1/2. Nesse caso, dado que nada no presente determina que um evento dessa cadeia ocorra ou não ocorra, P não seria nem verdadeira, nem falsa. É ai que entra o terceiro valor de verdade da lógica trivalente de Lukasiewicz: a possibilidade. P seria possível e descreveria um futuro contingente.
Lukasiewicz não nega que algumas cadeias causais futuras tenham causas presentes. O que ele nega é que todas necessariamente o tenham. As proposições que descrevem eventos de uma cadeia causal que possui causas presentes seriam ou verdadeiras ou falsas.
Lukasiewicz não explica como os atos de uma vontade livre seriam possibilitados por essa explicação da possibilidade de futuros contingentes. Mas a idéia básica é clara: se um ato da vontade faz parte de uma possível cadeia causal futura, então ele não tem causa presente e, por isso, não está determinado no presente.
Com o terceiro valor de verdade, Lukasiewicz pode negar o PTE sem que isso implique contradição. Isso é possível porque na lógica trivalente a negação de uma proposição não eqüivale a dizer que essa proposição é falsa. Se uma proposição não for verdadeira, ela pode ou ser falsa ou possível. É possível que tanto P quanto ~P tenham o valor de verdade possibilidade. Por isso, se "#" for o valor de verdade possibilidade, a proposição
(Irei ao cinema amanhã) v ~(Irei ao cinema amanhã)pode não ser verdadeira porque a seguinte proposição é verdadeira:
#(Irei ao cinema amanhã) & #~(Irei ao cinema amanhã)A lógica trivalente de Lukasiewicz foi o primeiro sistema formal de lógica não-clássica. E como podemos ver, seu surgimento teve uma motivação eminentemente filosófica: ele fazia parte de uma solução para um problema filosófico.
Essa solução de Lukasiewicz para o problema do determinismo vs liberdade implica a rejeição da tese da eternidade da verdade:
(EV) Para toda proposição P, se P é verdadeira, então P é verdadeira em qualquer tempo.Se uma proposição sobre um futuro contingente não é nem verdadeira nem falsa antes do tempo em que ela diz que um certo evento acontecerá ou não acontecerá, então não é o caso que ela é verdadeira em qualquer tempo, no caso de se tornar verdadeira.
Um aparente problema para essa solução é que ela implica uma espécie de ceticismo sobre os futuros contingentes. Se conhecimento é crença verdadeira justificada e a proposição P sobre um futuro contingente não é verdadeira (nem falsa), então não é possível conhecer um evento de um futuro contingente.
Leituras
Becchi, A. Logic and determinism in Jan Lukasiewicz’s philosophy
Garbacz, P. Philosophical Motivations of Jan Łukasiewicz’s Three-Valued Logic
Truth Values (Stanford Encyclopedia of Philosophy)
Many-Valued Logic (Stanford Encyclopedia of Philosophy)
_______
[1] Ver "On Determinism", in Ludwik Borkowski (ed.) (1970) Selected Works of Jan Lukasiewicz. North-Holland Pub. Co.
[2] Outra opção seria admitir que o primeiro evento é causa de sim mesmo (causa sui). Mas prima facie isso não parece ser inteligível.
Muito interessante, professor. Prentendo me especializar em lógica e trabalhar suas implicações - filosóficas, sociais e tecnológicas - na ciência da computação e na matemática. Estou lendo Russel e Kleene, não li nada de Lukasiewicz e obrigado pela informação.
ResponderExcluirA dúvida: o aparente problema com o ceticismo sobre futuros contingentes no caso de lógicas ternárias ou com valores múltiplos não se aplicaria também a situações no tempo presente, como física quântica ou afins, como o exemplo do gato de Schrödinger?
Paulo: O problema surge sempre que a proposição acreditada não for nem verdadeira nem falsa. Há muita discussão sobre o gato de Schrödinger. Mas se o experimento mental implica que as proposições sobre o estado do gato não são nem verdadeiras nem falsas, então o ceticismo se aplica ai também, se a definição tradicional de conhecimento está correta.
ResponderExcluirMuito bom... Achei ótimo este blog. Só gostaria de colaborar com o seu texto lhe avisando que (naquele parágrafo que começa "Lukasiewicz argumenta que")está escrito "cadeira causal" e "cadeira possível"...
ResponderExcluirGustavo: Obrigado pelas correções.
ResponderExcluir