David Corfield Latest Revisions

• Home Page ( Home Page(rev # 167) | history )
  by David Corfield at September 22, 2021 at 10:28:52
• homotopification ( homotopification(rev # 2) | history )
  by David Corfield at September 22, 2021 at 08:11:40
• objections and observations ( objections and observations(rev # 18) | history )
  by David Corfield at September 22, 2021 at 07:02:28
• Vienna ( Vienna(rev # 22) | history )
  by David Corfield at September 21, 2021 at 11:02:45
• Wi P ( Wi P(rev # 3) | history )
  by David Corfield at September 21, 2021 at 11:01:08
• Home Page ( Home Page(rev # 166) | history )
  by David Corfield at September 21, 2021 at 08:21:10
• Wi P ( Wi P(rev # 2) | history )
  by David Corfield at September 21, 2021 at 06:40:03
• graded modality ( graded modality(rev # 15) | history )
  by David Corfield at September 19, 2021 at 17:20:08
• graded modality ( graded modality(rev # 14) | history )
  by David Corfield at September 19, 2021 at 08:55:08
• Conor Mc Bride ( Conor Mc Bride(rev # 2) | history )
  by David Corfield at September 16, 2021 at 06:16:25
• Conor Mc Bride ( Conor Mc Bride(rev # 1) | history )
  by David Corfield at September 15, 2021 at 19:37:09
• Home Page ( Home Page(rev # 165) | history )
  by David Corfield at September 15, 2021 at 19:35:00
• deduction, induction, abduction ( deduction, induction, abduction(rev # 15) | history )
  by David Corfield at September 13, 2021 at 06:54:28
• deduction, induction, abduction ( deduction, induction, abduction(rev # 14) | history )
  by David Corfield at September 12, 2021 at 07:26:31
• Home Page ( Home Page(rev # 164) | history )
  by David Corfield at September 6, 2021 at 09:06:46
• Home Page ( Home Page(rev # 163) | history )
  by David Corfield at September 6, 2021 at 07:44:14
• Wi P ( Wi P(rev # 1) | history )
  by David Corfield at September 5, 2021 at 14:45:22
• Home Page ( Home Page(rev # 162) | history )
  by David Corfield at September 5, 2021 at 14:40:50
• distinguish ( distinguish(rev # 7) | history )
  by David Corfield at August 29, 2021 at 06:28:04
• distinguish ( distinguish(rev # 6) | history )
  by David Corfield at August 28, 2021 at 06:15:24
• distinguish ( distinguish(rev # 5) | history )
  by David Corfield at August 27, 2021 at 14:34:09
• distinguish ( distinguish(rev # 4) | history )
  by David Corfield at August 27, 2021 at 10:53:23
• distinguish ( distinguish(rev # 3) | history )
  by David Corfield at August 27, 2021 at 10:17:18
• distinguish ( distinguish(rev # 2) | history )
  by David Corfield at August 27, 2021 at 08:09:15
• distinguish ( distinguish(rev # 1) | history )
  by David Corfield at August 27, 2021 at 06:35:07
• Home Page ( Home Page(rev # 161) | history )
  by David Corfield at August 27, 2021 at 06:25:11
• first steps ( first steps(rev # 3) | history )
  by David Corfield at August 23, 2021 at 09:39:26
• first steps ( first steps(rev # 2) | history )
  by David Corfield at August 23, 2021 at 07:00:06
• first steps ( first steps(rev # 1) | history )
  by David Corfield at August 20, 2021 at 10:08:44
• Home Page ( Home Page(rev # 160) | history )
  by David Corfield at August 20, 2021 at 09:30:43
• inferences ( inferences(rev # 3) | history )
  by David Corfield at August 19, 2021 at 11:42:55
• probability ( probability(rev # 32) | history )
  by David Corfield at July 30, 2021 at 13:14:34
• 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