Posted By: Earl (Earl) on 'CZphilosophy'
Title:     Koherencni T.P.
Date:      Fri Jan  9 11:09:10 1998


 Hi Encode!

 Jestli tomu rozumim dobre, tak se tu objevuje naznak testovani konzistence
logickych systemu. Nepadlo tu jedno slovo - model (teda jestli jsem cetl
pozorne - pokud ne, tak se omlouvam). System je konzistentni, jestli 
(prave kdyz?) existuje nejaky jeho model (neni to proboha doslova).

 Modely se daji hledat v jinych systemech (nebo podsystemech, viz ZF), nebo
se muzeme dopustit metateorietickych uvah a vytvaret vztahy mezi empirii
a prvky logickeho systemu. A tady je ten problem overeni empirii. To je ale
spise kapitola pro Luma.

 Me by to take docela zajimalo, jak vypada treba takovy fyzikalni dukaz.
Kdyz opakovane namerim, ze plati jakysi vztah, znamena to, ze ten vztah plati
absolutne a vzdy, nebo ze platil, kdyz jsem ho meril? Mozna otazka 
opakovatelnosti pokusu. To mi ale pripada jen jako hypoteza. Zitra to take
mozna vyjde. A pozitri snad take. A pokud ne, tak jsme vlastne skoncili.

 Mozna otazka, co tedy delat, nez pokusy dokladujici vztah modelu logickeho
koherentniho systemu a empirie? Hm...


---

 Ja bych si asi dal salek horkeho matoveho caje.

E.L.,                                                        _         ,
                                                            |_   _  ,_ |
                                                            |__ /_| |  |

Search the boards