User contributions
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 16:46, 8 December 2017 (diff | hist) . . (+2) . . Defunct NameTheTrait V1 (→Part 1 Counterexample)
- 16:45, 8 December 2017 (diff | hist) . . (-141) . . Defunct NameTheTrait V1 (→Part 2 Counterexample)
- 16:44, 8 December 2017 (diff | hist) . . (-46) . . Defunct NameTheTrait V1 (→Part 1 Counterexample)
- 16:37, 8 December 2017 (diff | hist) . . (+3) . . Defunct NameTheTrait V1 (→Part 1 Counterexample)
- 16:29, 8 December 2017 (diff | hist) . . (+98) . . Defunct NameTheTrait V1 (→Part 1 Counterexample)
- 15:41, 8 December 2017 (diff | hist) . . (+91) . . Defunct NameTheTrait V1 (→Displaying the Logical Form of NTT in FOL)
- 15:40, 8 December 2017 (diff | hist) . . (-6) . . Defunct NameTheTrait V1 (→Invalid Generalizations)
- 15:39, 8 December 2017 (diff | hist) . . (-6) . . Defunct NameTheTrait V1 (→Extraordinary Claims)
- 15:38, 8 December 2017 (diff | hist) . . (-26) . . Defunct NameTheTrait V1 (→Alternative Version in FOL)
- 15:37, 8 December 2017 (diff | hist) . . (-10) . . Defunct NameTheTrait V1 (→Identity of Indescernibles)
- 15:35, 8 December 2017 (diff | hist) . . (+201) . . Defunct NameTheTrait V1 (→Part 2 Counterexample)
- 15:31, 8 December 2017 (diff | hist) . . (-1,026) . . Defunct NameTheTrait V1 (→Part 2 Counterexample)
- 15:20, 8 December 2017 (diff | hist) . . (+4) . . Defunct NameTheTrait V1 (→The Logical Form of Part 1 of NTT)
- 15:20, 8 December 2017 (diff | hist) . . (+4) . . Defunct NameTheTrait V1 (→The Logical Form of Part 2 of NTT)
- 15:19, 8 December 2017 (diff | hist) . . (-4) . . Defunct NameTheTrait V1 (→The Logical Form of Part 2 of NTT)
- 15:18, 8 December 2017 (diff | hist) . . (-4) . . Defunct NameTheTrait V1 (→The Logical Form of Part 1 of NTT)
- 15:17, 8 December 2017 (diff | hist) . . (-1,138) . . Defunct NameTheTrait V1 (→Additional Problems with Quantification)
- 15:16, 8 December 2017 (diff | hist) . . (-598) . . Defunct NameTheTrait V1 (→Part 1 Counterexample)
- 14:08, 8 December 2017 (diff | hist) . . (-56) . . Defunct NameTheTrait V1 (→The Logical Form of Part 2 of NTT)
- 13:58, 8 December 2017 (diff | hist) . . (-53) . . Defunct NameTheTrait V1 (→The Logical Form of Part 1 of NTT)
- 13:49, 8 December 2017 (diff | hist) . . (+43) . . Defunct NameTheTrait V1 (→Steel-manning NTT)
- 05:14, 8 December 2017 (diff | hist) . . (-3) . . Defunct NameTheTrait V1 (→Correction)
- 12:22, 7 December 2017 (diff | hist) . . (-1) . . Defunct NameTheTrait V1
- 12:20, 7 December 2017 (diff | hist) . . (+117) . . Defunct NameTheTrait V1 (→Logical Validity)
- 11:21, 7 December 2017 (diff | hist) . . (-5) . . Defunct NameTheTrait V1 (→Invalid Generalizations)
- 10:56, 7 December 2017 (diff | hist) . . (+3) . . Defunct NameTheTrait V1 (→Part 2 Counterexample)
- 08:01, 7 December 2017 (diff | hist) . . (+92) . . Defunct NameTheTrait V1 (→Logical Validity)
- 07:57, 7 December 2017 (diff | hist) . . (+45) . . Defunct NameTheTrait V1 (→Logical Validity)
- 07:43, 7 December 2017 (diff | hist) . . (+82) . . Defunct NameTheTrait V1
- 07:36, 7 December 2017 (diff | hist) . . (-886) . . Defunct NameTheTrait V1 (→Additional Problems with Quantification)
- 07:11, 7 December 2017 (diff | hist) . . (-6) . . Defunct NameTheTrait V1 (→Summary of Issues)
- 07:11, 7 December 2017 (diff | hist) . . (+5) . . Defunct NameTheTrait V1 (→Summary of Issues)
- 07:08, 7 December 2017 (diff | hist) . . (+11) . . Defunct NameTheTrait V1 (→Correction)
- 07:07, 7 December 2017 (diff | hist) . . (+6) . . Defunct NameTheTrait V1 (→Logical Validity)
- 07:05, 7 December 2017 (diff | hist) . . (+651) . . Defunct NameTheTrait V1 (→Logical Validity)
- 10:07, 6 December 2017 (diff | hist) . . (-3) . . Defunct NameTheTrait V1 (→Conclusion)
- 10:07, 6 December 2017 (diff | hist) . . (-1) . . Defunct NameTheTrait V1 (→Conclusion)
- 09:56, 6 December 2017 (diff | hist) . . (+11) . . Defunct NameTheTrait V1 (→Summary of Issues)
- 09:51, 6 December 2017 (diff | hist) . . (+187) . . Defunct NameTheTrait V1 (→Correction)
- 09:41, 6 December 2017 (diff | hist) . . (+181) . . Defunct NameTheTrait V1 (→Correction)
- 09:22, 6 December 2017 (diff | hist) . . (-28) . . Defunct NameTheTrait V1
- 09:21, 6 December 2017 (diff | hist) . . (+383) . . Defunct NameTheTrait V1 (→Summary of Issues)
- 09:11, 6 December 2017 (diff | hist) . . (+5) . . Defunct NameTheTrait V1 (→Part 1 Counterexample)
- 08:41, 6 December 2017 (diff | hist) . . (+25) . . Defunct NameTheTrait V1 (→Part 2 Counterexample)
- 08:37, 6 December 2017 (diff | hist) . . (+505) . . Defunct NameTheTrait V1 (→Part 1 Counterexample)
- 07:55, 6 December 2017 (diff | hist) . . (+15) . . Defunct NameTheTrait V1 (→Invalid Generalizations)
- 07:02, 6 December 2017 (diff | hist) . . (-33) . . Defunct NameTheTrait V1 (→Correction)
- 06:56, 6 December 2017 (diff | hist) . . (+160) . . Defunct NameTheTrait V1
- 06:49, 6 December 2017 (diff | hist) . . (+31) . . Defunct NameTheTrait V1 (→Correction)
- 06:49, 6 December 2017 (diff | hist) . . (+53) . . Defunct NameTheTrait V1 (→Part 1)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)