David Corfield Latest Revisions

• Vienna ( Vienna(rev # 8) | history )
  by David Corfield at November 24, 2019 at 18:52:41
• Home Page ( Home Page(rev # 95) | history )
  by David Corfield at November 21, 2019 at 11:08:40
• Vienna ( Vienna(rev # 7) | history )
  by David Corfield at November 21, 2019 at 10:44:14
• Vienna ( Vienna(rev # 6) | history )
  by David Corfield at November 21, 2019 at 07:45:08
• Expressing 'The Structure of' in Homotopy Type Theory ( Expressing 'The Structure of' in Homotopy Type Theory(rev # 7) | history )
  by David Corfield at November 19, 2019 at 14:05:21
• Vienna ( Vienna(rev # 5) | history )
  by David Corfield at November 19, 2019 at 08:41:08
• Home Page ( Home Page(rev # 94) | history )
  by David Corfield at November 18, 2019 at 08:34:37
• counterfactual ( counterfactual(rev # 1) | history )
  by David Corfield at November 18, 2019 at 08:25:52
• Vienna ( Vienna(rev # 4) | history )
  by David Corfield at November 17, 2019 at 14:52:39
• Vienna ( Vienna(rev # 3) | history )
  by David Corfield at November 15, 2019 at 09:16:41
• Vienna ( Vienna(rev # 2) | history )
  by David Corfield at November 13, 2019 at 14:53:16
• Vienna ( Vienna(rev # 1) | history )
  by David Corfield at November 13, 2019 at 11:58:05
• Home Page ( Home Page(rev # 93) | history )
  by David Corfield at November 13, 2019 at 11:57:53
• Friedman's Dynamics of Reason ( Friedman's Dynamics of Reason(rev # 23) | history )
  by David Corfield at November 11, 2019 at 13:23:55
• deduction, induction, abduction ( deduction, induction, abduction(rev # 9) | history )
  by David Corfield at November 4, 2019 at 08:44:35
• Home Page ( Home Page(rev # 92) | history )
  by David Corfield at October 31, 2019 at 10:08:08
• Modal Homotopy Type Theory ( Modal Homotopy Type Theory(rev # 4) | history )
  by David Corfield at October 11, 2019 at 14:24:59
• Home Page ( Home Page(rev # 91) | history )
  by David Corfield at October 11, 2019 at 14:14:49
• probability ( probability(rev # 17) | history )
  by David Corfield at October 11, 2019 at 13:05:56
• Modal Homotopy Type Theory ( Modal Homotopy Type Theory(rev # 3) | history )
  by David Corfield at October 11, 2019 at 11:54:17
• Home Page ( Home Page(rev # 90) | history )
  by David Corfield at October 11, 2019 at 11:53:08
• history ( history(rev # 2) | history )
  by David Corfield at October 10, 2019 at 12:48:36
• history ( history(rev # 1) | history )
  by David Corfield at October 10, 2019 at 11:06:11
• Home Page ( Home Page(rev # 89) | history )
  by David Corfield at October 10, 2019 at 10:59:34
• Some Perplexities about Time
  by David Corfield at October 9, 2019 at 20:58:45
• R G Collingwood ( R G Collingwood(rev # 8) | history )
  by David Corfield at October 9, 2019 at 20:56:12
• Narrative notes ( Narrative notes(rev # 9) | history )
  by David Corfield at September 26, 2019 at 05:38:17
• Narrative notes ( Narrative notes(rev # 8) | history )
  by David Corfield at September 25, 2019 at 13:06:32
• Narrative notes ( Narrative notes(rev # 7) | history )
  by David Corfield at September 25, 2019 at 07:40:02
• modality ( modality(rev # 27) | history )
  by David Corfield at September 23, 2019 at 10:18:55
• modality ( modality(rev # 26) | history )
  by David Corfield at September 20, 2019 at 14:26:41
• Narrative notes ( Narrative notes(rev # 6) | history )
  by David Corfield at September 18, 2019 at 12:56:08
• Narrative notes ( Narrative notes(rev # 5) | history )
  by David Corfield at September 18, 2019 at 08:10:59
• endorsements ( endorsements(rev # 4) | history )
  by David Corfield at September 18, 2019 at 07:26:00
• Narrative notes ( Narrative notes(rev # 4) | history )
  by David Corfield at September 13, 2019 at 09:24:08
• Narrative notes ( Narrative notes(rev # 3) | history )
  by David Corfield at September 13, 2019 at 08:35:25
• deduction, induction, abduction ( deduction, induction, abduction(rev # 8) | history )
  by David Corfield at September 12, 2019 at 15:42:37
• probability ( probability(rev # 16) | history )
  by David Corfield at September 12, 2019 at 14:58:51
• Narrative notes ( Narrative notes(rev # 2) | history )
  by David Corfield at September 12, 2019 at 10:22:55
• Narrative notes ( Narrative notes(rev # 1) | history )
  by David Corfield at September 12, 2019 at 08:32:35
• Home Page ( Home Page(rev # 88) | history )
  by David Corfield at September 12, 2019 at 07:41:03
• modality ( modality(rev # 25) | history )
  by David Corfield at September 12, 2019 at 07:34:30
• endorsements ( endorsements(rev # 3) | history )
  by David Corfield at September 11, 2019 at 13:53:05
• endorsements ( endorsements(rev # 2) | history )
  by David Corfield at September 10, 2019 at 19:40:44
• endorsements ( endorsements(rev # 1) | history )
  by David Corfield at September 10, 2019 at 09:54:19
• Home Page ( Home Page(rev # 87) | history )
  by David Corfield at September 10, 2019 at 09:53:20
• modality ( modality(rev # 24) | history )
  by David Corfield at September 9, 2019 at 10:38:28
• modality ( modality(rev # 23) | history )
  by David Corfield at September 9, 2019 at 09:23:36
• modality ( modality(rev # 22) | history )
  by David Corfield at September 8, 2019 at 16:30:43
• Modal Homotopy Type Theory ( Modal Homotopy Type Theory(rev # 2) | history )
  by David Corfield at September 8, 2019 at 14:39:08
• Modal Homotopy Type Theory ( Modal Homotopy Type Theory(rev # 1) | history )
  by David Corfield at September 8, 2019 at 13:10:24
• Expressing 'The Structure of' in Homotopy Type Theory ( Expressing 'The Structure of' in Homotopy Type Theory(rev # 6) | history )
  by David Corfield at September 8, 2019 at 13:09:25
• modality ( modality(rev # 21) | history )
  by David Corfield at September 8, 2019 at 10:16:48
• deduction, induction, abduction ( deduction, induction, abduction(rev # 7) | history )
  by David Corfield at August 30, 2019 at 11:26:53
• probability ( probability(rev # 15) | history )
  by David Corfield at August 22, 2019 at 15:55:15
• continuous logic, probability, quantum ( continuous logic, probability, quantum(rev # 9) | history )
  by David Corfield at August 13, 2019 at 08:16:34
• Home Page ( Home Page(rev # 86) | history )
  by David Corfield at August 13, 2019 at 08:14:06
• space - cohesion, etc. ( space - cohesion, etc.(rev # 2) | history )
  by David Corfield at August 12, 2019 at 10:19:59
• cohomology in mathematics ( cohomology in mathematics(rev # 29) | history )
  by David Corfield at August 12, 2019 at 08:55:55
• continuous logic, probability, quantum ( continuous logic, probability, quantum(rev # 8) | history )
  by David Corfield at August 10, 2019 at 14:26:37
• probability ( probability(rev # 14) | history )
  by David Corfield at August 2, 2019 at 13:58:26
• continuous logic, probability, quantum ( continuous logic, probability, quantum(rev # 7) | history )
  by David Corfield at July 31, 2019 at 22:09:01
• continuous logic, probability, quantum ( continuous logic, probability, quantum(rev # 6) | history )
  by David Corfield at July 31, 2019 at 21:34:56
• continuous logic, probability, quantum ( continuous logic, probability, quantum(rev # 5) | history )
  by David Corfield at July 31, 2019 at 20:28:14
• continuous logic, probability, quantum ( continuous logic, probability, quantum(rev # 4) | history )
  by David Corfield at July 31, 2019 at 13:52:49
• Home Page ( Home Page(rev # 85) | history )
  by David Corfield at July 31, 2019 at 07:56:56
• continuous logic, probability, quantum ( continuous logic, probability, quantum(rev # 3) | history )
  by David Corfield at July 31, 2019 at 07:54:38
• continuous logic, probability, quantum ( continuous logic, probability, quantum(rev # 2) | history )
  by David Corfield at July 27, 2019 at 18:09:13
• continuous logic, probability, quantum ( continuous logic, probability, quantum(rev # 1) | history )
  by David Corfield at July 27, 2019 at 15:14:21
• Home Page ( Home Page(rev # 84) | history )
  by David Corfield at July 27, 2019 at 15:13:08
• space - cohesion, etc. ( space - cohesion, etc.(rev # 1) | history )
  by David Corfield at July 26, 2019 at 09:18:29
• Home Page ( Home Page(rev # 83) | history )
  by David Corfield at July 26, 2019 at 09:16:52
• Type theory, Category theory and Philosophy ( Type theory, Category theory and Philosophy(rev # 13) | history )
  by David Corfield at July 8, 2019 at 14:46:26
• Type theory, Category theory and Philosophy ( Type theory, Category theory and Philosophy(rev # 12) | history )
  by David Corfield at July 5, 2019 at 10:04:39
• Type theory, Category theory and Philosophy ( Type theory, Category theory and Philosophy(rev # 11) | history )
  by David Corfield at July 4, 2019 at 09:35:26
• Type theory, Category theory and Philosophy ( Type theory, Category theory and Philosophy(rev # 10) | history )
  by David Corfield at July 4, 2019 at 08:55:14
• Type theory, Category theory and Philosophy ( Type theory, Category theory and Philosophy(rev # 9) | history )
  by David Corfield at July 2, 2019 at 09:29:21
• Type theory, Category theory and Philosophy ( Type theory, Category theory and Philosophy(rev # 8) | history )
  by David Corfield at June 30, 2019 at 11:11:51
• Type theory, Category theory and Philosophy ( Type theory, Category theory and Philosophy(rev # 7) | history )
  by David Corfield at June 29, 2019 at 15:54:36
• Type theory, Category theory and Philosophy ( Type theory, Category theory and Philosophy(rev # 6) | history )
  by David Corfield at June 29, 2019 at 07:50:56
• sandbox ( sandbox(rev # 13) | history )
  by David Corfield at June 29, 2019 at 07:29:26
• Type theory, Category theory and Philosophy ( Type theory, Category theory and Philosophy(rev # 5) | history )
  by David Corfield at June 28, 2019 at 17:41:20
• Type theory, Category theory and Philosophy ( Type theory, Category theory and Philosophy(rev # 4) | history )
  by David Corfield at June 27, 2019 at 07:52:13
• Type theory, Category theory and Philosophy ( Type theory, Category theory and Philosophy(rev # 3) | history )
  by David Corfield at June 26, 2019 at 10:03:26
• Type theory, Category theory and Philosophy ( Type theory, Category theory and Philosophy(rev # 2) | history )
  by David Corfield at June 25, 2019 at 11:38:30
• Type theory, Category theory and Philosophy ( Type theory, Category theory and Philosophy(rev # 1) | history )
  by David Corfield at June 25, 2019 at 07:49:01
• Home Page ( Home Page(rev # 82) | history )
  by David Corfield at June 25, 2019 at 07:19:30
• sandbox ( sandbox(rev # 12) | history )
  by David Corfield at June 24, 2019 at 22:01:20
• sandbox ( sandbox(rev # 11) | history )
  by David Corfield at June 16, 2019 at 08:16:27
• Home Page ( Home Page(rev # 81) | history )
  by David Corfield at June 6, 2019 at 08:08:16
• invariance ( invariance(rev # 9) | history )
  by David Corfield at April 27, 2019 at 13:54:29
• Brandom and material inference ( Brandom and material inference(rev # 5) | history )
  by David Corfield at April 4, 2019 at 07:49:21
• probability ( probability(rev # 13) | history )
  by David Corfield at February 21, 2019 at 22:28:44
• inferentialism ( inferentialism(rev # 3) | history )
  by David Corfield at February 18, 2019 at 16:32:18
• Do R-inferentialism ( Do R-inferentialism(rev # 1) | history )
  by David Corfield at February 15, 2019 at 09:13:32
• Friedman's Dynamics of Reason ( Friedman's Dynamics of Reason(rev # 22) | history )
  by David Corfield at February 15, 2019 at 09:11:20
• inferentialism ( inferentialism(rev # 2) | history )
  by David Corfield at February 11, 2019 at 13:55:53
• inferentialism ( inferentialism(rev # 1) | history )
  by David Corfield at February 10, 2019 at 10:29:11
• Home Page ( Home Page(rev # 80) | history )
  by David Corfield at February 10, 2019 at 10:27:04
• probability ( probability(rev # 12) | history )
  by David Corfield at February 10, 2019 at 09:38:39