Treść książki
Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
20
Aporieontologiisytuacji.Część1.Problemylogikiiontologiisytuacji
Skoroh(a)=Ai(1)jestrównoważnelogicznie(2)-por.(ii),tonamocy
warunku(*5)mamy:
h(a=j(a))=A.
Ponieważ(2)i(3)różniąsięjedynietym,żepoprawejstronierównościmają
różnenazwyjednostkowe,aleotakimsamymdesygnacie-por.(i),tonamocy
konsekwencjizasadyekstensjonalności(S3)):
h(a=j(b))=A.
Ponieważ(3)i(4)sąrównoważnelogicznie-por.(iii),tonamocywarunku
(*5)mamy:
h(b)=A.
Innymisłowypokazaliśmy,żedowolnedwazdaniaprawdziwemajątakisam
korelatontologiczny.Rozumowanietomożnapowtórzyćrównieżdladowolnych
dwóchzdańfałszywych,pokazującrównośćichkorelatów.Stądwniosek,żeist-
niejątylkodwaróżnekorelatyontologicznedlazdań.
Podsumowując-przyjęciejednocześniezasadyekstensjonalności(S3),wa-
runku(*5)wjęzyku,wktórymwystępujereifikatorcharakteryzowanyprzezak-
sjomat(@),prowadzidoAF.
1030Wnioski
Napodstawiepowyższychrozważańmożemystwierdzić,że:
(1)wdowolnymjęzyku,wktórymalternatywamastandardowąinterpretację:
jeśli(*1),toAF;
(2)wjęzykuzawierającymspójnikidentyczności(charakteryzowanytak,jak
wlogiceniefregowskiejSCI)idodatkowoschemat(!):
jeśli(*2),toAF;
(3)wjęzykuzawierającymspójnikidentyczności(charakteryzowanytak,jak
wlogiceniefregowskiejWT)ispójnikWcharakteryzowanyprzezschemat(#):
jeśli(*5),toAF;
(4)wjęzykuzawierającymwyłączniespójnikiprawdziwościowe:
jeśli(*3),toAF;
(5)wjęzykupierwszegorzędu,wktórymobowiązujezasadaekstensjonalno-
ści(S3)iktóryzawieraoperatorreifikacjicharakteryzowanyprzezschemat@:
jeśli(*5),toAF.
