Jump to content

Ontology:Q29,49: Difference between revisions

From Philosophical Research
copy or update fake Item from Q22,23
 
m data-ident / use HueEntity
 
(One intermediate revision by the same user not shown)
Line 1: Line 1:
{{HueCSS}}<ol class="hue clean compound"><li>
{{HueCSS}}<ol class="hue clean compound"><li value="2949"> <seo title="No True or False answer, to propositions - MX / S2 / Q29,49" />
<onlyinclude><dfn class="field_mdem manual" data-dimension="S2" data-qid="29,49" data-numbersign="404" data-field="" data-series="" data-work="" data-chapter="" data-tale="" data-object="" data-note="" data-lexeme="">{{IS2}}{{#if: {{{1|}}} | [[E:Q2949|{{{1}}}]] | [[E:Q2949|No proposition has a binary True or False answer]] }}{{WaveScore|sum=1|quilt=1|ply=1}}</dfn>{{#switch: {{{C|}}} | L = <span></span> | Q = [[C:Non-binary truth values ontology]] }}</onlyinclude> __NOTOC__
<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=y}}{{#switch: {{{C|}}} | L = <span></span> | Q = [[C:Non-binary truth values ontology]] }}</onlyinclude>
</li></ol><!-- change summary template:  copy or update fake Item from [[Special:PermanentLink/NNNN|Q2949]] -->
</li></ol><!-- change summary template:  copy or update fake Item from [[Special:PermanentLink/NNNN|Q29,49]] --> __NOTOC__


== Core characteristics ==
== Core characteristics ==

Latest revision as of 11:31, 21 July 2025

  1. pronounced [MX]No proposition has a binary True or False answer 1-1-1

Core characteristics[edit]

item type
S2 (pronounced C) 1-1-1
pronounced [P] label [string] (L)
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
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)
non-binary truth value
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 Wavebuilder: forms result [Item]
--
along with [Item]
--
forming from [Item]
--
--
--

Usage notes[edit]