Treść książki
Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
pewnejteoriiprawdy),dowódistnieniaformułelastycznych(flexible
formulas),zdefiniowanieistotnegodlapodstawmatematykisystemu
Kripkego–Platkaorazwkładdopozaskończonejteoriirekursji
(indukcjapozaskończonanaosiągalnychliczbachporządkowych
–admissibleordinals).
PrekursoremsemantykiświatówmożliwychbyłRudolfCarnap,ale
wjegokoncepcjibrakowałokluczowychelementów,którepojawiłysię
uKripkego[2].WewspomnianymartykuleAcompletenesstheorem
inmodallogicKripkedowodziteoriomodelowejzupełnościdla
systemuS5zkwantyfikatoramiiidentycznością.WTheundecidability
ofmonadicmodalquantificationtheory(1962)dowodzizaś
nierozstrzygalnościkwantyfikowanejlogikimodalnejzdwoma
predykatamimonadycznymi.ZkoleiwartykuleSemanticalanalysis
ofmodallogicI(1963)zajmujesięsystemaminormalnymioraz
dowodzizupełnościirozstrzygalnościsystemówT,S4,S5oraz
B(Brouwera)[3].WSemanticalanalysisofmodallogicII(1965)
rozszerzateorięmodalnąna„nienormalne”logikimodalne,takiejak
S2iS3Lewisa[4].DalejwartykułachTransfiniterecursions
onadmissibleordinalsiAdmissibleordinalsandtheanalytichierarchy
Kripketworzyteorięindukcjipozaskończonejnaosiągalnychliczbach
porządkowych.
Wroku1971ukazujesiępierwszynietechnicznyartykułKripkego
Identycznośćikonieczność.Jakwiększośćjegotekstów,jesttozapis
wykładu,któryKripkewygłaszałustnie,beztekstupisanego.Należał
ondoseriiwykładówoidentycznościnaNewYorkUniversity,które
złożyłysiępotemnatomIdentityandIndividuationpodredakcją
MiltonaK.Munitza.Wstyczniu1970rokuKripkewygłosiłtrzy
wykładynaPrincetonUniversity,którestałysiępodstawątekstupod
tytułemNazywanieakonieczność,opublikowanegowpierwwtomie
SemanticsofNaturalLanguage,apotemjakosamodzielnaksiążka
(1980).
2.Nazywanieakonieczność
BohdanChwedeńczuk,któryprzełożyłNazywanieakonieczność
najęzykpolski,taknapisałotymdziele:
Niewielejesttakichksiążekwliteraturzefilozoficznej.Książektak
