Ontolojide -ya da heidegger ontolojisinde diyeyim- gerçeklik bir varlık koşulu değildir. "Nasıl yani??" denilebilir, haklı olarak.
Heidegger, gerçeklik'e çok fazla anlam yüklediğimizi ve varlık atfettiğimizi söyler. Ona göre gerçeklik "varlık'ın görünme biçimlerinden sadece birisi"dir. Sakın bana "gerçek olmayan var-olan var mıdır?" diye sormayın, zira her şeyi açıklayacak değilim.
Edit: Ya da söyleyeyim heidegger burada gerçek olmamanın, var-olmamak olmadığını söyler. Çünkü gerçeklik öylece -adeta- durağan bir şey değildir, o var da değildir. Bir "gerçekleşme" söz konusudur. Daha başka bir ifade ile gerçeklik var değildir, sadece varlığın açılma biçimlerindendir.