Posted By: Earl (Earl) on 'CZphilosophy' Title: Re: reakce Date: Mon Jun 30 13:00:01 1997 > V tom pripade tu uz ten axiom musi byt predem a ty ho nemuzes polozit, > protoze uz sam lezi. Asi takto - jaky je rozdil mezi axiomem a dogmatem? Necht je dana axiomatika typu <F, S, L, D, ax>. F je formalni jazyk (terminalni, neterminalni symboly, prep. pravdidla,...) S je mnozina vsechn slov generovana gramatikou F. ax jsou specialni axiomy. *ax* jsou vsechny axiomy, tj. ax sjednoceno s L a D L jsou logicke axiomy D jsou dedukcni axiomy Vetsina axiomatik maji L a D spolecne, proto je vytykam (aby bylo jasno) a take proto, ze nemusi obecne platit - to je druhe upozorneni. A jak se pridavaji do mnoziny *ax* axiomy? Jednoduse. Zvolime jen nekolik vet z F. Tot vse. Podle toho, jak volime, nam potom vznikne axiomatika sporna nebo bezesporna. Zalezi na tom, jestli nam muze vyjit veta i jeji negace (tak jak je definovana v L). Vsechny tyto axiomatiky existuji a neni pricina, ktera by zpusobila, ze by existovat prestali. Dalsi veci je MODEL axiomatiky. Tam se da urcit take spornost, jen podle existence, ale to prenecham uz na jinych... DOGMATICKY system neni nic jineho nez prohlaseni, ze: "SVET je modelem (nejake) AXIOMATIKY" To je dogmaticky system. > P.S Jakto, ze je existence exiomu nezbytna? Co kdyz je cely svet kruh? Vsechny axiomy existuji <=> existuje NECO. Tedy, axiomy neni nutno pokladat. > > Mejte se. > > Duke Nazdar Duke!!! Loucim se za cely odborny team. P.S. Ax:"Svet je v kruhu" je zajimavy a urcite se na nem da postavit obsahla (cyklicka) teorie. Mozna se tam muzeme dotknout i nejakeho nekonecne (protoze se nam v tom kruhu vzdycky vrati...). Dusledek: kolobezka. thanx Your Highest Encode Level, Earl.