Tüübi ja eksemplaari eristus ja fiktsionaalsed objektid

Tüübi ja eksemplaari eristus ja fiktsionaalsed objektid

Karmo Tats 

 

Vaatame Pegasust tüübi ja eksemplaari eristuse seisukohast. Kuigi Pegasusi on null eksemplaari, on Pegasuse tüüp tüüp, mis kuulub tiivuliste hobuste tüüpide hulka.

Vaatame nüüd selle lahenduse probleeme. Me räägime Pegasusest nendes kontekstides, kus me ütleme, et Pegasus on tiivuline hobune, kui ühest konkreetsest tiivulisest hobusest.

Vaatame nüüd ühte võimalikku lahendust sellele probleemile. Tüüp, mis kuulub X-ide tüüpide alla, võib olla konkreetse X-i tüüp. Kui sellel tüübil pole eksemplaare, siis pole olemas seda konkreetset X-i. Nii pole siis, kui pole olemas Pegasust, olemas sellist tiivulist hobust, keda müüdid kirjeldavad. 

Väidete tüüp, mingit tüüpi väite esinemisjuhud, diagonaliseerimine ja loogikaseadused

Väidete tüüp, mingit tüüpi väite esinemisjuhud, diagonaliseerimine ja loogikaseadused

Karmo Talts

 

Sõnastame diagonaliseerimise lemma nii: mistahes predikaadi P korral leidub väite tüüp "väited tüüpi x on ekvivalentsed väitel tüüpi x on predikaat P-ga". See, et leidub väite tüüp ei tähenda tingimata seda, et leidub seda tüüpi väidete esinemisjuhte.

Vaatame nüüd loogikaseadusi lähudes vaatest, et juhul, kui leidub mingit tüüpi väite esinemisjuht, siis saab väitemuutuja asendada seda tüüpi väite esinemisjuhuga. Kui leidub väite tüüpi x esinemisjuht, siis ei väite tüüpi x esinemisjuht olla korraga tõene ja väär. Kui leidub väite tüüpi x esinemisjuht, siis on väite tüüpi x esinemisjuht tõene või väär.