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.
Teori veya kuram, bilimde bir olgunun, sürekli olarak doğrulanmış gözlem ve deneyler temel alınarak yapılan bir açıklamasıdır. Kuram, herhangi bir olayı açıklamak için kullanılan düşünce sistemidir. Genel anlamda kuram, bir düşüncenin genel, soyut ve ussal olmasıdır. Ayrıca bir kuram, açıklanabilir genel bağımsız ilkelere dayanmaktadır. Bu ilkelere bağlı kalarak doğada sonuçların nasıl örneklendirileceğini açıklamaya çalışır. Sözcüğün kökü Antik Yunan’dan gelmektedir. Ancak günümüzde birçok ayrı anlamlarda kullanılmaktadır. Kuram, varsayımla (hipotez) aynı anlama sahip değildir. İkisinin de anlamı başkadır. Kuram bir gözlem için açıklanabilir bir çerçeve sağlar ve kuramı sağlayacak olan sınanabilir varsayımlar tarafından desteklenir.
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.
Aristoteles veya kısaca Aristo, Antik Yunanistan'da klasik dönem aralığında yaşamını sürdürmüş olan Yunan filozof, polimat ve bilgedir.
Aksiyom, belit veya postulat, diğer önermelerin temeli ve ön dayanağı niteliğindeki önermelerdir. Belitlerin başka bir önermeye götürülmeye ve kanıtlanmaya gereksinimi yoktur. Bu yüzden de kendiliğinden apaçıktırlar. Ne türlü bir belitten yola çıkılırsa o türlü bir sonuca varılır. Belitlere dayanan bir felsefe, belitlerin yanlışlığı meydana çıkınca çöker.
Ockhamlı William, yaklaşık 1287 ve 1347 yılları arasında yaşamış İngiliz Fransiskan rahibi ve skolastik filozof.
Johannes Brahms Alman piyanist, orkestra şefi ve 19. yüzyılın ikinci yarısının en önemli Romantik dönem bestecilerindendir. Hamburg'da Lutheran bir ailenin çocuğu olarak dünyaya geldi ve profesyonel yaşamının çoğunu Viyana'da geçirdi. Bazen Johann Sebastian Bach ve Ludwig van Beethoven ile müziğin "Üç B"sinden biri olarak gruplandırılır, bu yorum aslında on dokuzuncu yüzyıl orkestra şefi Hans von Bülow tarafından yapılmıştır.
Pergeli Apollonius, konik kesitler üzerindeki çalışmaları ile tanınan Antik Yunan geometri uzmanı ve astronom. Öklid ve Arşimet'in konuya katkılarından başlayarak, onları analitik geometrinin icadından önceki duruma getirdi. Elips, parabol ve hiperbol terimlerinin tanımları bugün kullanımda olanlardır.
Safsata, bir düşünceyi ortaya koyarken ya da anlamaya çalışırken yapılan yanlış çıkarsamadır. Safsatalar ilk bakışta geçerli ve ikna edici gibi görülebilen fakat yakından bakıldığında kendilerini ele veren sahte argümanlardır.
Maddecilik, özdekçilik veya materyalizm, her şeyin maddeden oluştuğunu ve bilinç de dahil olmak üzere bütün görüngülerin maddi etkileşimler sonucu oluştuğunu öne süren, a priori olan hiçbir metafiziksel kavramı kabul etmeyen felsefe kuramıdır. Bir diğer deyişle madde, var olan tek tözdür. Maddecilik "fiziksel maddenin tek veya esas gerçeklik olduğu" yönündeki kuramdır.
Sezgi; felsefe, mistisizm, ezoterizm ve farklı öğreti sistemlerinde farklı anlamlarda kullanılan terim.
Rum İsyanı/Yunan İsyanı,, Yunan Bağımsızlık Savaşı, Yunan İhtilali veya Yunan Devrimi, Yunanların Osmanlı egemenliği ve isyan bölgelerindeki Müslüman halka karşı başlattığı, 1821-1829 yılları arası süren ve Yunanistan'ın Osmanlı Devleti'nden bağımsızlığını kazanmasıyla sonuçlanan bağımsızlık savaşı, devrim ve etnik temizliktir. 1832 yılında imzalanan İstanbul Antlaşması ile Yunanistan'ın bağımsız bir ülke olarak tanınmasıyla sonuçlanmış bağımsızlık sürecidir.
Matematikte sonuşmaz veya asimptot, belirli bir A eğrisine istenildiği kadar yaklaşabilen ikinci bir B eğrisine verilen addır. Bir başka deyişle, A üzerinde ilerledikçe, A ve B arasındaki mesafe azalır ve sıfıra yaklaşır. Asimptot kelimesi, Yunanca "beraber düşmek" anlamındaki simpiptein fiilinin olumsuz halinden türemiştir.
Kavram, nesnelerin ya da olayların ortak özelliklerini kapsayan ve bir ortak ad altında toplayan genel tasarımdır. Kavramlar, soyuttur ve gerçek dünyada yoktur. Benzer olan fikirleri, insanları, olayları vs gruplandırmak için kullanılan bir sınıflamadır. Kavram yanılgıları ise daha çok kişisel deneyimler sonucu oluşmuş, bilimsel gerçeklere ve düşüncelere aykırı, anlamlı öğrenmeyi engelleyici bilgilerdir.
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.
Roma İmparatoru eşi ya da Roma İmparatorluğu hükümdarı olan Roma İmparatoriçeliği yapmış kadınların listesidir.
Bir önerme, hipotez ya da teori; özünde yanlış olduğunun kanıtlanabilme ihtimali varsa; yanlışlanabilirdir. Bir yargıyı geçersiz kılacak herhangi bir gözlem yapmak ya da argüman sunmak mümkünse bu yargı yanlışlanabilirdir. Bu anlamda, yanlışlamak ile geçersiz kılmak eş anlamlıdır. Bilimsel bir önerme yanlışlanabilme özelliği barındırır. Yanlışlanabilirlik ilkesi, bilim ile bilim dışı olanı, bilgi ile inancı ayırmak için kullanılır.
Çelişmezlik ilkesi, bir önermeyle çelişiğinin ikisinin birden doğru olamayacağını öne süren ilkedir.
Felsefi mantıkta, epistemik safsata, Leibniz yasasını bir argümanda aykırı bir biçimde kullandığında işlenir. Leibniz yasası, A ve B aynı nesne ise, A ve B'nin ayırt edilemez olduğunu belirtir. Modus tollens ile bunun anlamı, eğer bir nesne belirli bir özelliğe sahipken, başka bir nesne aynı özelliğe sahip değilse, iki nesne aynı olamaz. Yanılgı "epistemiktir" çünkü bir öznenin bir nesneye ilişkin bilgisi ile nesnenin kendisi arasında doğrudan bir özdeşlik olduğunu varsayar.
Bir organizma grubu için kladistikte, monofili, klad olmanın koşuludur - yani, yalnızca ortak bir atadan ve onun tüm soyundan oluşan bir grup taksondur. Monofiletik gruplar tipik olarak, daldaki organizmaları diğer organizmalardan ayıran ortak türetilmiş özellikler (sinapomorfiler) ile karakterize edilir. Eşdeğer bir terim holofilidir.
