12 - Princípios Clássicos

Segundo a tradição a Lógica Clássica possui os príncipios da contradição e o do terço excluso (tertium non datur).

O princípio da contradição pode ser apresentado como: ~(pʌ~p).
O príncipio do terço excluso como: p˅~p

Podemos interpretar:
Princípio da contradição: não é possível uma proposição ser verdadeira e falsa ao mesmo tempo.
Princípio do terço excluso: uma proposição ou é verdadeira ou falsa.

Pode parecer que os dois princípios sejam equivalentes, mas guardam uma sutil diferença.

Shakspeare se aproveitou do princípio do terço excluso e o colocou na boca de Hamlet, no início de seu famoso monólogo: "- To be or not be, this is the question". Ser ou não ser, eis a questão.

Quando eu escrever minha peça vou aproveitar o príncipio da contradição e colocar na boca de um personagem: - Não, ser e não ser, eis a questão (rs).