Contingent statements

All birds can fly, except

Penguins, ostriches, dead birds, injured birds,

fictional birds, caged birds, …

Circumscription

It’s true, unless you know otherwise

Non-monotonic reasoning

It used to be true that all birds can fly, but not now

Previous slide

Next slide

Back to first slide

View graphic version