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