Doğru
Doğru aşağıdaki anlamlarda kullanılabilir
- Doğru (geometri), düz bir eğri.
- Doğruluk (felsefe), gerçek ile uyumlu olma hâli
- Doğru, mantıkta Boole'sal (Boolean) bir veri tipi.
- Doğruluk ve kesinlik, bir ölçümün gerçek değerine olan yakınlığı
Doğru aşağıdaki anlamlarda kullanılabilir
Pragmatizm, felsefede; uygulayıcılık, uygulamacılık, pragmacılık, fiîliyye, faydacılık, yararcılık gerçeğe ve eyleme yönelik olan, pratik sonuçlara yönelik düşünme temelleri üzerine kurulmuş olan felsefi akımdır. William James (1842-1910) tarafından popüler hale getirilmiştir. Onun felsefe ekolünden olanı yapmak, başarmak anlamına da gelir. Hem iyinin teorisi hem de doğrunun teorisidir. İyinin teorisi olarak faydacılık refahcıdır (welfarist). İyi en fazla faydayı sağlayandır ve burada fayda zevk, tatmin veya bir nesnel değerler listesine göre tanımlanır. Bir doğru teorisi olarak ise faydacılık neticecidir (consequentialist). Doğru hareket bir şeyin uygulanabildiği ölçüde gerçek olduğu savına dayandırılmıştır. Bir fikrin doğruluğu faydalılığı, kullanışlılığı veya işlerliği gibi gözlemlenebilir etkilerine göre belirlenir.
Matematiksel mantık, biçimsel mantığın matematiğe uygulanmasıyla ilgilenen bir matematik dalıdır. Metamatematik, matematiğin temelleri ve kuramsal bilgisayar bilimi alanlarıyla yakınlık gösterir. Matematiksel mantığın temel konuları biçimsel sistemlerin ifade gücünün ve biçimsel ispat sistemlerinin tümdengelim gücünün belirlenmesidir.
Bilgi, genellikle geçerliliği veya doğruluğu varsayılacak şekilde mümkün olan en yüksek kesinlik derecesi ile karakterize edilen, kişiler veya gruplar için mevcut olan bir dizi gerçek. Bilginin tanımı kullanıldığı alana ve bakış açılarına göre değişiklik göstermektedir. Epistemolojide subje ile obje arasındaki ilişkiden doğan her türlü ürüne denir. Bilginin doğası, kökenleri ve boyutları ile ilgilenen dala epistemoloji adı verilir.
Mantık ya da eseme, bilginin yapısını inceleyen, doğru ile yanlış arasındaki akıl yürütmenin ayrımını yapan disiplindir, doğru düşüncenin aletidir. Önceleri bir felsefe dalıyken daha sonra kendi başına bir ihtisas alanı olmuştur. Matematik ve bilgisayar biliminin de parçası haline gelmiştir. Bir disiplin olarak Aristoteles tarafından kurulmuştur. Aristoteles'den etkilenen Farabi tarafından iki kısımda kategorize edilmiştir. İbn-i Sina geçicilik ve içerme arasındaki ilişkiyi geliştirmiştir. Çağdaş zamanlarda Frege, Russell ve Wittgenstein önemli katkılar yapmıştır.
Mantıkta, doğrulanabilir ya da yanlışlanabilir olmak zorunda olan ifadelere önerme denir. Kesin olan cümleler yanlış veya doğru da olsa önermedir; yani cümlenin yanlış veya doğru olduğunun bilinmesi gerekmez, doğrulanabilir olduğunun bilinmesi yeterlidir. Soru tümceleri önerme olamaz çünkü bir soru doğruluk ifade etmez.
Hipotez ya da varsayım, bilimsel yöntemde olaylar arasında ilişkiler kurmak ve olayları bir nedene bağlamak üzere tasarlanan ve geçerli sayılan bir önermedir. Bilimsel bir ifadenin hipotez kabul edilebilmesi için sınanabilmesi gerekir. Deney ve testler sonucunda "sürekli olarak" varsayılan sonucu veren hipotezler "kuram statüsünü alırlar.
Tümevarımcılık, bilimsel teoriler geliştirmek için bilimsel yöntemin geleneksel ve hala yaygın felsefesidir. Tümevarımcılık, bir alanı tarafsız bir şekilde gözlemlemeyi, incelenen durumlardan yasalar çıkarmayı - dolayısıyla tümevarımsal akıl yürütmeyi - ve böylece nesnel olarak gözlemlenenin tek doğal doğru teorisini keşfetmeyi amaçlar.
Retorik ya da eski ismiyle Belagat, etkileyici ve ikna edici konuşma sanatıdır. Sözcük güncel kullanımda "etkileyici ve ikna edici olmakla beraber içtenlikten veya anlamlı içerikten yoksun lisan" anlamında da kullanılır. Kavram Yunanca rhētorikos (ῥητορικός) "hitabet" kavramından türemiştir. Antik Yunanistan'da MÖ 5. yüzyılda Sokrates çevresindekiler tarafından kullanılmış olan bu kelime, ilk kez Platon’un Gorgias adlı eserinde geçmiştir.
Zorunluluk. Başka türlü olamayan, olumsal olmayan ya da olmaması olanaklı olmayan durum; olduğundan başka türlü olamayacak olma durumunu dillendiren, olduğundan başka türlü olmanın mantıksal bakımdan olanaksızlığını dile getiren felsefi ulam. Öte yandan, mantık diliyle söylendiğinde, bir önerme yanlışlanamıyor ise zorunlu demektir. Bu tür önermeler yanlışlığı düşünülemez, değillemesi de çelişik olan, bu nedenle de doğrulukları zorunlu olan önermelerdir. Şeylerin gerçekte olmadığı ama olabileceği birçok olanaklı durum tasarlanabilir. Eğer bir önerme tasarlanan olanaklı durumların hepsi için doğru ise o önermeye bütün olanaklı dünyalarda doğru ya da zorunlu önerme denir.
Yalan veya yalan söylemek, doğru olmayan söz, hakikat ve gerçeğin aksi, haksız söz ve bir kimseden söylemediği halde söz nakletmek manalarına gelmektedir. Yalanın aslı sözdedir; geçmişte olsun ve gelecekte, vaat olsun veya başka bir şey. Doğruluğun (sıdk) karşıtı, bir konuda kasıtlı veya kasıtsız olarak gerçeğe aykırı haber veya bilgi vermek anlamlarında da kullanılmıştır. Istılahta ise gerçeğin ve hakikatin aksini söylemeye yalan denmektedir. İnsanın en büyük ve en kötü sıfatlarından biri yalan söylemektir.
Dürüstlük T.D.K sözlüğünde “doğruluk” olarak, diğer sözlüklerde ise “özü sözü bir olma”, “olanı olduğu gibi yansıtma", “gerçeği saklamama”, “bildiğinden, inandığından ve olduğundan başka türlü görünmeye veya göstermeye çalışmama” olarak tanımlanır. Eski Türkçedeki karşılığı samimiyettir.
Simülasyon veya benzetim, teknik olmayan anlamda bir şeyin benzeri veya sahtesi anlamında kullanılır. Teknik anlamda gerçek bir dünya süreci veya sisteminin işletilmesinin zaman üzerinden taklit edilmesidir. Sistem nesneleri arasında tanımlanmış ilişkileri içeren sistem veya süreçlerin bir modelidir.
Fantastik edebiyat veya fantezi edebiyatı, gerçeğe dayalı olmayan yazılı anlatım tarzıdır. Genelde hikâye, roman, oyun ve drama gibi yazım biçimlerini içerir. Klasik fantezi edebiyatının en tanınmış örnekleri arasında masalların bir kısmıyla birlikte Alice Harikalar Diyarında gösterilebilir. Modern fantezi edebiyatının tanınmış örnekleri arasında J.R.R. Tolkien'in Hobbit, Yüzüklerin Efendisi, Ursula K. LeGuin'in Yerdeniz Büyücüsü ve C.S. Lewis'in Narnia Günlükleri gibi eserleri sayılabilir.
Mühendislik, endüstri ve istatistikte, bir ölçüm sisteminin doğruluğu, bir niceliğin ölçüm değerinin asıl (gerçek) değerine olan yakınlık derecesidir. Bir ölçüm sisteminin kesinliği, aynı şartlardaki ölçümlerin aynı sonucu verme derecesidir. Gündelik dilde iki terim eş anlama gelebilmekteyse de bilimsel yöntemde ikisi özellikle ayrı ayrı kullanılımaktadır.
Mantık ve felsefede argüman; sonuç ve onun doğruluk derecesini belirlemeye yönelik verilen öncüllerden kurulmuş bir dizi ifadedir. Bir argüman ifadelerden oluşur. Bunlardan biri sonuç, diğerleri sonucun doğruluğuna dayanak olarak verilen öncüllerdir. Herhangi bir düşünceyle karşılaştığımızda, o düşüncenin içerdiği esas iddiayı ileten ifade argümanın sonucu; onu destekleyen diğer tüm ifadeler argümanın öncülleridir. Bir argümanın doğal dildeki mantıksal formu, sembolik biçimsel dilde temsil edilebilir ve doğal dilden bağımsız şekilde, matematik ve bilgisayar bilimlerinde biçimsel olarak tanımlanmış argümanlar yapılabilir.
Doğruluk tablosu, mantıkta, özellikle Boole cebiri ve Boole fonksiyonları ile ilişkili olarak, fonksiyon değişkenlerinin bütün kombinasyonları için mantıksal ifadenin değerini hesaplamakta kullanılan bir matematiksel tablo.
Ceza muhakemesi veya ceza yargılaması, ceza hukukunda iddia, savunma ve yargılama sürecidir. Amaç ise maddi gerçeğe ulaşılmasıdır.
Metaetik, etik anabilim dalının etik özelliklerinin, anlatım ve bildirimlerinin, tutumlarının ve yargılarının doğasını anlamak, arayıp bulmak ve ortaya çıkarmak maksadıyla uğraşan koludur.
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 yoluyla doğrulanmış olgulardır.
John Leslie Mackie Avustralyalı bir filozoftur. Din felsefesine, metafizik ve dil felsefesine önemli katkılar sağladı ve belki de en çok meta-etik konusundaki görüşleriyle, özellikle de ahlaki şüpheciliği savunmasıyla tanınıyordur. Altı kitap yazmıştır. En çok bilinen Etik: Doğru ve Yanlış İcat Etmek (1977); kitap, cesurca "Nesnel değer yoktur" ifadesini kullanarak başlamaktadır. Kitap, etik keşfedilmek yerine icat edilmelidir tartışması üzerinedir.