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 ...
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 ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback