Coursera Flash Sale
40% Off Coursera Plus for 3 Months!
Grab it
Explore a philosophical seminar examining the construction of possible worlds and their relationship to temporal logic and modal reasoning. Delve into the theoretical foundations of how possible worlds should be understood, moving beyond the traditional view of them as complete histories of everything to a more nuanced framework. Learn about the challenges that arise when evaluating temporal sentences at possible worlds, particularly how this fails to fix truth-values for statements that change over time. Discover an alternative approach that treats world states as maximal possible ways for things to be at specific instants, with task relations encoding possible transitions between these states. Examine how possible worlds can be redefined as functions from times to world states, constrained by task relations, which eliminates unnecessary degrees of freedom from model definitions. Understand how this framework validates perpetuity principles in tense and modal logic, where what is necessarily the case remains always the case, providing a robust logical foundation for reasoning about future contingency and temporal modality.
