After some introductory remarks on "experimental metaphysics", a brief survey of the current situation concerning the major types of hidden-variable theories and the inexistence proofs is presented. The category of stochastic, contextual, local theories remains open. Then the main features of a logical analysis of "locality" are sketched. In the deterministic case, a natural "light-cone determination" condition helps bridge the gap that has existed between the physical requirements of the special theory of relativity and formal conditions used in proving the (...) Bell -Wigner theorem. Natural generalization to the stochastic type, taking account of the distinction between epistemic and physical probabilities, leads to a series of independence claims constituting some significant limitations on generalized Bell theorems. In particular, the conditional stochastic independence requirement is seen both to go beyond the demand of compliance with the STR and to be a genuine necessity in deriving any Bell theorem for the stochastic case. The conclusion is also supported that, if determinism is given up, the Bell theorems and experiments do not pose an additional obstacle to unifying relativity theory and quantum mechanics beyond what is already posed by the "instantaneous" collapse of the wave function. (shrink)