Thursday, April 28, 2005

Formal Systems and the Absolute

Many people seem to take as absolute, concepts that I think are inherently relational. I guess that's because I'm inclined to think that only physical reality, or what "is", is absolute. So other concepts we come up with, like "could", or "should", must be constructed in relation to some purely formal system. I can't make sense of them otherwise. A few examples:

1) Normativity. I find absolute oughts (and value) to be entirely incomprehensible, and discuss here how to understand them in a relational sense.

2) Modality. I just recently wrote about why I find absolute modality incomprehensible. (I would really appreciate some more criticism or other feedback there, since I'm feeling a bit perplexed about the whole topic.) I present a relational alternative here.

3) Maths and Logic. (The ultimate in formal systems.) We posit some axioms, and see what follows. But the laws of logic aren't themselves true or false -- rather, they are (useful, but in a sense 'arbitrary') rules that describe ways to manipulate symbols. We could adopt different rules if that would suit our purposes better, and indeed that's what various "alternative logics" are for. It just seems a mistake to think that there is one true logic, any more than there is one true geometry.

What do you think? Can these concepts be 'absolutized'? Can you think of any others that might be added to the list? Does anyone else get a headache thinking about this stuff?