"Formas likumi" ir Džordža Spensera Brauna (G. Spencer-Brown) grāmata, kas pirmoreiz izdota 1969. gadā angļu valodā kā Laws of Form. Tā aplūko pamatus loģikai, matemātikai un filozofijai, piedāvājot ļoti kompaktu formalizāciju, kuru autors dēvē par indikāciju kalkulu (calculus of indications). Matemātiskās sistēmas, ko Spensers Brauns izklāstīja grāmatā, bieži tiek sauktas par "norāžu kalkulu", "atšķirību kalkulu" un saīsināti — "LOF".

Satura kopsavilkums

Likumi par formu sastāv no divām daļām: matemātiskās daļas, kurā autors izklāsta sava kalkula un tā aksiomas, un komentāriem, kuri satur filozofiskas pārdomas par pazīmju, atšķirību un domāšanas attiecībām. Grāmata ir īsa — matemātiskā daļa parasti tiek minēta kā aptuveni 55 lappušu gara — taču tajā ietilpst koncentrēts un netradicionāls piegājiens loģikai.

Galvenās idejas un jēdzieni

Spensers Brauns grāmatas centrā liek vienu vienkāršu psiholoģiski un ontoloģiski nozīmīgu darbību — atšķirību jeb atzīmes (mark). Viņš parāda, ka, izmantojot vienu zīmi un dažas vienkāršas operācijas, var uzbūvēt veselus loģikas un matemātikas elementus. Galvenie jēdzieni:

  • Atzīme (mark) — simbols, kas norāda atšķirību starp "iekšā" un "ārā". Tas nav tikai loģisks operators, bet arī pats par sevi darbībā ietver ideju par atšķirību.
  • Indikāciju kalkuls — vienas zīmes sistēma ar pāris pamatlikumiem, no kuriem tiek izvestas citas patiesības un no kuras var iegūt tradicionālās Boole loģikas formulas.
  • Atkārtošana un šķērsošana — divi vienkārši noteikumi, kas apraksta, kā zīmes reducējas vai izzūd, ja tās tiek liktas vienu blakus otrai vai viena iekšpusē otras.

Divi pamatlikumi (vārdos)

  • Atkārtotas zīmes reducējas līdz vienai zīmei (atkārtošanas princips — "calling").
  • Zīme, kas satur citā zīmē, var "izzust" vai dot neatzīmētu stāvokli (šķērsošanas princips — "crossing").

Šīs divas vienkāršās attiecības ļauj veidot operatorus, analogus konjunkcijai, disjunkcijai un negācijai Boole algebrā, taču pieeja ir radikāli vienkāršota un vizuāli intuitīva.

Grāmatas filozofiskā daļa un autors

Likumi par formu izauga no Spensera Brauna darba elektronikas inženierijā un no viņa interesēm par fundamentālām domāšanas un apziņas struktūrām. Grāmatā skaudri parādīta doma, ka domāšanai un atzīmei ir tajā pašā laikā loģiska un ontoloģiska nozīme — veids, kā mūsu prāts atdala pasauli, pašā sadalījumā iekodē tās struktūras.

Spensera Brauna filozofiju ietekmēja gan tradicionālie loģikas domātāji, gan laikabiedri: viņš atsaucas uz idejām, kuru avoti ir Ludvigs Vitgenšteins, R. D. Laings, Čārlzs Sanderss Peirss, Bertrans Rasels un Alfrēds Nords Vaitheds. Šīs ietekmes redzamas gan grāmatas formā (koncentrēts, aforistisks stils), gan saturā (uzsvars uz atšķirību un zīmju lomu domāšanā).

Izdevumi, tulkojumi un raksturs

Grāmata ir izdota vairākos izdevumos un tulkojumos; tā nekad nav bijusi masveidā pieejama un daļēji ieguvusi kultveida statusu. Autora stils ir koncīzs un reizēm aforistisks, kas grāmatu padara gan pievilcīgu, gan dažkārt grūti pieejamu. Daudzi lasītāji atzīmē, ka matemātiskā daļa ir ļoti kompakta — aptuveni 55 lappuses — bet pievienotie komentāri un paskaidrojumi dažādos izdevumos var to paplašināt.

Ietekme un pielietojumi

Tomēr, neskatoties uz grāmatas īso apjomu, tās ietekme ir plaša un daudzšķautņaina:

  • Loģika un matemātika: indikāciju kalkuls parāda, kā no minimāla simbolu saraksta izveidot Boolean tipa struktūras; grāmata inspirējusi papildu formalizācijas un skaidrojumus.
  • Kibernētika un sistēmtēorija: idejas par atzīmi, reentries (sevis iekļaušana attēlā) un pašreferenci ir ietekmējušas domas par pašorganizāciju un otrā līmeņa kibernētiku.
  • Filozofija un semiotika: autors savienoja loģiku ar semantiku un ontoloģiju, apgalvojot, ka atšķirības veido realitātes formu.
  • Dažādas interešu grupas: grāmata piesaista matemātiķus, filozofus, programmētājus, māksliniekus un alternatīvās domas piekritējus — reizēm arī ārpus akadēmiskās vides.

Kritika un turpmākā attīstība

Grāmata ir saņēmusi gan atzinību, gan kritiku. Daļa matemātiķu un loģiķu ir norādījuši uz neskaidrībām un trūkstošu formalitāšu autorspā, savukārt citi ir izstrādājuši rigorozākas formalizācijas, kas pamato LOF metodes. No otras puses, grāmata ir iedvesmojusi pētnieku darbus, piemēram, Louis H. Kauffman un citu autores izstrādājumus, kas saista Spensera Brauna idejas ar topoloģiju, mezglteoriju un plašāku matemātisko kontekstu.

Secinājums

Likumi par formu ir neparasts darbs — tajā vienkāršība satiekas ar dziļu filozofisku ambīciju. Tas piedāvā konkrētu, kompakti izklāstītu kalkulu, kas demonstrē, kā elementāra atzīme var kalpot par pamatu plašām loģiskām un filozofiskām strukturām. Grāmata joprojām ir interesanta tiem, kuri meklē netradicionālus pamatus loģikai, kognitīvajām teorijām un semiotikā, kā arī tiem, kas interesējas par domu un zīmju attiecībām.