Posted By: Earl (Earl) on 'CZphilosophy'
Title: Axiom
Date: Mon Jun 30 13:45:49 1997
Code.
Duke do me trochu rypal, takze trochu semantickych (sofistickych)
uprav meho vypraveni o axiomatikach...
L jsou logicke axiomy (napr. 'X a soucasne negace X' neni pravda)
D jsou axiomy, ktere jsou bezesporne s logickymi axiomy, a v podstate
zachycuji myslenkovy proces, ktereho se 'dopoustime', odvozujeme-li
nejakou vetu (z axiomu nebo uz odvozenych vet).
P.S. Duke's q.: "Buh je v kazdem z nas" => "Je Buh schizofrenik?"
Your Highest Encode Level,
Earl.