Kortversjon

Iver Finne · Oslo, 2026

1 Skilnad, struktur og substans

Definisjon 1 (Form, konfigurasjon og objekt). Å skilje noko ut er å halde noko anna utanfor; det som står mellom dei, er ein skilnad. Kvar side er det ho er, berre mot den andre. Skilnader i bestemde samanhengar utgjer ei ordning, eller form. Ein konfigurasjon er ei bestemt ordning av bestemde delar; formverda er totaliteten av realiserte konfigurasjonar. Ingen konfigurasjon er delvis realisert: anten er han tilfelle, eller han er det ikkje. Å forklare kvifor ein konfigurasjon vart realisert, er å vise kva vilkår og overgangar som førte til han, og å skilje mellom alternativ som var umoglege, utilgjengelege, uprøvde og forkasta.

Ein konfigurasjonsdel som ikkje vert delt vidare på det valde analysenivået, er eit objekt. Under kvart valt nivå held strukturen fram. Måten objekta heng saman på i konfigurasjonen, er strukturen hans; forma til konfigurasjonen er strukturen teken uavhengig av dei eigenskapane ved objekta analysen ser bort frå. Moglegheita eit objekt har for å inngå i konfigurasjonar på nivået, er valensen til objektet. Når objektdeling, relasjonar og operasjonar er fastsette, avgrensar valensane eit moglegheitsrom på nivået. Ei anna oppdeling kan gjere andre delformer og operasjonar synlege.

Postulat 1 (Det vidare moglege). Det moglege er ikkje laga, men gjeve. Dette er eit ontologisk postulat, ikkje ei følgje av ei bestemt objektdeling. Under dette postulatet vert moglegheita avdekt og realiseringa laga; postulatet garanterer ikkje at eit fullstendig kart kan lagast på førehand.

Definisjon 2 (Måling og oppleving). Substans er den indre naturen til det som står i relasjonane, teke uavhengig av korleis ledda er ordna. Ei måling er ein relasjon mellom det som vert målt og det som måler. Sidan fysikken uttrykkjer alt i målte storleikar og relasjonar mellom dei, seier fysikken kva det målte gjer, ikkje kva leddet sjølv er. Det som er kjent utan måling, ikkje gjennom ein ytre målerelasjon, men ved å vere det, er oppleving. Dette skil tilgangsmåtar; det seier ikkje at oppleving manglar indre skilnader eller relasjonar. Kvar måling er gjeven som oppleving. Oppleving framstilt på nytt i seg sjølv er medvit; oppleving føreset ikkje medvit.

Postulat 2 (Minimalitet, suffisiens og felt). (i) Når ein kjend natur strekkjer til som indre natur for alle relasjonane modellen skal forklare, legg denne læra ingen annan substans til. (ii) Den relasjonelle strukturen i den fysiske skildringa kan vere ordning i oppleving utan at dei målte relasjonane må endrast. Dette suffisienspostulatet gjeld meir enn det einskilde subjektet kjenner innanfrå; det kan ikkje utleiast frå denne tilgangen åleine. (iii) Opplevinga er eitt felt; det som vert skilt ut i feltet, er mønster i det, ikkje bitar av det.

Følgje 1. Under suffisienspostulatet kan den fysiske strukturen vere ordna oppleving. Minimalitetspostulatet vel då oppleving som den eine substansen i denne læra. Slutninga er vilkårsbunden; ho er ikkje eit empirisk prov mot andre ontologiar som gjev dei same målbare relasjonane. Når ei avgrensing skil eit indre frå eit ytre, er det å kjenne henne innanfrå å vere henne; å kjenne henne utanfrå er å kjenne relasjonane ho står i. Ei avgrensing som held seg sjølv, har under individuasjonspostulatet tilgang innanfrå til si eiga avgrensing. Feltet som heilskap har inga utside og er ikkje eit slikt avgrensa sjølv. Materie er oppleving sett utanfrå, og form er korleis éin del av substansen tek seg ut for ein annan. Måten feltet oppfører seg regelmessig på, er naturlovene.

2 Formrommet 𝕄\mathbb{M}, delingane og formalgebraen

Definisjon 3 (Klasse og formrom). Ei mengd konfigurasjonar som tillèt same operasjonar (delt affordansestruktur), er ein klasse. Mengda av alle moglege konfigurasjonar i klassen er formrommet 𝕄\mathbb{M}. I analysen vert rommet avgrensa ved klasse, nivå og operasjonar; eit nivåskifte kan krevje eit anna operativt rom. Kvar konfigurasjon er eitt punkt x∈𝕄x \in \mathbb{M}; eit empirisk formrom er ein projeksjon av 𝕄\mathbb{M} langs eit valt sett målbare aksar XkX_k.

