David Corfield Latest Revisions

• 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
• Logic of Question and Answer ( Logic of Question and Answer(rev # 16) | history )
  by David Corfield at October 21, 2020 at 07:29:56
• Logic of Question and Answer ( Logic of Question and Answer(rev # 15) | history )
  by David Corfield at October 20, 2020 at 06:44:03
• Logic of Question and Answer ( Logic of Question and Answer(rev # 14) | history )
  by David Corfield at October 19, 2020 at 21:09:21
• Logic of Question and Answer ( Logic of Question and Answer(rev # 13) | history )
  by David Corfield at October 19, 2020 at 18:24:12
• Logic of Question and Answer ( Logic of Question and Answer(rev # 12) | history )
  by David Corfield at October 18, 2020 at 20:39:22
• Logic of Question and Answer ( Logic of Question and Answer(rev # 11) | history )
  by David Corfield at October 18, 2020 at 19:49:58
• Logic of Question and Answer ( Logic of Question and Answer(rev # 10) | history )
  by David Corfield at October 18, 2020 at 08:01:06
• Logic of Question and Answer ( Logic of Question and Answer(rev # 9) | history )
  by David Corfield at October 16, 2020 at 08:51:43
• Modal Homotopy Type Theory ( Modal Homotopy Type Theory(rev # 11) | history )
  by David Corfield at October 16, 2020 at 08:48:41
• Logic of Question and Answer ( Logic of Question and Answer(rev # 8) | history )
  by David Corfield at October 15, 2020 at 18:47:42
• types in philosophical literature ( types in philosophical literature(rev # 2) | history )
  by David Corfield at October 15, 2020 at 08:20:35
• Home Page ( Home Page(rev # 128) | history )
  by David Corfield at October 15, 2020 at 08:17:41
• types in philosophical literature ( types in philosophical literature(rev # 1) | history )
  by David Corfield at October 15, 2020 at 07:35:46
• Home Page ( Home Page(rev # 127) | history )
  by David Corfield at October 15, 2020 at 07:33:04
• Logic of Question and Answer ( Logic of Question and Answer(rev # 7) | history )
  by David Corfield at October 14, 2020 at 07:00:03
• Logic of Question and Answer ( Logic of Question and Answer(rev # 6) | history )
  by David Corfield at October 13, 2020 at 20:27:57
• Hasok Chang
  by David Corfield at October 9, 2020 at 10:10:31
• Home Page ( Home Page(rev # 126) | history )
  by David Corfield at October 9, 2020 at 06:53:30
• Set theory, higher-order logic, dependent type theory
  by David Corfield at September 24, 2020 at 08:07:19
• Home Page ( Home Page(rev # 125) | history )
  by David Corfield at September 24, 2020 at 08:04:22
• dependency ( dependency(rev # 4) | history )
  by David Corfield at September 3, 2020 at 11:25:41
• Logic of Question and Answer ( Logic of Question and Answer(rev # 5) | history )
  by David Corfield at September 2, 2020 at 07:38:29
• Brandom and material inference ( Brandom and material inference(rev # 7) | history )
  by David Corfield at September 1, 2020 at 11:48:42
• Logic of Question and Answer ( Logic of Question and Answer(rev # 4) | history )
  by David Corfield at August 30, 2020 at 11:23:30
• Logic of Question and Answer ( Logic of Question and Answer(rev # 3) | history )
  by David Corfield at August 30, 2020 at 09:59:37
• Logic of Question and Answer ( Logic of Question and Answer(rev # 2) | history )
  by David Corfield at August 30, 2020 at 08:53:51
• Logic of Question and Answer ( Logic of Question and Answer(rev # 1) | history )
  by David Corfield at August 30, 2020 at 06:50:21
• R G Collingwood ( R G Collingwood(rev # 9) | history )
  by David Corfield at August 30, 2020 at 06:18:46
• Brandom and material inference ( Brandom and material inference(rev # 6) | history )
  by David Corfield at August 23, 2020 at 09:33:49
• Lautman and the Reality of Mathematics ( Lautman and the Reality of Mathematics(rev # 2) | history )
  by David Corfield at July 30, 2020 at 14:18:52
• sandbox ( sandbox(rev # 19) | history )
  by David Corfield at July 30, 2020 at 08:47:42
• philosophy of history ( philosophy of history(rev # 6) | history )
  by David Corfield at July 6, 2020 at 12:02:18
• philosophy of history ( philosophy of history(rev # 5) | history )
  by David Corfield at July 6, 2020 at 11:11:51
• philosophy of history ( philosophy of history(rev # 4) | history )
  by David Corfield at July 3, 2020 at 14:44:24
• philosophy of history ( philosophy of history(rev # 3) | history )
  by David Corfield at July 3, 2020 at 09:17:59
• philosophy of history ( philosophy of history(rev # 2) | history )
  by David Corfield at July 2, 2020 at 14:47:42
• philosophy of history ( philosophy of history(rev # 1) | history )
  by David Corfield at June 23, 2020 at 13:46:12
• Home Page ( Home Page(rev # 124) | history )
  by David Corfield at June 23, 2020 at 13:33:04
• relation between category theory and type theory ( relation between category theory and type theory(rev # 3) | history )
  by David Corfield at June 23, 2020 at 11:30:18
• relation between category theory and type theory ( relation between category theory and type theory(rev # 2) | history )
  by David Corfield at June 22, 2020 at 14:58:49
• relation between category theory and type theory ( relation between category theory and type theory(rev # 1) | history )
  by David Corfield at June 22, 2020 at 09:02:57
• Home Page ( Home Page(rev # 123) | history )
  by David Corfield at June 22, 2020 at 08:55:31
• endorsements ( endorsements(rev # 5) | history )
  by David Corfield at June 16, 2020 at 10:25:58
• Lassiter, Graded Modality ( Lassiter, Graded Modality(rev # 3) | history )
  by David Corfield at June 15, 2020 at 14:47:03
• Lassiter, Graded Modality ( Lassiter, Graded Modality(rev # 2) | history )
  by David Corfield at June 15, 2020 at 08:49:02
• graded modality ( graded modality(rev # 12) | history )
  by David Corfield at June 10, 2020 at 09:09:09
• Lassiter, Graded Modality ( Lassiter, Graded Modality(rev # 1) | history )
  by David Corfield at June 10, 2020 at 09:08:54
• graded modality ( graded modality(rev # 11) | history )
  by David Corfield at June 9, 2020 at 18:25:06
• Bayesianism in Mathematics ( Bayesianism in Mathematics(rev # 7) | history )
  by David Corfield at June 5, 2020 at 08:48:59
• graded modality ( graded modality(rev # 10) | history )
  by David Corfield at May 31, 2020 at 21:08:06
• concrete universal
  by David Corfield at May 30, 2020 at 08:13:35
• Home Page ( Home Page(rev # 122) | history )
  by David Corfield at May 30, 2020 at 07:56:07
• graded modality ( graded modality(rev # 9) | history )
  by David Corfield at May 29, 2020 at 14:53:39
• graded modality ( graded modality(rev # 8) | history )
  by David Corfield at May 28, 2020 at 08:47:11
• homotopification ( homotopification(rev # 1) | history )
  by David Corfield at May 18, 2020 at 07:27:14
• Home Page ( Home Page(rev # 121) | history )
  by David Corfield at May 18, 2020 at 06:57:39
• deduction, induction, abduction ( deduction, induction, abduction(rev # 11) | history )
  by David Corfield at May 15, 2020 at 06:54:21
• Home Page ( Home Page(rev # 120) | history )
  by David Corfield at May 14, 2020 at 15:37:31
• modality ( modality(rev # 28) | history )
  by David Corfield at May 14, 2020 at 09:42:41
• Modal Homotopy Type Theory ( Modal Homotopy Type Theory(rev # 10) | history )
  by David Corfield at May 13, 2020 at 10:01:34
• sandbox ( sandbox(rev # 18) | history )
  by David Corfield at May 12, 2020 at 10:43:41
• intermodality ( intermodality(rev # 1) | history )
  by David Corfield at May 7, 2020 at 22:10:44
• Home Page ( Home Page(rev # 119) | history )
  by David Corfield at May 7, 2020 at 22:10:18
• dependency ( dependency(rev # 3) | history )
  by David Corfield at May 6, 2020 at 15:52:45
• sandbox ( sandbox(rev # 17) | history )
  by David Corfield at May 6, 2020 at 11:40:45
• graded modality ( graded modality(rev # 7) | history )
  by David Corfield at May 3, 2020 at 17:50:30
• graded modality ( graded modality(rev # 6) | history )
  by David Corfield at May 3, 2020 at 10:19:43
• Home Page ( Home Page(rev # 118) | history )
  by David Corfield at May 3, 2020 at 10:15:36
• dependency ( dependency(rev # 2) | history )
  by David Corfield at May 3, 2020 at 10:14:26
• old tools
  by David Corfield at May 2, 2020 at 08:18:52
• Home Page ( Home Page(rev # 117) | history )
  by David Corfield at May 2, 2020 at 08:14:19
• dependency ( dependency(rev # 1) | history )
  by David Corfield at May 2, 2020 at 08:03:07
• probability ( probability(rev # 26) | history )
  by David Corfield at April 29, 2020 at 10:06:48
• probability ( probability(rev # 25) | history )
  by David Corfield at April 29, 2020 at 09:30:10
• invariance ( invariance(rev # 12) | history )
  by David Corfield at April 27, 2020 at 14:39:13