Bilim veya ilim, nedensellik, merak ve amaç besleyen, olguları ve iddiaları deney, gözlem ve düşünce aracılığıyla sistematik bir şekilde inceleyen entelektüel ve uygulamalı disiplinler bütünüdür. Kimi kullanımlarda bu tanımın "ilim" için geçerli olmadığının altını çizmek gerekir. Çünkü bilim somut, evrensel olayları kendine konu edinmişken ilim doğaötesi olaylarla da ilgilenebilir fakat somut kanıt sunmaz. Bilimi sınıflandıran bilim felsefecileri bilimi formal bilimler, sosyal bilimler ve doğa bilimleri olmak üzere üçe ayırır. Bilimin diğer tüm dallardan en ayırt edici özelliği, savunmalarını somut kanıtlarla sunmasıdır. Bu sayede bilim, bilinmeyen olguları açıklamamıza ve evreni idrak etmemize güçlü destek olur.
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.
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.
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.
Gerçeklik veya hakikat, günlük kullanımdaki anlamıyla, "var olan her şey" demektir. Bilimde, dinde ve felsefede farklı anlamları vardır. Düşünceden bağımsız olarak zamanda ve mekanda yer kaplayan her şey gerçektir. Herhangi bir şeyin gerçekliği insan zihnine bağlı olmaksızın var olmasıdır.
İmre Lakatos, bilimsel gelişmeye ilişkin araştırma programlarıyla ün kazanmış olan çağdaş bilim felsefecisi. Lakatos, aynı zamanda klasik bilim anlayışına yönelik itirazlarıyla tanınmıştır.
Bilim felsefesi, epistemoloji, ontoloji, etik ve estetik gibi felsefenin temel alt bölümlerinden birisidir.
20. yüzyıl felsefesi, 19. yüzyıl sonlarından başlayıp günümüze kadar gelen ve devam eden düşünce geleneklerini ve felsefi akımları kapsar. Her çağın felsefesinin kendi toplumsal, kültürel ve siyasal koşullarıyla etkileşimli olduğu gibi, 20. yüzyıl felsefesi de kendi siyasal ve toplumsal gelişmelerinden etkilenmiştir. Çağın siyasal olayları, kültürel ve teknolojik gelişmeler, bilimsel alandaki yeni sonuçlar, ortaya çıkan yeni düşünce eğilimlerinin hepsi 20. yüzyıl felsefesinde görülen bilime yönelik sorgulayıcı yaklaşımların, aklın sorgulanması girişimlerinin, dile yönelik ilginin, özne kavramı üzerinde yürütülen tartışmaların, zihin problemlerinin, yeni bir boyut kazanan bilgi sorununun, cinsellik soruşturmasının, yabancılaşma ve iktidar sorunsalının arka planını oluşturmaktadır. Bu çağın düşünürlerinin çoğunluğu bir şekilde çalışmalarında çağın kuramsal sorunlarını dillendirmiş ve yanıt arayışında olmuştur.
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.
Post pozitivizm, 20. yüzyılın başından itibaren pozitivizme yönelik geliştirilen eleştirilerle birlikte biçimlenen ve bilim felsefesindeki tartışmalarla 60'lı yıllarda belirginleşen pozitivizm sonrası bir kuramsal/felsefi bilim düşüncesini belirten akımdır.
Ön bilim, bir fenomenin bilim sayılabilmesi için bilimsel yöntemler geliştirilmeden önceki felsefi disiplinlerdir. Bilimsel yöntemlerle yeterince test edilmemiş teori veya inançların mevcut bilimle tutarlı olduğu veya tutarsız olduğu durumlarda da bu tutarsızlığına dair akla uygun gerekçeler sunabilen hipotezleri, yeni bir bilim dalı oluşturma ve meşrulaştırma çalışmalarını içermektedir. Terimin bir başka kullanım alanı da pratik bir bilgi alanında bilimsel bilgi alanına geçişi tasvir etmesidir.
Bilimsel kuram; iyi kanıtlanmış, sürekli olarak test edilen ve doğrulanan deney ve gözlem ile bilimsel metot aracılığıyla elde edilen, doğanın bazı yönlerinin açıklamasıdır. Tüm bilimsel bilgiler gibi, bilimsel kuramlar doğaları gereği tümevarımsaldır, tahmin edilebilir gücü ve açıklayıcı kuvveti amaçlar. Bilimsel bir kuramın gücü, açıklayabildiği durumların çeşitliliği, anlaşılabilirliği ve kolaylığı ile ilişkilidir. Yeni bilimsel kanıtlar elde edildikçe, yeni bulgulara uymaması durumda, bilimsel bir kuram reddedilebilir ya da değiştirilebilir. Böyle durumlarda, daha doğru bir kuram benimsenir. Bazı durumlarda, doğruluğu kesin olmayan, değiştirilmemiş bir bilimsel kuram, özel bazı durumlara benzerliği açısından kullanışlı ise yine de kuram olarak ele alınır. Bilimsel kuramlar test edilebilir ve yanlış/çürütülebilir tahminler üretebilirler. Bilimsel kuramlar doğal olaylardan sorumlu bazı nedensel elementleri açıklarlar ve fiziksel evrenin yönleri ile elektrik, kimya, astronomi gibi özel araştırma alanlarını tahmin etmek ve açıklamak için kullanılırlar. Bilim insanları kuramları, teknolojiyi geliştirmek ve hastalıklara çare bulmak gibi amaçlar dışında, daha sonraki bilimsel bilgiler için temel olarak da kullanırlar. Bilimsel kuramlar, bilimsel bilginin en güvenilir, en kesin ve kapsamlı formudur. Bu, varsayım, hipotez ya da tahmin anlamlarına gelebilen kuram kelimesinin genel kullanımından büyük ölçüde farklıdır.
Tekdüzelik Doktrini veya Tekdüzen İlkesi olarak da bilinen Tekdüzencilik, günümüz bilimsel gözlemlerimizde işleyen aynı doğal yasaların ve süreçlerin geçmişte evrende her zaman işlediği ve her yerde uygulandığı varsayımıdır.Tekdüzelik veya değişmezlik ilkesi, deney ve gözleme dayalı bilim dallarının tamamında; nedensellik, sebep sonuç ilişkisi ve fizik kanunları gibi temel ilkelerin, zaman ve mekanla değişmediğini kabul eden, ancak kendisinin bilimsel metotlarla doğrulanması imkânı olmayan önermedir. Tek düzelik ve değişmezlik ilkesinin kendisinin bilimsel yöntemlerle doğrulanması mümkün olmasa da, tüm bilim dallarında vazgeçilmez bir ilk kabul, aksiyomdur.
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.
Bilim tarihi, hem doğa hem de toplumsal bilimler dahil olmak üzere bilimsel bilgi ve bilimin gelişiminin incelenmesidir. 18. yüzyıl ile 20. yüzyıl arası dönemde, öteden beri yanlış bilindiği düşünülen olguların bilimsel gerçeklerle değiştirilmesi yolunu izlemiştir.
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.
Yapısalcılık ilk olarak 1960'ların sonlarında, daha sonra da 1970'ler boyunca birçok analitik filozof tarafından geliştirilen bilim felsefesindeki aktif bir araştırma alanıdır.
Epistemolojik anarşizm, Avusturyalı bilim filozofu Paul Feyerabend tarafından geliştirilen ve bilimin ilerlemesini veya bilginin büyümesini yöneten hiçbir yararlı ve istisnasız metodolojik kural olmadığını savunan bir epistemolojik teoridir. Bilimin sabit, evrensel kurallarla işleyişi fikrinin gerçekçi olmadığını, zararlı olduğunu ve bilimin kendisine zarar verdiğini savunur.
Bilimsel gerçekçilik, bilim tarafından tanımlanan evrenin, nasıl yorumlanabileceğine bakmaksızın gerçek olduğunu savunan görüştür. Bilimsel gerçekçiliğe inanan bir kişi, bilimin evrendeki hem fiziksel hem de metafiziksel gerçekleri bulmak için kullanılabileceği yönündeki görüşleri nedeniyle, evrenin bilim tarafından tanımlandığı şekliyle doğru olduğunu kabul etmektedir.
Ampirik kanıt, bir önerme için kanıt, yani bu önermeyi destekleyen veya karşı çıkan, duyu deneyimi veya deneysel prosedür tarafından oluşturulan veya erişilebilen delildir. Ampirik kanıtlar bilimler için merkezi öneme sahiptir ve epistemoloji ve hukuk gibi diğer çeşitli alanlarda da rol oynar.
