segunda-feira, 16 de maio de 2016

Síntese - O que é determinismo lógico?

O determinismo lógico é justificado através do princípio do terceiro excluído e da bivalência, onde um diz que ou uma proposição é verdadeira ou é falsa e, o outro, que ou uma afirmação é verdadeira ou a sua negação (Lukasiewcz demonstra a equivalência do princípio da bivalência e do terceiro excluído através da redução ao absurdo).

O conceito da bivalência e do terceiro excluído nos leva à tese determinista quando aplicadas às proposições que dizem respeito ao futuro. Se amanhã P irá acontecer, então hoje já é verdade que acontecerá P. Ou seja, em um tempo t0 anterior a t, P (um acontecimento qualquer no tempo t) já tinha um valor de verdade, independente do nosso conhecimento sobre esse valor ser verdadeiro ou falso.

Nenhum comentário: