Re: Dochodzenie do prawdy(?) ró¿nymi drogami.

U¿ytkownik "Antek Laczkowski" <antekL1@nospam.onet.pl> napisa³ w wiadomo¶ci


> Pytanie: JAK pokazaæ, ¿e jedno do¶wiadczenie nie da siê ``wyprowadziæ''
> z drugiego i w ten sposób zwiêkszyæ rzetelno¶æ wyników?
> Na gruncie logiki klasycznej to chyba w ogóle nie jest mo¿liwe?

Dowody, ¿e z danego zestawu twierdzeñ nie
wynika dane twierdzenie, siê zdarzaj± i na
gruncie logiki klasycznej, ale rzadko.
I s± trudne.
Fizyka jest czê¶ciowo sformalizowana,
to i logika klasyczna w niej obowi±zuje
- czê¶ciowo. Dochodzenie do prawdy to
proces o  wiele bardziej skomplikowany,
ni¿ komukolwiek siê ¶ni³o, i na gruncie
logiki klasycznej niemo¿liwy.

A na gruncie logiki nieklasycznej
dowodzenie jest ³atwe. A pomy³ka
jeszcze ³atwiejsza.