7 ideas
7334 | Anti-realism needs an intuitionist logic with no law of excluded middle [Dummett, by Miller,A] |
3303 | For anti-realists there are no natural distinctions between objects [Dummett, by Benardete,JA] |
12205 | There are two families of modal notions, metaphysical and epistemic, of equal strength [Edgington] |
12207 | Metaphysical possibility is discovered empirically, and is contrained by nature [Edgington] |
12206 | Broadly logical necessity (i.e. not necessarily formal logical necessity) is an epistemic notion [Edgington] |
12208 | An argument is only valid if it is epistemically (a priori) necessary [Edgington] |
3193 | Turing showed that logical rules can be specified computationally and mechanically [Turing, by Rey] |