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., _ , |_ _ ,_ | |__ /_| | |