Inapplicable

Not every abstract notion is applicable. Much less applicable to itself.

The Russell's paradox should be resolved with 'inapplicable' type error. A category tag is inapplicable to itself.

Same goes for probabilistic inference - it is inapplicable for partially observable phenomena. It should be a type error.

Comments

No comments.