User contributions
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 16:51, 13 December 2017 (diff | hist) . . (+77) . . NameTheTrait 2.0 (→Natural Deduction)
- 16:45, 13 December 2017 (diff | hist) . . (+127) . . NameTheTrait 2.0 (→Natural Deduction)
- 16:38, 13 December 2017 (diff | hist) . . (+239) . . NameTheTrait 2.0 (→Natural Deduction)
- 15:57, 13 December 2017 (diff | hist) . . (+22) . . NameTheTrait 2.0 (→Natural Deduction)
- 15:48, 13 December 2017 (diff | hist) . . (+164) . . NameTheTrait 2.0 (→Natural Deduction)
- 15:41, 13 December 2017 (diff | hist) . . (+466) . . NameTheTrait 2.0 (→Natural Deduction)
- 14:43, 13 December 2017 (diff | hist) . . (-345) . . NameTheTrait 2.0 (→Natural Deduction)
- 14:32, 13 December 2017 (diff | hist) . . (+11) . . NameTheTrait 2.0 (→Natural Deduction)
- 14:30, 13 December 2017 (diff | hist) . . (+780) . . NameTheTrait 2.0 (→Natural Deduction)
- 14:14, 13 December 2017 (diff | hist) . . (+1,084) . . NameTheTrait 2.0 (→Natural Deduction)
- 13:57, 13 December 2017 (diff | hist) . . (+1) . . NameTheTrait 2.0 (→In First Order Logic)
- 13:56, 13 December 2017 (diff | hist) . . (+20) . . NameTheTrait 2.0 (→In First Order Logic)
- 10:24, 13 December 2017 (diff | hist) . . (+218) . . Defunct NameTheTrait V1 (→Logical Validity)
- 13:16, 12 December 2017 (diff | hist) . . (0) . . Defunct NameTheTrait V1 (→In FOL)
- 12:44, 12 December 2017 (diff | hist) . . (+6) . . Defunct NameTheTrait V1 (→Proving the Counterexample renders NTT invalid)
- 12:14, 12 December 2017 (diff | hist) . . (-37) . . Defunct NameTheTrait V1 (→In English)
- 12:02, 12 December 2017 (diff | hist) . . (+193) . . Defunct NameTheTrait V1 (→In First Order Logic)
- 11:50, 12 December 2017 (diff | hist) . . (+166) . . Defunct NameTheTrait V1 (→In First Order Logic)
- 11:48, 12 December 2017 (diff | hist) . . (+201) . . Defunct NameTheTrait V1 (→In English)
- 11:46, 12 December 2017 (diff | hist) . . (+118) . . Defunct NameTheTrait V1 (→In First Order Logic)
- 10:59, 12 December 2017 (diff | hist) . . (+12) . . NameTheTrait 2.0 (→In First Order Logic)
- 10:59, 12 December 2017 (diff | hist) . . (+12) . . NameTheTrait 2.0 (→In First Order Logic)
- 10:51, 12 December 2017 (diff | hist) . . (+31) . . Defunct NameTheTrait V1 (→Proving the Counterexample renders NTT invalid)
- 09:53, 12 December 2017 (diff | hist) . . (+36) . . Defunct NameTheTrait V1 (→Alternative Version in FOL)
- 09:50, 12 December 2017 (diff | hist) . . (+111) . . Defunct NameTheTrait V1 (→Alternative Version in FOL)
- 09:36, 12 December 2017 (diff | hist) . . (+195) . . Defunct NameTheTrait V1 (→Showing NTT is Logically Invalid)
- 09:27, 12 December 2017 (diff | hist) . . (-695) . . Defunct NameTheTrait V1 (→Remark on Invalidity)
- 09:26, 12 December 2017 (diff | hist) . . (+181) . . Defunct NameTheTrait V1 (→Remark on Invalidity)
- 09:15, 12 December 2017 (diff | hist) . . (-5) . . Defunct NameTheTrait V1 (→Remark on Invalidity)
- 09:14, 12 December 2017 (diff | hist) . . (-41) . . Defunct NameTheTrait V1 (→Part 1 Counterexample)
- 09:14, 12 December 2017 (diff | hist) . . (-14) . . Defunct NameTheTrait V1 (→Summary of Issues)
- 09:11, 12 December 2017 (diff | hist) . . (+429) . . Defunct NameTheTrait V1 (→Steel-manning NTT)
- 08:52, 12 December 2017 (diff | hist) . . (-130) . . Defunct NameTheTrait V1 (→Proving the Counterexample renders NTT invalid)
- 08:48, 12 December 2017 (diff | hist) . . (0) . . Defunct NameTheTrait V1 (→Checking the Validity Directly)
- 08:47, 12 December 2017 (diff | hist) . . (0) . . Defunct NameTheTrait V1 (→Checking the Validity Directly)
- 08:46, 12 December 2017 (diff | hist) . . (-416) . . Defunct NameTheTrait V1 (→Part 1 Counterexample)
- 08:22, 12 December 2017 (diff | hist) . . (-12) . . Defunct NameTheTrait V1 (→Alternative Version in FOL)
- 08:21, 12 December 2017 (diff | hist) . . (-19) . . Defunct NameTheTrait V1 (→The Logical Form of Part 2 of NTT)
- 08:19, 12 December 2017 (diff | hist) . . (-18) . . Defunct NameTheTrait V1 (→Summary of Issues)
- 08:17, 12 December 2017 (diff | hist) . . (+30) . . NTT to be revised (current)
- 08:17, 12 December 2017 (diff | hist) . . (-19) . . Defunct NameTheTrait V1 (→The Logical Form of Part 1 of NTT)
- 08:16, 12 December 2017 (diff | hist) . . (-57) . . Defunct NameTheTrait V1 (→Displaying the Logical Form of NTT in FOL)
- 08:15, 12 December 2017 (diff | hist) . . (-625) . . Defunct NameTheTrait V1 (→Steel-manning NTT)
- 08:13, 12 December 2017 (diff | hist) . . (+6,271) . . NTT counterpart sections (→Identity of Indescernibles) (current)
- 08:12, 12 December 2017 (diff | hist) . . (+13,507) . . N NTT counterpart sections (Created page with "==Steel-manning NTT== Before proceeding we will rephrase the argument in the following way, to capture its essential reasoning :(P1) All sentient humans have moral value<br...")
- 07:09, 12 December 2017 (diff | hist) . . (+1) . . NameTheTrait 2.0 (→In English)
- 07:08, 12 December 2017 (diff | hist) . . (-10) . . NameTheTrait 2.0 (→In English)
- 07:04, 12 December 2017 (diff | hist) . . (-14) . . NameTheTrait 2.0 (→In First Order Logic)
- 06:38, 12 December 2017 (diff | hist) . . (-2) . . NameTheTrait 2.0 (→In First Order Logic)
- 06:35, 12 December 2017 (diff | hist) . . (+170) . . NameTheTrait 2.0 (→In First Order Logic)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)