1. Forum
  2. Newsgroups
  3. comp.ai.philosophy
The notion of a "well founded justification tree" will be fullyelaborated (signature update)

By olcott on Thu Apr 2 15:58:25 2026

Latest reply by Mikko on Sat Apr 25 11:20:44 2026
Re: The notion of a "well founded justification tree" will be fully elaborated --- Prolog Example

By Mikko on Tue Apr 7 11:00:42 2026

Latest reply by olcott on Sat Apr 25 07:19:51 2026
=?UTF-8?Q?Within_Proof_Theoretic_Semantics_G=C3=B6del=27s_G_has_no_?==?UTF-8?Q?meaning_in_PA?=

By olcott on Mon Apr 20 11:57:40 2026

Latest reply by Chris M. Thomasson on Fri Apr 24 21:14:39 2026
Theatheory: modern super-classical physics (Finlayson)

By Ross Finlayson on Fri Apr 24 14:23:07 2026

Latest reply by Ross Finlayson on Fri Apr 24 14:23:07 2026
Halting Problem within Proof Theoretic Semantics

By olcott on Wed Apr 8 13:33:38 2026

Latest reply by Mikko on Fri Apr 24 09:50:15 2026
Best way to use LLMs to augment academic research

By olcott on Thu Apr 16 10:20:52 2026

Latest reply by Mikko on Fri Apr 24 09:16:30 2026
Theatheory: super-theory and natural science

By Ross Finlayson on Sun Apr 5 11:03:48 2026

Latest reply by Ross Finlayson on Mon Apr 20 23:07:23 2026
Love your adversaries --- do good to them that hate you

By olcott on Sun Apr 19 10:13:20 2026

Latest reply by olcott on Sun Apr 19 10:13:20 2026
Statuto della Collettivita Senziente - Articles of the Sentient Collective [core 0.1]

By qu on Wed Apr 15 01:44:36 2026

Latest reply by qu on Wed Apr 15 01:44:36 2026
Re: The proper way to use LLMs to aid primary research intofoundations

By Chris M. Thomasson on Thu Mar 26 01:31:09 2026

Latest reply by Ross Finlayson on Mon Mar 30 08:29:02 2026
Re: on fixing turing's diagonal: a refutation of the church-turingthesis --- PLO

By Chris M. Thomasson on Thu Mar 26 01:17:45 2026

Latest reply by Richard Damon on Thu Mar 26 06:49:56 2026