Another conversation on discord I am enjoying
because it makes a fundamental law of classical logic (principle of excluded middle) - albeit axiomatic - appear to be a mere mindless convention/tradition rather than an inductively obtained conclusion with various justifications for it.
I do not think the general view of logicians is that to be a convention is to make a logic mindless. Classical Logic is seen is not mindless but, I will speak in the neokantian sense of the Logical Positivists, as a language that allows us to make and explore factual statements derived from sensibility and intuition. Given it has the capacity Classical Logic is deemed factual in opinion but not necessarily the only factual language as it relates to the project of logic and mathematics (however you may view them).
The conventionalist project seems to be to find the set of factual languages.
Secondly, intuitionistic logic in praxis, by rejecting this fundamental law, ends up failing to provide sufficient tools to regularly produce actual proofs and deductions, ultimately taking away our ability to reason properly for any given point.
Rejecting excluded middle was an early idea within the intuitionist tradition but it has been made sense of, as in LEM makes sense within the intuitionist logic and can even be used. Furthermore, in so far as constraining a language and its results, intuitionist logic does not have this problem as all results are fully translatable between the it and classical by Glivenko translation (and there are others). There is no real constraining of results but rather a question of a fundamentalist nature. Is a system a sub system of any other? This debate is an interesting one but in the end the results do not change given its answer.
Intutionistic logic is valuable imo as it opened the door to a more constructive and rigorous discussion of Computability.
And lastly, ambiguity in language is a vital part of communication. It allows to express the inexpressible, hence why words like "thing" are this common in virtually any language. Even mathematically, we express ambiguity and variability with symbols such as "x".
First, I agree completely that ambiguity is useful and vital.
Second, I am not so sure that variability is necessarily ambiguous in the context of mathematics given that variability is necessarily well defined – if it is not it is not logical nor mathematical. The concept within language proper may be ambiguous in general or until defined and it may be sensible to say that ambiguity is inherent and unavoidable in any language construct or system. However, that does not necessarily mean that ambiguity is not reducible. Reducibility seems to be the project of logic which again deems it necessary that we reduce ambiguity to deal with factualness. Does it achieve that goal and is that goal reasonable? I am not really sure seems to have been fruitful and as such the goal seems justified.