I searched but couldn't find an answer because I don't know the relevant grammatical terms, unfortunately. Sorry if it has already been answered.
I am wondering about the difference between the two forms "when/if + verb(ing)" and "when/if + one + verb(s)". Two examples would be:
Of the 256 forms of syllogisms, only 24 are valid, or, by another standard, even only 15 when additionally excluding those that commit the existential fallacy.
Of the 256 forms of syllogisms, only 24 are valid, or, by another standard, even only 15 when one additionally excludes those that commit the existential fallacy.
This technology is particularly widespread when entering data in online forms.
This technology is particularly widespread when one enters data in online forms.
Is there a difference in meaning between the two forms? And if not, which is more formal?
(If it matters: The use case would be statements about established issues in the context of a thesis (while also trying to avoid "you" or constructions with passive voice).)