Message from discussion
"Friendly Premises"
Path: g2news1.google.com!news3.google.com!news.glorb.com!nx02.iad01.newshosting.com!newshosting.com!novia!novia!sequencer.newscene.com!not-for-mail
From: "Acme Diagnostics" <LFinezapt...@partpostmark.net>
Newsgroups: sci.logic
Subject: Re: "Friendly Premises"
Date: 9 Aug 2005 13:20:03 -0500
Organization: Newscene Usenet News Service, http://www.newscene.com/
Lines: 48
Message-ID: <42f8f376$0$91687$bb4e3ad8@newscene.com>
References: <42f83fad$0$91691$bb4e3ad8@newscene.com>
X-Newsreader: Microsoft Outlook Express 6.00.2800.1158
"Acme Diagnostics" <LFinezapt...@partpostmark.net> wrote:
>Chris Menzel <cmen...@remove-this.tamu.edu> wrote:
>
>>conventional meaning in the context of legal wills. None of the URLs
>>returned (even including the broader, less relevant hits) had anything
>>to do with logic, mathematical or otherwise. This would suggest that it
>>is not used by any community having anything to do with logic at all.
>
>"self-proved" -legal -law
>"self-proven" -legal -law
<snip>
>
>Go back and repeat them all in google groups. <g>
I just pumped "self-proving" into google groups
and just from reading the listing snippets estimate
that at least half the threads use "self-proving" in
the same sense as I used it, "broadly construed."
These are thread counts, not message counts.
"self-proving" [255 threads]
These googles target the logic/math context
specifically:
"self-proving" logic [92 threads]
"self-proving" math [38 threads]
"self-proving" logic math [20 threads]
Obviously more threads would be found using "prove" or
"proof" or "proven" or "proved" or "mathematics."
I suggest that there are sufficient samples there
for anyone to learn the concept of "self-proving"
easily.
Also, judging by the responses to first uses, it appears
that posters in general do not suffer confusion on
encountering the phrase "self-proving" in many contexts,
and specificly wrt logic or math.
Why a few specific posters here have that problem is
still a phenomenon remaining to be explained, IMO.
Larry
|
