Philosophy - paradoxes
Paradoxes come from self-reference, negation, excluded middle
Many want excluded middle for FOL
Generally, cannot use FOL - must use constructive approach.
FOL folks exist within logical firewalls
OWL uses owl:Class
Tim Berners-Lee
41 of 52