Gottlob Frege invented modern truth-functional logic, almost out of whole cloth.

His politics were abhorrent, but computing could not have been based on the four forms of the syllogism.

Take care,
brad