Treść książki
Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
AnnaWójtowicz-Problemyontologiisytuacji
19
(S3n)jeśli(a=b)jestprawdąanalityczną,8todladowolnegogÎFOR
h(g[a])=h(g[a/b]).
Innymisłowywymienialnewdowolnymkontekściezzachowaniemjegoko-
relatuontologicznegosątylkotakietermy,którychrównośćkorelatówjestza-
gwarantowanawkażdymmodeludladanegojęzyka.
Możnawięcpowiedzieć,żejesttonietylemodyfikacjazasadyekstensjonal-
ności,coustalenieinnegorozumieniapojęciaekstensjitermów.Tradycyjniedwa
termyaibmajątakąsamąekstensjęzawszeitylkowtedy,gdyzdanieopostaci
a=bjestprawdziwewdanymmodelu,awsensiezasady(S3n)-zawszeitylko
wtedy,gdyzdanieopostacia=bjestprawdziwewkażdymmodelu.Równość:
i(a)=i(b)maprzytejinterpretacjitakisamprzypadkowycharakter,jakrów-
nośćv(a)=v(b)orazsymetriamiędzyinterpretacjamitermówizdańzostaje
zachowana.
WróćmyterazdoproblemuaksjomatuFregego.Załóżmy,żewarunek(*)ma
postać(*5),przyjmujemyzasadęekstensjonalnościwwersji(S3)idodatkowo
wjęzykuwystępujeoperatorreifikacjij,którydowolnemuzdaniuprzyporząd-
kowuje-wzależnościodjegowartościlogicznej-pewienprzedmiot.Operatorj
charakteryzowanyjestprzeznastępującyschemat:
(@)[j(a)=a«a]Ù[j(a)=b«ża],
gdzieaibsądowolnymitermamioróżnychkorelatach.
Okazujesię,żeprzyjętezałożeniaprowadząłączniedoAF.Argumentacja
otakiejstrukturzewystępujewliteraturzeanglojęzycznejpodnazwąargumentu
slingshot,awpolskiej-argumentunzprocyn(czasemnzwyrzutnin).
Niechbowiemdanebędądwadowolneprawdziwezdaniaaibipewnana-
zwajednostkowaa.
Zauważmy,żeprzywszystkichpowyższychzałożeniachprawdziwesąnastępu-
jącezdania:
(i)a=j(a)=j(b);
(ii)ajestlogicznierównoważnea=j(a);
(iii)bjestlogicznierównoważnea=j(b).
Rozważmyteraznastępującyciągzdań:
1)a
2)a=j(a)
3)a=j(b)
4)b
iustalmy,żekorelatemontologicznymzdaniaajestpewienfaktA.
8Oczywiście,jeśli(a=b)jestprawdąanalityczną,toi(a)=i(b).
