Laws of Form on George Spencer-Browni 1969. aastal ilmunud raamat. See räägib loogikast, matemaatikast ja filosoofiast. Matemaatilised süsteemid, mida Spencer-Brown raamatus tutvustas, on tuntud nimetuste "näitude kalkulatsioon", "eristamiskalkulatsioon" ja sageli lihtsalt "LOF" all. Raamat püüab näidata, kuidas lihtne tegevus — eristamine ehk "märkimine" — võib anda aluse nii loogikale kui ka laiemale ontoloogilisele ja kognitiivsele käsitlusele.
Laws of Form kasvas välja autori tööst elektroonikainsenerina. Raamatust on ilmunud mitu väljaannet ja tõlget ning see ei ole kunagi otsa saanud. Tegemist on lühikese raamatuga, selle matemaatiline osa on vaid 55 lehekülge pikk. Lisaks matemaatilisele osale sisaldab teos filosoofilisi ja mõtisklevaid lõike, mis on tekitanud palju tõlgendusi ja diskussioone.
Peamised ideed ja märkendus
Raamatu keskne mõiste on eristus — tegevus, millega eristatakse midagi "siin" versus "seal". Selle esindamiseks kasutab Spencer-Brown lihtsat eristusmärki (inglise keeles "the mark"), mis toimib fundamentaalse sümbolina. LOF-i süstemi oluliseks tunnuseks on selle äärmiselt kokkuhoidlik sümbolikas ja vaid paar reeglit, mille abil avaldisi lihtsustada.
Spencer-Brown tuvastab kaks põhireeglit (tuntud ingliskeelsetes allikates kui calling ja crossing), mis tagavad märgistusreeglite vähesuse ja süsteemi võimekuse:
- Calling — korduv või järjestikune sama mark kokku liidetuna annab sama tähenduse (lihtsustamine kordamise korral).
- Crossing — marki sees olev mark võib kahe markeerimise korral tühistuda või transformeeruda vastavalt süsteemi reeglile (sisu ja konteinerivaheline transformatsioon).
Primaarne aritmeetika ja algebra
Spencer-Brown eristab raamatus primaarset aritmeetikat (simple arithmetic of indications) ja sellest kuni keerukamate struktuurideni viivat primaarset algebrat. Primaarne aritmeetika tutvustab eristusmärgi elementaarseid kombinatsioone ja nende lihtsustusreegleid; primaarne algebra seevastu võimaldab käsitleda süsteeme ja valemeid, tuues välja samaliigilisi transformatsioone nagu klassikalises loogikas, ent muudetud süntaksis.
Filosoofiline tähendus
Spencer-Brown ei piirdu puhta matemaatikaga: ta tõstab eristamise ja märgi tegevuse ontoloogiliseks alustalaks — väidab, et kõik teadmised ja hääldused eeldavad mingi eristuse tegemist. Sellest lähtudes saab LOF-ist nii epistemoloogiline kui ka kognitiivne raamistik: eristaja (observeerija) ja eristatav olev (see, mis on märgitud) on lahutamatult seotud. Selle lähenemise tõttu on raamat mõjutanud filosoofilisi ja teoreetilisi arutelusid teadvusest, tähendamisest ja süsteemiteooriast.
Mõju ja vastuvõtt
Spencer-Browni filosoofiat on mõjutanud Ludwig Wittgenstein, R. D. Laing, Charles Sanders Peirce, Bertrand Russell ja Alfred North Whitehead. LOF on leidnud huvilisi väga eri valdkondades: loogika- ja matemaatikaringkondades, süsteemiteoorias, küberneetikas, semiootikas ja ka mõnes teoreetilise bioloogia ja tehisintellekti uurimuses. Mõned uurijad on kasutanud LOF-i sümbolit ja reegleid alternatiivse lähenemisena loogilistele voogudele või enesereferentsi modelleerimiseks.
Kriitika ja tõlgendused
Raamatut on ühtaegu kiidetud ja kriitiseeritud. Kiitus keskendub selle originaalsele, kokkuhoidlikule nähtuste modelleerimisele ning sellele, kuidas lihtne operaator võib anda mitmesuguseid tuletusi. Kriitika puudutab sageli stiili ja esituslaadi: LOF on kohati temaatiliselt tihe ning kirjutusviis võib tunduda mõistetamatu või provokatiivne. Mõned loogikud leidsid, et sümbolikeel on ebavajalikult idiosünkraatiline, teised taas näevad selles potentsiaali uueks fundamentaalseks vaateks.
Pidev huvi ja väljaanded
Kuigi originaalraamat on mahult väike, on selle mõju jätkunud läbi aastakümnete — ilmunud on mitu väljaannet ja tõlget ning loenguid ja uurimusi, mis LOF-i ideid arendavad või kriitiliselt vaagivad. Raamatu lühidus ei ole tähendanud, et idee oleks ammendatud; pigem on see kutsunud uusi põlvkondi idee vormi, tähenduse ja rakenduse üle edasi mõtlema.
Kokkuvõttes on Laws of Form eristuv teos, mis ühendab lihtsat matemaatilist konstruktsiooni sügavate filosoofiliste väidetega eristamise, tähistamise ja observeerimise rollist. See ei paku üheselt kõigile vastuseid, kuid jätab ruumi loovaks tõlgenduseks ja interdistsiplinaarseteks rakendusteks.