3 ms·
That's one model of the process. Another is that the distinction between negative and positive claims is entirely artificial, and that there are really only "cl
by Retra 11y ago
That's one model of the process. Another is that the distinction between negative and positive claims is entirely artificial, and that there are really only "claims" and the truth of them is determined by their effectiveness at constructing reliable models of reality. And thus any demonstration of self-contradiction is a disprove of a claim, whether negative or not.
- scoofy 11y agoNegative and positive claims are not artificial or equivalent, one is making a claim about positive existence, the other is making claims about lack of existence. Of course we can manufacture the universal quantifier insofar as it's a mapping of the existential quantifier. That is to say, proving something is "not nonexistent" is not a statement that requires the universal quantifier, it's a claim that has simply mapped the equivalency of the existential quantifier, using the universal one. This is still only a statement about positive knowledge.
- deleted 11y ago[deleted]