Ontology:Q29,49: Difference between revisions
m Reversedragon moved page Ontology:Q2949 to Ontology:Q29,49: Moving numbered Item to TTS-pronounceable title |
m formatting |
||
| (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|sum=1|quilt=1|ply=1 <!-- three braces: changeable arguments --> | ||
</ | |swatch={{{class|field_mdem}}}|class=manual flag|lang={{{lang|en}}}|PPPA2={{{1|}}}|sense={{{2|}}}|ins={{{3|}}}|area={{{area|}}}|field={{{field|}}}|area-free={{{area-free|}}} | ||
| PPPA = {{label|{{{lang|}}} | |||
| en = No proposition has a binary True or False answer }} | |||
|numbersign = 404 |enddfn=1}}{{#switch: {{{C|}}} | L = [[C:meta-Marxist terms]] | Q = [[C:meta-Marxism ontology]] }}</onlyinclude></includeonly>{{ArticleTitle|meta-Marxism - MX / Z1 / Q92|NoContents=y}}{{HueNumberPreview|E=Q29,49}}<!-- | |||
duplication hint: copy or update fake Item from [[Special:PermanentLink/NNNN|Q29,49]] --> | |||
== Core characteristics == | == Core characteristics == | ||
| Line 7: | Line 11: | ||
<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 18: | ||
{{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 37: | ||
<dl class="wikitable hue data_wavebuild three"> | <dl class="wikitable hue data_wavebuild three"> | ||
{{WaveBuildNone| -- | -- | -- }} <!-- en: | {{WaveBuildNone| {{E:Q29,49}} | -- | -- }} <!-- en: Along With, Produces ?? ?? --> | ||
</dl> | |||
=== Wavebuilder characterizations === | |||
<dl class="wikitable hue data_wavebuild three"> | |||
{{WaveRoute| -- | -- | {{E:Q29,49}} }} <!-- en: Along With, Produces ?? ?? --> | |||
</dl> | </dl> | ||
== Usage notes == | == Usage notes == | ||
Latest revision as of 06:28, 9 March 2026
Core characteristics[edit]
- 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
- references [Item]1
-1-1 - --
- field, scope, or group [Item]
- non-binary logic ( / MX)1
-1-1 - sub-case of [Item]
- --
- case of [Item]
- --
- super-case of [Item]
- --
- topic or subject [Item] (TS)
- 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]
- : forms result [Item]
- --
Wavebuilder characterizations[edit]
- : route [Item]