Path: ...!weretis.net!feeder9.news.weretis.net!news.quux.org!eternal-september.org!feeder2.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: wij <wyniijj5@gmail.com>
Newsgroups: sci.logic
Subject: Re: This philosophy of logic reformulates existing ideas on a new
 basis ---
Date: Sat, 09 Nov 2024 05:33:34 +0800
Organization: A noiseless patient Spider
Lines: 37
Message-ID: <08ebfba6250b47657ab91b3053828394681bf94e.camel@gmail.com>
References: <vfli1h$fj8s$1@dont-email.me> <vgg7tk$26klj$1@dont-email.me>
	 <vggjtb$1f3u$1@news.muc.de> <vggund$2am72$1@dont-email.me>
	 <vgkudf$1lrm$1@news.muc.de> <vgl78d$37h38$2@dont-email.me>
	 <vgl9cm$6e3$1@news.muc.de> <vgl9uh$37h38$9@dont-email.me>
	 <vglcnh$agb$1@news.muc.de> <vgldr3$38uph$1@dont-email.me>
	 <vglfui$agb$2@news.muc.de> <vglhij$39mg2$1@dont-email.me>
	 <vgljtm$1mlg$1@news.muc.de> <vglkfc$3a6hn$2@dont-email.me>
	 <vgllf0$1mlg$2@news.muc.de> <vglukk$3bn2s$1@dont-email.me>
	 <vglv80$2hp4$1@news.muc.de> <vglvlk$3c426$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Injection-Date: Fri, 08 Nov 2024 22:33:35 +0100 (CET)
Injection-Info: dont-email.me; posting-host="4ee3210e57136674a09b1075a1b21f4b";
	logging-data="3540724"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/yTvbO0j5+dKWGYBZPBVKX"
User-Agent: Evolution 3.50.2 (3.50.2-1.fc39)
Cancel-Lock: sha1:4mF2VJxZwd9JY4H6+0aad4Ja5mI=
In-Reply-To: <vglvlk$3c426$1@dont-email.me>
Bytes: 3055

On Fri, 2024-11-08 at 15:26 -0600, olcott wrote:
> On 11/8/2024 3:18 PM, Alan Mackenzie wrote:
> > olcott <polcott333@gmail.com> wrote:
> > > On 11/8/2024 12:32 PM, Alan Mackenzie wrote:
> >=20
> > [ .... ]
> >=20
> > > > Much of what you say is wrong.=C2=A0 That you strongly assert false=
 things
> > > > outside your understanding is a form of lying.=C2=A0 For what it's =
worth, I
> > > > find you highly disagreeable, and your contempt for truth and knowl=
edge
> > > > truly despicable.
> >=20
> > [ Material which is off-topic for this subthread deleted. ]
> >=20
>=20
> *THIS philosophy of logic reformulates existing ideas on a new basis*
> *THIS philosophy of logic reformulates existing ideas on a new basis*
> *THIS philosophy of logic reformulates existing ideas on a new basis*
> *THIS philosophy of logic reformulates existing ideas on a new basis*
> *THIS philosophy of logic reformulates existing ideas on a new basis*
>=20
> https://www.liarparadox.org/Haskell_Curry_45.pdf
> "an elementary theorem is an elementary statement which is true"
>=20
> My key point is that when truth preserving operations are applied
> to Haskell Curry elementary theorems of system F then they derive
> every expression true in F.
>=20
> That you want to disagree with this semantic tautology on the
> basis of Ad Hominem attacks makes you look like a nitwit.
>=20

olcott is IDIOT (pathological) is not Ad Hominem. It is FACT.