Olgu

Bir gerçek (veya olgu); var olduğu, doğru olduğu veya gerçekleştiği kabul edilen şeydir. Yalan olmayan, doğru olan şey, hakikat olarak da tanımlanabilir. Bir gerçeğin geçerliliğini sınamanın en yaygın yolu doğrulanabilirlik testidir; yani, deney yoluyla gösterilip gösterilemeyeceğidir. Gerçekleri kontrol etmek için genellikle standart referans kaynakları kullanılır.
Bilimsel gerçek, dikkatli gözlemler veya ölçümler (örneğin deneyler veya diğer yöntemler) yoluyla doğrulanmış olgulardır.

Etimoloji ve kullanımı

Gerçek (veya olgu) sözcüğü Farsçadaki rasti sözcüğünden Türkçeye girmiştir (Farsçaya da Roma Mitolojisindeki Veritas, yani doğruluk tanrıçasından girmiştir). Sözcük Türkçede ilk olarak kerti veya kertek olarak 14. yüzyılda kullanılmıştır . İngilizcede "fact" olarak bilinen sözcük ise Latincede factum sözcüğünden türetilmiştir. Bu sözcük, yapılan veya sergilenen şey anlamındadır. Sözcüğün genel kullanımı, "gerçekten de olmuş veya gerçekleşmiş bir şey" anlamındadır ve bu şekildeki ilk kullanımı 16. yüzyılın ortalarına denk gelmektedir.
Gerçek, kimi zaman doğru ile eş anlamlı olarak kullanılır. Böylelikle şahsi fikirler, kanaatler ve zevklerden bağımsız olgulardan söz edilir. Buna bir örnek olarak "Bu kabın mavi olduğu bir gerçektir." veya "İşin gerçeği...", "...tarih ya da gerçek değil, tamamen hayal ürünü" gibi kullanımlar gösterilebilir  Film yapımcısı Werner Herzog bu ikisini şöyle söyleyerek ayırmayı tercih etmiştir: "Gerçekler normlar yaratır, doğrular ise aydınlatır."
Gerçekler aynı zamanda, gerçek olduğu ileri sürülen konunun doğru ve geçerli olduğunu belirtir. Bu, tartışılan bir konunun çürütüldüğü gerçeğini vurgulamak için başvurulan bir kullanımdır. Örneğin "bu işin aslı/gerçeği şu ki...".
Alternatif olarak gerçek sözcüğü, doğruluğundan emin olunmayan konularda suçlamada bulunmak için de kullanılabilir. , (örneğin "Yazarın kullandığı olgular güvenilir değil."). Bu alternatif kullanım, Türkçede pek yaygın olmasa da, İngilizcede oldukça tartışmalıdır ve tarihi oldukça eskiye dayanmaktadır.
Gerçek aynı zamand a değerlendirme süreci sonucunda tespit edilmiş bulguları (örneğin bir ifade tutanağının incelenmesi, doğrudan gözlem yapılması veya spekülasyona dayalı açıklamaların incelenmesi sonrası gibi). Bu tip kullanımlar "gerçeği bulmak" veya "gerçek buluculuk" gibi terimlerde kendini gösterir (örneğin, "Gerçeği bulmak için bir komisyon kurulsun.").
Gerçekler mantık, deney, bireysel deneyim veya otoriteler arasında yapılan münazaralar yoluyla sınanabilir. Roger Bacon şöyle yazmaktadır: "Eğer ki diğer bilim dallarında hiçbir şüpheye yer bırakmaksızın ve hiçbir hataya yer olmaksızın kesinliğe ulaşacak olursak, bu bilgilerimizin temelini matematik üzerine inşa etmemiz icap eder."

Felsefede kullanımı

Felsefe dahilinde gerçek kavramı epistemoloji ve ontoloji sahalarının konusu olarak kabul edilir. Tarafsızlık ve doğruluk gibi problemler, gerçekle ilgili problemlerle yakından ilişkilidir. Bir "gerçek", varlığından emin olunan bir şey olarak tanımlanır ve "vaziyet" bildirir.
Gerçekler aynı zamanda, doğru olan bir cümleyi "doğru" kılan bilgiler olarak tanımlanabilir. Bunun yanı sıra gerçekler, doğru bir cümlenin bahsettiği şeyler olarak da tanımlanabilir. "Jüpiter, Güneş Sistemi içerisindeki en büyük gezegendir." ifadesi, Jüpiter'in Güneş Sistemi içerisindeki en büyük gezegen olması ile ilgilidir.

