2.4 Irrelevances to the debate
Often it seems that the importance of whether a formal system is applicable is based on a shallow reading of the formal system's immediate properties and passes-over what further expressive features can be formalised within it.
In fact the choice of formal system is not critical in absolute terms, as long as the system is expressive enough. For example category theory and set theory can both be used to formalise the other , similarly Classical first order logic can be used to formalise almost any other logic . So there is no fundamental absolute grounds for preferring one such formal system to an other*1.
Generated with CERN WebMaker