Re: What are the values of 2-valued logic?



On 4 Jun 2006 07:55:20 -0700, "Owen" <owenholden@xxxxxxxxxx> wrote:

If we assume that the values of 2-valued logic are: factual truth and
factual falsity, then, we have a problem wrt tautology and
contradiction, because neither factual truth nor factual falsity is
tautologous or contradictory.

Why is this a problem? Nobody every said that truth and
validity (tautogousness) were supposed to be the same.
They're not.

If we assume that the values of 2-valued logic are: tautology and
contradiction, then we have a problem wrt factual truth and factual
falsity, because neither tautology nor contradiction are factual.

Is the 2-valued logic limited to mathematical contexts only??

~p <-> [p <-> (q & ~q)]
p <-> [p <-> (q v ~q)]


************************

David C. Ullrich
.



Relevant Pages

  • What are the values of 2-valued logic?
    ... contradiction, because neither factual truth nor factual falsity is ... If we assume that the values of 2-valued logic are: tautology and ...
    (sci.logic)
  • Re: Can ZFC prove Addition is Associative?
    ... cannot be derived from the axiom system: ... tautology in propositional logic). ... "F" =df a contradiction ... an the negation of a contingent formula is ...
    (sci.logic)
  • Re: Epistemology 201: The Science of Science
    ... and not P in nature. ... >is a tautology, given that Joe was ever alive. ... of inconsistency but "Joe" and "Jane" are also inconsistent without ... >> is evident in existential nature but not material self contradiction. ...
    (sci.cognitive)
  • Re: Epistemology 201: The Science of Science
    ... and not P in nature. ... >is a tautology, given that Joe was ever alive. ... of inconsistency but "Joe" and "Jane" are also inconsistent without ... >> is evident in existential nature but not material self contradiction. ...
    (sci.physics)
  • Re: Epistemology 201: The Science of Science
    ... and not P in nature. ... >is a tautology, given that Joe was ever alive. ... of inconsistency but "Joe" and "Jane" are also inconsistent without ... >> is evident in existential nature but not material self contradiction. ...
    (sci.math)