David Corfield Latest Revisions

• 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
• Home Page ( Home Page(rev # 116) | history )
  by David Corfield at April 22, 2020 at 14:14:49
• sandbox ( sandbox(rev # 16) | history )
  by David Corfield at April 16, 2020 at 18:02:42
• probability ( probability(rev # 24) | history )
  by David Corfield at April 9, 2020 at 13:15:17
• elements ( elements(rev # 2) | history )
  by David Corfield at April 8, 2020 at 15:01:49
• elements ( elements(rev # 1) | history )
  by David Corfield at April 8, 2020 at 09:19:56
• Home Page ( Home Page(rev # 115) | history )
  by David Corfield at April 8, 2020 at 09:11:57
• Rudolf Carnap ( Rudolf Carnap(rev # 3) | history )
  by David Corfield at April 8, 2020 at 08:55:36
• probability ( probability(rev # 23) | history )
  by David Corfield at April 3, 2020 at 11:41:04
• probability ( probability(rev # 22) | history )
  by David Corfield at April 3, 2020 at 10:06:43
• probability ( probability(rev # 21) | history )
  by David Corfield at April 3, 2020 at 09:34:19
• proposition ( proposition(rev # 9) | history )
  by David Corfield at March 10, 2020 at 14:30:46
• invariance ( invariance(rev # 11) | history )
  by David Corfield at March 10, 2020 at 09:29:22
• Home Page ( Home Page(rev # 114) | history )
  by David Corfield at February 28, 2020 at 20:33:57
• Understanding the Infinite II - Coalgebra
  by David Corfield at February 28, 2020 at 17:27:42
• Home Page ( Home Page(rev # 113) | history )
  by David Corfield at February 28, 2020 at 17:24:58
• Robert Brandom ( Robert Brandom(rev # 13) | history )
  by David Corfield at February 28, 2020 at 10:20:05
• proposition ( proposition(rev # 8) | history )
  by David Corfield at February 28, 2020 at 09:39:25
• probability ( probability(rev # 20) | history )
  by David Corfield at February 27, 2020 at 17:14:40
• proposition ( proposition(rev # 7) | history )
  by David Corfield at February 25, 2020 at 17:25:56
• proposition ( proposition(rev # 6) | history )
  by David Corfield at February 25, 2020 at 14:28:54
• proposition ( proposition(rev # 5) | history )
  by David Corfield at February 25, 2020 at 13:45:17
• proposition ( proposition(rev # 4) | history )
  by David Corfield at February 25, 2020 at 11:03:12
• proposition ( proposition(rev # 3) | history )
  by David Corfield at February 24, 2020 at 14:18:20
• proposition ( proposition(rev # 2) | history )
  by David Corfield at February 24, 2020 at 09:33:34
• sandbox ( sandbox(rev # 15) | history )
  by David Corfield at February 23, 2020 at 19:15:01