David Corfield
Latest Revisions

• Home Page ( Home Page(rev # 159) | history )
  by David Corfield at July 19, 2021 at 05:06:34
• Amie Thomasson ( Amie Thomasson(rev # 2) | history )
  by David Corfield at July 4, 2021 at 15:15:38
• Amie Thomasson ( Amie Thomasson(rev # 1) | history )
  by David Corfield at July 2, 2021 at 05:16:47
• Home Page ( Home Page(rev # 158) | history )
  by David Corfield at July 2, 2021 at 05:03:52
• Husserl ( Husserl(rev # 8) | history )
  by David Corfield at June 30, 2021 at 09:21:02
• graded modality ( graded modality(rev # 13) | history )
  by David Corfield at June 25, 2021 at 04:45:48
• temporal type theory ( temporal type theory(rev # 12) | history )
  by David Corfield at June 22, 2021 at 03:55:30
• impossibilia
  by David Corfield at June 20, 2021 at 03:20:09
• Home Page ( Home Page(rev # 157) | history )
  by David Corfield at June 20, 2021 at 03:18:35
• endorsements ( endorsements(rev # 8) | history )
  by David Corfield at June 19, 2021 at 15:33:13
• Husserl ( Husserl(rev # 7) | history )
  by David Corfield at June 19, 2021 at 10:10:31
• Husserl ( Husserl(rev # 6) | history )
  by David Corfield at June 17, 2021 at 08:40:42
• Husserl ( Husserl(rev # 5) | history )
  by David Corfield at June 17, 2021 at 06:34:20
• Husserl ( Husserl(rev # 4) | history )
  by David Corfield at June 16, 2021 at 11:49:27
• Husserl ( Husserl(rev # 3) | history )
  by David Corfield at June 16, 2021 at 10:01:52
• Husserl ( Husserl(rev # 2) | history )
  by David Corfield at June 16, 2021 at 09:22:29
• Husserl ( Husserl(rev # 1) | history )
  by David Corfield at June 16, 2021 at 07:09:51
• Home Page ( Home Page(rev # 156) | history )
  by David Corfield at June 16, 2021 at 06:48:22
• quotient types ( quotient types(rev # 9) | history )
  by David Corfield at June 8, 2021 at 08:35:36
• deduction, induction, abduction ( deduction, induction, abduction(rev # 13) | history )
  by David Corfield at June 1, 2021 at 03:54:46
• Home Page ( Home Page(rev # 155) | history )
  by David Corfield at May 28, 2021 at 04:25:05
• belief ( belief(rev # 4) | history )
  by David Corfield at May 27, 2021 at 03:24:00
• belief ( belief(rev # 3) | history )
  by David Corfield at May 27, 2021 at 02:37:01
• belief ( belief(rev # 2) | history )
  by David Corfield at May 26, 2021 at 04:53:29
• belief ( belief(rev # 1) | history )
  by David Corfield at May 26, 2021 at 03:07:44
• Home Page ( Home Page(rev # 154) | history )
  by David Corfield at May 26, 2021 at 02:59:49
• specification type
  by David Corfield at May 22, 2021 at 02:47:11
• Home Page ( Home Page(rev # 153) | history )
  by David Corfield at May 22, 2021 at 02:46:22
• univocal-equivocal ( univocal-equivocal(rev # 7) | history )
  by David Corfield at May 18, 2021 at 04:26:36
• type-shifting ( type-shifting(rev # 3) | history )
  by David Corfield at May 6, 2021 at 16:36:25
• type-shifting ( type-shifting(rev # 2) | history )
  by David Corfield at May 6, 2021 at 12:23:30
• type-shifting ( type-shifting(rev # 1) | history )
  by David Corfield at May 6, 2021 at 09:30:28
• Home Page ( Home Page(rev # 152) | history )
  by David Corfield at May 6, 2021 at 09:28:36
• free logic ( free logic(rev # 7) | history )
  by David Corfield at May 5, 2021 at 17:28:36
• relevance logic ( relevance logic(rev # 3) | history )
  by David Corfield at May 5, 2021 at 12:57:00
• relevance logic ( relevance logic(rev # 2) | history )
  by David Corfield at May 5, 2021 at 07:46:16
• relevance logic ( relevance logic(rev # 1) | history )
  by David Corfield at May 5, 2021 at 05:36:50
• Home Page ( Home Page(rev # 151) | history )
  by David Corfield at May 5, 2021 at 05:30:54
• Friedman and DTT ( Friedman and DTT(rev # 16) | history )
  by David Corfield at May 4, 2021 at 04:09:09
• free logic ( free logic(rev # 6) | history )
  by David Corfield at May 4, 2021 at 02:31:58
• free logic ( free logic(rev # 5) | history )
  by David Corfield at May 3, 2021 at 11:30:08
• n-theory ( n-theory(rev # 11) | history )
  by David Corfield at May 2, 2021 at 03:20:41
• logic-mathematics ( logic-mathematics(rev # 11) | history )
  by David Corfield at May 1, 2021 at 11:23:57
• intensional conjunction ( intensional conjunction(rev # 2) | history )
  by David Corfield at May 1, 2021 at 11:23:08
• logic-mathematics ( logic-mathematics(rev # 10) | history )
  by David Corfield at April 30, 2021 at 07:32:23
• logic-mathematics ( logic-mathematics(rev # 9) | history )
  by David Corfield at April 30, 2021 at 06:44:23
• intensional conjunction ( intensional conjunction(rev # 1) | history )
  by David Corfield at April 30, 2021 at 04:50:31
• Home Page ( Home Page(rev # 150) | history )
  by David Corfield at April 30, 2021 at 04:36:06
• free logic ( free logic(rev # 4) | history )
  by David Corfield at April 29, 2021 at 09:16:48
• n-theory ( n-theory(rev # 10) | history )
  by David Corfield at April 29, 2021 at 08:07:27
• free logic ( free logic(rev # 3) | history )
  by David Corfield at April 29, 2021 at 08:00:57
• n-theory ( n-theory(rev # 9) | history )
  by David Corfield at April 28, 2021 at 05:45:57
• many-sorted logic ( many-sorted logic(rev # 4) | history )
  by David Corfield at April 28, 2021 at 03:35:02
• many-sorted logic ( many-sorted logic(rev # 3) | history )
  by David Corfield at April 27, 2021 at 05:38:51
• free logic ( free logic(rev # 2) | history )
  by David Corfield at April 27, 2021 at 05:37:24
• many-sorted logic ( many-sorted logic(rev # 2) | history )
  by David Corfield at April 27, 2021 at 05:03:38
• many-sorted logic ( many-sorted logic(rev # 1) | history )
  by David Corfield at April 27, 2021 at 04:28:58
• Home Page ( Home Page(rev # 149) | history )
  by David Corfield at April 27, 2021 at 04:26:41
• free logic ( free logic(rev # 1) | history )
  by David Corfield at April 27, 2021 at 04:06:27
• n-theory ( n-theory(rev # 8) | history )
  by David Corfield at April 26, 2021 at 11:04:08
• n-theory ( n-theory(rev # 7) | history )
  by David Corfield at April 23, 2021 at 06:35:19
• inferences ( inferences(rev # 2) | history )
  by David Corfield at April 23, 2021 at 05:48:56
• stuff ( stuff(rev # 4) | history )
  by David Corfield at April 23, 2021 at 05:13:27
• quotient types ( quotient types(rev # 8) | history )
  by David Corfield at April 18, 2021 at 05:17:57
• quotient types ( quotient types(rev # 7) | history )
  by David Corfield at April 16, 2021 at 09:41:08
• stuff ( stuff(rev # 3) | history )
  by David Corfield at April 16, 2021 at 09:35:54
• univocal-equivocal ( univocal-equivocal(rev # 6) | history )
  by David Corfield at April 16, 2021 at 09:12:52
• negative facts ( negative facts(rev # 6) | history )
  by David Corfield at April 16, 2021 at 05:48:26
• univocal-equivocal ( univocal-equivocal(rev # 5) | history )
  by David Corfield at April 16, 2021 at 05:17:30
• stuff ( stuff(rev # 2) | history )
  by David Corfield at April 15, 2021 at 12:11:36
• negative facts ( negative facts(rev # 5) | history )
  by David Corfield at April 15, 2021 at 10:53:25
• stuff ( stuff(rev # 1) | history )
  by David Corfield at April 15, 2021 at 10:51:12
• Home Page ( Home Page(rev # 148) | history )
  by David Corfield at April 15, 2021 at 10:13:16
• 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