Re: "Friendly Premises"


Torkel Franzen wrote:
> "George Dance" <georgedance04@xxxxxxxx> writes:
>
> > Perhaps you could point it out?
>
> Consider it an exercise in intensional logic.

Aha. So let's remove the intensionality:

<unsnip>
> > I am pointing out that, if Mr. Shobe is correct that the
> > concepts of 'self-proving procedure' and 'proof' refer to the same
> > things, then "There is no concept of
> > 'self-proving procedure' in logic" is equivalent to "There is
> > no concept of 'proof' in logic."
</us>

.

Relevant Pages

  • Re: My little lodger
    ... > You will be getting your exercise then Noreen :-) ... A thing of beauty is a joy forever. ... Prev by Date: ...
    (uk.people.silversurfers)
  • Re: find question
    ... it was just an exercise to see what would ... i already have it working with a for each cell loop, ... Prev by Date: ...
    (microsoft.public.excel.programming)
  • Re: JOYCE HATTO canonization
    ... We can leave it as an exercise to the ... reader where this perverse need comes from. ... Prev by Date: ...
    (rec.music.classical.recordings)
  • Re: A qiuestion for the community
    ... exercise my franchise. ... JimA ... Prev by Date: ...
    (comp.databases.ms-access)
  • Re: Achtung Oberlehrer!
    ... Aha, ein Zwiebelfisch-Leser... ... Prev by Date: ...
    (de.soc.senioren)
Quantcast