The Inconsistent Belief Space

: list-asserted-wffs

all(X)(FLIES(X) => FEATHERED(X))

all(X)((~FLIES(X)) => SWIMS(X))

FLIES(OPUS)

~FLIES(OPUS)

FEATHERED(OPUS)

SWIMS(OPUS)

but the earth isn’t flat.

Previous slide

Next slide

Back to first slide

View graphic version