  We introduce and axiomatize the notion of a reflective cardinal, use it to
give semantics to higher order set theory, and explore connections between the
notion of reflective cardinals and large cardinal axioms.
