"Require that every lightbulb have/has"

Solution 1:

It has to be have there: one requires that something else have something. That makes your sentence:

Many people require that every lightbulb within a house have a switch.

To say has sounds ungrammatical to my North American ear:

Many people require that every lightbulb within a house *has a switch.

I mean, gee, if you’re going to go to all the trouble to use require that, one would hope that you would bother to get the grammar right. It is like fingernails on a chalkboard, or subject–verb disagreement.

Another possibility is to use some demanding modal, like shall or should or must, but that sounds like legalese. It would be more natural to write:

Many people require every lightbulb in a house to have a switch.

Notice I also reduced within to in. No reason to use within there.

Solution 2:

The infinitive form is have not has.

The structure of your sentence is of the form:

{propositional part of the predicate}{argument of predicate about the state being proposed}.

The sentence structure allows you a choice of either describing the state with an infinitive phrase, or with an existential phrase.

  • {proposition}{infinitive state}.
  • {proposition}{existential state}.

IOW,

  • {proposition}{universal argument}.
  • {proposition}{existential argument}.

Or, let me propose the polymorphic function,

  • UniversalProposition predicate(Universal arg)
  • ExistentialProposition predicate(Existential arg)

The use of to as an entry-point into the state restricts you to describe the state as an infinitive.

  • State law requires her to {have auto-insurance} to drive.
  • State law requires her to {have auto-insurance} before driving.

Implied/dropped to.

  • State law requires her {have auto-insurance} before driving.
  • She lets her children {eat non-kosher food}.

The propositional verb is requires, which is subjected to plurality rules. The infinitive argument is not subjected to plurality rules.

You could choose to describe the state as an existential state:

  • State law requires that every driver {is covered by auto-insurance}.
  • State law required that every driver {was covered by auto-insurance}.
  • State law requires that all drivers {are covered by auto-insurance}.
  • School regulation requires that a student {eats breakfast before lunch}.
  • School regulation requires that every student {eats breakfast before lunch}.

Or as an infinitive:

  • State laws require that every driver {have auto-insurance}.
  • State laws require that a driver {have auto-insurance}.
  • State laws required that a driver {have auto-insurance}.
  • School regulation requires that every student {eat breakfast} before having lunch.
  • School regulation requires that a student {eat breakfast} before having lunch.

Which form of argument to use

Therefore, it appears as our choice to either

  • make a statement specific to the existential case
  • or attempt a grandiose declaration of infinite and/or universal truth

Therefore, if one is to speak logically, the structure of their sentences should flow syllogistically,

  • Universal declaration: School regulation accepts that students are precious and therefore requires that a student {eat breakfast} before having lunch.
  • Specific existence: School regulation accepts that their students are precious and therefore requires that a student {eats breakfast} before having lunch.

However, this is also logical: Universal predicate, existential instance argument.

School regulation accepts that students are precious and therefore requires that a student {eats breakfast} before having lunch.

But the following is not syllogistically fluent: Instance predicate, universal argument.

School regulation accepts that their students are precious and therefore requires that a student {eat breakfast} before having lunch.

You see, an instance consumer can partake of a universal resource. OTOH, a universal consumer cannot normally partake of an instance resource. Look at the following and see which is logical and which is ironic:

  • I live in my house by the ocean in Maine every day (universal), and therefore I could visit the beach by that house every Tuesday (instance).
  • I drive to my house by the ocean in Maine from Vermont every Tuesday (instance), and therefore I could visit the beach of that house every day (universal).