6.1 :: Something smarter than us is going to emerge


node:	6.1
template:	4
parent:	6
owner:	ea
viewed by:
created:	14.03.2004 - 19:50:32

cwbe coordinatez:
101
7763757
63577
860188
620780
620792
637098

ABSOLUT
KYBERIA

permissions
you:	r,
system:	moderated
net:	yes

Vety logiky sú tautológie.

0000010107763757000635770086018800620780006207920063709800697929

To, ze vety logiky su tautologie,ukazuje formalne - logicke - vlastnosti jazyka, sveta.
To, ze ich sucasti takto pospajane, davaju tautologiu, charakterizuje logiku ich sucasti.
Na to,aby vety pospajane urcitym sposobom davali tautologiu, musia mat urcite vlastnosti struktury. To, ze takto spojene davaju tautologiu, teda ukazuje, ze tieto vlastnosti struktury maju.

000001010776375700063577008601880062078000620792006370980069792900736068

Je jasné, že pre ten istý účel by sme namiesto tautológií mohli použi? aj kontradikcie.

000001010776375700063577008601880062078000620792006370980069792900736066

To, že napr. vety "p" a "~p" v spojení "~(p.~p)" dávajú tautológiu, ukazuje, že si navzájom protirečia. To že vety "p⊃q", "p" a "q" vo forme "(p⊃q).(p):⊃:(q)" dávajú navzájom spojené tautológiou, ukazuje, že q vyplýva z p a p⊃q. To, že "(x).fx:⊃:fa" je tautológia, ukazuje, že fa vyplýva z (x).fx atď. atď.

0000010107763757000635770086018800620780006207920063709800639370

Vety logiky teda nič nehovoria. (Sú to analytické vety.)

000001010776375700063577008601880062078000620792006370980063937000697927

Osobitnym rysom logickych viet je to, ze na symbole samom mozno poznat ich pravdivost, a tento fakt v sebe zahrna celu filosofiu logiky. A tak je tiez jednym z najdolezitejsich faktov to, ze pravdivost alebo nepravdivost nie-logickych viet sa neda poznat na vete samej.

000001010776375700063577008601880062078000620792006370980063937000697925

Spravne vysvetlenie logickych viet im musi dat jedinecne postavenie medzi vsetkymi vetami.

000001010776375700063577008601880062078000620792006370980063937000697924

Teorie, v ramci ktorych sa nejaka veta logiky javi ako majuca obsah, su vzdy nespravne. Niekto by sa napr. mohol domnievat, ze slova "pravdivy" a "nepravdivy" oznacuju dve vlastnosti medzi inymi vlastnostami, a potom by sa ako pozoruhodnyu fakt javilo to, ze kazda veta ma jednu z tychto vlastnosti. V takom pripade sa to vobec nezda samozrejme, rovnako ako by samozrejme neznela povedzme veta: "vsetky ruze su bud zlte alebo cervene", aj ak by bola pravdiva. Ba ona veta teraz uplne nadobuda charakter prirodovednej vety, a to je neklamnym znamenim toho, ze bola chapana nespravne.