Modaalloogika maailmade vaheliste läbipääsude hüpoteetilisus
Karmo Talts
Vaatame modaalloogika maailmade vahelisi läbipääse. Maailmade vaheline läbipääs on mingit laadi suhe maailma, kus on tõesed ühed ja maailma, kus pole tõesed päris samad väited, vahel. Seda suhet eeldatakse ekstraloogilistel kaalutlustel. Sisuliselt on tegemist hüpoteesiga, et kui esimese maailma väited on tõesed, siis teise maailma väited võivad tõeseks saada või võisid olla tõesed enne, kui esimese maailma väited tõeseks said.
Vaatame nüüd selliste hüpoteside kinnitamist. Ainus, mis tegelikult kinnitab maailmade vahelist läbipääsu olemasolu, on see, kui esimese maailma väited olid tõesed ja teise maailma väited said millalgi hiljem tõeseks või kui teise maailma väited olid tõesed, siis esimese maailma väited said millalgi hiljem tõeseks.
Vaatame nüüd selliste hüpoteeside kummutamist. Neid ei kummuta otseselt mitte miski.
Kommentaare ei ole:
Postita kommentaar