As Mauro Allegranza said, in intuitionistic logics the law of excluded middle (and tertium non datur, when the two are distinguished) are not assumed to hold *in general*. That is, we cannot assume **A∨¬A** is a tautology for every given **A** (including, for example, **A:=∃xB**). It may be true for *particular* choices of **A**, just not *all* of them. It may even *happen to* be true for all choices of **A**, but our logic cannot internalize knowledge of that fact (e.g., because the proposition's truth may be contingent rather than necessary, or it may not be uniform in some relevant sense).

More specifically: from **¬¬∃xA** we are allowed to conclude **¬∀x¬A**, since intuitionistic logic validates the equivalences between **¬∃xA** and **(∃xA)→⊥**, and between **(∃xA)→B** and **∀x(A→B)** (for any **A** and **B** where **x** does not occur free in **B**). However, going from **¬∀x¬A** to **∃x¬¬A** is where we run into problems (let alone getting from **∃x¬¬A** to **∃xA**). In the BHK interpretation of intuitionistic logic, **∃x¬A** entails **¬∀xA** for any **A** (because **∃x(A→B)** entails **(∀xA)→B**, more generally); however, the converse does not hold. Just because it's absurd to think every entity has a given property, that doesn't let us fabricate an entity which lacks that property. We can't just suppose some entity exists out there in the aether; we must exhibit a particular entity to witness our claim that one exists.

I note that the above holds for the BHK interpretation of intuitionistic logic because it's not true of all "constructive logics". In particular, the so-called Russian constructivists accept the validity of the *generalized Markov's principle (GMP)*: "**¬∀xA** entails **∃x¬A** for any **A**". Notably, whenever the domain of **x** is finitely enumerable, the GMP is perfectly justifiable according to BHK principles: our proof procedure is to exhaustively search through the domain until we come up with a witness. It's even fine for some infinite spaces which admit certain compactness properties; again, because we can exhibit an algorithm for actually constructing a witness to the existential claim. Intuitionists balk at the full power of the GMP because we are unwilling to assume that all domains of quantification admit some such algorithm for constructing witnesses, just as we balk at the full power of LEM because we do not assume all propositions are decidable.

Regarding your second question: intuitionistic logic has three states of "truthiness": **A**, **¬A**, and **¬¬A**. (N.B., this does *not* mean there are three truth values!) As for naming these states of truthiness, some opt for syntactically-oriented names ("positive", "negative", and "double-negative") whereas others prefer semantically-oriented names ("strictly positive", "negative", and "(weakly) positive"). Some authors will say "**A** is weakly true" to mean **¬¬A** is true. Analogously, one could say "there weakly exists some **x** such that **A**" to mean **¬¬∃xA** is true.