David Corfield
Latest Revisions

• probability ( probability(rev # 31) | history )
  by Anonymous? at April 13, 2021 at 09:11:03
• negative facts ( negative facts(rev # 4) | history )
  by David Corfield at April 13, 2021 at 08:31:50
• univocal-equivocal ( univocal-equivocal(rev # 4) | history )
  by David Corfield at April 13, 2021 at 06:24:28
• logic-mathematics ( logic-mathematics(rev # 8) | history )
  by David Corfield at April 13, 2021 at 05:42:56
• logic-mathematics ( logic-mathematics(rev # 7) | history )
  by David Corfield at April 13, 2021 at 04:48:02
• logic-mathematics ( logic-mathematics(rev # 6) | history )
  by David Corfield at April 13, 2021 at 02:38:04
• Modal Homotopy Type Theory ( Modal Homotopy Type Theory(rev # 14) | history )
  by Tim Johns? at April 12, 2021 at 21:38:53
• probability ( probability(rev # 30) | history )
  by David Corfield at April 12, 2021 at 11:52:36
• logic-mathematics ( logic-mathematics(rev # 5) | history )
  by David Corfield at April 12, 2021 at 11:31:17
• probability ( probability(rev # 29) | history )
  by David Corfield at April 12, 2021 at 10:57:03
• logic-mathematics ( logic-mathematics(rev # 4) | history )
  by David Corfield at April 12, 2021 at 10:37:06
• probability ( probability(rev # 28) | history )
  by David Corfield at April 12, 2021 at 10:18:13
• logic-mathematics ( logic-mathematics(rev # 3) | history )
  by David Corfield at April 12, 2021 at 08:28:29
• logic-mathematics ( logic-mathematics(rev # 2) | history )
  by David Corfield at April 12, 2021 at 06:54:04
• negative facts ( negative facts(rev # 3) | history )
  by David Corfield at April 12, 2021 at 04:14:43
• negative facts ( negative facts(rev # 2) | history )
  by David Corfield at April 12, 2021 at 03:06:49
• negative facts ( negative facts(rev # 1) | history )
  by David Corfield at April 10, 2021 at 06:21:11
• Home Page ( Home Page(rev # 147) | history )
  by David Corfield at April 10, 2021 at 03:01:37
• logic-mathematics ( logic-mathematics(rev # 1) | history )
  by David Corfield at April 9, 2021 at 10:41:24
• types in philosophical literature ( types in philosophical literature(rev # 7) | history )
  by David Corfield at April 9, 2021 at 06:01:36
• Home Page ( Home Page(rev # 146) | history )
  by David Corfield at April 9, 2021 at 06:00:35
• univocal-equivocal ( univocal-equivocal(rev # 3) | history )
  by David Corfield at April 7, 2021 at 11:12:26
• n-theory ( n-theory(rev # 6) | history )
  by David Corfield at April 7, 2021 at 10:58:05
• n-theory ( n-theory(rev # 5) | history )
  by David Corfield at April 7, 2021 at 09:23:16
• Modal Homotopy Type Theory ( Modal Homotopy Type Theory(rev # 13) | history )
  by David Corfield at April 7, 2021 at 06:44:44
• n-theory ( n-theory(rev # 4) | history )
  by David Corfield at April 7, 2021 at 04:50:44
• invariance ( invariance(rev # 14) | history )
  by David Corfield at March 31, 2021 at 10:13:25
• invariance ( invariance(rev # 13) | history )
  by David Corfield at March 29, 2021 at 03:44:32
• univocal-equivocal ( univocal-equivocal(rev # 2) | history )
  by David Corfield at March 26, 2021 at 07:21:44
• univocal-equivocal ( univocal-equivocal(rev # 1) | history )
  by David Corfield at March 26, 2021 at 03:57:23
• Home Page ( Home Page(rev # 145) | history )
  by David Corfield at March 26, 2021 at 03:51:31
• type, object, monad, process ( type, object, monad, process(rev # 7) | history )
  by David Corfield at March 24, 2021 at 16:46:08
• Home Page ( Home Page(rev # 144) | history )
  by David Corfield at March 21, 2021 at 07:15:11
• type, object, monad, process ( type, object, monad, process(rev # 6) | history )
  by David Corfield at March 21, 2021 at 07:14:40
• MHTT2 ( MHTT2(rev # 5) | history )
  by David Corfield at March 18, 2021 at 04:25:02
• types in philosophical literature ( types in philosophical literature(rev # 6) | history )
  by David Corfield at March 18, 2021 at 04:05:05
• MHTT2 ( MHTT2(rev # 4) | history )
  by David Corfield at March 17, 2021 at 11:21:27
• MHTT2 ( MHTT2(rev # 3) | history )
  by David Corfield at March 15, 2021 at 17:58:48
• MHTT2 ( MHTT2(rev # 2) | history )
  by David Corfield at March 15, 2021 at 16:36:19
• MHTT2 ( MHTT2(rev # 1) | history )
  by David Corfield at March 15, 2021 at 10:57:06
• Home Page ( Home Page(rev # 143) | history )
  by David Corfield at March 15, 2021 at 09:43:56
• endorsements ( endorsements(rev # 7) | history )
  by David Corfield at February 28, 2021 at 10:06:48
• hyperintensionality ( hyperintensionality(rev # 3) | history )
  by David Corfield at February 23, 2021 at 09:42:23
• hyperintensionality ( hyperintensionality(rev # 2) | history )
  by David Corfield at February 23, 2021 at 07:59:57
• endorsements ( endorsements(rev # 6) | history )
  by David Corfield at February 22, 2021 at 10:37:32
• Modal Homotopy Type Theory ( Modal Homotopy Type Theory(rev # 12) | history )
  by David Corfield at February 1, 2021 at 05:43:48
• probability ( probability(rev # 27) | history )
  by David Corfield at January 28, 2021 at 14:18:42
• quotient types ( quotient types(rev # 6) | history )
  by David Corfield at January 28, 2021 at 11:45:19
• Home Page ( Home Page(rev # 142) | history )
  by David Corfield at January 28, 2021 at 05:11:19
• Ox Notes ( Ox Notes(rev # 16) | history )
  by David Corfield at January 17, 2021 at 12:31:12
• Ox Notes ( Ox Notes(rev # 15) | history )
  by David Corfield at January 16, 2021 at 06:16:56
• Ox Notes ( Ox Notes(rev # 14) | history )
  by David Corfield at January 16, 2021 at 04:50:48
• Ox Notes ( Ox Notes(rev # 13) | history )
  by David Corfield at January 16, 2021 at 04:16:43
• Ox Notes ( Ox Notes(rev # 12) | history )
  by David Corfield at January 15, 2021 at 06:18:17
• Ox Notes ( Ox Notes(rev # 11) | history )
  by David Corfield at January 14, 2021 at 06:14:49
• temporal type theory ( temporal type theory(rev # 11) | history )
  by David Corfield at January 14, 2021 at 05:54:59
• Ox Notes ( Ox Notes(rev # 10) | history )
  by David Corfield at January 13, 2021 at 06:15:32
• Ox Notes ( Ox Notes(rev # 9) | history )
  by David Corfield at January 12, 2021 at 06:47:13
• Ox Notes ( Ox Notes(rev # 8) | history )
  by David Corfield at January 12, 2021 at 05:40:34
• Ox Notes ( Ox Notes(rev # 7) | history )
  by David Corfield at January 11, 2021 at 12:39:14
• Ox Notes ( Ox Notes(rev # 6) | history )
  by David Corfield at January 11, 2021 at 10:38:23
• Ox Notes ( Ox Notes(rev # 5) | history )
  by David Corfield at January 11, 2021 at 05:45:17
• Ox Notes ( Ox Notes(rev # 4) | history )
  by David Corfield at January 11, 2021 at 03:15:33
• Ox Notes ( Ox Notes(rev # 3) | history )
  by David Corfield at January 10, 2021 at 13:01:58
• Ox Notes ( Ox Notes(rev # 2) | history )
  by David Corfield at January 10, 2021 at 10:39:14
• questions ( questions(rev # 2) | history )
  by David Corfield at January 9, 2021 at 11:05:47
• knowledge ( knowledge(rev # 3) | history )
  by David Corfield at January 9, 2021 at 04:39:14
• Ox Notes ( Ox Notes(rev # 1) | history )
  by David Corfield at January 8, 2021 at 07:29:17
• Home Page ( Home Page(rev # 141) | history )
  by David Corfield at January 8, 2021 at 07:07:08
• questions ( questions(rev # 1) | history )
  by David Corfield at January 8, 2021 at 03:22:29
• Home Page ( Home Page(rev # 140) | history )
  by David Corfield at January 8, 2021 at 03:21:05
• knowledge ( knowledge(rev # 2) | history )
  by David Corfield at January 8, 2021 at 03:19:50
• inferences
  by David Corfield at January 4, 2021 at 08:50:14
• Home Page ( Home Page(rev # 139) | history )
  by David Corfield at January 4, 2021 at 08:45:15
• condensed ( condensed(rev # 2) | history )
  by David Corfield at January 3, 2021 at 10:58:45
• condensed ( condensed(rev # 1) | history )
  by David Corfield at January 3, 2021 at 10:26:54
• Home Page ( Home Page(rev # 138) | history )
  by David Corfield at January 3, 2021 at 10:25:36
• William Lawvere
  by David Corfield at January 3, 2021 at 05:26:50
• Home Page ( Home Page(rev # 137) | history )
  by David Corfield at January 3, 2021 at 05:24:37
• n-theory ( n-theory(rev # 3) | history )
  by David Corfield at December 18, 2020 at 10:45:34
• n-theory ( n-theory(rev # 2) | history )
  by David Corfield at December 18, 2020 at 06:19:06
• n-theory ( n-theory(rev # 1) | history )
  by David Corfield at December 17, 2020 at 07:43:18
• Home Page ( Home Page(rev # 136) | history )
  by David Corfield at December 17, 2020 at 06:51:42
• relation between category theory and type theory ( relation between category theory and type theory(rev # 4) | history )
  by David Corfield at December 17, 2020 at 06:51:05
• Two Cultures ( Two Cultures(rev # 12) | history )
  by David Corfield at December 14, 2020 at 11:39:48
• Home Page ( Home Page(rev # 135) | history )
  by David Corfield at December 12, 2020 at 04:44:25
• temporal type theory ( temporal type theory(rev # 10) | history )
  by David Corfield at December 10, 2020 at 10:50:21
• temporal type theory ( temporal type theory(rev # 9) | history )
  by David Corfield at December 10, 2020 at 03:40:01
• temporal type theory ( temporal type theory(rev # 8) | history )
  by David Corfield at December 10, 2020 at 02:52:32
• temporal type theory ( temporal type theory(rev # 7) | history )
  by David Corfield at December 9, 2020 at 12:41:06
• temporal type theory ( temporal type theory(rev # 6) | history )
  by David Corfield at December 9, 2020 at 12:07:16
• temporal type theory ( temporal type theory(rev # 5) | history )
  by David Corfield at December 8, 2020 at 13:38:33
• temporal type theory ( temporal type theory(rev # 4) | history )
  by David Corfield at December 8, 2020 at 12:13:27
• Event types ( Event types(rev # 16) | history )
  by David Corfield at December 8, 2020 at 03:42:08
• Event types ( Event types(rev # 15) | history )
  by David Corfield at December 7, 2020 at 16:38:12
• Event types ( Event types(rev # 14) | history )
  by Anonymous? at December 7, 2020 at 04:30:18
• temporal type theory ( temporal type theory(rev # 3) | history )
  by David Corfield at December 6, 2020 at 16:58:01
• Home Page ( Home Page(rev # 134) | history )
  by David Corfield at December 3, 2020 at 06:34:35
• types in philosophical literature ( types in philosophical literature(rev # 5) | history )
  by David Corfield at December 2, 2020 at 02:37:39
• explanation, evidence, cause ( explanation, evidence, cause(rev # 2) | history )
  by David Corfield at December 1, 2020 at 12:19:25