Aprioorsus
Kanti kriitika mõjul lahutati seos aprioorse ning analüütilise vahel:
Jääb kehtima: p on analüütiline p on aprioorne
Ei kehti: p on aprioorne p on analüütiline (sest p võib olla
sünteetiline)
Seeläbi katkes ka seos analüütilise ja paratamatu vahel
Ei kehti: p on paratamatu p on analüütiline (sest p võib olla
sünteetiline)
Jääb kehtima: p on analüütiline p on paratamatu
Saul Kripke
Saul Kripke on arendanud osutuseteooriat, mille
tulemusel lahkneb aprioorsus ja paratamatus.
On võimalikud aposterioorselt paratamatud ja
aprioorselt kontingentsed tõed.
Vaatleme seost:
p on paratamatu p on aprioorne
Ei kehti: p on paratamatu p on aprioorne
Leidub paratamatuid tõdesid, mis on
aposterioorsed.
Saul Kripke