Ontology:Q29,49

Core characteristics[edit]

item type: S2 (pronounced Category) 1-1-1
pronounced P: label [string] (L): pronounced MX; S2:No proposition has a binary True or False answer 1-1-1; E:NonBinaryLogicProposition
pronounced P: alias (en) [string]: No proposition has a binary truth value; No proposition has a binary True or False value; Propositions generally should not have a binary True or False value; The way to fix logic is to replace binary outcomes with sheer tests of consistency; Any decision to represent the truth value of a proposition as neatly true or neatly false is a subjective choice to discard information
QID references [Item] 1-1-1: --
field, scope, or group [Item]: non-binary logic (proposed; MX) 1-1-1
sub-case of [Item]: --
case of [Item]: --
super-case of [Item]: --
topic or subject [Item] (TS): pronounced S0: non-binary truth value (logic) (UU) 1-1-1
prototype notes: you don't fully break out of the Gödel trap this way because practically nothing ever could do that anyway. that part is not what matters. ideally the point of logic isn't to derive facts about reality in a vacuum but instead to perform a basic sanity test of whether statements you already have could possibly be correct or are almost definitely wrong. arguably, that is the thing that logic actually excels at even as it is inappropriate for many other things