Treść książki

Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
AnnaWójtowicz-Problemyontologiisytuacji
21
Cowięcej,powyższeimplikacjemożnawzmocnićdorównoważności.Zauważ-
myrównież,żeponieważ:
(6)wjęzykuzawierającymspójnikidentyczności(charakteryzowanytak,jak
wlogiceniefregowskiejSCI)niezachodziimplikacja:
jeśli(*5),toAF;
(7)wjęzykupierwszegorzędu(bezoperatorareifikacji)niezachodziimplika-
cja:
jeśli(*5),toAF.
Ostateczniemamywięc:
(8)wjęzykuzawierającymspójnikidentyczności(charakteryzowanytak,jak
wlogiceniefregowskiejSCI),gdziespełnionyjestwarunek(*5):
schemat(!)jestrównoważnyAF;
(9)wjęzykuzawierającymspójnikidentyczności(charakteryzowanytak,jak
wlogiceniefregowskiejSCI)ispójnikW,wktórymspełnionyjestwarunek(*5):
schemat(#)jestrównoważnyAF;
(10)wjęzykupierwszegorzędu(zzasadąekstensjonalności(S3))zawierają-
cymoperatorreifikacji,wktórymspełnionyjestwarunek(*5):
aksjomat(@)jestrównoważnyAF.
Wnioski(8),(9)i(10)pokazują,żejeśliprzyjmiesię-dosyćnaturalny-
warunek(*5),todojęzykaniemożnadołączyćpewnychoperatorówlubnależy
przyjąćinnąichcharakterystykę(wprzypadkuºnietaką,jakądaje(!),awprzy-
padkureifikatoraj-nietaką,jakądaje(@)).Byłobytopewneograniczeniedla
semantykisytuacyjnejprzynajmniejwtymsensie,żestanowiłobyzawężenieza-
kresujejstosowalności.Jesttoszczególniedotkliwewprzypadkuoperatorareifi-
kacji,ponieważpodaksjomat(@)podpadają(przypewnejinterpretacji)zarów-
nooperatorabstrakcji,jakioperatordeskrypcji.Widaćjednak,żepodobniejak
wwypadkuspójnikaidentyczności,charakteryzowanegoprzezaksjomat(!),wtym
rozumowaniukryjesiębłędnekoło:jeślizałożymy,żewpewnymjęzykujestza
pomocądanegofunktora(spójnikaczyreifikatora)sformułowanezdanierówno-
ważnezAF,totrudnowymagać,bymożnabyłojednocześniezachowaćtaką
charakterystykęimiećnietrywialnąsemantykęsytuacyjną.Abyposługiwaćsię
wjęzykuoperatoramideskrypcjiiabstrakcjitrzeba-oilenieprzyjmujemymo-
dyfikacji(S3n)zasadyekstensjonalności-inaczejoperatorytewprowadzićdo
języka.Należytraktowaćjeniejakosamodzielnestałelogiczne,którychznacze-
niejestustalaneprzezaksjomattypu(@),alejakpewnegorodzajuskrótydefini-
cyjne.Jesttointerpretacjazgodnaztą,którąproponowałprzyjąćBertrandRus-