Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Jeff Barnett <jbb@notatt.com>
Newsgroups: sci.logic
Subject: Re: Prolegomena by Rappaport (Was: Minimal Logics in the 2020's: A
 Meteoric Rise)
Date: Wed, 31 Jul 2024 22:26:20 -0600
Organization: A noiseless patient Spider
Lines: 116
Message-ID: <v8f2pk$20jil$1@dont-email.me>
References: <v67685$6fr5$1@solani.org> <v8e5u2$k6gf$1@solani.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: base64
Injection-Date: Thu, 01 Aug 2024 06:26:29 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="9287e43cd44c4153f77375cd7c671e5b";
	logging-data="2117205"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19T9vrh7YqxLTAy108Ay86OkWJ1mVKdorg="
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:me6/vwddIZ9EiC/664FPc01ekqI=
In-Reply-To: <v8e5u2$k6gf$1@solani.org>
Content-Language: en-US
X-Antivirus: AVG (VPS 240731-6, 7/31/2024), Outbound message
X-Antivirus-Status: Clean
Bytes: 9672

WW91IGFyZSBzdXJwcmlzZWQ7IEkgYW0gc2FkZGVuZWQuIE5vdCBvbmx5IGhhdmUgd2UgbG9z
dCBjb250YWN0IHdpdGggdGhlIA0KcHJpbWFyeSBzdHVkaWVzIG9mIGtub3dsZWRnZSBhbmQg
cmVhc29uaW5nLCB3ZSBoYXZlIGFsc28gbG9zdCBjb250YWN0IA0Kd2l0aCB0aGUgc3R1ZGll
cyBvZiBtZXRob2RzIGFuZCBtb3RpdmF0aW9uLiBQc3ljaG9sb2d5IHdhcyB0aGUgYmFzaWMg
DQpob21lIHJvb20gb2YgQWxhbiBOZXdlbGwgYW5kIG1hbnkgb3RoZXIgQUkgYWxsIHN0YXJz
LiBXaGF0IGlzIG5vdyBjYWxsZWQgDQpBSSwgSSB0aGluayBpbmNvcnJlY3RseSwgaXMganVz
dCB3YXlzIG9mIGV4ZXJjaXNpbmcgbGFyZ2UgYW1vdW50cyBvZiANCnZlcnkgY2hlYXAgY29t
cHV0ZXIgcG93ZXIgdG8gY2FsY3VsYXRlIGFwcHJveGltYXRlcyB0byBjb3JyZWxhdGlvbnMg
YW5kIA0Kb3RoZXIgc3RhdGlzdGljYWwgYXBwcm94aW1hdGlvbnMuDQoNClRoZSBwcm9ibGVt
IHdpdGggYWxsIG9mIHRoaXMgaW4gbXkgbWluZCwgaXMgdGhhdCB3ZSBsZWFybiBub3RoaW5n
IGFib3V0IA0KdGhlIGNhcHR1cmluZyBvZiBrbm93bGVkZ2UsIHdoYXQgaXQgaXMsIG9yIGhv
dyBpdCBpcyB1c2VkLiBCb3RoIGxvZ2ljIA0KYW5kIGhldXJpc3RpYyByZWFzb25pbmcgYXJl
IG5lZWRlZCBhbmQgd2UgY2VydGFpbmx5IGJlbGlldmUgdGhhdCANCmludGVsbGlnZW5jZSBp
cyBub3QgbWVhc3VyZWQgYnkgaXRzIGFiaWxpdHkgdG8gZGlzY292ZXIgInRydXRoIiBvciBp
dHMgDQppbmZhbGxpYmx5IGNvbnNpc3RlbnQgcmVzdWx0cy4gTmV3dG9uJ3MgdGhvdWdodCBw
cm9jZXNzIHdhcyBwdXJlIGdlbml1cyANCmJ1dCBrbm93biB0byBwcm9kdWNlIGZhbGxhY2lv
dXMgcmVzdWx0cyB3aGVuIHlvdSBrbm93IHdoYXQgRWluc3RlaW4ga25ldyANCmF0IGEgbGF0
ZXIgdGltZS4NCg0KSSByZW1lbWJlciByZWFkaW5nIFRlZCBTaG9ydGxpZmZlJ3MgZGlzc2Vy
dGF0aW9uIGFib3V0IE1ZQ0lOIChhbiBlYXJseSANCkFJIG1lZGljYWwgY29uc3VsdGFudCBm
b3IgZGlhZ25vc2luZyBibG9vZC1ib3JuZSBpbmZlY3Rpb3VzIGRpc2Vhc2VzKSANCndoZXJl
IEkgbGVhcm5lZCBhYm91dCBvbmUgdXNlIG9mIHRoZSB0ZXJtICJzdGFmZiBkaXNlYXNlIiwg
b3IganVzdCANCiJzdGFmZiIgZm9yIHNob3J0LiBJbiBwYXRpZW50IGNhcmUgYXJlYXMgdGhl
cmUgYWx3YXlzIHNlZW1zIHRvIGJlIGFuIA0KaW4taG91c2UgaW5mZWN0aW9uIHRoYXQgY2hh
bmdlcyBvdmVyIHRpbWUuIEl0IGNoYW5nZXMgYmVjYXVzZSBzaWNrIA0KcGF0aWVudHMgYnJv
dWdodCBpbnRvIHRoZSBhcmVhIGNvbnRyaWJ1dGUgd2hhdGV2ZXIgaXMgbWFraW5nIHRoZW0g
c2ljayANCmluIHRoZSBmaXJzdCBwbGFjZS4gSW4gdGhlIHNlY29uZCBwbGFjZSB0aGVyZSBp
cyByYXBpZCBtdXRhdGlvbnMgZHJpdmVuIA0KYnkgYWxsIHNvcnRzIG9mIGZhY3RvcnMgcHJl
c2VudCBpbiBob3NwaXRhbC1saWtlIGVudmlyb25tZW50cy4gVGhlIA0KcmVzdWx0IGlzIHRo
YXQgdGhlIGxvY2FsIHN0YWZmIGlzIHZhcnlpbmcsIGxpdGVyYWxseSwgbWludXRlIGJ5IG1p
bnV0ZS4gDQpJbiBhIGRheXMgdGltZSwgdGhlIHNhbXBsZXMgeW91IHRvb2sgYXJlIG5vIGxv
bmdlciB2YWxpZCwgaS5lLiwgdGhlaXIgDQpkYXkgb2xkIGN1bHR1cmVzIG1heSBiZSBtZWFu
aW5nbGVzcy4gVGhlIHVuZGVybHlpbmcgbWF0aGVtYXRpY2FsIHByb2JsZW0gDQppcyB0aGF0
IHByb2JhYmlsaXR5IHRoZW9yeSBkb2Vzbid0IHJlYWxseSBoYXZlIHRoZSB0b29scyB0byBt
YWtlIA0KcHJlZGljdGlvbnMgd2hlbiB0aGUgYmFzaWMgcHJvYmFiaWxpdGllcyBhcmUgY2hh
bmdpbmcgZmFzdGVyIHRoYW4gDQpvYnNlcnZhdGlvbnMgY2FuIGJlIHR1cm5lZCBpbnRvIGlu
ZmVyZW5jZXMuDQoNCldoeSBkbyBJIG1lbnRpb24gdGhlIHByb2JsZW1zIG9mIHVuc3RhYmxl
IHByb2JhYmlsaXRpZXMgaGVyZT8gQmVjYXVzZSANCm5ldyBBSSB1c2VzIGZhbmN5IGlkZWFz
IG9mIGNvcnJlbGF0aW9uIHRvIHNpbXVsYXRlIHByb2JhYmlsaXN0aWMgDQppbmZlcmVuY2Us
IGUuZy4sIEJheWVzaWFuIGluZmVyZW5jZS4gU2luY2UgYWN0dWFsIHByb2JhYmlsaXRpZXMg
bWF5IG5vdCANCmV4aXN0IGluIGFueSBtZWFuaW5nZnVsIHdheXMsIHRoZSBzaW11bGF0aW9u
cyBhcmUgb2Z0ZW4gYmFzZWQgb24gYWlyLg0KDQpBIGhhbGxtYXJrIG9mIGV4Y2VsbGVudCBo
dW1hbiByZWFzb25pbmcgaXMgdGhlIGFiaWxpdHkgdG8gZXhwbGFpbiBob3cgd2UgDQphcnJp
dmVkIGF0IG91ciBjb25jbHVzaW9ucy4gV2UgYXJlIGFsc28gYWJsZSB0byByZXBhaXIgb3Vy
IGlubmVyIG1vZGVscyANCndoZW4gd2UgYXJlIGluIGVycm9yIGlmIHdlIGNhbiB1bmRlcnN0
YW5kIHdoeS4gVGhlIGFiaWxpdGllcyB0byBleHBsYWluIA0KYW5kIHJlcGFpciBhcmUgZnVu
ZGFtZW50YWwgdG8gZXhjZWxsZW5jZSBvZiB0aG91Z2h0IHByb2Nlc3Nlcy4gQnkgdGhlIA0K
d2F5LCBJJ20gbm90IGNsYWltaW5nIHRoYXQgYWxsIGh1bWFucyBvciBJIGhhdmUgdGhlc2Vz
IHJlZmxlY3RpdmUgDQphYmlsaXRpZXMuIFRob3NlIHdobyBkbyBhcmUgZmV3IGFuZCBmYXIg
YmV0d2Vlbi4gSG93ZXZlciwgYW55IEFJIHRoYXQgDQpkb2Vzbid0IGhhdmUgc29tZSBvZiB0
aGVzZSBjYXBhYmlsaXRpZXMgaXNuJ3QgdmVyeSBpbnRlcmVzdGluZy4NCg0KRm9yIG1vcmUg
b24gcmVhc29ucyB3aHkgbG9naWMgYW5kIHRydXRoIGFyZSBvbmx5IHBhcnQgb2YgaHVtYW4g
YWJpbGl0eSANCnRvIHJlYXNvbmFibHkgcmVhc29uLCBzZWUgDQpodHRwczovL3d3dy55YWhv
by5jb20vbmV3cy9vcGluaW9uLXdhbnQtY29udmluY2UtY29uc3BpcmFjeS10aGVvcnktMTAw
MjU4Mjc3Lmh0bWwgDQoNCg0KICAgLS0gSmVmZiBCYXJuZXR0DQoNCk9uIDcvMzEvMjAyNCAy
OjEzIFBNLCBNaWxkIFNob2NrIHdyb3RlOg0KPiANCj4gSSBhbSByZWFsbHkgc3VycHJpc2Vk
IHRoYXQgd2UgaGF2ZSByZWFjaGVkDQo+IGEgcG9pbnQgaW4gaGlzdG9yeSwgd2hlcmUgcGhp
bG9zb3BoeSBhbmQNCj4gYXJ0aWZpY2lhbCBpbnRlbGxpZ2VuY2UgZ28gc2VwYXJhdGUgcGF0
aHMsDQo+IHdoZXJlIHBoaWxvc29waHkgc3RpZ21hdGl6ZXMgbWVhbnMgb2YNCj4gDQo+IGFi
c3RyYWN0aW9ucyBvbiB0aGUgY29tcHV0ZXIgYW5kIHdoZXJlIGV2ZW4NCg0KPiBlZHVjYXRp
b24gaW4gY29tcHV0ZXIgc2NpZW5jZSBpdHNlbGYgaXMgYXQNCj4gbG9zcyB3aXRoIHRoZSBy
YXBpZCBhZHZhbmNlbWVudCBvZiB0eXBlIHRoZW9yeQ0KPiBmcm9tIGNvbXB1dGF0aW9uIHRv
IGRlZHVjdGlvbi4gVGhpcyB3YXNu4oCZdCBhbHdheXMNCj4gDQo+IHRoZSBjYXNlIGFjY29y
ZGluZyB0byB0aGlzIGVzc2F5ICgqKToNCj4gDQo+PiBJdCBpcyBpbnRlcmVzdGluZyB0byBu
b3RlIHRoYXQgYWxtb3N0IGFsbCB0aGUgbWFqb3Igc3ViZmllbGRzIG9mIEFJIA0KPj4gbWly
cm9yIHN1YmZpZWxkcyBvZiBwaGlsb3NvcGh5OiBUaGUgQUkgYW5hbG9ndWUgb2YgcGhpbG9z
b3BoeSBvZiANCj4+IGxhbmd1YWdlIGlzIGNvbXB1dGF0aW9uYWwgDQo+ICA+IGxpbmd1aXN0
aWNzOyB3aGF0IHBoaWxvc29waGVycyBjYWxsIOKAnHByYWN0aWNhbA0KPiAgPiByZWFzb25p
bmfigJ0gaXMgY2FsbGVkIOKAnHBsYW5uaW5nIGFuZCBhY3RpbmfigJ0gaW4NCj4+IEFJOyBv
bnRvbG9neSAoaW5kZWVkLCBtdWNoIG9mIG1ldGFwaHlzaWNzDQo+PiBhbmQgZXBpc3RlbW9s
b2d5KSBjb3JyZXNwb25kcyB0byBrbm93bGVkZ2UgDQo+ICA+IHJlcHJlc2VudGF0aW9uIGlu
IEFJOyBhbmQgYXV0b21hdGVkIHJlYXNvbmluZw0KPiAgPiBpcyBvbmUgb2YgdGhlIEFJIGFu
YWxvZ3VlcyBvZiBsb2dpYy4NCj4+IOKAkyBDLjIuMS4xIEludGVudGlvbnMsIHByYWN0aXRp
b25zLCBhbmQgdGhlIG91Z2h0LXRvLWRvLg0KPiANCj4gbWF5YmUgd2Ugc2hvdWxkIGZpbmQg
YSB3YXkgYmFjayB0byBjb29wZXJhdGlvbjoNCj4gDQo+PiBTaG91bGQgQUkgd29ya2VycyBz
dHVkeSBwaGlsb3NvcGh5PyBZZXMsIA0KPiAgPiB1bmxlc3MgdGhleSBhcmUgY29udGVudCB0
byByZWludmVudCB0aGUgd2hlZWwNCj4gID4gZXZlcnkgZmV3IGRheXMuIFdoZW4gQUkgcmVp
bnZlbnRzIGEgd2hlZWwsIGl0IGlzDQo+ICA+IHR5cGljYWxseSBzcXVhcmUsIG9yIGF0IGJl
c3QgaGV4YWdvbmFsLCBhbmQNCj4gID4gY2FuIG9ubHkgbWFrZSBhIGZldyBodW5kcmVkIHJl
dm9sdXRpb25zIGJlZm9yZQ0KPiAgPiBpdCBzdG9wcy4gUGhpbG9zb3BoZXLigJlzIHdoZWVs
cywgb24gdGhlIG90aGVyIGhhbmQsDQo+ICA+IGFyZSBwZXJmZWN0IGNpcmNsZXMsIHJlcXVp
cmUgaW4gcHJpbmNpcGxlIG5vDQo+ICA+IGx1YnJpY2F0aW9uLCBhbmQgY2FuIGdvIGluIGF0
IGxlYXN0IHR3byBkaXJlY3Rpb25zDQo+PiBhdCBvbmNlLiBDbGVhcmx5IGEgbWVldGluZyBv
ZiBtaW5kcyBpcyBpbiBvcmRlci4NCj4+IOKAkyBDLjQgU3VtbWFyeQ0KPiANCj4gU2VlIGFs
c286DQo+IA0KPiAoKikNCj4gDQo+IFByb2xlZ29tZW5hIHRvIGEgU3R1ZHkgb2YgSGVjdG9y
LU5lcmkgQ2FzdGHDsWVkYeKAmXMNCj4gSW5mbHVlbmNlIG9uIEFydGlmaWNpYWwgSW50ZWxs
aWdlbmNlOiBBIFN1cnZleQ0KPiBhbmQgUGVyc29uYWwgUmVmbGVjdGlvbnMgV2lsbGlhbSBS
YXBwYXBvcnQgLSBKYW51YXJ5IDE5OTgNCj4gaHR0cHM6Ly93d3cucmVzZWFyY2hnYXRlLm5l
dC9wdWJsaWNhdGlvbi8yNjYyNzc5ODENCj4gDQo+IE1pbGQgU2hvY2sgc2NocmllYjoNCj4+
IENvdWxkIGJlIGEgd2FrZS11cCBjYWxsIHRoaXMgbWFueSBwYXJ0aWNpcGFudHMNCj4+IGFs
cmVhZHkgaW4gdGhlIGNvbW1pdGVlLCB0aGF0IHRoZSB3aG9sZSBsb2dpYw0KPj4gd29ybGQg
d2FzIGFzbGVlcCBmb3IgbWFueSB5ZWFyczoNCj4+DQo+PiBOb24tQ2xhc3NpY2FsIExvZ2lj
cy4gVGhlb3J5IGFuZCBBcHBsaWNhdGlvbnMgWEksDQo+PiA1LTggU2VwdGVtYmVyIDIwMjQs
IExvZHogKFBvbGFuZCkNCj4+IGh0dHBzOi8vZWFzeWNoYWlyLm9yZy9jZnAvTkNMMjQNCj4+
DQo+PiBXaHkgaXMgTWluaW1hbCBMb2dpYyBhdCB0aGUgY29yZSBvZiBtYW55IHRoaW5ncz8N
Cj4+IEJlY2F1c2UgaXQgaXMgdGhlIGxvZ2ljIG9mIEN1cnJ5LUhvd2FyZCBpc29tb3ByaGlz
bQ0KPj4gZm9yIHN5bXBsZSB0eXBlczoNCj4+DQo+PiAtLS0tLS0tLS0tLS0tLS0tDQo+PiDO
kyDiiKogeyBBIH0g4oqiIEENCj4+DQo+PiDOkyDiiKogeyBBIH0g4oqiIEINCj4+IC0tLS0t
LS0tLS0tLS0tLS0NCj4+IM6TIOKKoiBBIOKGkiBCDQo+Pg0KPj4gzpMg4oqiIEEg4oaSIELC
oMKgwqDCoMKgwqDCoMKgwqDCoCDOlCDiiqIgQQ0KPj4gLS0tLS0tLS0tLS0tLS0tLS0tLS0t
LS0tLS0tLQ0KPj4gzpMg4oiqIM6UIOKKoiBCDQo+Pg0KPj4gQW5kIGZ1bm55IHRoaW5ncyBj
YW4gaGFwcGVuLCBlc3BlY2lhbGx5IHdoZW4gcGVvcGxlDQo+PiBoYWxsdWNpbmF0ZSBkdWFs
aXR5IG9yIHRoaW5rIHN5bW1ldHJ5IGlzIGdpdmVuLCBmb3INCj4+IGV4YW1wbGUgaW4gbmV3
ZXIgaW52ZW50aW9ucyBzdWNoIGFzIM67zrwtY2FsY3VsdXMsDQo+Pg0KPj4gYnV0IHRoZW4g
b21nIH5+cCA9PiBwIGlzIG5ldmVydGhlbGVzcyBub3QgcHJvdmFibGUsDQo+PiBiZWNhdXNl
IHRoZXkgZm9yZ290IGFuIGluZmVyZW5jZSBydWxlLiBMb0wNCj4+DQo+PiBSZWNvbW1lbmRl
ZCByZWFkaW5nIHNvIGZhcjoNCj4+DQo+PiBQcm9wb3NpdGlvbmFsIExvZ2ljcyBSZWxhdGVk
IHRvIEhleXRpbmfigJlzIGFuZCBKb2hhbnNzb27igJlzDQo+PiBGZWJydWFyeSAyMDA4IC0g
S3Jpc3RlciBTZWdlcmJlcmcNCj4+IGh0dHBzOi8vd3d3LnJlc2VhcmNoZ2F0ZS5uZXQvcHVi
bGljYXRpb24vMjI4MDM2NjY0DQo+Pg0KPj4gVGhlIExvZ2ljIG9mIENodXJjaCBhbmQgQ3Vy
cnkNCj4+IEpvbmF0aGFuIFAuIFNlbGRpbiAtIDIwMDkNCj4+IGh0dHBzOi8vd3d3LnNjaWVu
Y2VkaXJlY3QuY29tL2hhbmRib29rL2hhbmRib29rLW9mLXRoZS1oaXN0b3J5LW9mLWxvZ2lj
L3ZvbC81L3N1cHBsL0MNCj4+DQo+PiBNZWFud2hpbGUgSSBhbSBnb2luZyBiYWNrIHRvIG15
IHRpbmtlcmluZyB3aXRoIG15DQo+PiBQcm9sb2cgc3lzdGVtLCB3aGljaCBldmVuIHByb3Zp
ZGVzIGEgbW9yZSBwcmltaXRpdmUNCj4+IGxvZ2ljIHRoYW4gbWluaW1hbCBsb2dpYywgcHVy
ZSBQcm9sb2cgaXMgbWluaW1hbA0KPj4NCj4+IGxvZ2ljIHdpdGhvdXQgZW1iZWRkZWQgaW1w
bGljYXRpb24uDQo+IA0KDQo=