Eksiklik Teoremi, Kurt Gödel'in 1931 yılında doktorasında yer verdiği "Principia Mathematica Gibi Dizgelerin Biçimsel Olarak Karar Verilemeyen Önermeleri Üzerine" başlıklı makalesinde 4. önerme olarak geçer. Sezgisel olarak matematikte belitlere (aksiyom) dayanan her sistemin tutarlı olması dahilinde eksik olması gerektiğini bildirir.
Tractatus Logico-Philosophicus, Ludwig Wittgenstein'ın hayatı boyunca yayımladığı tek eseridir. Gerçeklik ve dil arasındaki ilişkileri tanımlamak ve bilimin sınırlarını betimlemek amacıyla yazılmıştır. Wittgenstein kitabın notlarını I. Dünya Savaşı'nda askerlik yaparken hazırlamıştır. Ağustos 1918'de, İtalya'da savaş esiriyken tamamlamıştır. Kitap 1921'de yayımlanmış, önsözü Bertrand Russell tarafından yazılmıştır. Daha sonra 1929 yılında Wittgenstein bu eseri Cambridge Üniversitesi'nden doktora derecesi almak için kullanacaktır. Wittgenstein, felsefi hayatının ikinci döneminde bu eseri basit bularak dil oyunlarını temel alan Felsefi Soruşturmalar adlı eseriyle uğraşacaktır. Tractatus'un Wittgenstein'in dünya, gerçeklik, bilim, etik, mantık, din, mistisizm, felsefe, dil ve düşünce alanında yaptığı önermeler ve bu önermeleri açıklamak için kullandığı alt-önermelerden oluşan bir yapısı vardır. G. E. Moore, kitabın adının Baruch Spinoza'nın Tractatus Theologico-Politicus adlı eserine atıfta bulunduğunu söyler.
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.
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.
Mantıksal pozitivizm, Viyana Çevresi olarak adlandırılan filozofların felsefi düşünüş sistemlerini adlandırır. Başlıca temsilcileri Moritz Schlick, Rudolph Carnap ve Otto Neurath olan bu çevre, yeni pozitivistler ya da mantıkçı empiristler olarak da adlandırılır. Bu çevrenin oluşumunda önemli etkisi olan isim Ernst Mach'tır ki Mach'ın Viyana'da belirli dönemlerde mantık, fizik ve felsefe profesörlüğü yaptığı bilinmektedir. Mantıksal pozitivizmin çok farklı konumlardaki ve disiplinlerdeki filozofları bir araya getirir. Söz konusu akımın içinde sayılan ya da sayılmış olan belli başlı filozoflar şöyledir: Ernest Nagel, Hans Hahn, Kurt Gödel, Felix Kaufmann, Philipp Frank, Bertrand Russell, Whitehead, A. J. Ayer, Wittgenstein.
Xavier Kurt Naidoo Alman müzisyen, besteci ve ses sanatçısı. "Ich kenne nichts...", "20.000 Meilen", "Für mich ans Licht", "Sie sieht mich nicht", "Dieser Weg", "Was wir alleine nicht schaffen" ve "Wo willst du hin?" en ünlü şarkılarıdır.
Katja Ebstein, Alman şarkıcıdır.
Aus tiefer not schrei ich zu dir, Johann Sebastian Bach'ın BWV 38 numaralı kantatı.
Erfreut euch, ihr Herzen, Johann Sebastian Bach'ın BWV 66 numaralı kantatı. İngilizce adı Rejoice yourselves, you Hearts olarak geçer. Paskalya zamanındaki pazar günü için 10 Nisan 1724 yılında Leipzig'de ilk temsili yapılmıştır. Eser, Bach'ın BWV 66a Der Himmel dacht auf Anhalts Ruhm und Glück (Heaven thinks of Anhalt's Fame and Fortune) adlı din dışı kantatının bir uyarlamasıdır.
Gott ist mein König, Johann Sebastian Bach'ın BWV 71 numaralı kantatı. Mühlhausen'de belediye meclisinin açılış töreni için 4 Şubat 1708 yılında bestelenmiştir.
Wär Gott nicht mit uns diese Zeit, Johann Sebastian Bach'ın BWV 14 numaralı dini kantatı.
Brich dem Hungrigen dein Brot, Johann Sebastian Bach'ın BWV 39 numaralı kantatı.
Am Abend aber desselbigen Sabbats, Johann Sebastian Bach'ın BWV 42 numaralı dini koral kantatı.
Organon Aristoteles'in 6 ciltlik klasik mantık üzerine olan kitap serisi. Organon ismi daha sonraları Aristo'nun izleyicileri olan Peripatetikler tarafından verilmiştir. Şu 6 adet kitaptan oluşur:
- Kategoriler
- Önermeler
- Birinci Analitikler
- İkinci Analitikler
- Topikler
- Sofistik Deliller
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.
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.
Bilişselcilik, etik cümlelerin birer önerme olduğunu, yani doğru veya yanlış olabildiklerini savunan meta-etik görüştür. Karşıtı olan gayribilişselcilik ahlaki cümlelerin önerme olamayacağını savunur. Bilişsellik ahlaki gerçekçiliği, etik öznelliği ve hata teorisini de kapsayan geniş bir tezdir.
Ahlaki kuşkuculuk, hiç kimsenin ahlaki bilgiye sahip olmadığını iddia eden bir metaetik teoriler sınıfıdır. Birçok ahlaki şüpheci, ahlaki bilginin imkansız olduğuna dair daha güçlü, modal iddiada bulunur. Ahlaki kuşkuculuk, özellikle bilinebilir ve nesnel ahlaki gerçekler olduğu görüşünü savunan ahlaki gerçekçiliğe karşıdır.