Re: "Friendly Premises"

"Acme Diagnostics" <LFinezapthis@xxxxxxxxxxxxxxxx> writes:

> ram@xxxxxxxxxxxx wrote:
>>Acme Diagnostics <LFinezapthis@xxxxxxxxxxxxxxxx> wrote:
>>>
>>> Torkel Franzen <torkel@xxxxxxxxxx> wrote:
>>[...]
>>> p.s. Hope I didn't overdo it! Hehe. Me? Never!
>>
>>Was that the "flame" you were considering?
>
> Some inside humor.
>
> But I do seem to have flamed the bad faith arguers
> out of this discussion. So I'm reasonably hopeful that we
> won't be arguing self-evident things like "What is a self-proving
> procedure?" or "Is logic math?" or "Are axioms-theorems-proofs
> for math or RW reasoning?" All that was false agenda pushing
> nonsense.

As far as I know, we still don't know what a "self-proving procedure"
is. (It's not self-evident!)

Jesse

--
Jesse Alama (alama@xxxxxxxxxxxx)
.