Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > comp.ai.philosophy

comp.ai.philosophy

34848 articles (numbers 331 – 35371) — threaded view

| Advanced

Subject Author Date [desc]
Re: William T. Parry gets rid of Disjunction introduction Mikko <mikko.levanto@iki.fi> 2026-07-08 12:10 +0300
Re: Olcott gets rid of the Principle of Explosion Mikko <mikko.levanto@iki.fi> 2026-07-08 12:05 +0300
Re: Olcott gets rid of the Principle of Explosion Mikko <mikko.levanto@iki.fi> 2026-07-08 12:02 +0300
Re: Within Proof Theoretic Semantics Gödel's G has no meaning in PA Mikko <mikko.levanto@iki.fi> 2026-07-08 12:00 +0300
Re: Within Proof Theoretic Semantics Gödel's G has no meaning in PA Mikko <mikko.levanto@iki.fi> 2026-07-08 11:52 +0300
Re: Within Proof Theoretic Semantics Gödel's G has no meaning in PA Mikko <mikko.levanto@iki.fi> 2026-07-08 11:47 +0300
Re: Within Proof Theoretic Semantics Gödel's G has no meaning in PA Mikko <mikko.levanto@iki.fi> 2026-07-08 11:45 +0300
Re: Within Proof Theoretic Semantics Gödel's G has no meaning in PA Mikko <mikko.levanto@iki.fi> 2026-07-08 11:44 +0300
Re: Terms-Of-The-Art are Liars Mikko <mikko.levanto@iki.fi> 2026-07-08 11:38 +0300
Re: Within Proof Theoretic Semantics Gödel's G has no meaning in PA Mikko <mikko.levanto@iki.fi> 2026-07-08 11:27 +0300
Re: Terms-of-the-art are Liars that violate the preexisting order of knowledge Mikko <mikko.levanto@iki.fi> 2026-07-08 11:22 +0300
Re: The simple essence of Proof Theoretic Semantics Mikko <mikko.levanto@iki.fi> 2026-07-08 11:14 +0300
Re: The simple essence of Proof Theoretic Semantics Mikko <mikko.levanto@iki.fi> 2026-07-08 11:09 +0300
Re: The simple essence of Proof Theoretic Semantics Mikko <mikko.levanto@iki.fi> 2026-07-08 10:59 +0300
Re: The simple essence of Proof Theoretic Semantics Mikko <mikko.levanto@iki.fi> 2026-07-08 10:55 +0300
Re: The simple essence of Proof Theoretic Semantics Mikko <mikko.levanto@iki.fi> 2026-07-08 10:48 +0300
Re: The truth about the halting problem counter-example input Mikko <mikko.levanto@iki.fi> 2026-07-08 10:45 +0300
Re: The simple essence of Proof Theoretic Semantics Mikko <mikko.levanto@iki.fi> 2026-07-08 10:42 +0300
Re: Readings in (some of the) foundations of mathematics --- tree of knowledge Mikko <mikko.levanto@iki.fi> 2026-07-08 10:35 +0300
Re: Readings in (some of the) foundations of mathematics --- tree of knowledge Mikko <mikko.levanto@iki.fi> 2026-07-08 10:29 +0300
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> 2026-07-07 20:49 -0500
Re: William T. Parry gets rid of Disjunction introduction André G. Isaak <agisaak@gm.invalid> 2026-07-07 19:17 -0600
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> 2026-07-07 19:05 -0500
Re: William T. Parry gets rid of Disjunction introduction André G. Isaak <agisaak@gm.invalid> 2026-07-07 17:06 -0600
Re: Terms-Of-The-Art are Liars "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> 2026-07-07 15:36 -0700
Re: Ross Finlayson what about the Prolog Liar Paradox ? olcott <polcott333@gmail.com> 2026-07-07 17:17 -0500
Re: Ross Finlayson what about the Prolog Liar Paradox ? Alan Mackenzie <acm@muc.de> 2026-07-07 21:57 +0000
Re: Ross Finlayson what about the Prolog Liar Paradox ? Ross Finlayson <ross.a.finlayson@gmail.com> 2026-07-07 14:35 -0700
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> 2026-07-07 16:30 -0500
Re: William T. Parry gets rid of Disjunction introduction André G. Isaak <agisaak@gm.invalid> 2026-07-07 15:24 -0600
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> 2026-07-07 16:13 -0500
Re: William T. Parry gets rid of Disjunction introduction André G. Isaak <agisaak@gm.invalid> 2026-07-07 14:08 -0600
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> 2026-07-07 14:53 -0500
Re: Ross Finlayson what about the Prolog Liar Paradox ? olcott <polcott333@gmail.com> 2026-07-07 14:48 -0500
Re: William T. Parry gets rid of Disjunction introduction André G. Isaak <agisaak@gm.invalid> 2026-07-07 13:29 -0600
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> 2026-07-07 14:19 -0500
Re: Ross Finlayson what about the Prolog Liar Paradox ? Ross Finlayson <ross.a.finlayson@gmail.com> 2026-07-07 12:17 -0700
Re: William T. Parry gets rid of Disjunction introduction André G. Isaak <agisaak@gm.invalid> 2026-07-07 12:46 -0600
Re: Ross Finlayson what about the Prolog Liar Paradox ? olcott <polcott333@gmail.com> 2026-07-07 13:07 -0500
Re: Ross Finlayson what about the Prolog Liar Paradox ? Ross Finlayson <ross.a.finlayson@gmail.com> 2026-07-07 10:53 -0700
Ross Finlayson what about the Prolog Liar Paradox ? olcott <polcott333@gmail.com> 2026-07-07 11:10 -0500
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> 2026-07-07 11:04 -0500
Re: William T. Parry gets rid of Disjunction introduction Ross Finlayson <ross.a.finlayson@gmail.com> 2026-07-07 08:56 -0700
Re: William T. Parry gets rid of Disjunction introduction Ross Finlayson <ross.a.finlayson@gmail.com> 2026-07-07 08:44 -0700
Re: William T. Parry gets rid of Disjunction introduction André G. Isaak <agisaak@gm.invalid> 2026-07-07 09:31 -0600
Re: William T. Parry gets rid of Disjunction introduction Ross Finlayson <ross.a.finlayson@gmail.com> 2026-07-06 21:58 -0700
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> 2026-07-06 22:40 -0500
Re: William T. Parry gets rid of Disjunction introduction André G. Isaak <agisaak@gm.invalid> 2026-07-06 21:28 -0600
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> 2026-07-06 22:12 -0500
Re: William T. Parry gets rid of Disjunction introduction André G. Isaak <agisaak@gm.invalid> 2026-07-06 21:03 -0600

1 2 3 ... 697 Next »

csiph-web