Combining Texts

All the ideas for 'Through the Looking Glass', 'Barcan Formulae' and 'Letter to Frege 29.12.1899'

expand these ideas     |    start again     |     specify just one area for these texts


3 ideas

3. Truth / G. Axiomatic Truth / 1. Axiomatic Truth
If axioms and their implications have no contradictions, they pass my criterion of truth and existence [Hilbert]
4. Formal Logic / D. Modal Logic ML / 7. Barcan Formula
Barcan:nothing comes into existence; Converse:nothing goes out; Both:domain is unchanging [Vervloesem]
7. Existence / A. Nature of Existence / 3. Being / e. Being and nothing
I only wish I had such eyes as to see Nobody! It's as much as I can do to see real people. [Carroll,L]