Propozycjonalizm (Stalnaker)

Robert Stalnaker identyfikuje światy możliwe z propozycjami — lub raczej z własnościami pojmowanymi jako funkcje ze światów na wartości prawdziwościowe¹.

Świat możliwy to sposób, w jaki świat mógłby być — opisany przez maksymalną spójną propozycję. To ujęcie jest bardziej oszczędne ontologicznie, lecz musi wyjaśnić, czym są propozycje i własności niezależnie od światów — co grozi cyrkularnością.