We say that an n-argument predicate $P\subset \Omega ^{n}$ is finite, if P is a finite set. Note that the set of individuals Ω is infinite! Finite predicates are ...

Today, we are surrounded by digital electronics. Devices that work with analog electronics are very rare. Computers, telephones, cameras, CD players, printers, radios, and TVs all operate with digital ...

I fear the topic of this column is poised to unleash a tsunami of controversy. My engineering accomplice Joe Farr says that this is one of those topics that, when presented to 10 different engineers, ...

The problematic features of Quine's 'set' theories NF and ML are a result of his replacing the higher-order predicate logic of type theory by a first-order logic of membership, and can be resolved by ...