The new propositionalism