The logical positivist research program can be characterized as an attempt to marry possible worlds ...