zeyen kuramlardan türer. Ancak bu durumda, bu tahminler, kuramları doğrulamak için gerçeğe ters olarak test edilir ve bu aksiyomlar direkt sonuç olarak yeniden gözden geçirilebilir. 
"Kabul edilmiş kuramlar" ifadesi bu yaklaşımı tanımlamak için kullanılır. Genel olarak bu ifadeyle ilişkilendirilmiş terimler dilbilime ait terimler (çünkü kuramlar dilin bileşenlerindendir) ya da sözdizimsel terimlerdir ( çünkü bir dil, sembollerin nasıl bir araya geleceğine dair kurallara sahiptir). Bu tür bir dili eksiksiz olarak tanımlamadaki problemler- örneğin mikroskoplarda görülen cisimler gerçekten gözlemlenebildi mi ya da bunlar sadece teorik cisimler mi gibi sorular- mantıksal pozitivizmin etkisini 1970'lerde yok etmiştir.

Bilimsel kuramları dilsel ifadeler yerine modellerle tanımlayan anlamsal kuram görüşü; bilim felsefesinin kuram oluşumunda baskın durum olarak, kabul görmüş kuramlar görüşünün yerini almıştır. Bir haritanın, bir şehrin ya da bir ülkenin bölgelerini temsil eden grafiksel bir model olması gibi, bir model de, gerçekliği temsil amacıyla oluşturulmuş mantıksal bir taslaktır ( "gerçeklik modeli").

Bu yaklaşımda, kuramlar, gerekli ölçütleri karşılayan modellilerin belirli kategorileridir. Herhangi biri, modeli tanımlamak için dili kullanabilir; ancak, kuram modeldir ( ya da benzer modellerin bir koleksiyonudur) ve modelin tanımı değildir. Örneğin; Güneş sisteminin bir modeli, Güneşi ve gezegenleri temsil edecek soyut nesnelerden oluşabilir. Bu nesneler; temsil ettikleri gezegenlerin konumları, hızları ve kütleleri gibi gerçek özelliklerle ilişkilendirilmiştir. Model parametreleri- örneğin Newton'un Yerçekimi Yasası- konum ve hızların zamanla nasıl değişeceğini belirler. Bu durumda, model; gelecek gözlemleri doğru tahmin edip etmediğini görmek için test edilebilir; astronomlar modellerin nesnelerinin konumlarının, zaman içinde, gezegenlerin gerçek konumlarıyla uyuştuğunu doğrulayabilirler. Gezegenlerin birçoğu için, Newton Modelinin tahminleri doğrudur; Merkür için bu model kısmen hatalıdır ve bu gezegen için, Newton Modeli yerine Genel Görelilik Modeli kullanılmalıdır. 
"Anlamsal" kelimesi, bir modelin gerçek dünyayı temsil etme biçimi olarak adlandırılır. Bu temsil (gerçek anlamıyla yeniden -gösterme) bir durumun belirli yönlerini ya da bir takım olaylar arasındaki ilişki tarzını ifade eder. Örneğin, bir evin ölçek modeli ya da Güneş sisteminin bir modeli şüphesiz ki gerçek bir ev ya da gerçek bir Güneş sistemi değildir. Gerçek bir ev ya da Güneş sisteminin bir modelde temsil edilen yönleri -sadece bazı kısıtlı durumlarda- gerçek varlığın birer örneğidir. Bir evin ölçek modeli, gerçek bir ev değildir. Ancak ev hakkında bir şeyler öğrenmek isteyen biri için ya da gerçeği kavramak isteyen bir bilim insanı için yeteri ölçüde detaylı bir ölçek modeli yeterli olabilir.

Kuramların nasıl model teşkil ettiğinin bir örneği, gezegensel sistemdeki Ptolemi Kuramında görülebilir. Bu modelde, Dünya merkezde yer alır ve Güneş ve gezegenler, Dünya etrafında dairesel yörüngeler çizerek hareket ederken; yıldızlar, gezegenlerin yörüngeleri dışında Dünya küresi etrafında sabittir. Gezegenlerin geri hareketi, birbirinden bağımsız gezegenlerin daha küçük olan dairesel yörüngeleri ile açıklandı. Bu modele dayanarak; gezegensel konumları, oldukça yüksek bir doğruluk payıyla tahmin eden matematiksel hesaplamalar yapılabilirdi. Ptolemi'nin gezegensel sistem modeli, Kopernik'in zamanına kadar 1500 yıldan daha uzun bir süre geçerli kaldı.
Bu durum, bir kuramın bazı bilimsel gerçekleri nasıl açıklayabildiğini gösterir ancak yine de gerçekliğin tatmin edici bir resmi değildir. Daha sonra gelen ve daha geçerli olan bir kuram, öncekinin yerini alabilir. Örneğin; Batlamyus kuramı pek çok geçici varsayım içermekteydi; Kopernik kuramı ise daha kolay, sade ve ayrıca daha doğrudur.

