User contributions
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 08:43, 3 December 2017 (diff | hist) . . (-1) . . Developing the Alternate version in FOL (→Proposed FOL formulation)
- 08:42, 3 December 2017 (diff | hist) . . (+2,758) . . Developing the Alternate version in FOL
- 08:41, 3 December 2017 (diff | hist) . . (+105) . . Defunct NameTheTrait V1 (→Additional Problems with Quantification)
- 08:41, 3 December 2017 (diff | hist) . . (0) . . N Developing the Alternate version in FOL (Created blank page)
- 04:01, 3 December 2017 (diff | hist) . . (+7) . . Defunct NameTheTrait V1 (→Additional Problems with Quantification)
- 03:50, 3 December 2017 (diff | hist) . . (+6) . . Defunct NameTheTrait V1 (→Part 1 Counterexample)
- 12:37, 2 December 2017 (diff | hist) . . (+33) . . NTT to be revised
- 12:33, 2 December 2017 (diff | hist) . . (+52) . . Defunct NameTheTrait V1 (→Displaying the Logical Form of NTT in FOL)
- 11:49, 2 December 2017 (diff | hist) . . (0) . . Defunct NameTheTrait V1 (→Additional Problems with Quantification)
- 11:46, 2 December 2017 (diff | hist) . . (+702) . . Defunct NameTheTrait V1 (→Additional Problems with Quantification)
- 11:03, 2 December 2017 (diff | hist) . . (+318) . . Defunct NameTheTrait V1 (→Additional Problems with Quantification)
- 10:58, 2 December 2017 (diff | hist) . . (+115) . . NTT to be revised
- 10:53, 2 December 2017 (diff | hist) . . (+46) . . Defunct NameTheTrait V1 (→Part 2 Counterexample)
- 10:53, 2 December 2017 (diff | hist) . . (-45) . . Defunct NameTheTrait V1 (→Defenses of NTT)
- 10:52, 2 December 2017 (diff | hist) . . (+97) . . Defunct NameTheTrait V1 (→Defenses of NTT)
- 10:49, 2 December 2017 (diff | hist) . . (0) . . Defunct NameTheTrait V1 (→Bundle Theory)
- 10:41, 2 December 2017 (diff | hist) . . (+48) . . Defunct NameTheTrait V1 (→Identity of Indescernibles)
- 10:35, 2 December 2017 (diff | hist) . . (0) . . Defunct NameTheTrait V1 (→Bundle Theory)
- 10:32, 2 December 2017 (diff | hist) . . (+154) . . Defunct NameTheTrait V1 (→Bundle Theory)
- 10:26, 2 December 2017 (diff | hist) . . (-29) . . Defunct NameTheTrait V1 (→Defenses of NTT - Identity of Indiscernibles)
- 10:26, 2 December 2017 (diff | hist) . . (+294) . . Defunct NameTheTrait V1 (→Bundle Theory)
- 09:12, 2 December 2017 (diff | hist) . . (+272) . . Defunct NameTheTrait V1 (→Identity of Indescernibles)
- 09:07, 2 December 2017 (diff | hist) . . (+108) . . Defunct NameTheTrait V1 (→Defenses of NTT - Identity of Indiscernibles)
- 09:01, 2 December 2017 (diff | hist) . . (+123) . . Defunct NameTheTrait V1 (→Defenses of NTT - Identity of Indiscernibles)
- 08:32, 2 December 2017 (diff | hist) . . (+1,008) . . Defunct NameTheTrait V1 (→Defenses of NTT - Identity of Indiscernibles)
- 08:29, 2 December 2017 (diff | hist) . . (+45) . . Defunct NameTheTrait V1 (→Part 2 Counterexample)
- 12:41, 1 December 2017 (diff | hist) . . (+6) . . Defunct NameTheTrait V1 (→The Logical Form of Part 2 of NTT)
- 12:41, 1 December 2017 (diff | hist) . . (+7) . . Defunct NameTheTrait V1 (→The Logical Form of Part 1 of NTT)
- 12:39, 1 December 2017 (diff | hist) . . (+926) . . Defunct NameTheTrait V1 (→Part 2 Counterexample)
- 12:06, 1 December 2017 (diff | hist) . . (-1) . . Defunct NameTheTrait V1 (→Part 1 Counterexample)
- 12:04, 1 December 2017 (diff | hist) . . (+10) . . Defunct NameTheTrait V1 (→Part 2 Counterexample)
- 11:58, 1 December 2017 (diff | hist) . . (0) . . Defunct NameTheTrait V1 (→Part 1 Counterexample)
- 11:44, 1 December 2017 (diff | hist) . . (-2) . . Defunct NameTheTrait V1 (→Part 2 Counterexample)
- 10:32, 1 December 2017 (diff | hist) . . (+1) . . Defunct NameTheTrait V1 (→Part 2 Counterexample)
- 10:28, 1 December 2017 (diff | hist) . . (+7) . . Defunct NameTheTrait V1 (→Part 2 Counterexample)
- 10:21, 1 December 2017 (diff | hist) . . (+654) . . Defunct NameTheTrait V1 (→Part 2 Counterexample)
- 10:11, 1 December 2017 (diff | hist) . . (-9) . . Defunct NameTheTrait V1
- 10:09, 1 December 2017 (diff | hist) . . (-1) . . Defunct NameTheTrait V1 (→Part 1 Counterexample)
- 09:59, 1 December 2017 (diff | hist) . . (+36) . . Defunct NameTheTrait V1 (→Part 1 Counterexample)
- 09:27, 1 December 2017 (diff | hist) . . (+104) . . Defunct NameTheTrait V1 (→Showing the argument is invalid)
- 09:10, 1 December 2017 (diff | hist) . . (0) . . Defunct NameTheTrait V1 (→The Logical Form of Part 1 of NTT)
- 09:09, 1 December 2017 (diff | hist) . . (+1) . . Defunct NameTheTrait V1 (→The Logical Form of Part 1 of NTT)
- 09:05, 1 December 2017 (diff | hist) . . (0) . . Defunct NameTheTrait V1 (→The Logical Form of Part 2 of NTT)
- 08:58, 1 December 2017 (diff | hist) . . (0) . . Defunct NameTheTrait V1 (→The Logical Form of Part 2 of NTT)
- 08:52, 1 December 2017 (diff | hist) . . (-5) . . Defunct NameTheTrait V1 (→Displaying the Logical Form of NTT in FOL)
- 08:46, 1 December 2017 (diff | hist) . . (-68) . . Defunct NameTheTrait V1 (→Displaying the Logical Form of NTT in FOL)
- 08:44, 1 December 2017 (diff | hist) . . (+1) . . Defunct NameTheTrait V1 (→Proof of Invalidity in First Order Logic)
- 08:28, 1 December 2017 (diff | hist) . . (+4) . . Defunct NameTheTrait V1
- 08:27, 1 December 2017 (diff | hist) . . (-1) . . Defunct NameTheTrait V1
- 08:18, 1 December 2017 (diff | hist) . . (+120) . . Defunct NameTheTrait V1 (→Conclusion)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)