Search Results for ""

Consider a library which compiles a bibliographic catalog of all (and only those) catalogs which do not list themselves. Then does the library's catalog list itself?

A conclusion is a statement arrived at by applying a set of logical rules known as syllogisms to a set of premises. The process of drawing conclusions from premises and ...

The formal term in propositional calculus for the connective implies.

The term used in propositional calculus for the NOR connective. The notation AvB is used for this connective.

Curry (1977, p. 5) uses the term pseudoparadox to describe an apparent paradox, such as the catalogue paradox, for which there is no underlying actual contradiction.

Even though real arithmetic is uncountable, it possesses a countable "model."

A paradox or contradiction.

The process of taking the complement of a set or truth function. In the latter case, complementation is equivalent to the NOT operation.

There are several versions of the Berry paradox, the original version of which was published by Bertrand Russell and attributed to Oxford University librarian Mr. G. Berry. ...

The set of all sets is its own power set. Therefore, the cardinal number of the set of all sets must be bigger than itself.