• DocumentCode
    3092375
  • Title

    Undecidability in the completion of truth-function logic

  • Author

    Wroblewski, Frank J.

  • fYear
    1991
  • fDate
    26-29 May 1991
  • Firstpage
    225
  • Lastpage
    229
  • Abstract
    The inchoate rules of truth of logicism are cohered into the epistemic genesis for mathematics. First the formal truth conditions are exhausted with the complementary indeterminate value, not true and not false. The alternant truth assignments of the determinate Sheffer truth-conferring rules are not exhaustive of the propositional states of affairs necessary for conferring the founding truths. By completing the states-of-affairs assignments, the quantizer axioms reduce to degenerate consequents of Sheffer´s rules in the manner of tautologies. The completion is prerequisite for deducing the indeterminate Sheffer truth-conferring rule which continues the bivalent truth tables to trivalence. Undecidability reduces to one of three degrees-of-truth whose alternants include the indeterminate
  • Keywords
    decidability; degrees-of-truth; trivalence; truth tables; truth-function logic; undecidability; Logic; Mathematics; Pain; Vocabulary;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Multiple-Valued Logic, 1991., Proceedings of the Twenty-First International Symposium on
  • Conference_Location
    Victoria, BC
  • Print_ISBN
    0-8186-2145-1
  • Type

    conf

  • DOI
    10.1109/ISMVL.1991.130734
  • Filename
    130734