Re: Where is the paradox in liar?

This doesn't follow. What does follow is that every formal
logic in which you can represent "This sentence is false."
must have more than 2 truth values.

I will accept your correction. I will modify my statement: It is
wortwhile investigationg logics that allow the truth value
"meaningess." If you do not want to call "meaningless" a truth value
that's fine. Propose a term.

In mathematical logic, provability can be defined, but not
truth.

Your argument is circular. They arrived at this conclusion
investigating 2-valued logic.

.

Relevant Pages

  • Re: How much intelligence?
    ... operations needed for the processing of logical statements with truth values. ... self contradiction pure and simple. ... In standard Boolean logic, "A and not A" is identified as self contradictory ... probabilistic logics. ...
    (comp.ai.philosophy)
  • Re: Tautologies Then and Now
    ... >>those that are true simply in virtue of their truth functional ... term tautology is applied outside of propositional logic. ... since "tautology" is more common in other logics. ... 'But what are we to say about the logical truth of modal formulas, i.e., ...
    (sci.logic)
  • Re: PARADISE LOST: Debunking Cantors theory
    ... Assuming should be meaningless (on some ... it doesn't follow that t-relevant logics show that it is ... exist the sentence did not have a truth value because it could not be ... The presupposition is false ...
    (sci.logic)
  • Re: Recursivity vs. Provability
    ... * AS OPPOSED to saying that they were true). ... axioms are, so that S -> Th is valid, so that Th is true in All ... some other logics that people ... > general properties of truth are there, ...
    (sci.logic)
  • Re: THE THREE "LAWS OF THOUGHT"
    ... So, the truth ... Instead of thinking of DeMorgan conjugation in terms of only AND and OR, ... only by logics that can satisfy the DeMorgan laws. ... differentiates these logical connectives from all others. ...
    (sci.logic)