I think too much about the foundations of mathematics.
I'm not sure whether this is standard terminology, but I will refer, for some theory $\Gamma$, to statements as follows:
- A statement $P$ is inconsistent relative to $\Gamma$ if $P\ \&\ \neg P$ holds.
- A statement $P$ is absurd relative to $\Gamma$ if $\neg P\ \&\ \neg(\neg P)$ holds.
Now, clearly in terms of classical logic, these are the same, but it seems to me that this is not always the case. Consider, for instance, a statement $x \lt y\ \&\ x \ge y$. This I would consider an inconsistency, as even though both $P$ ($x \lt y$) and $\neg P$ ($x \ge y$) are sensible statements, we have a true contradiction.
It seems to me that this is a slightly concept notion than, say, Russel's Paradox. Denote the Russel Set $R = \{X | X \notin X\}$ and construct the predicate $P := R \in R$. The difference, as far as I can tell, is that neither $P$ nor $\neg P$ can be true, rather than both $P$ and $\neg P$ being true, which would be the case of an inconsistent statement. Thus I would term Russel's Paradox "absurd", but not "inconsistent".
This logic, of course, fails in classical logic, but what about other logics? Do absurdities (as defined above) necessarily reduce to inconsistencies in all logical systems? If not, suppose we admit absurdities into mathematics? If we view mathematics as a language (which, in many ways, it is), then it makes sense that we should be able to construct nonsensical sentences; it is not unthinkable that a "proof of absurdity" would even be possible in such a setting.
Lastly, suppose we admit the notion of absurdities, but not inconsistencies. Does naive set theory produce any true inconsistencies or does it produce only absurdities? In such a framework, we would have to augment proofs by contradiction with proofs that the statements under consideration are not absurd. Is this reasonable? What other sacrifices would need to be made?
Of course, most of my later questions are moot if my fundamental thesis that the absurd and the inconsistent can be different is false.
Thanks in advance!