Message-ID:

The reason computer chips are so small is computers don't eat much.

tech / sci.logic / Re: Smullyan's Proof of the Drinker's Principle.

Re: Smullyan's Proof of the Drinker's Principle.

<lN2dnXEUU6UzEEj4nZ2dnZfqn_WdnZ2d@giganews.com>

https://www.novabbs.com/tech/article-flat.php?id=8349&group=sci.logic#8349

Path: i2pn2.org!i2pn.org!eternal-september.org!feeder3.eternal-september.org!usenet.network!usenet.blueworldhosting.com!diablo1.usenet.blueworldhosting.com!peer02.iad!feed-me.highwinds-media.com!news.highwinds-media.com!border-1.nntp.ord.giganews.com!nntp.giganews.com!Xl.tags.giganews.com!local-2.nntp.ord.giganews.com!news.giganews.com.POSTED!not-for-mail
NNTP-Posting-Date: Wed, 21 Feb 2024 05:44:14 +0000
Subject: Re: Smullyan's Proof of the Drinker's Principle.
Newsgroups: sci.logic
References: <40c9a80d-f77c-437d-8b42-38022b079696n@googlegroups.com>
<d7255a11-7ac4-49ee-89bd-0cf5a4f79a3fn@googlegroups.com>
<0902cab3-4cfd-46ef-b2cf-c6a7b5c871cfn@googlegroups.com>
<a518db81-dde5-42d7-af06-c324d6f2bcdcn@googlegroups.com>
<d428a0a0-be10-4b94-bff0-a15db59231adn@googlegroups.com>
<c62afddd-dd15-4c8d-9019-ef2ef042ea08n@googlegroups.com>
<9664e72f-172b-41a2-9908-f86596a6a7f4n@googlegroups.com>
<33d8232c-a254-4c4d-be99-5adea4412c0dn@googlegroups.com>
<e624a1d6-e765-4795-bc18-3250d1ae6ea6n@googlegroups.com>
<b7452392-ec58-4a48-a032-3dc183f1435an@googlegroups.com>
<36a8050b-20b0-46d1-9c5c-c39d7708b522n@googlegroups.com>
<04962305-4830-4edc-baff-8652411cafadn@googlegroups.com>
<908ee093-67a4-4cc0-ae65-630432825727n@googlegroups.com>
<adf24572-5fe8-4ec6-baf3-b5b5873778ben@googlegroups.com>
<5e507077-4d6e-4c21-b1ef-ef6087450530n@googlegroups.com>
<464bffc7-d0a8-4d7d-950c-3dd0877e0789n@googlegroups.com>
<3149435a-fbc4-4120-9f73-7faa2afde24dn@googlegroups.com>
From: ross.a.f...@gmail.com (Ross Finlayson)
Date: Tue, 20 Feb 2024 21:44:27 -0800
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101
Thunderbird/38.6.0
MIME-Version: 1.0
In-Reply-To: <3149435a-fbc4-4120-9f73-7faa2afde24dn@googlegroups.com>
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
Message-ID: <lN2dnXEUU6UzEEj4nZ2dnZfqn_WdnZ2d@giganews.com>
Lines: 12
X-Usenet-Provider: http://www.giganews.com
X-Trace: sv3-yTsKMtCLvpZrw0D2L+wtHSe+6nX5lpG1YUm0+CMswCflTd0gt1G8uA/XAsYrnkgWP3aqLbro4/8+s5G!UDRfRLRcdHCnw6Y12tg+1Xwcm8gdg6kXOsGOZAMOyiuDlvsGhkMFl68htQsqjDSXC522XZ0vj/+T
X-Complaints-To: abuse@giganews.com
X-DMCA-Notifications: http://www.giganews.com/info/dmca.html
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-Received-Bytes: 2679

by: Ross Finlayson - Wed, 21 Feb 2024 05:44 UTC

These days, the Comte's Boole's Russell's logical positivism's
"classical", logic, is called "classical _quasi-modal_", logic.

