Diderik Batens on Logical Pluralism
Reconstructing Baten's argument:
- Hypothesis to reduce: Monism, i.e., there is one TRUE logic that is normative and universal, in so far as it provides us with the standard of correctness for reasoning about every domain, to any community, at any historical circumstance.
- In order for it to be universal, it must take ALL logical possibiltiies in consideration.
- In order for it to be normative, it must at least make a distinction between good and bad arguments, i.e., it must not trivialize the logical consequence relation.
- Taking all logical possibiltiies in consideration entails logical nihilism: nothing follows logically from nothing
- Nihilism trivializes the logical consequence relation (against 3)
- Ergo, monism is false.