Definisjon 4 (Materiell og epistemisk deling). Ved tidspunkt tt skil me mellom ei materiell og ei epistemisk deling av det oppgjevne formrommet 𝕄\mathbb{M}. Skiljet inneber ikkje statistisk uavhengigheit:

  1. Materiell (ontologisk) deling: Gjeven ved lovene i feltet brukte på materiala og operasjonane som er for hand ved tt:

    • Busette regionar Bt⊂𝕄B_t \subset \mathbb{M}: posisjonar som er eller har vore realiserte (formhistoria). Naboar er posisjonar skilde med eitt tillate steg.

    • Forbodne regionar Vt⊂𝕄V_t \subset \mathbb{M}: logisk skildra posisjonar som er materielt utelukka under vilkåra ved tt.

    • Opne regionar Ot=𝕄\(Bt∪Vt)O_t = \mathbb{M} \setminus (B_t \cup V_t): ikkje-busette posisjonar som er materielt tillatne. Ein open region som kan nåast frå BtB_t utan å krysse VtV_t, er tilgjengeleg; elles utilgjengeleg utan materialskifte. Dei opne posisjonane som grensar direkte til BtB_t, er det nærliggande moglege ∂Bt\partial B_t.

  2. Epistemisk deling: For ein agent AA, eit kriterium kk og tidspunkt tt, under oppgjevne prøvevilkår og tidshorisont, er ΠA,k,t=(KA,k,t,CA,k,t,UA,k,t)\Pi_{A,k,t} = (K_{A,k,t}, C_{A,k,t}, U_{A,k,t}) ein partisjon av 𝕄\mathbb{M}:

    • Kunnskapsrommet KA,k,tK_{A,k,t}: posisjonar der kriteriet er avgjort under prøvevilkåra; dei som oppfyller det, ligg i KA,k,t+K_{A,k,t}^{+}.

    • Tankerommet CA,k,tC_{A,k,t}: posisjonar som er tenkte, men der kriteriet ikkje er avgjort (KA,k,t∩CA,k,t=∅K_{A,k,t} \cap C_{A,k,t} = \emptyset).

    • Det utenkjelege UA,k,t=𝕄\(KA,k,t∪CA,k,t)U_{A,k,t} = \mathbb{M} \setminus (K_{A,k,t} \cup C_{A,k,t}): kan innanfrå berre nemnast som komplement. Når eit alternativ vert tenkt i høve til kriteriet, forlèt det denne mengda.

Der agent, prøvevilkår og tidspunkt står faste, skriv me Πk=(Kk,Ck,Uk)\Pi_k=(K_k,C_k,U_k) per omsyn og Π={Πk}\Pi=\{\Pi_k\} for den samla kunnskapsstanden. Omsyn som enno ikkje er skilde ut, høyrer til det akselause UU. Når òg kriteriet står fast, skriv me KK, CC og UU. Same form kan vere kjend langs eitt omsyn og uavgjord eller utenkt langs eit anna. Ein forboden region kan vere tenkt (Vt∩C≠∅V_t \cap C \neq \emptyset), og ein open region kan vere utenkjeleg (Ot∩U≠∅O_t \cap U \neq \emptyset). Epistemisk rørsle har fire retningar: C→CC \to C (konseptekspansjon), C→KC \to K (avgjerd for kriteriet), K→CK \to C (opning av nye konjekturar) og K→KK \to K (oppløysingsauke). Snittet FA,k,t=CA,k,t∩∂BtF_{A,k,t} = C_{A,k,t} \cap \partial B_t er fronten: tilgjengeleg og tenkt, men ikkje avgjord for kriteriet. Dette er ei operasjonell tilpassing av C–K-teorien til formposisjonar og kriterium.

Definisjon 5 (Formalgebra og formgrammatikk). Konfigurasjonar lukka under sum ++, differanse −-, produkt ×\times og euklidiske eller affine transformasjonar θ\theta, med innleiringsrelasjonen ≤\leq, utgjer ein formalgebra. Der delane er liner, flater og lekamar, ser formalgebraen gjennom objektdelinga på nivået og finn delformer som inga førehandsdeling gav. Ein historisk formgrammatikk er eit trippel SG=(S,R,s0)SG = (S, R, s_0) der S⊆𝕄S \subseteq \mathbb{M}, R={ar→br}R = \{a_r \to b_r\} er omskrivingsreglar, og s0∈Ss_0 \in S er startforma:

