Re: "Friendly Premises"

Acme Diagnostics wrote:
> "George Dance" <georgedance04@xxxxxxxx> wrote:
> >Torkel Franzen wrote:
> >> "George Dance" <georgedance04@xxxxxxxx> writes:
> >>
> >>> However, the equivalence follows no matter how one quantifies: if some
> >>> but not all Fs were Gs and vice versa, "There are no Fs" and "There are
> >>> no Gs" would still have the same truth value.
> >>
> >> So we can take "the concepts of 'self-proving procedure' and 'proof'
> >> refer to the same things" to mean "all self-proving procedures are
> >> proofs and all proofs are self-proving procedures". Can we similarly
> >> eliminate the word "concept" from the statement "There is no concept
> >> of 'self-proving procedure' in logic"?
> >
> >Sounds reasonable. Which I tentatively suggest would yield:
> >"There are no self-proving procedures in logic."
>
> If it was just an oversight, I'd prefer the term to be quoted to
> make it a better approximation of the original. But please ignore
> me if you have a reason not to quote it.
>
> Just for the record, I would not call a quoted version incorrect.
> I needed "concept" for that.
> Larry

I can't see any reason not to quote the actual statements in question.
Here they are: (Torkel even, you odd):

<quote>
>>> For this I submit that Frege and Russel developed predicate logic
>>> with significant departures from classical logic
[snip]
>>> Four significant departures:
[snip]
>>> 4. Support self-proving procedures, and perhaps recursive proofs though I'm not that far along yet.

>> There is no concept of "self-proving procedure" or "recursive
>>proof" in logic.

> That statement is incorrect.
</q>

.

Relevant Pages

  • Re: Phil Innes Bizarre Thought Processes
    ... reason that would tempt Kingston from his northern ... Here is the actual 3/17/2002 quote of Taylor Kingston ... Where is there anything to indicate that Taylor Kingston ... Phil Innes himself) contains no such statement. ...
    (rec.games.chess.misc)
  • Re: Phil Innes Bizarre Thought Processes
    ... reason that would tempt Kingston from his northern ... Here is the actual 3/17/2002 quote of Taylor Kingston ... Where is there anything to indicate that Taylor Kingston ... Phil Innes himself) contains no such statement. ...
    (rec.games.chess.politics)
  • Re: Democrats little bird on Meet the Press
    ... for any other reason. ... Talking about high school bring us to the latest quote of the ...
    (soc.retirement)
  • Re: Short 8.3 file names on restore from NTBackup
    ... Reason: The parameter is incorrect. ... (there is nothing that keeps short names the same in windows - windows will ...
    (microsoft.public.windowsxp.security_admin)
  • Re: Corollaries of the Monotone Convergence Theorem (I)
    ... to get critical feedback ... All you did was quote some definitions and then ... about the reason for all this. ... >>Should we all post lists of all the theorems we ...
    (sci.math)