Pek çok yorumcuya göre, kuramların ayırt edici özellikleri, açıklayıcı olmalarının yanı sıra, betimleyici de olmalarıdır. Modeller ise (yine de sınırlı bir tahmin gücüne sahip olmasına rağmen) yalnızca betimleyicidir. Filozof Stephen Pepper da model ve kuramın ayrımını yapmış ve 1948 yılında, genel kuram ve modellerin, bilim adamlarının bir olayı nasıl kuramlaştırdığını kısıtlayan bir "kök" benzetmesi üzerine dayandırıldığından bahsetmiştir. Böylece, test edilebilen hipotezler elde etmiş oluyorlardı. 
Mühendislik uygulamaları, matematiksel modeller ve fiziksel modeller arasındaki ayrımı ortaya koymuştur.

Bir varsayım ( ya da aksiyom) kanıtsız kabul gören bir ifadedir. Örneğin; varsayımlar, mantıksal savunmada terim olarak kullanılabilir. Isaac Asimov varsayımları aşağıdaki gibi tanımlamıştır;

Bazı varsayımlar, tüm deneysel iddialar için gereklidir (örneğin; gerçeğin var olduğu varsayımı). Ancak, kuramlar genellikle geleneksel anlamda varsayımlarda bulunmazlar ( ifadeler kanıt olmaksızın kabul edilir). Varsayımlar prosedüre sıklıkla yeni kuramların oluşumu sırasında dâhil olsa da, bu varsayımlar ya kanıtlarla desteklenmiş (önceden var olan kuramlar gibi) ya da kanıtlar kuramı doğrulama esnasında ortaya çıkmıştır. Bu; kuramın doğru tahminler yapmasını- ki bu başlangıçta ortaya atılan herhangi bir varsayımın, doğru ya da test edilen şartlar altında aşağı yukarı doğru olduğuna bir kanıttır- gözlemlemek kadar kolay olabilir. 
Klasik varsayımlar-kanıt olmaksızın- eğer kurama, sadece varsayımı geçer olduğunda( ya da nispeten geçerli olduğunda) başvurulacaksa kullanılabilir. Örneğin; Özel Görelilik Kuramı eylemsiz referans çerçevesini varsayar. Bu kuram, varsayımlar geçerli olduğunda doğru tahminlerde bulunur ve varsayımların geçerli olmadığı durumlarda ise doğru tahminler yapamaz. Bu gibi varsayımlar sıklıkla eski kuramların, yeni kuramların yerini aldığı noktalardır (genel görelilik kuramı eylemli gözlem çerçevesi için de kabul görür). 
Etimolojik olarak konuşmak gerekirse, "varsayım" terimi, kendi standart kullanımından daha kapsamlıdır. The Oxford İngilizce Sözlüğü (OED) ve sanal bir sözlük olan Vikisözlük, kelimenin Latin kaynağının, kabul etmek, kendine almak, benimsemek, zorla almak gibi anlamlara gelen "assumere" kelimesi olduğunu belirtmiştir. Bu kök, İtalyancada "sumere" ve İspanyolcada "sumir" kelimeleriyle, çift anlamlı olarak hayatta kalmıştır. Oxford İngilizce Sözlüğü'nde "assume" (varsaymak) kelimesinin ilk anlamı almak, kabul etmek, benimsemektir. Aslında bu terim, köken bakımından "göğe yükselmek" anlamına geliyordu ve dini bağlamda kullanılırdı (özellikle de Bakire Meryem'in vücudunun bozulmadan göğe çıkarılması anlamında/ 1297 CE). Ancak sadece "bir arkadaşlığı ya da ortaklığı kabul etmek anlamında da kullanılırdı. Dahası, "assumere" kelimesinin diğer anlamları arasında "kendi kendini araştırmak, girişmek/üzerine almak (özellikle hukukta), görünüşe bakmak, bir şeye sahipmiş gibi davranmak da vardı. OED'nin "assume"(varsaymak) kelimesi için tüm tanımları, yine OED'nin "assumption"(varsayım) kelimesi için olan tanımlarıyla anlam olarak tamamen uyumludur.

