Return to Article Details The “ontological square” and modern type theories Download Download PDF