Tekabüliyet ve sapan argümanı

Engel'in doğruluk teorisinin tekabüliyeti versiyonunda, bir cümleyi doğru yapan şeyin, o cümlenin bir gerçeğe karşılık gelmesi (tekabül etmesi) olduğu belirtilir. Bu teori, objektif bir dünyanın var olduğu varsayımına dayanır. 
Sapan argümanı, doğru olan her argümanın aynı şeye karşılık geldiğini iddia eder: "doğru" denen doğruluk değerine. Bu argüman tutarlıysa ve gerçekler, doğrulara karşılık gelen ifadeler olarak kabul edilirse, bu durumda doğruluk adı verilen tek bir doğru olduğu sonucuna varılır - ki bu, içgüdülerimize ters bir sonuçtur.

Bileşik gerçekler

Basit olmayan ve gerçeklik ile ilgili olan her türlü doğru ifade, yapısı gereği karmaşık nesnelerin, özelliklerin ve ilişkilerin bileşkesinden oluşan bir soyutlama olmak zorundadır. Örneğin "Ankara, Türkiye'nin başkentidir." şeklindeki doğru ifade içerisinde bahsedilen gerçek, Paris diye bir yer olduğunu, Türkiye diye bir yer olduğunu, "başkent" denen bir kavram olduğunu, Türkiye'nin bir devleti olduğunu, bu Türk devletinin başkenti belirleme gücü olduğunu ve bu devletin Türkiye'nin başkenti olarak Ankara'yı seçtiğini, seçim ve yer gibi kavramların gerçekten var olduğunu ve daha nicesini ima eder. Tüm bu önermelerin doğrulanabilir isabetliliği, eğer ki gerçekten de gerçekse, Ankara'nın Türkiye'nin başkenti olduğu gerçeği ile örtüşebilir. 
Ne var ki, eğer ki bu yöntem kullanılarak olumsuz, modal, münferit veya ahlaki gerçekleri belirlemeye çalıştığımızda, sorunlar baş göstermektedir.

Gerçek-değer ayrımı

David Hume'dan bu yana gelen ahlak felsefecileri, değerlerin objektif olup olmadığını, dolayısıyla gerçeklik değerleri bulunup bulunmadığını tartışmışlardır. A Treatise of Human Nature isimli eserinde Hume, gerçekten var olan bir şeyden yola çıkarak üretilen bir dizi ifadenin, gerçekte olması gereken şeylere yönelik çıkarımlarda bulunmamızın bariz bir yolu olmadığını yazmaktadır. Gerçekler ve değerler arasında bir uçurum olduğu, dolayısıyla gerçeklerden yola çıkarak değerlere ulaşmanın hatalı olduğu konusunda ısrarcı olanlar arasında G. E. Moore da bulunur. Ona göre bu çaba, bir doğalcılık safsatasıdır..

Olgusal ve karşıolgusal ayrımı

Olgusallık (gerçeklik), yani gerçekten var olmuşluk, aynı zamanda karşıolgusallık ile tezat kurmak için de kullanılabilir. Karşıolgusallık, olabilecek ama olmamış olan şeyler için kullanılır. Karşıolgusal koşul veya dilek kipine dayalı koşul, olaylar, gerçekte olduğundan farklı şekilde gerçekleşseydi neler olabileceğine dair bir çeşit koşullu ifadedir (veya "eğer-öyleyse" kalıbıdır). Örneğin, "Eğer İskender yaşasaydı, imparatorluk Roma'dan daha büyük olurdu." önermesi, haber kipine dayalı koşullara zıtlık gösterir. Bu tip koşullarda, öncülleri gerçekten doğru olan şeylerin gerçekten var oldukları belirtilir. Örneğin "Eğer bunu içersen, daha iyi hissedeceksin." gibi.
Bu tip cümleler, özellikle de olası dünyalar semantiğinin geliştirilmesinden beri, modal mantık için önem arz etmektedir.