Professional Documents
Culture Documents
Kripke Kaplan
Kripke Kaplan
Nasıl bilinebilir?
Diğer sorun:
A priori—analitik—zorunlu
Deneyden bağımsız bilinmesi olanaklı!
Olanaklı ama kimin için? Bu gözardı edilirse
zorunluluğa dönüşüyor. (A priori olup deneyden
bilinebilir. Hesap makinesi ile asal sayı tespiti.)
1- Gödel-Schmitt örneği.