Treść książki
Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
32
ZFILOZOFIITEORETYCZNEJ
jestzaśsłabszaodteoriiT2poprostuwtedy,gdyjestwniej
zawarta:T1ÌT2.
NiechterazdladanejinterpretacjisystemufilozoficznegoS
daneteżbędąwszystkieczteryjejparametry,czyliwektor(A,N(A),
A–A0,T).Parametrytetrudnooptymalizowaćjednocześnie.Nie
dasięteżokreślićnanichskalarnejfunkcjicelu,którałączyłaby
jewszystkiewjakiśjedenwskaźnikjakościQ,wyrażającywar-
tośćhermeneutycznąuzyskanejinetrpretacji.Mimotomożna
sensowniepytać,czydanainterpretacjajestoptymalna,anawet
dostaćnatopytanieodpowiedź.Służytemutzw.kryterium
Pareto3:interpretacjajestoptymalna,gdyżadnegozjejpara-
metrówniedasięjużpoprawićniepogarszajączarazemjakiegoś
innego.Awięcgdynp.niedasięzwiększyćzasięguinterpreta-
cjibezzmniejszenianaturalnościprzekładu,anizwiększyćjej
spójnościlogicznejbezwzmocnieniazastosowanejteorii.Między
czteremawymienionymiparametramizachodząteżzwiązkimniej
oczywiste.Taknp.naturalnośćprzekładuzależyodjęzykaJ(T),
języktenzależyodteoriiT,odniejzaśzależyzkoleilogiczna
spójnośćinterpretacji.Możebyćwięctak,żenaturalnościprze-
kładuniedasięzwiększyćbezzmniejszeniaowejspójności,
alboodwrotnie.Oczywiście,jeżelidwieróżneinterpretacjesą
optymalne,tosąjużmiędzysobąnieporównywalne.
5.PRZYPADKIGRANICZNE.Nawstępieprzyjęliśmy,żeteoriaT,
naktórejopierasiędanainterpretacja(A,A0)systemuS,jest
zaksjomatyzowana.Znaczytomiędzyinnymi,żeliczbajejaksjo-
matówjestskończona.Tozaśznaczyzkolei,żemaonajakąś
aksjomatykęniezależną.NiechprzetozbiórzdańT0będzietaką
aksjomatyką,czylitaką,żeT=Cn(T0),orazżadenzbiórmniejszy
odT0własnościtejjużniema.ZbiórT0jestwtedyminimalnym
zbioremzałożeńdodatkowych,jakietrzebawziąćspozazbioru
A,byuzyskaćinkluzję:
(1)
Π(Α)ÌCn(T0ÈΠ(Α0)).
SkorojednakzbiórT0mabyćwtymsensieminimalny,to
wkażdymraziemusizachodzićzwiązek:
3Por.O.Lange,Optymalnedecyzje,Warszawa1964,s.164-166.Por.też
W.Findeisen,DWprowadzeniewtechnikęsystemów”,[w:]Automatyka(Porad-
nikinżyniera),Warszawa1973,s.872-874(rozdziałDOptymalizacjaprzyocenie
wektorowej”).
