From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/8432 Path: news.gmane.org!not-for-mail From: Steve Vickers Newsgroups: gmane.science.mathematics.categories Subject: Re: Achieving "neither P nor not P" Date: Mon, 15 Dec 2014 10:03:11 +0000 Message-ID: References: Reply-To: Steve Vickers NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit X-Trace: ger.gmane.org 1418654087 19587 80.91.229.3 (15 Dec 2014 14:34:47 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Mon, 15 Dec 2014 14:34:47 +0000 (UTC) Cc: categories To: "Fred E.J. Linton" Original-X-From: majordomo@mlist.mta.ca Mon Dec 15 15:34:39 2014 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp3.mta.ca ([138.73.1.127]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1Y0WjO-0000M6-8N for gsmc-categories@m.gmane.org; Mon, 15 Dec 2014 15:34:38 +0100 Original-Received: from mlist.mta.ca ([138.73.1.63]:46298) by smtp3.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1Y0Wig-0001rN-Mp; Mon, 15 Dec 2014 10:33:54 -0400 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1Y0Wig-00059T-Fx for categories-list@mlist.mta.ca; Mon, 15 Dec 2014 10:33:54 -0400 In-Reply-To: Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:8432 Archived-At: Dear Fred, The Tetralemma principle is too simplistic. In reality, P may be interpreted in a variety of situations, with different analyses. Some good examples come from typos theory. Consider P as "changing y to o [is good]". In the context of the string "gyyd" it is good, for the string "definitely not" it is definitely not, while for "typos" it depends on further analysis. There is a typology induced on the strings by the amount of "further analysis" that is needed, and in boundary cases it can be infinite. For these we effectively have neither P nor ~P. Typos theory is very formal, but you can clearly see the same principle in your example, "change is good". It depends on the context. In some it evidently is good, in some it evidently is not, and in some (as with the remark attributed to Mao Tse Tung about the French revolution) it seems always to be too early to tell. Merry Christmas, Steve. On 13/12/2014 09:19, Fred E.J. Linton wrote: > Here's a thought that may seem a bit off-topic, having more to do, > at first glance, with "paradoxical" logic than with categories. > > Eleven years ago, for a conference in Bangalore [1], I was trying to > present natural-seeming examples of statements P each illustrating > another of the four distinct, mutually exclusive, jointly exhaustive, > and individually indispensable "logical possibilities" thought available > for P in the logic of the Hindu catuskoti, or Tetralemma principle: that, > given P, one have either P, or ~P, or both P and ~P, or neither P nor ~P. > > (Note that an Aristotelean would hold that already P and ~P are mutually > exclusive and jointly exhaustive, so that the last two are simply false, > hence utterly dispensable.) > > The only illustrations I could come up with back then for a P with > "neither P nor ~P" always struck me as somewhat artificial; so that > I was greatly heartened, recently, to stumble on a far more natural > illustration as outgrowth of a discussant's sardonic comment, concluding > his remarks on how contemporary web page design strategies needed to be > modified to take into account the fact that *touch* is more and more > replacing *mouse cursor and click* as the user interface of choice: > > "Change is good." > > Well, he didn't mean it, of course: he said it entirely tongue-in-cheek. > But it hit me: that's a superb illustration of a P with "neither P nor ~P": > for, in fact (in my view), such "change" is neither good nor not good -- it > just is, and may need to be accommodated :-) ). > > Enjoy! And cheers, -- Fred > --- > [1] pp. 62-73 of ISBN 81-85931-58-5, www.hindbook.com, 2005 (esp. pp. 70-71); > cf. http://www.hindbook.com/images/book_content/Emch.pdf ; or > www.hindbook.com/index.php/contributions-to-the-history-of-indian-mathematics [For admin and other information see: http://www.mta.ca/~cat-dist/ ]