Utløysing:θ(ar)≤s(noverande geometri er einaste premiss),Regelbruk:s→(s−θ(ar))+θ(br),Språk:L(SG)={s∈S:s0→*s}.\begin{align*} \text{Utløysing:} &\quad \theta(a_r) \leq s \quad (\text{noverande geometri er einaste premiss}), \\ \text{Regelbruk:} &\quad s \to \big(s - \theta(a_r)\big) + \theta(b_r), \\ \text{Språk:} &\quad L(SG) = \{s \in S : s_0 \to^* s\}. \end{align*}
Eitt regelbruk er eitt steg; ∂Bt\partial B_t ligg eitt steg frå BtB_t. Ein grammatikkoperasjon kan gjere ei moglegheit tenkt (CC); realisering og prøving gjennomfører C→KC \to K berre for det kriteriet resultatet avgjer under prøvevilkåra.

3 Seleksjonstrykk og tilpassingslandskapet Λ\Lambda

Affordansestrukturen som definerer ein klasse, er konstant innanfor klassen. Sidan ein konstant ikkje kan forklare ein variabel, seier det klassen er til for, ingenting om kvifor formene i han er ulike. Skilnadene krev seleksjonstrykk som endrar sannsynsfordelinga over 𝕄\Vt\mathbb{M} \setminus V_t relativt til ei grunnfordeling μ(x)\mu(x).

Postulat 3 (Additivitetsvilkåret og tilpassingslandskapet). Dersom kvart verksamt trykk jj ved tid tt endrar vekta i xx med ein positiv faktor fj(x,t)f_j(x, t) og faktorane verkar multiplikativt til μ(x)∏jfj(x,t)\mu(x)\prod_j f_j(x, t), definerer λj(x,t)=−ln⁡fj(x,t)\lambda_j(x, t) = -\ln f_j(x, t) tilpassingslandskapet:

Λ(x,t)=∑jλj(x,t).\begin{equation} \Lambda(x, t) = \sum_j \lambda_j(x, t). \end{equation}
Der trykka samverkar ikkje-multiplikativt, må samspelsledda skiljast ut som eigne ledd i summen, eller faktorane definerast betinga av ei fastsett referanseordning. Indeksen jj omfattar då både einskildtrykk og dei særskilt oppgjevne samspelsledda; gradientoppdelinga følgjer den same faktor- og referanseordninga.

Verdien Λ(x,t)\Lambda(x, t) er spenninga i posisjonen xx. Ved lik grunnvekt er lågare spenning meir sannsynleg; der ein gradient eksisterer, peikar −∇Λ-\nabla\Lambda mot lågare samla spenning. Eit lokalt minimum er ein posisjon utan betre tillatne nabosteg; ein dal er attraktorregionen som ein gjeven navigasjonsmåte fører ned mot minimumet. Bratte dalveggar og etterfølgjande korrigerande rørsle kanaliserer og fryser dimensjonane; slake dalar rommar fluktuasjon.

Definisjon 6 (Stilart og landskapsdynamikk). Formene si sverming kring eit felles tyngdepunkt i Λ\Lambda er ein stilart. Stilen kan samle spor av mange samtidige trykk i éin etikett; som slik samlevariabel er han eit symptom på trykka. At stilperiode innanfor ein klasse med fast beregeometri predikerer formvariasjon betre enn materiale åleine, er ei hypotese som krev dei same målbare aksane og prøving på former modellane ikkje er tilpassa til.

Kvar realisert form tek plass, bind stoff og endrar tyngda i BtB_t gjennom verktøy, vane og forventing. Realiseringa endrar difor Λ(x,t)\Lambda(x, t) lokalt: landskapet har minne (stiavhengigheit), og all formgjeving er omformgjeving. Når gradvise trykkforskyvingar får ein dal til å forsvinne, gjer minimumet eit sprang (bifurkasjon), som i formhistoria viser seg som brå skifte (radiasjon etterfølgd av konvergens) etter lange periodar med stillstand.

4 Hinne, sjølv, omhug, lyskjegle og kapasitet

Definisjon 7 (Hinne og sjølv). Ei hinne (Markov-teppe) er ei mengd tilstandar som skil eit indre frå eit ytre slik at indre og ytre er vilkårsbestemt uavhengige når tilstandane i hinna er gjevne. Gjennom hinna går observasjonar inn og handlingar ut. Ei hinne er sjølvhalden i den grad regulering innanfor henne motverkar forstyrringar som elles ville løyse henne opp. Eit sjølv er eit mønster i opplevingsfeltet avgrensa av ei sjølvhalden hinne.

Postulat 4 (Individuasjon). Den sjølvhaldne regulerande avgrensinga utanfrå er òg ei avgrensing innanfrå: sjølvet er ei avgrensa oppleving som berre når resten av feltet gjennom tilstandane på hinna. Persepsjon er difor eit grensesnitt, ikkje eit vindauge; kroppen er korleis den avgrensa opplevinga tek seg ut utanfrå.

