Re: Simple yet Profound Metatheorem

Charlie-Boo says...
>
>Torkel Franzen wrote:

>> There are no truth tables for intuitionistic propositional logic.
>
>That has no relevance.

If you are interested in intuitionistic propositional logic,
then it is certainly relevant. If you are *not* interested
in intuitionistic propositional logic, then what is the
point of your claim that every wff that is provable
in intuitionistic logic is also provable using truth tables?

--
Daryl McCullough
Ithaca, NY

.

Relevant Pages

  • Re: Simple yet Profound Metatheorem
    ... Daryl McCullough wrote: ... >>> There are no truth tables for intuitionistic propositional logic. ... >>That has no relevance. ... > point of your claim that every wff that is provable ...
    (sci.logic)
  • Re: Torchwood S2E4 - Adam Review with a bit of spoilers
    ... Socrates taught his students that the pursuit of truth can only begin once ... they start to question and analyze every belief that they ever held dear. ... Please explain its relevance. ... We were on about pre-flood diets. ...
    (rec.arts.drwho)
  • Re: Torchwood S2E4 - Adam Review with a bit of spoilers
    ... Socrates taught his students that the pursuit of truth can only begin once ... they start to question and analyze every belief that they ever held dear. ... Please explain its relevance. ...
    (rec.arts.drwho)
  • Re: Liars Paradox
    ... On 2008-04-03, in sci.logic, Marshall wrote: ... The relevance, I take it, is this: the problems concerning 'truth' do ... not stem from the "ambiguous, nondeterministic, context-sensitive ...
    (sci.logic)
  • Re: Recursivity vs. Provability
    ... Charlie-Boo wrote: ... > But there are properties of truth that hold for all models, ... Not all of these are the case in some multi-valued formal logics, ... Prev by Date: ...
    (sci.logic)