10 Alfred J. Ayer da seadus ja vasturääkivusseadus on lülitatud sellesse süsteemi, kuid neid ei peeta tähtsamaks kui teisi analüütilisi propositsioone. Neid ei arvestata süsteemi eelduste hulka. Ning Russelli ja Whi- teheadi süsteem ise on arvatavasti ainult üks paljude võimalike loogikate hulgas, millest igaüks koosneb tautoloogiatest, mis on loogikule sama huvitavad kui meelevaldselt valitud aristotellikud "mõtlemisseadused".3 Ent Russell ei rõhuta piisavalt üht asjaolu -- kui ta seda üleüldse märkab --, nimelt et iga loogiline propositsioon on keh- tiv iseenesest. Ta kehtivus ei sõltu mingisse süsteemi lülitatusest ega tuletatusest mingitest iseenesestmõistetavaks peetavatest pro- positsioonidest. Loogikasüsteemide konstrueerimine on kasulik analüütiliste propositsioonide avastamise ning tõendamise vahen-
010 0 001 1 000 0 Lause X disjunktiivne normaalkuju on: X = A&B&C A&¬B&¬C ¬A&¬B&C 22_fl_i-v LISAÜLESANDEID (käsitletakse loengus) 4.0.3. Üks Kreeka kuningatest pani vangi kuulsa loogiku. Kuningas teatas, et loogik hukatakse ülehomme. Homseks päevaks pakkus armuline kuningas loogikule vabanemise võimaluse. · Loogik pandi kongi, millel oli kaks ust. · Üks ustest viib tapalavale, teine vabadusse. · Kummagi ukse ees seisab üks sõdur. · Üks sõduritest valetab, teine räägib tõtt. · Sõdurid teavad infot uste ja üksteise kohta. · Loogikul on õigus esitada ainult ühele sõdurile üksainus küsimus. · Küsimus peab olem sõnastatud nii, et vastata saab üksnes "Ei" või "Jah".
annaabi.ee 
