Treść książki
Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
AnnaWójtowicz-Problemyontologiisytuacji
lub
(AF)dladowolnychsytuacjis
1,s
2,s
3ÎS,s
1=s
2lubs
3=s
2lubs
1=s
3.
15
Najważniejszedlaproblemu(I)stojącegoprzedontologiąsytuacjijestpyta-
nie:czywsemantycedladanegojęzykaJobowiązujeAF?
Odpowiedźnatopytanie-jakzobaczymyzponiższychanaliz-jestuzależ-
nionaoddwóchczynników:
Modtego,jakiewłasnościmarozpatrywanyjęzyk;
Modtego,jakiepodstawieniewarunku(*)obowiązujewsemantycedlajęzyka.
1020Różnepostaciewarunku(*)
Zauważmyodrazu,żewdowolnymjęzyku,wktórymobowiązujedwuwartoś-
ciowalogikaklasycznalubjejrozszerzenie,jeśliwarunek(*)masformułowanie:
(*1)jeśliv(a«b)=1,toh(a)=h(b),
tootrzymamyAF.Dladowolnegovmamybowiem
v((a«b)Ú(a«g)Ú(b«g))=1.
Zwarunkunakładanegonaspójnikalternatywywynikawięc
v(a«b)=1lubv(a«g)=1lubv(b«g)=1,
conamocy(*1)prowadzidouznaniaAF:
h(a)=h(b)lubh(b)=h(g)lubh(g)=h(a).
NapoziomiesamegojęzykaJdasięsformułowaćwarunektypu(*)tylkooty-
le,oilebędziewystępowałwnim(lubbędziedawałsięwnimzdefiniować)taki
spójnikº,któregozamierzonąinterpretacjąjestrównośćkorelatówontologicz-
nychzdańbędącychjegoargumentami:
naºbnjestprawdązawszeitylkowtedy,gdykorelatontologicznyajest
identycznyzkorelatemontologicznymb.
Jeśliprzyjmiemywprowadzoneoznaczenia,możemywarunektenzapisaćjako
szczególnyprzypadekwarunku(*):
(*2)jeśliv(aºb)=1,toh(a)=h(b).
Załóżmyteraz,żeteządanegojęzykaJjestdowolnepodstawienieschematu:
(!)aºbÚaºgÚgºb,
