Treść książki
Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
HERMENEUTYKALOGICZNA
33
(2)
T0ÇCn(A)=0.
Tymbardziejzaśmusimymieć:T0ÇA0=0.Mogąwtedy
zajśćtrzyprzypadkigraniczne.
Wpierwszym,zbiórT0jestpusty:T0=0.Wobectegomamy
inkluzję:Π(Α)ÌCn(Π(A0)).Interpretacjaobywasiętubezjakich-
kolwiekdodatkowychzałożeńcododziedzinyprzedmiotowejsys-
temuS,awszystkietezywtórnewynikająlogiczniezjegowła-
snychzałożeń.Hermeneutyczniejesttoprzypadekoptymalny:
T=Cn(0).Interpretacjaopierasięnasamejtylkologice,awięc
nanajsłabszejzewszystkichteorii.
WprzypadkudrugimzbiórA0jestpusty:A0=0.Wobec
tegomamyinkluzję:Π(Α)ÌT.Wszystkiezinterpretowanetezy
systemuSokazałysiętwierdzeniamiteoriiT,awięctrzeba
jepoprostuuznaćzaprawdziwe.Wskaźnikspójnościosiąga
przytymswemaximum,bomamyA-A0/A=A/A=1.Suk-
cestakijestjednakdośćwątpliwy.Zjednejstronynasuwa
onbowiempodejrzenie,żeinterpretacjęopartonateoriizbyt
silnej.Zdrugiejzaśto,żezinterpretowanyfragmentsystemu
Sokazałsięprawdziwy,teżocenimypozytywnietylkowtedy,
gdyowateoriauchodziskądinądzagłęboką.Inaczejuznamy
tenfragmentzabanalny.
Wtrzecimprzypadkuobazbiorysąpuste:T0ÈA0=0.Mamy
wobectegoinkluzjęΠ(Α)ÌCn(0).Wszystkiezinterpretowane
tezysystemuSokazałysiętautologiami.Interpretacjaujaw-
niławięcczczośćbadanegosystemu,cozdajesięrezultatem
pożytecznym,choćmałobudującym.Ażdwaparametryinter-
pretacjiosiągajątujednaksweoptimum,awięcocenaherme-
neutycznabędziewysoka-chybażezredukujejąnadmierna
sztucznośćprzekładu,alboznikomawielkośćzinterpretowanego
fragmentu.Jeżelioptimumzostałouzyskanenp.wtensposób,
żewziętoA={0},aprzekładΠ(0)wyraźnienaciągnięto,tozysk
ztejinterpretacjibędzieoczywiścieżaden.Aleteżwskaźniki
A/SiN(A)/Aosiągnąwtedyswepessimum.
Przypuśćmynakoniec,żewtrzecimprzypadkutakżeoba
pozostałewskaźnikiosiągnęłyoptimum.MamywtedyN(A)=
=A=S,awynikinterpretacjiprzybierapostać(S,0).Zna-
czyłobyto,żewjakiśdostatecznienaturalnysposóbudałosię
namsformalizowaćcałysystemS,iże-cowięcej-wszystkie
jegotezyokazałysięwtedytezamilogiki.SystemSjestwięc
