[SCL] [CL] Re: zzz standard ...

[pat hayes]

>o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
>
>bill,
>
>it may be worthwhile to make another try at clearing up
>where i stand with respect to the issues you raise here.
>
>Bill Andersen wrote:
>>
>>  CC to Pat since he kicked this off and I'm categorically
>>  opposed to addressing it in the SCL group.
>>
>>  > what sort of business will this "common logic" be?
>>  > will it be common?  will it be logic?  or will it
>>  > be yet another log.com that is neither common nor
>>  > logic, but just another special interest bloc on
>>  > the road of inquiry?
>>
>>  Actually, some of the latter.  I have a company.  I am interested 
>>in scientific inquiry.
>>  In my case, the two are intimately related but not equal.  That 
>>said, my interests in CL
>>  are 95% commercial.  A logic with some of CLs properties is needed 
>>as a viable alternative
>>  to DL.  If not CL then something like it.  I'd prefer to have some 
>>standard behind the logic
>>  I want.  So I back CL.
>>
>>  BTW, Jon ... You know me to be an opponent of your "approach" to 
>>participation
>>  in lists such as this.  You allude to some kind of greater 
>>academic purpose for
>>  CL in what you say above.  I don't think that anyone in this group 
>>(perhaps with
>>  you as an exception) considers it to be anything but a pragmatic 
>>measure to create
>>  the DL alternative I mention above.
>
>i kind of wish that i had never run into this standards business,
>a wish no doubt shared by others, but now that i have i am stuck
>with fullfilling my public and my professional responsibilities.
>a whole lot of public monies went into paying for my education,
>and i am committed to seeing that society get a due return on
>its investment.  i have noticed a "least action" tendency in
>some of the academic and industrial constituencies of these
>standards bodies to keep pushing the bar of the prospective
>standard beneath the level of the products and practices
>that they are already too comfortable getting by with.
>i will try to push the bar a little higher than that.
>
>i have dedicated a lifetime to developing practical usable logical systems.
>i know a little about what that means.  i began studying logic in a serious
>way more than thirty years ago, starting with courses that i took from both
>math and philosophy departments.  in math courses we learned logic as way of
>getting math work done.  in philosophy courses, due to a prevailing devotion
>to the logicist tradition, which is only a spin-off of nominalist traditions,
>the logic that they taught turned out to be pretty much useless for any brand
>of practical or scientific purpose.  in the process of analyzing 
>these defects,
>one can arrive at a number of general recommendations about how to 
>do it better
>in the next century than we did in the last.  after being on the 
>s/cl lists only
>a few days, i am hearing all the same old boondoggles that i had 
>been so naive as
>to hope that i might never have to hear again.

Feel free to leave, jon.  I promise that we will not pursue you if 
you would rather do something else.  It may well be that you are 
embarked on a much more ambitious project with a different goal form 
the one that the SCL effort is trying to achieve.

>  i know that other fronts of applied
>research in logic have already moved on, and so i find myself 
>obliged to keep trying
>to inform these two groups how and where and why.

Please do not feel under any obligation to inform us about anything. 
We have many sources of information from various communities.

Pat Hayes

>jon awbrey
>
>o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
>http://www.cs.bsu.edu/homepages/mighty/history.html
>o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
>
>_______________________________________________
>CL mailing list
>CL at philebus.tamu.edu
>http://philebus.tamu.edu/mailman/listinfo/cl


-- 
---------------------------------------------------------------------
IHMC	(850)434 8903 or (650)494 3973   home
40 South Alcaniz St.	(850)202 4416   office
Pensacola			(850)202 4440   fax
FL 32501			(850)291 0667    cell
phayes at ihmc.us       http://www.ihmc.us/users/phayes