 In order to extend Dummett’s verificationism (cf., e.g., Dummett 1996) from mathematical to empirical discourse, a notion of “empirical negation” has been suggested (see De 2011, 2013). A formula \(\osim A\) is read as “\(A\) is not warranted by our current state of evidence” and it is evaluated with respect to a distinguished base state \(g\) in a model \(\cal M\): \({\cal M}, w \models \osim A\) iff \({\cal M}, g \not \models A\).