Aschaar

You lost the game. Is this awesome? [Y/N]

Tradycyjny rachunek zdań jest dwuwartościowy – są w nim możliwe tylko dwie wartości logiczne – prawda albo fałsz (co odpowiada podstawowej intuicji związanej z prawdziwością wypowiedzi).

Cholera...
You lost the game. [Y] Is this awesome? [N]
You lost the game. [Y] Is this awesome? [Y]
You lost the game. [N] Is this awesome? [N]
You lost the game. [N] Is this awesome? [Y]

Cholera... I / LUB ...
Prawda i Fałsz. TAK i NIE. Zero i Jeden.

W poprawnym rozumowaniu zdanie ostatecznie otrzymane na drodze przekształceń zdania prawdziwego, zachowujących prawdziwość, także jest prawdziwe. Jednak "prawdziwość" może być zastąpione inną ideą. Na przykład - "uzasadnienie". Zdanie może wtedy posiadać jedną z dwóch cech: może być "uzasadnione", bądź nie. Istotną różnicą między "prawdą", a "uzasadnieniem" jest to, że dla tego ostatniego nie zachodzi prawo wyłączonego środka: zdanie które nie jest nieuzasadnione niekoniecznie musi być uzasadnione. W takim przypadku jedynie nie zostało udowodnione jego uzasadnienie. Oznacza to, że można udowodnić, że P jest uzasadnione, że P nie jest uzasadnione, bądź nie można dowieść żadnego z powyższych. Poprawne rozumowanie zachowuje uzasadnienie zdań, więc zdanie wywiedzione z uzasadnionego zdania jest wciąż uzasadnione. Jednak istnieją dowody, które wymagają zastosowania prawa wyłączonego środka – w takim przypadku istnieją zdania, które nie mogą być uzasadnione...



Jeżeli nie jest niebieski to niekoniecznie jest bieski... Cholera... MOŻE...


Prawda, Fałsz, może...
Zero, jeden, połowa...


*****

Formalizacja niepewności, to jest zjawisko występowania obiektów, wobec których pewne określenia stosują się tylko w pewnym stopniu.


You lost the game. Is this awesome? [Perhaps]