Karl Popper bilimsel kuramın özelliklerini şöyle tanımladı;

Popper yukarıdaki maddeleri şöyle özetledi; bilimsel kuramın ana kriteri onun 'yanlışlanabilirliği, reddedilebilirliği ve test edilebilirliğidir. Bunun tekrarı olarak, Stephen Hawking durumu şöyle belirtiyor; 'Eğer bir kuram iki gerekliliği de yerine getiriyorsa iyi bir kuramdır. Gelişigüzel seçilmiş yalnızca birkaç elementi içeren bir atom modeline dayalı olarak geniş ve doğru bir gözlem sınıfı yapmalı. Gelecek gözlemlerin sonucu hakkında kesin tahminler yapmalı. '. Stephen Hawking ayrıca kuramın doğası olan ' ispatlanamama ancak yanlışlanabilme ' durumundan da söz etmiştir. Tümevarımsal mantığın sonucu için bu gereklidir. ' kuramın tahminleriyle hemfikir olmayan yalnızca bir fikir bularak kuramı çürütebilirsiniz. 
Ancak diğer bir yandan, pek çok filozof ve bilim tarihçisi, Popper'ın yanlışlanabilir ifadeler kuramının tanımının yanlış olduğunu savunmaktadır. Çünkü Philip Kitcher'ın da belirttiği gibi, eğer biri Popper'ın bu kuram görüşünü tam olarak benimsemiş olsaydı, Uranüs gezegeninin gözlemleri 1781 yılında ilk olarak ortaya çıktığında, Newton'un gök mekaniği çürütülmüş olurdu. Ama bunun yerine insanlar, Uranüs'ün yörüngesini başka bir gezegenin etkilediği görüşünü ortaya attılar ve sonunda bu tahmin gerçekten de doğrulandı.
Kitcher; "Bilim sadece hatalar yaptığında başarılı sayılır" düşüncesinde kesinlikle doğru bir şeyler olduğu konusunda Popper ile aynı fikirdedir. Ayrıca, bilimsel kuramların çürütülemez ifadeler içerdiğini ve iyi kuramların da aynı şekilde yaratıcı olmaları gerektiğini savunur. Bilimsel kuramları, bazılarının yanlışlanamaz, diğer bazılarının ise-onun deyimiyle- yardımcı kuramlar- olduğu "detaylı ifadeler bütünü" olarak gördüğümüz konusunda ısrarcıdır.

Kitcher' a göre, iyi bilimsel kuramlar aşağıdaki üç özelliğe sahip olmalıdır:


Kuramların diğer tanımları gibi- Popper'ın tanımı da dâhil olmak üzere- Kitcher şu konuya açıklık getirmiştir; bir kuram, gözlemlenebilir sonuçlara sahip olan ifadeler içermelidir. Ancak Uranüs yörüngesindeki düzensizliklerin gözlemlenmesi gibi; yanlışlama, gözlemin mümkün olan tek sonucudur. Yeni hipotezlerin oluşumu da mümkün ve eşit derecede önemli bir başka sonuçtur.

Bilimsel kuramın konsepti benzerlikler ve metaforlar kullanılarak da tarif edilmiştir Örneğin; mantıksal deneyci Carl Gustav Hempel bilimsel kuramın yapısını için "karışık uzamsal ağ" benzetmesini yapmıştır.

Michael Polanyi de bir kuram ve harita arasındaki benzerliği bir analoji ile anlatmıştır;

Bir bilimsel kuram, dünya hakkındaki temel bilgilere sahip; araştırılması, yazılması ve paylaşılması gereken bir kitap olarak da düşünülebilir. 1623 yılında Galileo Galilei şöyle yazmıştı;

Kitap benzetmesi çağdaş bilim filozofu Ian Hacking tarafından aşağıdaki metne de uyarlanabilir. 
Ben kendi adıma bir Arjantin fantezisini tercih ederim. Tanrı, eski Avrupalıların hayal edeceği tarzda bir "Doğa Kitabı" yazmadı. O, her kitabi mümkün olduğunca kısa tutulmuş ama birbirleriyle çelişen bir Borgesian Kütüphanesi’ ni yazdı. Hiçbir