Date | Sujet | # | | Auteur |
22 Mar 25 |         Re: How a True(X) predicate can be defined for the set of analytic knowledge (HoTT) | 8 | | olcott |
22 Mar 25 |          Re: How a True(X) predicate can be defined for the set of analytic knowledge (HoTT) | 7 | | Richard Damon |
22 Mar 25 |           Re: How a True(X) predicate can be defined for the set of analytic knowledge (HoTT) | 6 | | olcott |
22 Mar 25 |            Re: How a True(X) predicate can be defined for the set of analytic knowledge (HoTT) | 5 | | Richard Damon |
22 Mar 25 |             Re: How a True(X) predicate can be defined for the set of analytic knowledge (HoTT) | 4 | | olcott |
23 Mar 25 |              Re: How a True(X) predicate can be defined for the set of analytic knowledge (HoTT) | 3 | | Richard Damon |
23 Mar 25 |               Re: How a True(X) predicate can be defined for the set of analytic knowledge (HoTT) | 2 | | olcott |
23 Mar 25 |                Re: How a True(X) predicate can be defined for the set of analytic knowledge (HoTT) | 1 | | Richard Damon |
22 Mar 25 |        Re: How a True(X) predicate can be defined for the set of analytic knowledge | 1 | | Mikko |
22 Mar 25 |      Re: How a True(X) predicate can be defined for the set of analytic knowledge | 221 | | Mikko |
22 Mar 25 |       Re: How a True(X) predicate can be defined for the set of analytic knowledge | 220 | | olcott |
25 Mar 25 |        Re: How a True(X) predicate can be defined for the set of analytic knowledge | 219 | | Mikko |
25 Mar 25 |         Re: How a True(X) predicate can be defined for the set of analytic knowledge | 218 | | olcott |
26 Mar 25 |          Re: How a True(X) predicate can be defined for the set of analytic knowledge | 179 | | Richard Damon |
26 Mar 25 |           Re: How a True(X) predicate can be defined for the set of analytic knowledge | 178 | | olcott |
26 Mar 25 |            Re: How a True(X) predicate can be defined for the set of analytic knowledge | 167 | | Mikko |
26 Mar 25 |             Re: How a True(X) predicate can be defined for the set of analytic knowledge | 166 | | olcott |
27 Mar 25 |              Re: How a True(X) predicate can be defined for the set of analytic knowledge | 165 | | Mikko |
28 Mar 25 |               Re: How a True(X) predicate can be defined for the set of analytic knowledge | 164 | | olcott |
28 Mar 25 |                Re: How a True(X) predicate can be defined for the set of analytic knowledge | 22 | | Richard Damon |
28 Mar 25 |                 Re: How a True(X) predicate can be defined for the set of analytic knowledge | 21 | | olcott |
28 Mar 25 |                  Re: How a True(X) predicate can be defined for the set of analytic knowledge | 20 | | Richard Damon |
28 Mar 25 |                   Re: How a True(X) predicate can be defined for the set of analytic knowledge | 19 | | olcott |
28 Mar 25 |                    Re: How a True(X) predicate can be defined for the set of analytic knowledge | 8 | | Richard Damon |
29 Mar 25 |                     Re: How a True(X) predicate can be defined for the set of analytic knowledge | 7 | | olcott |
29 Mar 25 |                      Re: How a True(X) predicate can be defined for the set of analytic knowledge | 6 | | Richard Damon |
29 Mar 25 |                       Re: How a True(X) predicate can be defined for the set of analytic knowledge | 5 | | olcott |
29 Mar 25 |                        Re: How a True(X) predicate can be defined for the set of analytic knowledge | 1 | | Richard Damon |
29 Mar 25 |                        Re: How a True(X) predicate can be defined for the set of analytic knowledge | 3 | | joes |
29 Mar 25 |                         Re: How a True(X) predicate can be defined for the set of analytic knowledge | 2 | | olcott |
29 Mar 25 |                          Re: How a True(X) predicate can be defined for the set of analytic knowledge | 1 | | Richard Damon |
29 Mar 25 |                    Re: How a True(X) predicate can be defined for the set of analytic knowledge | 10 | | joes |
29 Mar 25 |                     Re: How a True(X) predicate can be defined for the set of analytic knowledge | 9 | | olcott |
29 Mar 25 |                      Re: How a True(X) predicate can be defined for the set of analytic knowledge | 5 | | Richard Damon |
29 Mar 25 |                       Re: How a True(X) predicate can be defined for the set of analytic knowledge | 2 | | olcott |
29 Mar 25 |                        Re: How a True(X) predicate can be defined for the set of analytic knowledge | 1 | | Richard Damon |
29 Mar 25 |                       Re: How a True(X) predicate can be defined for the set of analytic knowledge | 2 | | olcott |
29 Mar 25 |                        Re: How a True(X) predicate can be defined for the set of analytic knowledge | 1 | | Richard Damon |
29 Mar 25 |                      Re: How a True(X) predicate can be defined for the set of analytic knowledge | 3 | | joes |
29 Mar 25 |                       Re: How a True(X) predicate can be defined for the set of analytic knowledge | 2 | | olcott |
29 Mar 25 |                        Re: How a True(X) predicate can be defined for the set of analytic knowledge | 1 | | Richard Damon |
28 Mar 25 |                Re: How a True(X) predicate can be defined for the set of analytic knowledge | 141 | | Mikko |
28 Mar 25 |                 Re: How a True(X) predicate can be defined for the set of analytic knowledge | 140 | | olcott |
28 Mar 25 |                  Re: How a True(X) predicate can be defined for the set of analytic knowledge | 1 | | Richard Damon |
29 Mar 25 |                  Re: How a True(X) predicate can be defined for the set of analytic knowledge | 138 | | Mikko |
29 Mar 25 |                   Re: How a True(X) predicate can be defined for the set of analytic knowledge | 137 | | olcott |
30 Mar 25 |                    Re: How a True(X) predicate can be defined for the set of analytic knowledge | 136 | | Mikko |
30 Mar 25 |                     Re: How a True(X) predicate can be defined for the set of analytic knowledge | 135 | | olcott |
30 Mar 25 |                      Re: How a True(X) predicate can be defined for the set of analytic knowledge | 99 | | Richard Damon |
30 Mar 25 |                       Re: How a True(X) predicate can be defined for the set of analytic knowledge | 98 | | olcott |
30 Mar 25 |                        Re: How a True(X) predicate can be defined for the set of analytic knowledge | 66 | | Richard Damon |
30 Mar 25 |                         Re: How a True(X) predicate can be defined for the set of analytic knowledge | 65 | | olcott |
30 Mar 25 |                          Re: How a True(X) predicate can be defined for the set of analytic knowledge | 64 | | Richard Damon |
30 Mar 25 |                           Re: How a True(X) predicate can be defined for the set of analytic knowledge | 63 | | olcott |
30 Mar 25 |                            Re: How a True(X) predicate can be defined for the set of analytic knowledge | 62 | | Richard Damon |
31 Mar 25 |                             Re: How a True(X) predicate can be defined for the set of analytic knowledge | 61 | | olcott |
31 Mar 25 |                              Re: How a True(X) predicate can be defined for the set of analytic knowledge | 60 | | Richard Damon |
31 Mar 25 |                               Re: How a True(X) predicate can be defined for the set of analytic knowledge | 59 | | olcott |
31 Mar 25 |                                Re: How a True(X) predicate can be defined for the set of analytic knowledge | 58 | | Richard Damon |
31 Mar 25 |                                 Re: How a True(X) predicate can be defined for the set of analytic knowledge | 57 | | olcott |
31 Mar 25 |                                  Re: How a True(X) predicate can be defined for the set of analytic knowledge | 3 | | Mikko |
31 Mar 25 |                                   Re: How a True(X) predicate can be defined for the set of analytic knowledge | 2 | | olcott |
1 Apr 25 |                                    Re: How a True(X) predicate can be defined for the set of analytic knowledge | 1 | | Mikko |
31 Mar 25 |                                  Re: How a True(X) predicate can be defined for the set of analytic knowledge | 53 | | Richard Damon |
31 Mar 25 |                                   Re: How a True(X) predicate can be defined for the set of analytic knowledge | 52 | | olcott |
31 Mar 25 |                                    Re: How a True(X) predicate can be defined for the set of analytic knowledge | 51 | | Richard Damon |
1 Apr 25 |                                     Re: How a True(X) predicate can be defined for the set of analytic knowledge | 50 | | olcott |
1 Apr 25 |                                      Re: How a True(X) predicate can be defined for the set of analytic knowledge | 49 | | Richard Damon |
1 Apr 25 |                                       Re: How a True(X) predicate can be defined for the set of analytic knowledge | 48 | | olcott |
1 Apr 25 |                                        Re: How a True(X) predicate can be defined for the set of analytic knowledge | 47 | | Richard Damon |
1 Apr 25 |                                         Re: How a True(X) predicate can be defined for the set of analytic knowledge | 46 | | olcott |
1 Apr 25 |                                          Re: How a True(X) predicate can be defined for the set of analytic knowledge | 5 | | Richard Damon |
2 Apr 25 |                                           Re: How a True(X) predicate can be defined for the set of analytic knowledge | 4 | | olcott |
2 Apr 25 |                                            Re: How a True(X) predicate can be defined for the set of analytic knowledge | 3 | | Richard Damon |
2 Apr 25 |                                             Re: How a True(X) predicate can be defined for the set of analytic knowledge | 2 | | olcott |
2 Apr 25 |                                              Re: How a True(X) predicate can be defined for the set of analytic knowledge | 1 | | Richard Damon |
2 Apr 25 |                                          Re: How a True(X) predicate can be defined for the set of analytic knowledge | 40 | | Mikko |
2 Apr 25 |                                           Re: How a True(X) predicate can be defined for the set of analytic knowledge | 39 | | olcott |
2 Apr 25 |                                            Re: How a True(X) predicate can be defined for the set of analytic knowledge | 27 | | Richard Damon |
3 Apr 25 |                                             Re: How a True(X) predicate can be defined for the set of analytic knowledge | 26 | | olcott |
3 Apr 25 |                                              Re: How a True(X) predicate can be defined for the set of analytic knowledge | 21 | | Richard Damon |
3 Apr 25 |                                               Re: How a True(X) predicate can be defined for the set of analytic knowledge | 20 | | olcott |
3 Apr 25 |                                                Re: How a True(X) predicate can be defined for the set of analytic knowledge | 8 | | Richard Damon |
3 Apr 25 |                                                 Re: How a True(X) predicate can be defined for the set of analytic knowledge | 7 | | olcott |
3 Apr 25 |                                                  Re: How a True(X) predicate can be defined for the set of analytic knowledge | 6 | | Richard Damon |
3 Apr 25 |                                                   Re: How a True(X) predicate can be defined for the set of analytic knowledge | 5 | | olcott |
3 Apr 25 |                                                    Re: How a True(X) predicate can be defined for the set of analytic knowledge | 3 | | Richard Damon |
4 Apr 25 |                                                     Re: How a True(X) predicate can be defined for the set of analytic knowledge GENERIC | 2 | | olcott |
4 Apr 25 |                                                      Re: How a True(X) predicate can be defined for the set of analytic knowledge GENERIC | 1 | | Richard Damon |
4 Apr 25 |                                                    Re: How a True(X) predicate can be defined for the set of analytic knowledge | 1 | | Mikko |
3 Apr 25 |                                                Re: How a True(X) predicate can be defined for the set of analytic knowledge | 11 | | Mikko |
3 Apr 25 |                                                 Re: How a True(X) predicate can be defined for the set of analytic knowledge | 10 | | olcott |
5 Apr 25 |                                                  Re: How a True(X) predicate can be defined for the set of analytic knowledge | 9 | | Mikko |
5 Apr 25 |                                                   Re: How a True(X) predicate can be defined for the set of analytic knowledge | 3 | | olcott |
5 Apr 25 |                                                    Re: How a True(X) predicate can be defined for the set of analytic knowledge | 1 | | Richard Damon |
6 Apr 25 |                                                    Re: How a True(X) predicate can be defined for the set of analytic knowledge | 1 | | Mikko |
5 Apr 25 |                                                   Re: How a True(X) predicate can be defined for the set of analytic knowledge | 5 | | olcott |
5 Apr 25 |                                                    Re: How a True(X) predicate can be defined for the set of analytic knowledge | 4 | | Richard Damon |
6 Apr 25 |                                                     Re: How a True(X) predicate can be defined for the set of analytic knowledge | 3 | | olcott |
6 Apr 25 |                                                      Re: How a True(X) predicate can be defined for the set of analytic knowledge | 1 | | Mikko |
6 Apr 25 |                                                      Re: How a True(X) predicate can be defined for the set of analytic knowledge | 1 | | Richard Damon |
3 Apr 25 |                                              Re: How a True(X) predicate can be defined for the set of analytic knowledge | 4 | | Mikko |
3 Apr 25 |                                               Re: How a True(X) predicate can be defined for the set of analytic knowledge | 3 | | olcott |
3 Apr 25 |                                                Re: How a True(X) predicate can be defined for the set of analytic knowledge | 1 | | Richard Damon |
5 Apr 25 |                                                Re: How a True(X) predicate can be defined for the set of analytic knowledge | 1 | | Mikko |
3 Apr 25 |                                            Re: How a True(X) predicate can be defined for the set of analytic knowledge | 11 | | Mikko |
3 Apr 25 |                                             Re: How a True(X) predicate can be defined for the set of analytic knowledge | 10 | | olcott |
3 Apr 25 |                                              Re: How a True(X) predicate can be defined for the set of analytic knowledge | 1 | | Richard Damon |
5 Apr 25 |                                              Re: How a True(X) predicate can be defined for the set of analytic knowledge | 8 | | Mikko |
5 Apr 25 |                                               Re: How a True(X) predicate can be defined for the set of analytic knowledge | 7 | | olcott |
5 Apr 25 |                                                Re: How a True(X) predicate can be defined for the set of analytic knowledge | 5 | | Richard Damon |
5 Apr 25 |                                                 Re: How a True(X) predicate can be defined for the set of analytic knowledge | 4 | | olcott |
5 Apr 25 |                                                  Re: How a True(X) predicate can be defined for the set of analytic knowledge | 3 | | Richard Damon |
6 Apr 25 |                                                   Re: How a True(X) predicate can be defined for the set of analytic knowledge | 2 | | olcott |
6 Apr 25 |                                                    Re: How a True(X) predicate can be defined for the set of analytic knowledge | 1 | | Richard Damon |
6 Apr 25 |                                                Re: How a True(X) predicate can be defined for the set of analytic knowledge | 1 | | Mikko |
31 Mar 25 |                        Re: How a True(X) predicate can be defined for the set of analytic knowledge | 31 | | Mikko |
31 Mar 25 |                         Re: How a True(X) predicate can be defined for the set of analytic knowledge | 30 | | olcott |
1 Apr 25 |                          Re: How a True(X) predicate can be defined for the set of analytic knowledge | 29 | | Mikko |
1 Apr 25 |                           Re: How a True(X) predicate can be defined for the set of analytic knowledge | 28 | | olcott |
1 Apr 25 |                            Re: How a True(X) predicate can be defined for the set of analytic knowledge | 8 | | Richard Damon |
2 Apr 25 |                             Proving the consistency of the body of knowledge expressed in language | 7 | | olcott |
2 Apr 25 |                              Re: Proving the consistency of the body of knowledge expressed in language | 6 | | Richard Damon |
2 Apr 25 |                               Re: Proving the consistency of the body of knowledge expressed in language | 5 | | olcott |
2 Apr 25 |                                Re: Proving the consistency of the body of knowledge expressed in language | 1 | | Richard Damon |
2 Apr 25 |                                Re: Proving the consistency of the body of knowledge expressed in language | 3 | | Mikko |
2 Apr 25 |                                 Re: Proving the consistency of the body of knowledge expressed in language | 2 | | olcott |
5 Apr 25 |                                  Re: Proving the consistency of the body of knowledge expressed in language | 1 | | Mikko |
2 Apr 25 |                            Re: How a True(X) predicate can be defined for the set of analytic knowledge | 19 | | Mikko |
2 Apr 25 |                             Re: How a True(X) predicate can be defined for the set of analytic knowledge | 18 | | olcott |
2 Apr 25 |                              Re: How a True(X) predicate can be defined for the set of analytic knowledge | 9 | | Richard Damon |
3 Apr 25 |                               Re: How a True(X) predicate can be defined for the set of analytic knowledge | 8 | | olcott |
3 Apr 25 |                                Re: How a True(X) predicate can be defined for the set of analytic knowledge | 7 | | Richard Damon |
3 Apr 25 |                                 Re: How a True(X) predicate can be defined for the set of analytic knowledge | 6 | | olcott |
3 Apr 25 |                                  Re: How a True(X) predicate can be defined for the set of analytic knowledge | 5 | | Richard Damon |
3 Apr 25 |                                   Re: How a True(X) predicate can be defined for the set of analytic knowledge | 4 | | olcott |
3 Apr 25 |                                    Re: How a True(X) predicate can be defined for the set of analytic knowledge | 3 | | Richard Damon |
3 Apr 25 |                                     Re: How a True(X) predicate can be defined for the set of analytic knowledge | 2 | | olcott |
3 Apr 25 |                                      Re: How a True(X) predicate can be defined for the set of analytic knowledge | 1 | | Richard Damon |
5 Apr 25 |                              Re: How a True(X) predicate can be defined for the set of analytic knowledge | 8 | | Mikko |
5 Apr 25 |                               Re: How a True(X) predicate can be defined for the set of analytic knowledge | 7 | | olcott |
5 Apr 25 |                                Re: How a True(X) predicate can be defined for the set of analytic knowledge | 5 | | Richard Damon |
5 Apr 25 |                                 Re: How a True(X) predicate can be defined for the set of analytic knowledge | 4 | | olcott |
5 Apr 25 |                                  Re: How a True(X) predicate can be defined for the set of analytic knowledge | 3 | | Richard Damon |
6 Apr 25 |                                   Re: How a True(X) predicate can be defined for the set of analytic knowledge | 2 | | olcott |
6 Apr 25 |                                    Re: How a True(X) predicate can be defined for the set of analytic knowledge | 1 | | Richard Damon |
6 Apr 25 |                                Re: How a True(X) predicate can be defined for the set of analytic knowledge | 1 | | Mikko |
31 Mar 25 |                      Re: How a True(X) predicate can be defined for the set of analytic knowledge | 35 | | Mikko |
31 Mar 25 |                       Re: How a True(X) predicate can be defined for the set of analytic knowledge | 34 | | olcott |
1 Apr 25 |                        Re: How a True(X) predicate can be defined for the set of analytic knowledge | 33 | | Mikko |
1 Apr 25 |                         Re: How a True(X) predicate can be defined for the set of analytic knowledge | 32 | | olcott |
1 Apr 25 |                          Re: How a True(X) predicate can be defined for the set of analytic knowledge | 5 | | Richard Damon |
2 Apr 25 |                           Re: How a True(X) predicate can be defined for the set of analytic knowledge | 4 | | olcott |
2 Apr 25 |                            Re: How a True(X) predicate can be defined for the set of analytic knowledge | 3 | | Richard Damon |
2 Apr 25 |                             Re: How a True(X) predicate can be defined for the set of analytic knowledge | 2 | | olcott |
2 Apr 25 |                              Re: How a True(X) predicate can be defined for the set of analytic knowledge | 1 | | Richard Damon |
2 Apr 25 |                          Re: How a True(X) predicate can be defined for the set of analytic knowledge | 26 | | Mikko |
2 Apr 25 |                           Re: How a True(X) predicate can be defined for the set of analytic knowledge | 25 | | olcott |
2 Apr 25 |                            Re: How a True(X) predicate can be defined for the set of analytic knowledge | 16 | | Richard Damon |
3 Apr 25 |                             Re: How a True(X) predicate can be defined for the set of analytic knowledge | 15 | | olcott |
3 Apr 25 |                              Re: How a True(X) predicate can be defined for the set of analytic knowledge | 14 | | Richard Damon |
3 Apr 25 |                               Re: How a True(X) predicate can be defined for the set of analytic knowledge | 13 | | olcott |
3 Apr 25 |                                Re: How a True(X) predicate can be defined for the set of analytic knowledge | 7 | | dbush |
3 Apr 25 |                                 Re: How a True(X) predicate can be defined for the set of analytic knowledge | 6 | | olcott |
3 Apr 25 |                                  Re: How a True(X) predicate can be defined for the set of analytic knowledge | 5 | | dbush |
3 Apr 25 |                                   Re: How a True(X) predicate can be defined for the set of analytic knowledge | 4 | | olcott |
3 Apr 25 |                                    Re: How a True(X) predicate can be defined for the set of analytic knowledge | 3 | | dbush |
3 Apr 25 |                                     Re: How a True(X) predicate can be defined for the set of analytic knowledge | 2 | | olcott |
3 Apr 25 |                                      Re: How a True(X) predicate can be defined for the set of analytic knowledge | 1 | | Richard Damon |
3 Apr 25 |                                Re: How a True(X) predicate can be defined for the set of analytic knowledge | 5 | | Richard Damon |
3 Apr 25 |                                 Re: How a True(X) predicate can be defined for the set of analytic knowledge | 4 | | olcott |
3 Apr 25 |                                  Re: How a True(X) predicate can be defined for the set of analytic knowledge | 3 | | Richard Damon |
3 Apr 25 |                                   Re: How a True(X) predicate can be defined for the set of analytic knowledge | 2 | | olcott |
3 Apr 25 |                                    Re: How a True(X) predicate can be defined for the set of analytic knowledge | 1 | | Richard Damon |
5 Apr 25 |                            Re: How a True(X) predicate can be defined for the set of analytic knowledge | 8 | | Mikko |
5 Apr 25 |                             Re: How a True(X) predicate can be defined for the set of analytic knowledge | 7 | | olcott |
5 Apr 25 |                              Re: How a True(X) predicate can be defined for the set of analytic knowledge | 5 | | Richard Damon |
5 Apr 25 |                               Re: How a True(X) predicate can be defined for the set of analytic knowledge | 4 | | olcott |
5 Apr 25 |                                Re: How a True(X) predicate can be defined for the set of analytic knowledge | 3 | | Richard Damon |
6 Apr 25 |                                 Re: How a True(X) predicate can be defined for the set of analytic knowledge | 2 | | olcott |
6 Apr 25 |                                  Re: How a True(X) predicate can be defined for the set of analytic knowledge | 1 | | Richard Damon |
6 Apr 25 |                              Re: How a True(X) predicate can be defined for the set of analytic knowledge | 1 | | Mikko |
26 Mar 25 |            Re: How a True(X) predicate can be defined for the set of analytic knowledge | 10 | | Richard Damon |
26 Mar 25 |             Re: How a True(X) predicate can be defined for the set of analytic knowledge | 9 | | olcott |
27 Mar 25 |              Re: How a True(X) predicate can be defined for the set of analytic knowledge | 8 | | Richard Damon |
27 Mar 25 |               Re: How a True(X) predicate can be defined for the set of analytic knowledge | 7 | | olcott |
27 Mar 25 |                Re: How a True(X) predicate can be defined for the set of analytic knowledge | 6 | | Richard Damon |
27 Mar 25 |                 Re: How a True(X) predicate can be defined for the set of analytic knowledge | 5 | | olcott |
27 Mar 25 |                  Re: How a True(X) predicate can be defined for the set of analytic knowledge | 4 | | Richard Damon |
27 Mar 25 |                   Re: How a True(X) predicate can be defined for the set of analytic knowledge | 3 | | olcott |
27 Mar 25 |                    Re: How a True(X) predicate can be defined for the set of analytic knowledge | 1 | | Mikko |
27 Mar 25 |                    Re: How a True(X) predicate can be defined for the set of analytic knowledge | 1 | | Richard Damon |
26 Mar 25 |          Re: How a True(X) predicate can be defined for the set of analytic knowledge | 38 | | Mikko |
26 Mar 25 |           Re: How a True(X) predicate can be defined for the set of analytic knowledge | 37 | | olcott |
27 Mar 25 |            Re: How a True(X) predicate can be defined for the set of analytic knowledge | 5 | | Richard Damon |
27 Mar 25 |             Re: How a True(X) predicate can be defined for the set of analytic knowledge | 4 | | olcott |
27 Mar 25 |              Re: How a True(X) predicate can be defined for the set of analytic knowledge | 3 | | Richard Damon |
27 Mar 25 |               Re: How a True(X) predicate can be defined for the set of analytic knowledge | 2 | | olcott |
27 Mar 25 |                Re: How a True(X) predicate can be defined for the set of analytic knowledge | 1 | | Richard Damon |
27 Mar 25 |            Re: How a True(X) predicate can be defined for the set of analytic knowledge | 31 | | Mikko |
27 Mar 25 |             Re: How a True(X) predicate can be defined for the set of analytic knowledge | 30 | | olcott |
28 Mar 25 |              Re: How a True(X) predicate can be defined for the set of analytic knowledge | 25 | | Richard Damon |
28 Mar 25 |               Re: How a True(X) predicate can be defined for the set of analytic knowledge | 24 | | olcott |
28 Mar 25 |                Re: How a True(X) predicate can be defined for the set of analytic knowledge | 1 | | Richard Damon |
28 Mar 25 |                Re: How a True(X) predicate can be defined for the set of analytic knowledge | 22 | | joes |
28 Mar 25 |                 Re: How a True(X) predicate can be defined for the set of analytic knowledge | 21 | | olcott |
28 Mar 25 |                  Re: How a True(X) predicate can be defined for the set of analytic knowledge | 20 | | Richard Damon |
29 Mar 25 |                   Re: How a True(X) predicate can be defined for the set of analytic knowledge | 19 | | olcott |
29 Mar 25 |                    Re: How a True(X) predicate can be defined for the set of analytic knowledge | 3 | | Richard Damon |
29 Mar 25 |                     Re: How a True(X) predicate can be defined for the set of analytic knowledge | 2 | | olcott |
29 Mar 25 |                      Re: How a True(X) predicate can be defined for the set of analytic knowledge | 1 | | Richard Damon |
29 Mar 25 |                    Re: How a True(X) predicate can be defined for the set of analytic knowledge | 13 | | joes |
29 Mar 25 |                     Re: How a True(X) predicate can be defined for the set of analytic knowledge | 12 | | olcott |
29 Mar 25 |                      Re: How a True(X) predicate can be defined for the set of analytic knowledge | 10 | | Richard Damon |
29 Mar 25 |                       Re: How a True(X) predicate can be defined for the set of analytic knowledge | 9 | | olcott |
29 Mar 25 |                        Re: How a True(X) predicate can be defined for the set of analytic knowledge | 8 | | Richard Damon |
30 Mar 25 |                         Re: How a True(X) predicate can be defined for the set of analytic knowledge | 7 | | olcott |
30 Mar 25 |                          Re: How a True(X) predicate can be defined for the set of analytic knowledge | 6 | | Richard Damon |
30 Mar 25 |                           Re: How a True(X) predicate can be defined for the set of analytic knowledge | 5 | | olcott |
30 Mar 25 |                            Re: How a True(X) predicate can be defined for the set of analytic knowledge | 2 | | olcott |
30 Mar 25 |                             Re: How a True(X) predicate can be defined for the set of analytic knowledge | 1 | | Richard Damon |
30 Mar 25 |                            Re: How a True(X) predicate can be defined for the set of analytic knowledge | 1 | | dbush |
30 Mar 25 |                            Re: How a True(X) predicate can be defined for the set of analytic knowledge | 1 | | Richard Damon |
30 Mar 25 |                      Re: How a True(X) predicate can be defined for the set of analytic knowledge | 1 | | joes |
30 Mar 25 |                    Re: How a True(X) predicate can be defined for the set of analytic knowledge | 2 | | Mikko |
30 Mar 25 |                     Re: How a True(X) predicate can be defined for the set of analytic knowledge | 1 | | olcott |
28 Mar 25 |              Re: How a True(X) predicate can be defined for the set of analytic knowledge | 4 | | Mikko |
28 Mar 25 |               Re: How a True(X) predicate can be defined for the set of analytic knowledge | 3 | | olcott |
28 Mar 25 |                Re: How a True(X) predicate can be defined for the set of analytic knowledge | 1 | | Richard Damon |
29 Mar 25 |                Re: How a True(X) predicate can be defined for the set of analytic knowledge | 1 | | Mikko |
3 Jan 25 | Chicken and egg, with curry? | 8 | | Julio Di Egidio |
3 Jan 25 |  Re: Chicken and egg, with curry? | 1 | | Julio Di Egidio |
3 Jan 25 |  Side Note, Why not DSLs? (Re: Chicken and egg, with curry?) | 3 | | Mild Shock |
3 Jan 25 |   Re: Chicken and egg, with curry? | 2 | | Julio Di Egidio |
3 Jan 25 |    How compile a DSL, does it need Types? (Was: Chicken and egg, with curry?) | 1 | | Mild Shock |
3 Apr 25 |  There is no logic here either: meaning is not compositional! (Was: Chicken and egg, with curry?) | 3 | | Julio Di Egidio |
4 Apr 25 |   Re: There is no logic here either: meaning is not compositional! (Was: Chicken and egg, with curry?) | 2 | | Julio Di Egidio |
4 Apr 25 |    Re: There is no logic here either: meaning is not compositional! (Was: Chicken and egg, with curry?) | 1 | | Julio Di Egidio |
22 Mar 25 | Quine's "Word & Object" | 10 | | Ross Finlayson |
23 Mar 25 |  Re: Quine's "Word & Object" | 9 | | Ross Finlayson |
23 Mar 25 |   There is no logic here (Was: Quine's "Word & Object") | 8 | | Julio Di Egidio |
23 Mar 25 |    Re: There is no logic here (Was: Quine's "Word & Object") | 1 | | Julio Di Egidio |
23 Mar 25 |    Re: There is no logic here (Was: Quine's "Word & Object") | 1 | | Julio Di Egidio |
23 Mar 25 |    Re: There is no logic here (Was: Quine's "Word & Object") | 5 | | Ross Finlayson |
23 Mar 25 |     Re: There is no logic here (Was: Quine's "Word & Object") | 4 | | Julio Di Egidio |
23 Mar 25 |      Re: There is no logic here (Was: Quine's "Word & Object") | 1 | | Julio Di Egidio |
23 Mar 25 |      Re: There is no logic here (Was: Quine's "Word & Object") | 2 | | Ross Finlayson |
23 Mar 25 |       Re: There is no logic here (Was: Quine's "Word & Object") | 1 | | Ross Finlayson |
17 Mar 25 | Why Tarski is wrong | 54 | | olcott |
17 Mar 25 |  Re: Why Tarski is wrong | 40 | | Richard Damon |