1. Forum
  2. Newsgroups
  3. comp.ai.philosophy
Every LLM agrees with my final resolution to the Liar Paradox

By olcott on Fri Jul 10 16:41:56 2026

Latest reply by Alan Mackenzie on Fri Jul 10 21:50:36 2026
=?UTF-8?Q?Re=3A_Within_Proof_Theoretic_Semantics_G=C3=B6del=27s_G_h?==?UTF-8?Q?as_no_meaning_in_PA?=

By =?UTF-8?B?QW5kcsOpIEcuIElzYWFr?= on Mon Jun 29 17:45:24 2026

Latest reply by Mikko on Thu Jul 9 11:42:19 2026
Re: Readings in (some of the) foundations of mathematics --- tree ofknowledge

By Mikko on Tue Jun 30 10:48:26 2026

Latest reply by Mikko on Thu Jul 9 10:51:41 2026
Re: William T. Parry gets rid of Disjunction introduction

By Mikko on Tue Jun 30 11:10:22 2026

Latest reply by Mikko on Thu Jul 9 10:48:42 2026
Re: Olcott's big correction to symbolic logic

By olcott on Wed Jul 8 15:26:47 2026

Latest reply by Mikko on Thu Jul 9 10:34:10 2026
Olcott gets rid of the Principle of Explosion

By olcott on Mon Jul 6 08:56:41 2026

Latest reply by Mikko on Wed Jul 8 12:05:29 2026
The truth about the halting problem counter-example input

By olcott on Fri Jul 3 22:11:10 2026

Latest reply by Mikko on Wed Jul 8 10:45:02 2026
=?UTF-8?Q?Re=3A_Within_Proof_Theoretic_Semantics_G=C3=B6del=27s_G_h?= =?UTF-8?Q?as_no_meaning_in_PA?=

By Tristan Wibberley on Sun Jul 5 17:31:38 2026

Latest reply by olcott on Mon Jul 6 19:01:46 2026
Texas leaders are asking data centers how much water they use. Most aren't responding.

By useapen on Thu Jul 2 08:25:21 2026

Latest reply by useapen on Thu Jul 2 08:25:21 2026
Ford rehires engineers after A.I. totally backfires

By PF on Thu Jul 2 04:36:29 2026

Latest reply by PF on Thu Jul 2 04:36:29 2026
Re: Ross A. Finlayson, readings in (some of the) --- cycles indirected graphs

By olcott on Tue Jun 30 09:53:11 2026

Latest reply by Chris M. Thomasson on Wed Jul 1 18:59:40 2026