We intuitionistic logicians are agnostic about the truth of the statement "for all Propositions P, either P or (not P)". From this, it shouldn't be hard to accept the negation of "gender_binary := for all Persons p, male(p) or female(p)", and since the number of people on this planet is finite, and since you can ask each of them (in finite time) whether there have a binary gender, it should just follow (constructively!) that there are non-binary people. Alternatively, I could just show them a non-binary college (e.g. me?); I suppose there are even many non-binary logicians.

#logic #NonBinary #IntuitionisticLogic #ExcludedMiddle #gender