Re: "Friendly Premises"

"George Dance" <georgedance04@xxxxxxxx> writes:

> Surely not. 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 asserting (as you did) "There is no concept of
> 'self-proving procedure' in logic" is equivalent to asserting "There is
> no concept of 'proof' in logic."

No, I think you're really eagerly affirming that there is no such
thing as proof in logic.

.

Relevant Pages

  • Re: 8 Bit Baby now available in the USA!
    ... correct US English term for what you refer to as "condensators". ... Best of luck, ... Thank you for pointing this out. ...
    (comp.sys.apple2)
  • Re: "Friendly Premises"
    ... >> I am pointing out that, if Mr. Shobe is correct that the ... Prev by Date: ...
    (sci.logic)
  • Re: Looks like Ann Coulter will be prosecuted for election fraud
    ... A rather lame avoidance of the fact that I am right in pointing out that ... Bill Longyard ... "He could refer the case to State Attorney Barry Krischer for criminal ...
    (rec.music.artists.springsteen)
  • Re: "Friendly Premises"
    ... I am pointing out that, if Mr. Shobe is correct that the ... I think you're really eagerly affirming that there is no such ... Prev by Date: ...
    (sci.logic)
  • Re: "Friendly Premises"
    ... >>> I am pointing out that, if Mr. Shobe is correct that the ... > are proofs and all proofs are self-proving procedures"? ... It looks to me like Mr. Shobe was saying "all"; ... Prev by Date: ...
    (sci.logic)
Loading