statusInLogic
P16106
predicate
Indicates the logical status or role an entity holds within a formal reasoning or inference context.
Aliases (2)
- logicalStatus ×3
- consistencyStatus ×1
Sample triples (5)
| Subject | Object |
|---|---|
| Yablo's paradox | generates contradiction under classical assumptions about truth via predicate surface "logicalStatus" → |
| Zermelo–Fraenkel set theory | not known to be provably consistent within itself via predicate surface "consistencyStatus" → |
| identity of indiscernibles | second-order principle via predicate surface "logicalStatus" → |
| liar paradox | central test case for theories of truth and meaning → |
| von Neumann paradox in set theory | consistent with Zermelo–Fraenkel set theory plus the axiom of choice (ZFC) via predicate surface "logicalStatus" → |