Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  nodelist  faq  login

Say "twenty-three-skiddoo" to logout.

computers / / Re: The Vacuous Truth about the Present King of France: **** CORRECTION *** {vacuous truth}

o Re: The Vacuous Truth about the Present King of France: ****olcott

Subject: Re: The Vacuous Truth about the Present King of France: **** CORRECTION *** {vacuous truth}
From: olcott
Newsgroups: sci.logic,
Date: Fri, 15 Oct 2021 15:59 UTC
References: 1 2 3 4 5 6 7 8 9 10 11 12 13
Path: rocksolid2!!!!!!!!!not-for-mail
NNTP-Posting-Date: Fri, 15 Oct 2021 10:59:37 -0500
Subject: Re: The Vacuous Truth about the Present King of France: ****
CORRECTION *** {vacuous truth}
Newsgroups: sci.logic,
References: <>
From: (olcott)
Date: Fri, 15 Oct 2021 10:59:36 -0500
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:78.0) Gecko/20100101
MIME-Version: 1.0
In-Reply-To: <>
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Language: en-US
Content-Transfer-Encoding: 7bit
Message-ID: <>
Lines: 55
X-Trace: sv3-sUTF9hj94703jAIWXCpJgSuFMJhGzwbNH8JuOqRSGqNllDM/abDe0WtcrHID6WlEOgzY5ca1usojIaj!OuVe2D6JXtJVO8MZ3WhJE8MUmoVAPITOUc9YB6dNFqG2jzizzei9XbCzan7WtPD7m3K+AxBwoNk=
X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers
X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint properly
X-Postfilter: 1.3.40
X-Original-Bytes: 4584
View all headers
On 10/15/2021 10:06 AM, Dan Christensen wrote:
On Friday, October 15, 2021 at 9:43:01 AM UTC-4, olcott wrote:
On 10/14/2021 11:22 PM, Dan Christensen wrote:
On Thursday, October 14, 2021 at 11:18:14 PM UTC-4, olcott wrote:
On 10/14/2021 9:33 PM, Dan Christensen wrote:

There are too many exceptions to the rule, too many idiomatic constructs. The notion of vacuous truth would seem to me to be the least of your problems. Eliminating it would only make your task more difficult IMHO. As I alluded to above, other more basic rules of logic will also have to be eliminated. It's a "package deal" as they say. You should learn to live with it. Properly applied, it won't, in itself, lead to any errors or inconsistencies.

No comment??? You will really need to sort out this "package deal" thing first. You will waste a lot time going in circles otherwise. It may be that natural language itself will have to evolve in certain directions to solve this formalization problem of yours.
Since I, Richard Montague and others have been considering this for many
years we know that no changes need be made to natural language to
formalize it.

All of your objections go away at the purely semantic level. The
formalized grammar of natural language semantics is so much simpler that
these complexities that you refer to are eliminated or reduced to a
manageable level. Idioms do not exist at the purely semantic level.

Basic rules of logic mostly need not be eliminated. The biggest change
to logic is that it is not allowed to ignore semantics.

The basic rules of logic lead unavoidably to the notion of vacuous truth

To the extent that the basic rules of logic lead to the nonsense concept of vacuous truth the basic rules of logic are semantically incorrect.

(i.e. ~A => [A => B]).  See my proof here. Sooner or later, your formalization process will have to deal with this.

BTW you never did say why you or anyone else would want to formalize natural language.

To create a software based human mind.

To me, it seems destined to fail.

Only because you have not bothered to think it through to the same extent of others.

If you want a formal system of logic, you really can't beat classical logic.

I will literally beat it to its own death.


Download my DC Proof 2.0 freeware at
Visit my Math Blog at

Copyright 2021 Pete Olcott

"Great spirits have always encountered violent opposition from mediocre minds." Einstein

rocksolid light 0.7.2