David Corfield Latest Revisions

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