5.2 :: Something smarter than us is going to emerge


node:	5.2
template:	4
parent:	5
owner:	ea
viewed by:
created:	14.03.2004 - 15:34:45

cwbe coordinatez:
101
7763757
63577
860188
620780
620786
636751

ABSOLUT
KYBERIA

permissions
you:	r,
system:	moderated
net:	yes

Štruktúry viet sú navzájom v interných v?ahoch.

0000010107763757000635770086018800620780006207860063675100791903

Vyskyt operacie necharakterizuje zmysel vety.
Operacia predsa nic nevypoveda, iba jej vysledok, a ten zavisi od baz operacie.
(Operacia a funkcia sa nesmu navzajom zamienat.)

000001010776375700063577008601880062078000620786006367510079190300791932

Operacia moze zmiznut (napr. negacia v "~~p~:~~p=p).

000001010776375700063577008601880062078000620786006367510079190300791929

Jedna operacia moze eliminovat ucinok inej operacie. Operacie sa mozu navzajom rusit.

000001010776375700063577008601880062078000620786006367510079190300791907

Len tak je mozny postup od clena k clenu v rade foriem (od typu k typu v Russelllovych a Whiteheadovych hierarchiach).(Russell a Whitehead moznost tohto pristupu nepripustali, ustavicne ju vsak vyuzivali.)

00000101077637570006357700860188006207800062078600636751007919030079190700791926

Pojem sukcesivneho pouzitia operacie je ekvivalentny s pojmom "a tak dalej".

00000101077637570006357700860188006207800062078600636751007919030079190700791920

Vseobecny clen radu foriem a,O',O'O'a,... pisem preto takto: "[a,x,O'x]". Tento vyraz v zatvorke je premenna.

Prvy clen vyrazu je zaciatok radu foriem, druhy je forma lubovolneho clena x tohto radu a treti je forma toho clena radu, ktory nasleduje bezprostredne za x.

00000101077637570006357700860188006207800062078600636751007919030079190700791912

Opakovane pouzitie operacie na jej vlastny vysledok nazyvam jej sukcesivnym pouzitim ("O'O'O'a" je vysledkom trojnasobneho sukcesivneho pouzitia "O'XSI" na "a"). V podobnom zmysle hovorim o sukcesivnom pouziti viacerych operacii na nejaky pocet viet.

000001010776375700063577008601880062078000620786006367510079190300791906

Funkcia nemoze byt svojim vlastnym argumentom, vysledok operacie sa vsak moze stat jej vlastnou bazou.

0000010107763757000635770086018800620780006207860063675100791873

Operacia je to, co sa s jednou vetou musi udiat, aby sa z nej urobila ina veta.

000001010776375700063577008601880062078000620786006367510079187300791888

Operacia sa ukazuje v premennej; ukazuje, ako mozno od jednej formy viet dospiet k inej forme viet.
Vyjadruje rozdiel foriem.
(A to spolocne medzi bazami a vysledkom operacie su práve bazy.)

00000101077637570006357700860188006207800062078600636751007918730079188800791896

Ta ista operacia, ktora z "p" urobi "q", urobi z "q" "r" atd. Da sa to vyjadrit len tak, ze "p", "q", "r" atd. su premenne, ktore vseobecne vyjadruju iste formalne relacie.

00000101077637570006357700860188006207800062078600636751007918730079188800791891

Operacia nevyznacuje formu, ale iba rozdiel foriem.

000001010776375700063577008601880062078000620786006367510079187300791883

Pravdivostne funkcie elementarnych viet su vysledkami operacii, ktore maju ako bazy elementarne vety. (Tieto operacie nazyvam pravdivostnymi operaciami).

00000101077637570006357700860188006207800062078600636751007918730079188300791884

Zmysel pravdivostnej funkcie p je funkciou zmyslu p.
Negacia, logicke scitanie, logicke nasobenie, atd. atd. su operacie.
(Negacia obracia zmysel vety.)

000001010776375700063577008601880062078000620786006367510079187300791880

Operacia sa moze vyskytnut az tam, kde jevna veta vznika z inej vety logicky zmysluplnym sposobom. Teda tam, kde sa zacina logicka konstrukcia vety.

000001010776375700063577008601880062078000620786006367510079187300791877

Interna relacia ktora usporaduva nejaky rad, je ekvivalentna s operaciou, prostrednictvom ktorej vznika jeden clen z ineho clena.

000001010776375700063577008601880062078000620786006367510079187300791875

A to bude, prirodzene, zavisiet od ich formalnych vlastnosti od internej podobnosti ich foriem.

0000010107763757000635770086018800620780006207860063675100791870

Operacia je vyrazom vztahu medzi strukturami jej vysledku a jej baz.

0000010107763757000635770086018800620780006207860063675100791865

Tieto interne vztahy mozeme v nasom sposobe vyjadrenia zdoraznit tym, ze vetu reprezentujeme ako vysledok operacie, ktora ju vytvara z inych viet (baz operacie).