Definisjon 8 (Agent, spenning og horisontar). Ein agent er eit tilbakekopla system A=(m,π,G,ε)A = (m, \pi, G, \varepsilon), der modellen mm knyter observasjonar og handlingar til venta følgjer, GG er målregionen, π∈𝒫A\pi \in \mathcal{P}_A er politikken agenten tek i bruk, og εk\varepsilon_k er toleransen langs omsyn XkX_k. Definisjonen er uavhengig av substrat; sjølve substratet (dei materielle vilkåra som gjev motstand, resonans og veto VtV_t utan modell og politikk) er ein agent av nullte orden.

Lat ek(t;π,d)e_k(t; \pi, d) vere den faktiske avstanden frå GG langs XkX_k ved tid tt under politikken π\pi og forstyrringa dd, og lat Dk=DKL(pobs∥pm)D_k = D_{\mathrm{KL}}(p_{\mathrm{obs}} \parallel p_m) vere prediksjonsfeilen. Den indre spenninga σk(A)\sigma_k(A) kjem frå tre kjelder som krev ulike svar:

  1. Mål-avvik eke_k (verda mot målet) →\to krev handling som endrar vilkåra.

  2. Prediksjonsfeil DkD_k (sansinga mot forventinga) →\to krev oppdatering av modellen mm.

  3. Konflikt mellom omsyn (mål langs éin akse mot mål langs ein annan) →\to krev kompromiss eller utviding av stegrepertoaret.

Låg DkD_k er ikkje låg eke_k: ein agent kan føreseie samanbrotet presist utan å kunne hindre det. For eit sjølv er registrert mål-avvik over εk\varepsilon_k kjent innanfrå som uro, og under εk\varepsilon_k som ro. Haldshorisonten τk(A)\tau_k(A) er kor lenge ein politikk π∈𝒫A\pi \in \mathcal{P}_A kan halde ek(t;π,d)≤εke_k(t; \pi, d) \leq \varepsilon_k; prediksjonshorisonten τkpred(A)\tau_k^{\mathrm{pred}}(A) er kor lenge mm føreseier følgjene med oppgjeven presisjon. Lyskjeglehorisonten τkΓ(A)\tau_k^{\Gamma}(A) seier kor langt målet langs omsynet rekk fram i tid. Dei tre horisontane må prøvast kvar for seg, med same starttid og oppgjevne vilkår: kva agenten bryr seg om, kan føreseie og kan halde, treng ikkje ha same rekkjevidd.

Definisjon 9 (Aksevis kapasitet og samla hald). Lat κ(A)\kappa(A) vere aksane agenten har ein tilgjengeleg politikk som kan halde kvar for seg, og ωk(A)>0\omega_k(A)>0 tyde at han bryr seg om omsynet. Då er

H0(A)={Xk∈κ(A):ωk(A)>0}.H_0(A)=\{X_k\in\kappa(A):\omega_k(A)>0\}.
Eit samla hald krev éin politikk som held aksane samstundes under dei same forstyrringane 𝒟\mathcal D og i det same tidsrommet TT:
H(A;π)={Xk∈H0(A):ek(t;π,d)≤εk for alle d∈𝒟,t∈T}.H(A;\pi)=\{X_k\in H_0(A):e_k(t;\pi,d)\leq\varepsilon_k \text{ for alle }d\in\mathcal D,\ t\in T\}.
For politikken agenten faktisk tek i bruk, skriv me H(A)=H(A;π)H(A)=H(A;\pi). To omsyn kan liggje i H0(A)H_0(A) kvar for seg utan å kunne haldast samstundes.

For ein konsekvens som viser seg etter Δk\Delta_k, er ρk=Δk/τkpred(A)\rho_k=\Delta_k/\tau_k^{\mathrm{pred}}(A) når prediksjonshorisonten er positiv. Ved ρk≤1\rho_k\leq1 kan følgja føreseiast med oppgjeven presisjon. Dersom Δk>τkΓ(A)\Delta_k>\tau_k^\Gamma(A), fell ho utanfor målhorisonten. Med eit tilgjengeleg vern er dette likesæle i tid; utan både mål og kapasitet er det blindskap. Dersom Δk≤τkΓ(A)\Delta_k\leq\tau_k^\Gamma(A), men Δk>τk(A)\Delta_k>\tau_k(A), er ho innanfor målet og utanfor haldet: avmakt i tid. Når begge horisontane rekk, avgjer den nytta politikken kva som vert halde. Ved ρk>1\rho_k>1 kan lokal tilbakekopling eller eit vern sett i verk no likevel halde omsynet når følgja kjem.