Ontology:Q29,49: Difference between revisions
copy or update fake Item from Q22,23 |
m label |
||
| (2 intermediate revisions by the same user not shown) | |||
| Line 1: | Line 1: | ||
{{ | {{ArticleTitle|[S2] No True or False answer to propositions - MX / S2 / Q29,49|NoContents=y}} | ||
<onlyinclude> | <includeonly><onlyinclude>{{HueEntity| I = S2/MX |Q = 29,49 | PPPA = No proposition has a binary True or False answer | ident = E:NonBinaryLogicProposition }}{{WaveScore|sum=1|quilt=1|ply=1|enddfn=1}}{{#switch: {{{C|}}} | L = <span></span> | Q = [[C:Non-binary truth values ontology]] }}</onlyinclude></includeonly>{{HueNumberPreview|E=Q29,49}}<!-- | ||
</ | change summary template: copy or update fake Item from [[Special:PermanentLink/NNNN|Q29,49]] --> | ||
== Core characteristics == | == Core characteristics == | ||
| Line 7: | Line 7: | ||
<dl class="wikitable hue"> | <dl class="wikitable hue"> | ||
{{HueClaim |P=item type| {{Template:S2}} }} | {{HueClaim |P=item type| {{Template:S2}} }} | ||
{{HueRoster|EP=PPPA/L|lang=en| {{E: | {{HueRoster|EP=PPPA/L|lang=en| {{E:Q29,49}} | [[E:NonBinaryLogicProposition]] }} | ||
{{HueClaim |EP=PPPA|lang=en| 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 }} | {{HueClaim |EP=PPPA|lang=en| 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 }} | ||
{{HueRoster|EP=P42| -- }} <!-- en: QID references --> | {{HueRoster|EP=P42| -- }} <!-- en: QID references --> | ||
{{HueRoster|EP=P34| {{E:Q618/MX|non-binary logic}} }} <!-- en: color swatch references --> | {{HueRoster|EP=P34| {{E:Q618/MX|non-binary logic}} }} <!-- en: color swatch references --> | ||
| Line 14: | Line 14: | ||
{{HueRoster|EP=P4| -- }} <!-- en: case of --> | {{HueRoster|EP=P4| -- }} <!-- en: case of --> | ||
{{HueRoster|EP=P5| -- }} <!-- en: super-case of --> | {{HueRoster|EP=P5| -- }} <!-- en: super-case of --> | ||
{{HueRoster|EP=P35/TS| | {{HueRoster|EP=P35/TS| {{E:Q530/UU|C=Q}} }} <!-- en: subject or topic non-binary truth value --> | ||
{{HueRoster|P=[[User:Reversedragon/FirstNineThousand|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 }} | {{HueRoster|P=[[User:Reversedragon/FirstNineThousand|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 }} | ||
</dl> | </dl> | ||
| Line 33: | Line 33: | ||
<dl class="wikitable hue data_wavebuild three"> | <dl class="wikitable hue data_wavebuild three"> | ||
{{WaveBuildNone| -- | -- | -- }} <!-- en: | {{WaveBuildNone| -- | -- | -- }} <!-- en: Along With, Produces ?? ?? --> | ||
</dl> | </dl> | ||
== Usage notes == | == Usage notes == | ||
Latest revision as of 02:18, 28 September 2025
- pronounced MX; S2:No proposition has a binary True or False answer 1-1-1
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
- --
- 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
Components[edit]
- model combines claims
- --
Use in thesis portals[edit]
- appears in work [Item]
- --
Wavebuilder combinations[edit]
- pronounced P: pronounced Wave-builder: forms result [Item]
- --
- along with [Item]
- --