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.

Search the boards