This is because and including that nobody needs material
implication to frame the implicitly contingent, naturally.
(... And that it's un-safe and subjective.)

This way then, giving it it's more proper name, "classical quasi-modal",
logic, is a favor that thinking logicians can do for themselves.

Re: Smullyan's Proof of the Drinker's Principle.

<GfOcneygkcEEq0v4nZ2dnZfqnPqdnZ2d@giganews.com>

copy mid

https://www.novabbs.com/tech/article-flat.php?id=8377&group=sci.logic#8377

copy link Newsgroups: sci.logic

Path: i2pn2.org!i2pn.org!news.nntp4.net!weretis.net!feeder6.news.weretis.net!border-2.nntp.ord.giganews.com!nntp.giganews.com!Xl.tags.giganews.com!local-1.nntp.ord.giganews.com!news.giganews.com.POSTED!not-for-mail
NNTP-Posting-Date: Wed, 21 Feb 2024 17:44:57 +0000
Subject: Re: Smullyan's Proof of the Drinker's Principle.
Newsgroups: sci.logic
References: <40c9a80d-f77c-437d-8b42-38022b079696n@googlegroups.com>
<0902cab3-4cfd-46ef-b2cf-c6a7b5c871cfn@googlegroups.com>
<a518db81-dde5-42d7-af06-c324d6f2bcdcn@googlegroups.com>
<d428a0a0-be10-4b94-bff0-a15db59231adn@googlegroups.com>
<c62afddd-dd15-4c8d-9019-ef2ef042ea08n@googlegroups.com>
<9664e72f-172b-41a2-9908-f86596a6a7f4n@googlegroups.com>
<33d8232c-a254-4c4d-be99-5adea4412c0dn@googlegroups.com>
<e624a1d6-e765-4795-bc18-3250d1ae6ea6n@googlegroups.com>
<b7452392-ec58-4a48-a032-3dc183f1435an@googlegroups.com>
<36a8050b-20b0-46d1-9c5c-c39d7708b522n@googlegroups.com>
<04962305-4830-4edc-baff-8652411cafadn@googlegroups.com>
<908ee093-67a4-4cc0-ae65-630432825727n@googlegroups.com>
<adf24572-5fe8-4ec6-baf3-b5b5873778ben@googlegroups.com>
<5e507077-4d6e-4c21-b1ef-ef6087450530n@googlegroups.com>
<464bffc7-d0a8-4d7d-950c-3dd0877e0789n@googlegroups.com>
<3149435a-fbc4-4120-9f73-7faa2afde24dn@googlegroups.com>
<lN2dnXEUU6UzEEj4nZ2dnZfqn_WdnZ2d@giganews.com>
From: ross.a.f...@gmail.com (Ross Finlayson)
Date: Wed, 21 Feb 2024 09:44:58 -0800
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101
Thunderbird/38.6.0
MIME-Version: 1.0
In-Reply-To: <lN2dnXEUU6UzEEj4nZ2dnZfqn_WdnZ2d@giganews.com>
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
Message-ID: <GfOcneygkcEEq0v4nZ2dnZfqnPqdnZ2d@giganews.com>
Lines: 8
X-Usenet-Provider: http://www.giganews.com
X-Trace: sv3-ofGaPYQzTFNwZdmzCTOWDu8RVZbhlQqI+sgES9tdeCovm2rR20+wukxRvOIcWJUi5SWXn2je1gYAv1v!OPlWpLld8yXJo8Mz25wFRzrVWV/a3GRZwmRuCXYoeL+vylcUsmOgvqGvhpo2UJGhNojEHqyVFzwq
X-Complaints-To: abuse@giganews.com
X-DMCA-Notifications: http://www.giganews.com/info/dmca.html
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

by: Ross Finlayson - Wed, 21 Feb 2024 17:44 UTC

Subject	Author
Re: Smullyan's Proof of the Drinker's Principle.	Ross Finlayson
Re: Smullyan's Proof of the Drinker's Principle.	Ross Finlayson