David Corfield
Latest Revisions
Skip the Navigation Links
|
Home Page
|
All Pages
|
Latest Revisions
|
Authors
|
condensed
(
condensed(rev # 2)
|
history
)
by
David Corfield
at January 3, 2021 at 15:58:45
condensed
(
condensed(rev # 1)
|
history
)
by
David Corfield
at January 3, 2021 at 15:26:54
Home Page
(
Home Page(rev # 138)
|
history
)
by
David Corfield
at January 3, 2021 at 15:25:36
William Lawvere
by
David Corfield
at January 3, 2021 at 10:26:50
Home Page
(
Home Page(rev # 137)
|
history
)
by
David Corfield
at January 3, 2021 at 10:24:37
n-theory
(
n-theory(rev # 3)
|
history
)
by
David Corfield
at December 18, 2020 at 15:45:34
n-theory
(
n-theory(rev # 2)
|
history
)
by
David Corfield
at December 18, 2020 at 11:19:06
n-theory
(
n-theory(rev # 1)
|
history
)
by
David Corfield
at December 17, 2020 at 12:43:18
Home Page
(
Home Page(rev # 136)
|
history
)
by
David Corfield
at December 17, 2020 at 11:51:42
relation between category theory and type theory
(
relation between category theory and type theory(rev # 4)
|
history
)
by
David Corfield
at December 17, 2020 at 11:51:05
Two Cultures
(
Two Cultures(rev # 12)
|
history
)
by
David Corfield
at December 14, 2020 at 16:39:48
Home Page
(
Home Page(rev # 135)
|
history
)
by
David Corfield
at December 12, 2020 at 09:44:25
temporal type theory
(
temporal type theory(rev # 10)
|
history
)
by
David Corfield
at December 10, 2020 at 15:50:21
temporal type theory
(
temporal type theory(rev # 9)
|
history
)
by
David Corfield
at December 10, 2020 at 08:40:01
temporal type theory
(
temporal type theory(rev # 8)
|
history
)
by
David Corfield
at December 10, 2020 at 07:52:32
temporal type theory
(
temporal type theory(rev # 7)
|
history
)
by
David Corfield
at December 9, 2020 at 17:41:06
temporal type theory
(
temporal type theory(rev # 6)
|
history
)
by
David Corfield
at December 9, 2020 at 17:07:16
temporal type theory
(
temporal type theory(rev # 5)
|
history
)
by
David Corfield
at December 8, 2020 at 18:38:33
temporal type theory
(
temporal type theory(rev # 4)
|
history
)
by
David Corfield
at December 8, 2020 at 17:13:27
Event types
(
Event types(rev # 16)
|
history
)
by
David Corfield
at December 8, 2020 at 08:42:08
Event types
(
Event types(rev # 15)
|
history
)
by
David Corfield
at December 7, 2020 at 21:38:12
Event types
(
Event types(rev # 14)
|
history
)
by
Anonymous
?
at December 7, 2020 at 09:30:18
temporal type theory
(
temporal type theory(rev # 3)
|
history
)
by
David Corfield
at December 6, 2020 at 21:58:01
Home Page
(
Home Page(rev # 134)
|
history
)
by
David Corfield
at December 3, 2020 at 11:34:35
types in philosophical literature
(
types in philosophical literature(rev # 5)
|
history
)
by
David Corfield
at December 2, 2020 at 07:37:39
explanation, evidence, cause
(
explanation, evidence, cause(rev # 2)
|
history
)
by
David Corfield
at December 1, 2020 at 17:19:25
explanation, evidence, cause
(
explanation, evidence, cause(rev # 1)
|
history
)
by
David Corfield
at November 30, 2020 at 17:35:20
Home Page
(
Home Page(rev # 133)
|
history
)
by
David Corfield
at November 30, 2020 at 17:30:40
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
« Previous
1
2
3
4
5
6
7
8
9
10
Next »