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.
Matematik ; sayılar, felsefe, uzay ve fizik gibi konularla ilgilenir. Matematikçiler ve filozoflar arasında matematiğin kesin kapsamı ve tanımı konusunda görüş ayrılığı vardır.
Matematiksel ispat, matematiksel bir ifade için türetilmiş varsayımların mantıksal olarak doğru olduğu sonucunu garantileyen, çıkarımsal bir argümandır. Argüman, teoremler gibi önceden oluşturulmuş diğer ifadeleri kullanabilir; lakin prensipte her delil, kabul edilen çıkarım kurallarıyla birlikte yalnızca aksiyom olarak bilinen belirli temel veya orijinal varsayımlar kullanılarak oluşturulabilir.
Aritmetik; matematiğin sayılar arasındaki ilişkiler ile sayıların problem çözmede kullanımı ile ilgilenen dalı. Aritmetik kavramı ile genellikle sayılar teorisi, ölçme ve hesaplama kastedilir. Bununla birlikte bazı matematikçiler daha karmaşık çeşitli işlemleri de aritmetik başlığı altında değerlendirirler.
Deneycilik, empirizm veya ampirizm, bilginin duyumlar sayesinde ve deneyimle kazanılabileceğini öne süren görüştür. Deneyci görüşe göre insan zihninde doğuştan bir bilgi yoktur. İnsan zihni, bu nedenle boş bir levha gibidir.
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.
İstatistik veya sayım bilimi, belirli bir amaç için veri toplama, tablo ve grafiklerle özetleme, sonuçları yorumlama, sonuçların güven derecelerini açıklama, örneklerden elde edilen sonuçları kitle için genelleme, özellikler arasındaki ilişkiyi araştırma, çeşitli konularda geleceğe ilişkin tahmin yapma, deney düzenleme ve gözlem ilkelerini kapsayan bir bilimdir. Belirli bir amaç için verilerin toplanması, sınıflandırılması, çözümlenmesi ve sonuçlarının yorumlanması esasına dayanır. Bu çerçevede yapılan işlemlerin tümüne sayımlama denir.
Francis Bacon, 1. St Alban Vikontu, 1st Lord Verulam, PC, Kral I. James döneminde İngiltere Başsavcısı ve İngiltere Lordlar Kamarası Şansölyesi olarak görev yapmış İngiliz bir filozof, bilim insanı ve devlet adamıdır. Bacon, bilimsel yöntemle yönlendirilen doğa felsefesinin önemini savunmuş ve eserleri Bilimsel Devrim boyunca etkili olmuştur.
Baruch Spinoza, Yahudi kökenli Hollandalı filozof. Aydınlanmanın erken dönem düşünürlerinden olan Spinoza, evren ve insan hakkında modern fikirler ileri sürerek öncü ahit eleştirileri yapmış ve zamanla 17. yüzyıl felsefesinin en önde gelen rasyonalistlerinden biri olarak kabul edilmiştir. Descartes'ın fikirlerinden etkilenen Spinoza, Hollanda Altın Çağının önde gelen filozofu olmuştur.
Bolzano-Weierstrass teoremi klasik matematik analizin temel teoremlerinden biridir. İlk kez "Fonksiyonlar" adlı kitabında Bernhard Bolzano tarafından kullanıldı. Sonraki yıllarda bu teoremin ispatı tam olarak Karl Weierstrass tarafından verilmiştir. Bu nedenle, bu teorem analizde Bolzano-Weierstrass teoremi olarak bilinir.
Kaos teorisi, kaos kuramı veya kargaşa kuramı; yapısal olarak bir fizik teorisi ya da matematiksel bir tümevarım değil, fiziksel gerçeklik parçalarının bir bütün olarak eğilimini açıklamaya yarayan bir yöntemdir.
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.
Harf, yazı yazmak için kullanılan semboldür. Harfler, Seslerin yazı sistemlerindeki karşılığıdır. Harflerin hepsi birleşerek alfabeyi oluştururlar. Yazı harfler dışında rakam, noktalama işaretleri ya da başka semboller içerebilir ama harfler yazının en temel öğesidir.
Bilim felsefesi, epistemoloji, ontoloji, etik ve estetik gibi felsefenin temel alt bölümlerinden birisidir.
Nedensellik, genel olarak nedensellik ilkesi olarak bilinen; olay ve olguların birbirine belirli bir şekilde bağlı olması, her sonucun bir nedeni olması ya da her sonucun bir nedene bağlanarak açıklanabilir olması ya da belli nedenlerin belirli sonuçları yaratacağı, aynı nedenlerin aynı koşullarda aynı sonuçları vereceği iddiasını içeren felsefe terimi.
Objektivizm, Rus-Amerikan yazar ve filozof Ayn Rand tarafından geliştirilen bir felsefi sistemdir. Kendisi bu sistemi "insanı kahraman bir varlık olarak, kendi mutluluğunu hayatının ahlaki amacı olarak, üretken başarıyı en asil faaliyeti olarak ve aklı tek mutlak olarak gören bir kavram" olarak tanımlamıştır.
Ebu'l-Huzeyl el-Allâf, İslam felsefesinde rasyonel din düşüncesinin ortaya çıkışında önemli bir rol oynamış düşünürdür. Ayrılanlar olarak da adlandırılan Mutezile akımının, yunan felsefesiyle bağlantılı başlıca din filozoflarından biridir. İslam felsefesinde nedensellik ilkesini ilk defa olmak üzere ileri süren ve temellendirmeye yönelen filozof olmuştur. Doğal nedenselliği tanrısal nedenselliğe bağlayarak açıklamış ve kelâmcılar gibi o da Tanrı sorusunu temel almıştır.
Özyineleme ya da yinelge, en genel anlamıyla bir yapının yinelenmesidir. Özellikle matematik ve bilgisayar biliminde kullanılır. Bu yapılara yinelgen yapılar denir. Yinelgen bir yapı eğer kendine gönderme yapma özelliğiyle yinelgen ise bu tür yapılara özgöndergeli ya da kendine-göndergeli yapılar denir.
Örgü topolojisi, her bir düğümün diğerinin yerini alabildiği bir ağ topolojisidir.
Mantıkta akıl yürütme, muhakeme ya da uslamlama bilinen olgular ve kurallar kullanılarak yeni bilgiye ulaşılmasıdır. Akıl yürütme üç başlıkta incelenebilir: tümdengelim (dedüksiyon), tümevarım (indüksiyon) ve analoji. Klasik mantığın temelinde tümdengelim vardır.
