ONTOLOGIENS PROTOKOLLER
02. Logisk protokoll
Versjon 1.3
1. Formål
Den logiske protokollen fastsetter regler for korrekte resonnementer om innhold som er definert av Meningens metaontologi. Oppgaven er ikke å beskrive hvordan virkeligheten er bygd opp, men å bestemme hvordan påstander dannes, hvordan statusene deres skilles, og hvordan slutninger trekkes uten at begrunnelsene overskrides på en skjult måte. Protokollen opprettholder skillet mellom et faktisk forhold, en påstand om dette forholdet, påstandens sannhetsstatus og kunnskapstilstanden om denne statusen. Den må fungere ved ufullstendig kunnskap, konkurrerende forklaringer, motstridende data, forskjellige beskrivelsesnivåer og mulig utilstrekkelighet i selve den logiske arkitekturen.
2. Forholdet til Meningens metaontologi
Dokument 01 fastsetter det nåværende minimale rammeverket for meningsrepresentasjon: Bestemthet D, Relasjon R, Modalitet M og et eget funksjonelt lag av operasjoner O. S⁽ⁿ⁾ = ⟨D, R, M; O⟩. Dokument 02 konkretiserer en del av laget O: reglene for å danne påstander, negere, forbinde, danne alternativer, utlede, kontrollere forenlighet og arbeide med kontekst, usikkerhet og slutninger. Denne protokollen fastsetter en normativ arkitektur for korrekte resonnementer, men erklærer ikke at en fullstendig formell logisk kalkyle foreligger. Et konkret sett av symbolske operatorer, aksiomer, sannhetstabeller og formelle slutningsregler kan fastsettes og presiseres separat, med respekt for begrensningene i denne protokollen. Verken det konkrete settet av operasjoner eller det valgte logiske systemet erklæres som endelig.
3. Betingelsen for logisk anvendbarhet
Ikke ethvert meningsinnhold er en påstand, og ikke ethvert uttrykk kan vurderes som sant eller usant. Før en logisk vurdering må man fastslå at innholdet er tilstrekkelig bestemt: Termene, anvendelsesområdet, den vesentlige konteksten og det faktiske forholdet som hevdes, må være forstått. Et semantisk ufullstendig uttrykk, et spørsmål, en kommando, en metafor, en kategorifeil eller et uttrykk med en utilstrekkelig bestemt referent må ikke automatisk klassifiseres som usant.
4. Påstand
Kanonisk definisjon. En påstand er en meningskonstruksjon som framstiller et forhold på en slik måte at man kan spørre om framstillingen samsvarer med det faktiske forholdet. Begrep ≠ Påstand.
5. Faktiske forhold og sannhet
Det er nødvendig å skille mellom det framstilte og det faktiske forholdet. Det framstilte forholdet er innholdet i det som hevdes å være tilfelle eller ikke å være tilfelle. Det faktiske forholdet er den konfigurasjonen av virkeligheten som påstanden prøves mot. Framstilt forhold ≠ Faktisk forhold. Virkeligheten er ikke i seg selv sann eller usann. En påstand framstiller et bestemt forhold som faktisk; en sannhetsvurdering undersøker samsvaret mellom denne framstillingen og det faktiske forholdet. Påstand → Framstilt forhold → Sammenligning med faktisk forhold → Sannhetsstatus. Hvis det framstilte forholdet samsvarer med det faktiske i den angitte konteksten, får påstanden status T; hvis ikke, F. Sannhet og usannhet er statuser for påstander i forhold til faktiske forhold, ikke egenskaper ved virkeligheten i seg selv.
6. Epistemisk status
Sannhetsstatus og vår kunnskap om denne må holdes atskilt. Arbeidsmessige epistemiske tilstander er: K_T — det foreligger tilstrekkelig grunnlag for å godta påstanden som sann; K_F — det foreligger tilstrekkelig grunnlag for å godta den som usann; U — grunnlaget er utilstrekkelig. K_T ≠ T; K_F ≠ F; U ≠ T; U ≠ F. Epistemisk status beskriver begrunnelsens tilstand og erstatter ikke sannhetsstatusen.
7. Ikke treverdig sannhet
U er ikke en tredje sannhetsverdi ved siden av T og F. Den betegner utilstrekkelig kunnskap. Faktisk forhold → Påstand → T/F → K_T/K_F/U. Dette skjemaet hevder ikke at hele virkeligheten metafysisk må være binært bestemt. Det gir en grunnleggende vurderingsform for tilstrekkelig bestemte påstander der sannhetsvurdering kan anvendes.
8. Statusen N/A
For uttrykk der sannhetsvurdering ikke kan anvendes, brukes en egen arbeidsstatus, N/A. U ≠ N/A. U betyr at spørsmålet om sannhet er korrekt stilt, men at svaret ikke er fastslått. N/A betyr at selve spørsmålet om sannhet ikke kan anvendes på uttrykket i den aktuelle formen, eller ennå ikke er korrekt formulert.
9. Epistemisk og ontologisk ubestemthet
Det er nødvendig å skille mellom observatørens mangel på kunnskap og en mulig ubestemthet ved selve det faktiske forholdet. Epistemisk ubestemthet betyr at kunnskapen er utilstrekkelig. Ontologisk ubestemthet betegner et hypotetisk tilfelle der en egenskap ved selve forholdet ikke har én enkelt verdi under de angitte betingelsene. Epistemisk ubestemthet ≠ Ontologisk ubestemthet. Protokollen hevder ikke at ontologisk ubestemthet eksisterer, men utelukker den heller ikke på forhånd.
10. Negasjon og symmetri i begrunnelse
Negasjon anvendes på en tilstrekkelig bestemt påstand og bevarer dens område og kontekst. Mangel på grunnlag for P er ikke grunnlag for ikke-P; mangel på grunnlag for ikke-P er ikke grunnlag for P. P er ikke fastslått ≠ Ikke-P er fastslått.
8.1 Arkitektonisk skille mellom statuser
Sannhetsstatus, epistemisk status og manglende anvendbarhet av sannhetsvurdering er ulike typede koordinater i en logisk beskrivelse og må ikke slås sammen i ett universelt statusfelt.
T/F gjelder påstandens sannhetsstatus i forhold til det faktiske forholdet.
K_T/K_F/U gjelder epistemisk status — tilstanden til begrunnelsen for kunnskap om sannhetsstatusen.
N/A angir at sannhetsvurdering ikke kan anvendes på uttrykket i den aktuelle formen og er verken en sannhetsverdi eller en epistemisk verdi.
Følgelig:
T/F ≠ K_T/K_F/U ≠ N/A
I CCOs maskinlesbare framstilling skal disse nivåene lagres hver for seg og kobles med typede relasjoner. Det er ikke tillatt å samle deres tekniske representasjoner i én beholder dersom dette visker ut forskjellene mellom de logiske funksjonene.
Denne presiseringen konkretiserer avsnitt 5–8 uten å endre innholdet i dem.
Både en påstand og dens negasjon krever eget grunnlag. «Ikke bevist» blir ikke til «usant», og «ikke motbevist» blir ikke til «sant».
11. Kontekst og tid
En sannhetsvurdering kan avhenge av tid, sted, skala, referansesystem, definisjonsområde, modell og termenes betydning. P|C. I dynamiske systemer er tid del av konteksten: P(t1) = T; P(t2) = F. Dette er ingen motsigelse hvis forholdet har endret seg mellom t1 og t2.
12. Skala og beskrivelsesnivå
Ett faktisk forhold kan tillate flere beskrivelser på forskjellige organisasjonsnivåer og skalaer. Ulike beskrivelser ≠ Motsigelse. Før en motsigelse fastslås, må man kontrollere om påstandene gjelder samme objekt, aspekt, tid, skala og beskrivelsesnivå.
13. Identitet, kontinuitet og invariant
Å hevde identitet krever et kriterium. Samsvar i ett aspekt betyr ikke full identitet. For et system som endrer seg, må det finnes et kontinuitetskriterium som kan skille mellom en endring i det samme systemet og opphøret av ett system fulgt av oppkomsten av et annet. En invariant er en bestemthet eller relasjon som bevares i forhold til en gitt klasse av transformasjoner. Transformasjon = Det som endres + Det som bevares i henhold til kriteriet. En invariant er alltid definert relativt til en transformasjon eller klasse av transformasjoner.
14. Konjunksjon og alternativ
En konjunksjon av P og Q kan dannes etter at deres semantiske bestemthet og kontekstenes forenlighet er fastslått. Konkrete sannhetstabeller fastsettes av det valgte logiske systemet. Ved dannelse av alternativer må inkluderende og ekskluderende former skilles. At flere alternativer er kjent, betyr ikke at listen er fullstendig. Omega_known <= Omega_possible. Likhet mellom det kjente mulighetsrommet og det mulige rommet forutsettes ikke uten særskilt begrunnelse.
15. Typer av følge
Formuleringen «A fører til B» er utilstrekkelig uten at relasjonstypen angis. Det må skilles mellom logisk følge, tidsrekkefølge, kausal forbindelse, statistisk avhengighet og betinget regel. Logisk følge ≠ Tidsrekkefølge ≠ Kausalitet. At B logisk kan utledes av A, innebærer ikke at A fysisk forårsaker B. At noe kommer først i tid, beviser ikke kausalitet.
16. Kausalitet og grunnlagsnivåer
En forklaring av mekanismen i en prosess er ikke identisk med en forklaring av grunnlaget for at selve mekanismen eksisterer. Forklaring av mekanisme ≠ Forklaring av grunnlag. Det må skilles mellom betingelsen for virkeliggjøring, årsaken til en konkret aktualisering og grunnlaget for at evnen eller strukturen som tillater denne aktualiseringen, eksisterer. Protokollen fastsetter ikke virkelighetens fundamentale årsak; den forbyr sammenblanding av ulike nivåer i årsaksspørsmålet.
17. Mulighet, evne og aktualisering
At en tilstand er modalt mulig, betyr ikke at et konkret system har evnen til å virkeliggjøre den. Det må skilles mellom mulighet i generell forstand, mulighetsrommet som er tilgjengelig for et system, evnen til å gjennomføre en overgang og faktisk aktualisering. Mulighet ≠ Tilgjengelig mulighet ≠ Evne ≠ Aktualisering. En tilstand kan tilhøre det generelle mulighetsrommet uten å inngå i de tilstandene et bestemt system kan nå.
18. Valg, tilfeldighet og mål
At det finnes flere mulige utfall, beviser ikke i seg selv at et valg finner sted. For å hevde et subjektivt valg kreves som et minimum at alternativene skilles, at det finnes et grunnlag for å foretrekke ett av dem, og at den valgte virkeliggjøringen er knyttet til dette grunnlaget. Flere alternativer ≠ Valg. At en prosess er rettet mot et resultat, beviser heller ikke at den har et mål. Et mål forutsetter en representert mulig tilstand som inngår i organiseringen av den aktuelle handlingen. At resultatet samsvarer med en tilstand ≠ Bevis for målformulering.
19. Funksjon og bærer
En funksjon er ikke identisk med bæreren som utfører den. At bærer X utfører F, betyr ikke at X = F. Den samme funksjonen kan virkeliggjøres av forskjellige bærere; én bærer kan utføre flere funksjoner. Dette skillet er nødvendig når man går fra å beskrive prosesser til å hevde noe om systemets natur.
20. Sammensetning og ny kvalitet
Helhetens egenskaper behøver ikke være uttømt av delenes uavhengige egenskaper. De kan avhenge av strukturen i relasjonene mellom delene. D_A + D_B + R_AB → D_C. Framveksten av en ny bestemthet i helheten innføres ikke som en egen grunnleggende koordinat. Integrasjon er ikke det samme som reduksjon: Kausalt og strukturelt viktige forskjeller mellom komponentene må bevares i beskrivelsen.
21. Endring, omorganisering og metamorfose
Det er nødvendig å skille mellom tilstandsendring innenfor et gitt mulighetsrom, omorganisering innenfor det samme rommet og endring av selve arkitekturen for tillatte tilstander eller overganger. Endring: x1 → x2, der x1 og x2 tilhører Ω_SYS⁽ⁿ⁾. Metamorfose: Ω_SYS⁽ⁿ⁾ → Ω_SYS⁽ⁿ⁺¹⁾. I denne protokollen betegner Ω_SYS rommet av tillatte tilstander for systemet som undersøkes. For særskilte nivåer brukes typede betegnelser: Ω_SEM — rommet av semantiske skiller; Ω_EPI — rommet av epistemisk representerbare muligheter; Ω_ONT — det antatte rommet av ontologiske muligheter. Det generelle symbolet Ω uten indeks kan bare brukes når nivået er tydelig angitt av konteksten. En ny kvalitet er ennå ikke nødvendigvis metamorfose. Metamorfose foreligger i streng forstand når arkitekturen for videre muligheter endres. For at metamorfosen skal gjelde nettopp dette systemet, kreves et kontinuitetskriterium.
22. Stabilitet og uforanderlighet
Stabilitet er ikke det samme som fravær av endring. Et system kan bevare en vesentlig invariant gjennom adaptiv endring av form, struktur eller atferd. Stabilitet ≠ Uforanderlighet. Endring beviser ikke i seg selv at identitet er gått tapt, og uforanderlighet beviser ikke i seg selv stabilitet.
23. Motsigelse og uforenlighet
Det må skilles mellom negasjon, motsigelse og uforenlighet. To påstander kan være uforenlige uten å være hverandres bokstavelige negasjoner. Hvis en motsigelse oppdages, må systemet ikke utlede vilkårlige påstander. Motsigelsen skal lokaliseres og undersøkes. Mulige kilder er feil i dataene, slutningsfeil, forskjeller i kontekst, nivå eller tid, ufullstendige definisjoner, uforenlige modeller eller grensen for den gjeldende beskrivelsesarkitekturen. Arbeidsprotokollen må tåle lokale motsigelser uten at hele systemet rammes av logisk eksplosjon.
24. Observasjon og fravær av observasjon
At X ikke er observert, beviser i seg selv verken at X ikke finnes, eller at X finnes. X er ikke observert ≠ X finnes ikke. X er ikke observert ≠ X finnes. Manglende forventet observasjon blir først et argument når det er særskilt begrunnet at virkningen skulle ha vært observerbar under de gitte betingelsene dersom X eksisterte.
25. Forvrengning og referansegrunnlag
Begrepet forvrengning gir bare mening i forhold til en definert referanse, opprinnelig struktur, invariant eller sammenligningskriterium. Forvrengning = Endring + Referanse + Kriterium for avvik. Ikke enhver transformasjon er en forvrengning. At noe avviker fra observatørens forventning, beviser heller ikke at virkeligheten er forvrengt. Den detaljerte kjeden Virkelighet – manifestasjon – observasjon – data – representasjon hører til dokument 03.
26. Sannsynlighet
Sannsynlighet må ikke automatisk forstås som en mellomliggende grad av sannhet. Sannsynlighet ≠ Sannhetsgrad. Den kan karakterisere en modell for usikkerhet, en frekvens, en grad av overbevisning eller en utfallsfordeling, avhengig av formaliseringen. Fortolkningen må angis eksplisitt.
27. Feil, løgn, usikkerhet og hypotese
Feil og løgn er forskjellige. En feil oppstår uten hensikt om å skape en framstilling man vet er usann. En løgn forutsetter en ytterligere struktur av tilsiktet avvik mellom den oppfattede tilstanden i virkeligheten og innholdet som formidles. Feil ≠ Løgn ≠ Usikkerhet ≠ Hypotese. Normative begrensninger på bruk av løgn hører til subjektets arkitektur og det etiske nivået, og fastsettes ikke av denne logiske protokollen.
28. Hypotetisk resonnement
Systemet må kunne anta P midlertidig og undersøke følgene uten å gjøre P til et etablert faktum. Anta P → utled Q; dette betyr ikke K_T(P). Alle slutninger som er avhengige av en hypotetisk premiss, beholder sin betingede karakter inntil premissens status endres på selvstendig grunnlag.
29. Overføring av grunnlagets status
En slutning må ikke hevde mer enn det premissene, dataene og slutningsregelen tillater. Dersom et vesentlig premiss er hypotetisk, betinget eller ubestemt, må dette gjenspeiles i slutningens status. Slutningens styrke <= Styrken til det tilgjengelige grunnlaget. Korrelasjon blir ikke dermed kausalitet, mulighet blir ikke virkelighet, modell blir ikke virkeligheten selv, og en vellykket prediksjon beviser ikke automatisk at modellen er den eneste mulige.
30. Åpenhet om forutsetninger
Ethvert vesentlig resonnement må gjøre det mulig å rekonstruere de opprinnelige premissene, definisjonene, konteksten, overgangsregelen og slutningens status. Premisser → Slutningsregel → Slutning. Et premiss som ikke er utledet, må ikke skjult fungere som en bevist påstand. Kildens autoritet erstatter ikke begrunnelse av innholdet.
31. Prinsippet om å bevare skiller
Protokollen viderefører prinsippet om å bevare skiller fra dokument 01. Hvis begreper, statuser eller kausale nivåer har forskjellige grunnlag eller funksjoner, kan de ikke slås sammen bare fordi de i et bestemt tilfelle gir lignende resultater. Følgende skiller skal særlig bevares: faktisk forhold og påstand; sannhet og kunnskap; ukjent og usant; U og N/A; mulighet og aktualitet; tidsrekkefølge og kausalitet; mekanisme og grunnlag; funksjon og bærer; endring og metamorfose; resultat og kausal arkitektur; beskrivelse og virkelighet.
32. Selvreferanse og metanivå
Systemet kan danne påstander om sine egne påstander, regler og arkitektur. Slike overganger krever et eksplisitt skille mellom objekt- og metanivå. En påstand om et objekt og en påstand om statusen til den første påstanden befinner seg ikke på samme logiske nivå. Dette er nødvendig for å undersøke egne grunnlag og forhindre skjult selvreferanse.
33. Arkitektonisk åpenhet
Den logiske protokollen erklærer ikke det nåværende systemet av operasjoner, sannhetsstatuser og slutningsregler som absolutt. Dersom innholdet ikke kan representeres gjennom den eksisterende arkitekturen uten meningstap, kan selve arkitekturen revideres. L⁽ⁿ⁾ → L⁽ⁿ⁺¹⁾. Revisjonen kan innebære utvidelse, endring eller reduksjon av operasjoner og regler. Den er ikke tillatt vilkårlig bare for å opprettholde en ønsket konklusjon: Utilstrekkeligheten ved det tidligere systemet må påvises eksplisitt.
34. Kunnskapssystemets metamorfose
Det må skilles mellom å utvide det kjente mulighetsrommet og å endre mulighetsrommet til selve systemet som undersøkes. Omega_known^(n) → Omega_known^(n+1) betyr ikke nødvendigvis Omega_system^(n) → Omega_system^(n+1). Ny kunnskap kan bare avdekke en tidligere ukjent mulighet som allerede tilhørte virkeligheten. En modellendring må ikke automatisk tolkes som en endring av virkeligheten selv.
35. Minimal arbeidsmatrise
For enhver vesentlig påstand fastsettes følgende i rekkefølge: hva som er skilt ut; hvilket faktisk forhold som undersøkes; hvilken påstand som er formulert; om sannhetsvurdering kan anvendes; hvilken sannhetsstatus som antas; hvilken epistemisk status som gjelder; konteksten; beskrivelsesnivået; premissene; slutningsregelen; og åpne alternativer. Matrisen erstatter ikke innholdsmessig analyse, men hindrer skjult sammenblanding av nivåer.
36. Kanonisk arkitektur
Den logiske protokollens grunnleggende sekvens er: Faktisk forhold → Påstand → Samsvar → T/F → K_T/K_F/U. For uttrykk der en korrekt sannhetsvurdering ikke kan utføres, brukes N/A. Hele sekvensen gjelder innenfor en kontekst og utelukker ikke at selve den logiske arkitekturen kan revideres.
37. Protokollens plass i den samlede arkitekturen
Dokument 01 besvarer spørsmålet: Hva er nødvendig for at et innhold kan skilles ut og representeres? Dokument 02 besvarer spørsmålet: Hvordan kan man resonnere om et skillbart innhold uten å blande sammen mening, faktiske forhold, sannhet, kunnskap, kausale nivåer og overgangstyper? Dokument 03, «Protokoll for referanse og kunnskapsstatuser», skal fastsette den detaljerte overgangen mellom virkelighet, manifestasjon, observasjon, data, representasjon, modell, påstand, begrunnelse og kunnskapsstatus. Først deretter bør man gå videre til den overordnede arkitekturen for virkelighetens ontologi. Kanonisk prinsipp: Korrekt resonnement begynner med skillet mellom et faktisk forhold og en påstand om det. Virkeligheten er ikke i seg selv sann eller usann; sannhetsstatus gjelder samsvaret mellom påstanden og det faktiske forholdet. Kunnskap om sannhetsstatusen danner et eget epistemisk nivå og kan forbli ubestemt. Det ukjente blir ikke til det usanne; manglende anvendbarhet av sannhetsvurdering blir ikke til uvitenhet; mulighet blir ikke til virkelighet; tidsrekkefølge blir ikke til kausalitet; mekanisme blir ikke til grunnlag; og et resultat blir ikke til bevis for en bestemt kausal arkitektur. Vesentlige skiller bevares inntil det særskilt er begrunnet at de kan reduseres. Enhver slutning begrenses av styrken i grunnlaget sitt og må bevare åpenhet om premisser, kontekst og overgangsregel. Motsigelser lokaliseres og undersøkes, ikke spres til hele systemet. Den gjeldende logiske arkitekturen forblir åpen for sin egen omforming dersom nytt innhold ikke kan representeres i den uten meningstap, kunstig reduksjon eller skjulte motsigelser.
← 01. Meningens metaontologi · Til protokollene i ontologien