Tag: PWS

  • Modallogik og mulige verdener – en måske besværlig sammensætning

    I modallogik findes mange systemer, et af dem kaldes S5 og har den egenskab at: S5: 00…□ = □ and 00…◊ = ◊, where each 0 is either □ or ◊ og et andet kaldes B (B) A→□◊A Altså, enhver række af symbolerne □ og ◊ er ensbetydende med det sidste symbol. I.e. hvis p…

  • A Possible problem with Possible Worlds Semantics

    Jeg diskuterede med en person på et tidspunkt som mente, at alle sandheder var tidsløse. Jeg gav ham så et eksempel på det modsatte. Hans svar var fejlagtigt, men stadig interessant. Mit eksempel var sandheden “Jorden er ca. rund”. Det er sandt nu fordi at Jorden faktisk er rund, men det har ikke altid været…