David Corfield Latest Revisions

• invariance ( invariance(rev # 13) | history )
  by David Corfield at March 29, 2021 at 07:44:32
• univocal-equivocal ( univocal-equivocal(rev # 2) | history )
  by David Corfield at March 26, 2021 at 11:21:44
• univocal-equivocal ( univocal-equivocal(rev # 1) | history )
  by David Corfield at March 26, 2021 at 07:57:23
• Home Page ( Home Page(rev # 145) | history )
  by David Corfield at March 26, 2021 at 07:51:31
• type, object, monad, process ( type, object, monad, process(rev # 7) | history )
  by David Corfield at March 24, 2021 at 20:46:08
• Home Page ( Home Page(rev # 144) | history )
  by David Corfield at March 21, 2021 at 11:15:11
• type, object, monad, process ( type, object, monad, process(rev # 6) | history )
  by David Corfield at March 21, 2021 at 11:14:40
• MHTT2 ( MHTT2(rev # 5) | history )
  by David Corfield at March 18, 2021 at 08:25:02
• types in philosophical literature ( types in philosophical literature(rev # 6) | history )
  by David Corfield at March 18, 2021 at 08:05:05
• MHTT2 ( MHTT2(rev # 4) | history )
  by David Corfield at March 17, 2021 at 15:21:27
• MHTT2 ( MHTT2(rev # 3) | history )
  by David Corfield at March 15, 2021 at 21:58:48
• MHTT2 ( MHTT2(rev # 2) | history )
  by David Corfield at March 15, 2021 at 20:36:19
• MHTT2 ( MHTT2(rev # 1) | history )
  by David Corfield at March 15, 2021 at 14:57:06
• Home Page ( Home Page(rev # 143) | history )
  by David Corfield at March 15, 2021 at 13:43:56
• endorsements ( endorsements(rev # 7) | history )
  by David Corfield at February 28, 2021 at 15:06:48
• hyperintensionality ( hyperintensionality(rev # 3) | history )
  by David Corfield at February 23, 2021 at 14:42:23
• hyperintensionality ( hyperintensionality(rev # 2) | history )
  by David Corfield at February 23, 2021 at 12:59:57
• endorsements ( endorsements(rev # 6) | history )
  by David Corfield at February 22, 2021 at 15:37:32
• Modal Homotopy Type Theory ( Modal Homotopy Type Theory(rev # 12) | history )
  by David Corfield at February 1, 2021 at 10:43:48
• probability ( probability(rev # 27) | history )
  by David Corfield at January 28, 2021 at 19:18:42
• quotient types ( quotient types(rev # 6) | history )
  by David Corfield at January 28, 2021 at 16:45:19
• Home Page ( Home Page(rev # 142) | history )
  by David Corfield at January 28, 2021 at 10:11:19
• Ox Notes ( Ox Notes(rev # 16) | history )
  by David Corfield at January 17, 2021 at 17:31:12
• Ox Notes ( Ox Notes(rev # 15) | history )
  by David Corfield at January 16, 2021 at 11:16:56
• Ox Notes ( Ox Notes(rev # 14) | history )
  by David Corfield at January 16, 2021 at 09:50:48
• Ox Notes ( Ox Notes(rev # 13) | history )
  by David Corfield at January 16, 2021 at 09:16:43
• Ox Notes ( Ox Notes(rev # 12) | history )
  by David Corfield at January 15, 2021 at 11:18:17
• Ox Notes ( Ox Notes(rev # 11) | history )
  by David Corfield at January 14, 2021 at 11:14:49
• temporal type theory ( temporal type theory(rev # 11) | history )
  by David Corfield at January 14, 2021 at 10:54:59
• Ox Notes ( Ox Notes(rev # 10) | history )
  by David Corfield at January 13, 2021 at 11:15:32
• Ox Notes ( Ox Notes(rev # 9) | history )
  by David Corfield at January 12, 2021 at 11:47:13
• Ox Notes ( Ox Notes(rev # 8) | history )
  by David Corfield at January 12, 2021 at 10:40:34
• Ox Notes ( Ox Notes(rev # 7) | history )
  by David Corfield at January 11, 2021 at 17:39:14
• Ox Notes ( Ox Notes(rev # 6) | history )
  by David Corfield at January 11, 2021 at 15:38:23
• Ox Notes ( Ox Notes(rev # 5) | history )
  by David Corfield at January 11, 2021 at 10:45:17
• Ox Notes ( Ox Notes(rev # 4) | history )
  by David Corfield at January 11, 2021 at 08:15:33
• Ox Notes ( Ox Notes(rev # 3) | history )
  by David Corfield at January 10, 2021 at 18:01:58
• Ox Notes ( Ox Notes(rev # 2) | history )
  by David Corfield at January 10, 2021 at 15:39:14
• questions ( questions(rev # 2) | history )
  by David Corfield at January 9, 2021 at 16:05:47
• knowledge ( knowledge(rev # 3) | history )
  by David Corfield at January 9, 2021 at 09:39:14
• Ox Notes ( Ox Notes(rev # 1) | history )
  by David Corfield at January 8, 2021 at 12:29:17
• Home Page ( Home Page(rev # 141) | history )
  by David Corfield at January 8, 2021 at 12:07:08
• questions ( questions(rev # 1) | history )
  by David Corfield at January 8, 2021 at 08:22:29
• Home Page ( Home Page(rev # 140) | history )
  by David Corfield at January 8, 2021 at 08:21:05
• knowledge ( knowledge(rev # 2) | history )
  by David Corfield at January 8, 2021 at 08:19:50
• inferences ( inferences(rev # 1) | history )
  by David Corfield at January 4, 2021 at 13:50:14
• Home Page ( Home Page(rev # 139) | history )
  by David Corfield at January 4, 2021 at 13:45:15
• condensed ( condensed(rev # 2) | history )
  by David Corfield at January 3, 2021 at 15:58:45
• condensed ( condensed(rev # 1) | history )
  by David Corfield at January 3, 2021 at 15:26:54
• Home Page ( Home Page(rev # 138) | history )
  by David Corfield at January 3, 2021 at 15:25:36
• William Lawvere
  by David Corfield at January 3, 2021 at 10:26:50
• Home Page ( Home Page(rev # 137) | history )
  by David Corfield at January 3, 2021 at 10:24:37
• n-theory ( n-theory(rev # 3) | history )
  by David Corfield at December 18, 2020 at 15:45:34
• n-theory ( n-theory(rev # 2) | history )
  by David Corfield at December 18, 2020 at 11:19:06
• n-theory ( n-theory(rev # 1) | history )
  by David Corfield at December 17, 2020 at 12:43:18
• Home Page ( Home Page(rev # 136) | history )
  by David Corfield at December 17, 2020 at 11: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 11:51:05
• Two Cultures ( Two Cultures(rev # 12) | history )
  by David Corfield at December 14, 2020 at 16:39:48
• Home Page ( Home Page(rev # 135) | history )
  by David Corfield at December 12, 2020 at 09:44:25
• temporal type theory ( temporal type theory(rev # 10) | history )
  by David Corfield at December 10, 2020 at 15:50:21
• temporal type theory ( temporal type theory(rev # 9) | history )
  by David Corfield at December 10, 2020 at 08:40:01
• temporal type theory ( temporal type theory(rev # 8) | history )
  by David Corfield at December 10, 2020 at 07:52:32
• temporal type theory ( temporal type theory(rev # 7) | history )
  by David Corfield at December 9, 2020 at 17:41:06
• temporal type theory ( temporal type theory(rev # 6) | history )
  by David Corfield at December 9, 2020 at 17:07:16
• temporal type theory ( temporal type theory(rev # 5) | history )
  by David Corfield at December 8, 2020 at 18:38:33
• temporal type theory ( temporal type theory(rev # 4) | history )
  by David Corfield at December 8, 2020 at 17:13:27
• Event types ( Event types(rev # 16) | history )
  by David Corfield at December 8, 2020 at 08:42:08
• Event types ( Event types(rev # 15) | history )
  by David Corfield at December 7, 2020 at 21:38:12
• Event types ( Event types(rev # 14) | history )
  by Anonymous at December 7, 2020 at 09:30:18
• temporal type theory ( temporal type theory(rev # 3) | history )
  by David Corfield at December 6, 2020 at 21:58:01
• Home Page ( Home Page(rev # 134) | history )
  by David Corfield at December 3, 2020 at 11:34:35
• types in philosophical literature ( types in philosophical literature(rev # 5) | history )
  by David Corfield at December 2, 2020 at 07:37:39
• explanation, evidence, cause ( explanation, evidence, cause(rev # 2) | history )
  by David Corfield at December 1, 2020 at 17:19:25
• explanation, evidence, cause ( explanation, evidence, cause(rev # 1) | history )
  by David Corfield at November 30, 2020 at 17:35:20
• Home Page ( Home Page(rev # 133) | history )
  by David Corfield at November 30, 2020 at 17:30:40
• Vienna ( Vienna(rev # 21) | history )
  by David Corfield at November 26, 2020 at 07:15:11
• coercion ( coercion(rev # 2) | history )
  by David Corfield at November 22, 2020 at 20:25:45
• coercion ( coercion(rev # 1) | history )
  by David Corfield at November 22, 2020 at 19:13:41
• Home Page ( Home Page(rev # 132) | history )
  by David Corfield at November 22, 2020 at 19:07:08
• Home Page ( Home Page(rev # 131) | history )
  by David Corfield at November 21, 2020 at 08:38:29
• Home Page ( Home Page(rev # 130) | history )
  by David Corfield at November 20, 2020 at 10:12:33
• Home Page ( Home Page(rev # 129) | history )
  by David Corfield at November 19, 2020 at 09:57:58
• proposition ( proposition(rev # 10) | history )
  by David Corfield at November 17, 2020 at 07:52:25
• types in philosophical literature ( types in philosophical literature(rev # 4) | history )
  by David Corfield at November 12, 2020 at 13:32:38
• Logic of Question and Answer ( Logic of Question and Answer(rev # 26) | history )
  by David Corfield at November 9, 2020 at 08:36:55
• Logic of Question and Answer ( Logic of Question and Answer(rev # 25) | history )
  by David Corfield at November 7, 2020 at 18:02:43
• Logic of Question and Answer ( Logic of Question and Answer(rev # 24) | history )
  by David Corfield at November 6, 2020 at 10:15:21
• Logic of Question and Answer ( Logic of Question and Answer(rev # 23) | history )
  by David Corfield at November 5, 2020 at 17:30:28
• Logic of Question and Answer ( Logic of Question and Answer(rev # 22) | history )
  by David Corfield at November 5, 2020 at 16:41:42
• The Principles of History
  by David Corfield at November 5, 2020 at 12:39:37
• R G Collingwood ( R G Collingwood(rev # 10) | history )
  by David Corfield at November 5, 2020 at 12:36:02
• Aesthetic Theory and Artistic Practice ( Aesthetic Theory and Artistic Practice(rev # 6) | history )
  by David Corfield at November 5, 2020 at 11:29:38
• Logic of Question and Answer ( Logic of Question and Answer(rev # 21) | history )
  by David Corfield at November 5, 2020 at 10:03:13
• Logic of Question and Answer ( Logic of Question and Answer(rev # 20) | history )
  by David Corfield at November 5, 2020 at 09:07:13
• deduction, induction, abduction ( deduction, induction, abduction(rev # 12) | history )
  by David Corfield at November 1, 2020 at 09:31:50
• Logic of Question and Answer ( Logic of Question and Answer(rev # 19) | history )
  by David Corfield at October 28, 2020 at 16:07:44
• Logic of Question and Answer ( Logic of Question and Answer(rev # 18) | history )
  by David Corfield at October 27, 2020 at 23:21:30
• Event types ( Event types(rev # 13) | history )
  by David Corfield at October 24, 2020 at 08:11:07
• types in philosophical literature ( types in philosophical literature(rev # 3) | history )
  by David Corfield at October 22, 2020 at 09:12:12
• Logic of Question and Answer ( Logic of Question and Answer(rev # 17) | history )
  by David Corfield at October 21, 2020 at 12:06:40