We must be able to think the same objects as things in themselves, or there would be appearance without anything that appears
If we could not think the objects given to us as appearances also as things in themselves, there would be appearance without anything that appears; that is absurd; so we must at least be able to think them as things in themselves.
The argument
- P1An appearance presupposes something that appears
- P2If the same objects could not be thought as things in themselves, there would be appearance without anything that appears
- Infer.modus tollens (a reductio)
- CThe same objects must be thinkable, though not knowable, as things in themselves
Form
wthere is no appearance without something that appearstwe must at least be able to think the same objects also as things in themselves
- P1
w - P2
(¬t → ¬w) - C
t
Machine check, truth table: valid: the conclusion holds in all 1 assignments of t, w that satisfy the premises. The check says nothing about whether the premises are true or faithful to the passage; only a named human can (DISPUTES.md).
The argument is two sentences at B xxvi–xxvii: it is "always reserved that we must at least be able to think, even if we cannot cognize, these same objects also as things in themselves. For otherwise the absurd proposition would follow that there is appearance without anything that appears" (AA 3:17.02–07). The second sentence is the conditional (premise 2); that its consequent is absurd gives premise 1; the conclusion follows by modus tollens. The context, that we cognize objects only as appearances (AA 3:16.34–36), is what "these same objects" refers to and is not a premise of the step.
What is unstated is why denying the reservation would leave appearance without anything that appears; the text asserts the conditional and does not argue it. Prolegomena §32 states a stronger form of the inference: by admitting appearances the understanding admits the existence of things in themselves, and the representation of such beings is unavoidable (AA 4:315.02–06). The form's conclusion is the "must be able to think"; the concessive "even if we cannot cognize" (AA 3:17.04) is carried by the separate claim that we cognize objects only as appearances.
Depends on
- c-kant-appearance-presupposes-something-appearingAn appearance presupposes something that appears
- c-kant-without-things-in-themselves-appearance-without-appearingIf the same objects could not be thought as things in themselves, there would be appearance without anything that appears
Supports
- c-kant-things-in-themselves-thinkable-not-knowableThe same objects must be thinkable, though not knowable, as things in themselves